Escolar Documentos
Profissional Documentos
Cultura Documentos
ABSTRACTA
Revis~rTcnico:
ha&
"1
ISB 968-7270-42-X
Impreso en Mkxico
Editor- Nicols Grepe P
Productor Oswaldo Ort~zR
Cubrerra Miguel Angel Richaud
En el transcurso de los ltimos cincuenta aos, ms o menos, el lgebra Abstracta ha alcanzado una importancia creciente no slo dentro de la propia matemtica, sino tambin en varias otras disciplinas. Los resultados y conceptos
del lgebra Abstracta desempean un papel cada vez ms importante; por
ejemplo, en fsica, qumica y ciencias de la computacin, para mencionar slo
algunos de tales campos.
Dentro de la propia matemtica el lgebra Abstracta desempea una dable
funcin: la de vnculo unificador entre ramas dispares de esta ciencia y la de
rea de investigacin con una vida muy activa en si misma. El lgebra Abstracta ha sido un campo de investigacin fertil y recompensador tanto en la ltima
centuria como en la actualidad. Algunos de los grandes logros de la matemtica
del Siglo xx han tenido lugar precisamente en esta rea. Se han demostrado resultados muy interesantes en teora de grupos, teora de anillos conmutativos
y no conmutativos, lgebras de Lie, lgebras de Jordan, matemtica cornbinatoria y muchas otras ramas de lo que se conoce genricamente como lgebra
Abstracta. Esta materia, que fue catalogada en alguna ocasin como esotrica,
ha llegado a ser considerada como completamente accesible a un amplio conjunto de estudiosos.
Este libro tiene un doble propsito. A aquellos lectores que deseen proseguir
hacia la investigacin en matemticas o en algunos campos relacionados donde
se utilicen conceptos y mtodos atgebraicos, esta obra puede servirles como una
introduccin -y, recalcamos, slo como una introduccin- a esta fascinante
materia. A los lectores que deseen enterarse de lo que est aconteciendo en una
atractiva rama de la matemtica moderna, este libro les podr ser iitil para tal
fin y les proporcionara algunos medios muy apropiados para su aplicacin en
el rea de inters,
vi
vi
pn~oco
La eleccin de los temas se ha hecho con el objeto de introducir a los lectores al conocimiento de algunos de los sistemas algebraicos fundamentales, que
son a la vez interesantes y de uso extenso. Adems, en cada uno de tales sistemas el propsito ha sido llegar a ciertos resultados significativos. Sera de poca
utilidad estudiar algn objeto abstracto sin considerar determinadas consecuencias
no triviales de su estudio. Esperamos haber logrado el objetivo de presentar resultados interesantes, aplicables y significativos en cada uno de los sistemas que
hemos elegido para su anlisis.
Como el lector lo apreciar pronto, hay muchos ejercicios en el libro. Por
lo general se dividen en tres categoras: fciles, intermedios y difciles (y ocasionalmente, muy difciles). El propsito de tales problemas es permitir a los estudiantes poner a prueba su grado de asimilacin de la materia, desafiar su ingenio matemtico, preparar el terreno para los temas que siguen y ser un medio
de desarrollo de criterio, intuicin y tcnica matemticas. Los lectores no deben
desanimarse si no logran resolver todos los problemas. La idea de muchos de
los ejercicios es que se intente resolverlos -aunque esto no se logre- para el
placer (y frustracin) del lector. Algunos de los problemas aparecen varias veces
en el libro. La mejor manera de avanzar en el aprendizaje de esta disciplina es,
indudablemente, tratar de resolver los ejercicios.
Hemos procurado desarrollar los temas en el lenguaje y tono de una clase
en el aula. Por consiguiente, la exposicin es a veces un poco "festiva"; esperamos que esto haga que sea ms fcil para el lector. Se ha tratado de presentar
muchos ejemplos que pongan en relieve los diversos conceptos tratados, Algunos
de ellos resultan ser ejemplos de otros fenmenos. Con frecuencia se hace referencia a ellos a medida que avanza la discusin.
Creemos que el libro es autosuficiente, excepto en una seccin -la
penltima- donde se hace uso implcito del hecho de que un polinomio sobre
el campo complejo tiene races complejas (o sea, el famoso Teoremafundamental
del lgebra, debido a Gauss) y en la ltima, donde se utiliza un poca de Clculo.
Estamos agradecidos con muchas personas por las observaciones y sugerencias
formuladas acerca de versiones preliminares del libro. Muchos de los cambios
que sugirieron han sido incorporados y favorecen la accesibilidad del libro. Expresamos nuestro agradecimiento especial al profesor Martin Isaacs, por sus comentarios sumamente tiles.
Tambin agradecemos a Fred Flowers su excelente trabajo al mecanografiar
el manuscrito, y al seor Gary W. Ostedt, de Macmillan Company, por su entusiasmo en el proyecto editorial y por Ia publicacin del libro.
Dicho lo anterior, deseamos a todos los lectores una feliz travesa en el viaje
matemtico que estn a punto de emprender al interior de este grato y atractivo
mundo del lgebra Abstracta.*
I.N.H.
* Esta editorial tiene a disposicidn de los profesores que adopten el presente texto, el Manual
de[ Profesur elaborado por el autor de este libro.
TEMAS FUNDAMENTALES . . . . . . . . . . . . . .
Algunas observaciones preliminares ........................
Teoradeconjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Funciones o aplicaciones (mapeos) .........................
A ( S ) (Conjunto de las aplicaciones inyectivas
de S sobre s mismo) .....................................
Los nmeros enteros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Induccin matemtica ....................................
Nmeros complejos ......................................
CONTENIDO
Teoremas de homomorfismos . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Teorema de Cauchy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Productos directos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Grupos abelianos finitos {opcional) . . . . . . . . . . . . . . . . . . . . . . . .
Conjugacin y teorema de Sylow (opcional) . . . . . . . . . . . . . . . . .
101
3 EL GRUPO SIMETRICO. . . . . . . . . . . . . . . .
Ji 09
3.1
3.2
3.3
Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Descomposicin en ciclos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Permutaciones impares y pares . . . . . . . . . . . . . . . . . . . . . . . . . . . .
109
112
118
4.1
4.2
4.3
4.4
4.5
4.6
4.7
Definiciones y ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Algunos resultados sencillos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Ideales. homomorfismos y anillos cociente . . . . . . . . . . . . . . . . . .
Ideales mximos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Anillos de polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Polinomios sobre los racionales . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Campo de cocientes de un dominio integral . . . . . . . . . . . . . . . . .
125
136
139
148
151
165
171
5.1
5.2
5.3
5.4
5.5
5.6
Ejemplos de campos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Breve excursin hacia los espacios vectoriales . . . . . . . . . . . . . . .
Extensiones de campos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Extensiones finitas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ConstructibiIidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Races de polinomios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
176
179
192
198
201
207
6.1
6.2
Simplicidad de A. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Campos finitos 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
215
221
2.7
2.8
2.9
2.10
2.11
84
88
92
96
Contenido
6.3
6.4
6.5
6.6
6.7
224
228
229
237
240
STUDIANTE
Grupo Editorial Iberoamrica en su esfuerzopermanente
de producir cada vez mejores textos, pone en tus manos esta
nueva obra, en la que se ha puesto la ms alta calidad en los
aspectos terico y didctico, as como en diseo y presentacin, con el objetivo de proporcionarte la mejor herramienta, no slo para facilitarte el aprendizaje sino tambin para
hacrtefo ms estimulante.
Este, como cualquiera de nuestros libros, ha sido cuidadosamente seleccionado para que encuentres en l un pilar
de tu preparacin, y un complemento ideal a la enseanza
del maestro, Lo didctico de la presentacin de sus temas har que lo consideres el mejor auxiliar, y el que lleves a todas
partes.
Lo anterior esparte de nuestro propsito de ser partcipes
en una mejor preparacin de profesionales, contribuyendo
asa la urgente necesidad de un mayor desarrollo de nuestros
pases hispanohablantes,
Sabemos que esta obraserfundamental en tu biblioteca,
y tal vez la mas inmediata y permanente fuente de consulta.
Como uno de nuestros intereses principales es hacer mejores libros en equipo con profesores y estudiantes, agradeceremos tus comentariosy sugerencias o cualquier observacin
que contribuyaal enriquecimiento de nuestraspublicaciones.
Grupo Editorial Iberoamrica
UNDAM
1.I ALGUNAS
OBSERVACIONES PRELIMINARES
Para muchos Iectores este libro ser su primer contacto con la matemtica abstracta. La materia que tratar se llama usualmente '"lgebra abstracta", pero
las dificultades con las que el lector podra enfrentarse no se deben tanto a la
parte "lgebra" sino a la parte "abstracta"'.
Al estudiar por primera ocasin alguna rea de la matemtica abstracta, sea
anlisis, topologa o cualquiera otra, parece existir una reaccin comn en
el principiante. sta se puede describir mejor como una sensacin de andar
a la deriva, de no contar con algo firme de donde sujetarse. Esto no es de extraar, porque aunque muchas de las ideas son fundamentalmente muy sencillas,
a la vez son sutiles y parecen escapar aI entendimiento en la primera ocasin.
Una manera de mitigar esta sensacin de estar en el limbo o de preguntarse a
s mismo "de qu se trata todo esto?)', es analizar el concepto considerado
y ver qu dice en casos partculares. En otras palabras, el mejor camino hacia
la comprensin de las nociones presentadas es examinar ejemplos. Esto es cierto
en toda la matemtica y especialmente en el lgebra abstracta.
Es posible describir rpidamente, a grandes rasgos, la esencia, el propsito y los antecedentes del material que estudiaremos? Hagamos un intento.
Se comienza con alguna coleccin S de objetos y fuego se le data de una
estructura algebraica, suponiendo que pueden combinarse los elementos de este
conjunto S de una o de varias maneras (usualmente dos), para obtener de nuevo
elementos de dicho conjunto. A estas formas de combinar elenientos de
S se les llama operaciones en S. Luego se trata de condicionar o regular la naturaleza de S imponiendo ciertas reglas sobre cmo se comportan estas operaciones
en S. Tales reglas suelen denominarse los axiomas que definen la estructura particular en S . Debemos determinar los axiomas, pero en la matemtica, historicamente, la eleccin hecha proviene de la observacin de que existen muchos
sistemas matemticos concretos que satisfacen tales reglas o axiomas. En este
libro se estudiarn algunos de los sistemas algebraicos axiomtcos bsicos, a
saber, grupos, anillos y campos.
Se pueden poner a prueba, desde luego, muchos conjuntos de axiomas para
definir nuevas estructuras. Qu se exigira a una de tales estructuras? Sera deseable, naturalmente, que los axiomas fueran consistentes, es decir, que no se
pueda arribar a ninguna contradiccin absurda trabajando en el marco de las
cosas admisibles que los axiomas permitan hacer, Pero esto no es suficiente,
ya que se pueden constituir fcilmente estructuras afgebraicas de este tipo imponiendo una serie de reglas a un conjunto S que conduzcan a un sistema patolgico o extrao. Adems, puede ser que haya muy pocos ejemplos que muestren
algo que obedezca las reglas que se fijaron.
El tiempo ha demostrado que ciertas estructuras definidas mediante
"axiomas" desempean un papel importante en la matematica (lo mismo que
en otras reas) y que algunas otras carecen de inters. Las mencionadas anteriormente, es decir, grupos, anillos y campos, han resistido al paso del tiempo,
Una observacin acerca del uso de los '%xiomas". En el lenguaje cotidiano
"axioma" significa una verdad evidente. Pero no estamos utilizando este lenguaje; nos estamos ocupando de la matematica. Un axioma no es una verdad
universal -cualquiera que sta sea- sino una de varias reglas que describen
una estructura matemtica dada. Un axioma es verdadero en el sistema que se
est estudiando, porque se ha impuesto su veracidad por hiptesis, Es una licencia para realizar ciertas cosas dentro de la estructura particular.
Se vuelve ahora a algo que se mencion al principio, respecto de la reaccin
que muchos estudiantes tienen en su primer contacto con este tipo de lgebra,
es decir, una falta de confianza en que la materia sea algo que pueden asimilar.
Se exhorta al lector a que no se desanime si la exposicin inicial le causa un
poco de confusin. Concntrese en ella, trate de entender lo que un concepto
determinado dice y, lo ms importante, examine ejemplos concretos particulares
de dicho concepto.
PROBLEMAS 1..1
l. Sea S un conjunto y defnase una operacin * en S exigiendo que se cumplan
12
Teora de conjuntos
CAP~TULO
1 * TEMAS FUNDAMENTALES
(1, 2, 3, 4, 6, 10).
12
Teora de coniuntos
es el rea sombreada.
Z . A ~ B -
es el rea sombreada.
3. A - B
es el rea sombreada.
4. B - A
es el rea sombreada.
CAP~TULO
I
TEMASFUNDAMENTALES
PROBLEMAS 1.2
mnese el valor de a.
5. Si A C B y B c
e, prubese que A
C C.
8. Pruebese que ( A - B ) U ( B - A )
camente.
9. Prubese que A
n(B U
( A U B ) - ( A fl B ) . Mustrese grfi-
C ) = ( A fl B ) U ( A fl C ) .
Demostrar que:
(a)A-tB=B+A.
(b) A + fa = A .
(e) A . A = A .
(d) A + A = 0,
(e) A i-( B + C ) = ( A + B ) + C .
(f) Si A + B = A + C , entonces B = C .
( g ) A . ( B +C ) = A * B + A . C .
14. Si C es un conjunto finito, dentese por m ( C ) el nmero de elementos de
C . Si A , R son conjuntos finitos prubese que
m(A U B)
m(A)
+ m(B) - m(A n B ) .
17. Aplquese e1 Problema 14 para demostrar que si el 80070 de los norteamericanos han cursado la preparatoria y el 70% leen un peridico diario, entonces por lo menos 50Vo renen ambas condiciones.
CAP~TULO
1
TEMASFUNDAMENTALES
22. (a) Demustrese que un conjunto que consta de n elementos tiene 2" subconjuntos.
(b) Si O < m < n, determnese cuntos subconjuntos hay que consten de
exactamente m elementos.
EJEMPLOS
1. Sean S
13
-, Tmediante
f(s)
componente.
8. Sean S el conjunto de Ios enteros positivos y T el de Ios nmeros racioT mediante f ( ( m , n)) = m/n. Esto estanales positivos. Defnasef: S x S
blece una aplicacin de S x S en T. Ntese que f((1, 2)) = "/z mientras que
f ( ( 3 , 6)) = '/6 = % = ff((1,2)), aunque (1, 2) f (3, 6). Descrbase el subconjunto de S x S tal que .f((a, b)) = !h.
+
Las aplicaciones que se definen en los Ejemplos 9 y 10 ocurren para conjuntos no vacos cualesquiera y desempean un papel especial,
10
CAP~TULO
4 * TEMAS FtlNDAMENTALES
DEFINICI~N.
Una aplicacin f: S -. T es suprayectiva o sobre si
todo f E T es imagen bajo f de algn S f S; esto es, s y slo si, dado
t E T, existe un s E S tal que t = f(s).
La aplicacin del Ejemplo 1 dado anteriormente no es suprayectiva, ya que
no toda mujer que haya existido fue madre de algUn varoncito. De manera semejante, la aplicacin del Ejemplo 2 no es suprayectiva, porque no todo entero
positivo es nmero de registro de Seguridad Social de algn ciudadano norteamericano. La aplicacin del Ejemplo 4 no es suprayectiva porque no todo entero
es par; y en el Ejemplo 5 nuevamente la aplicacin no es suprayectiva, porque
el nmero -1, por ejemplo, no es el cuadrado de ningn nmero real. Sin embargo, la aplicacion del Ejemplo 6 es suprayectiva, porque todo nmero real
tiene una raz cbica real nica. El lector puede decidir si las aplicacones dadas
en los dems ejemplos son o no suprayectivas.
Si se definef(S) = f f(s) E S(sE S ) , otra manera de expresar que la apiicacin $ S T es suprayectiva, es diciendo que f(S) = T.
Hay otro tipo especfico de aplicacin que desempefia un papel importante
y particular en lo que sigue.
+
1.3
11
S
T es una carrespondencia biyectiva o biyeccin si f es a la vez inyectiva y suprayectiva.
+
DEFINICION. Si g: S -. T y$ T U,entonces la composicin (o producto), denotado por f o g, es la aplicacin f 0 g: S U definida mediante (f 0 g)(s) = f(g(s)) para todo s E S.
+
Ntese que para la composicin de las aplicacionesf y g -esto es, para que
f o g tenga sentido- el conjunto terminal T de la aplicacin g debe ser el conjunto inicial de la aplicacin f. Un caso especial en el que siempre se pueden
componer dos ap/icaciones cualesquiera, es cuando S = T = U, esto es, cuando
S se aplica a smismo. Este caso, aunque sea especial, es de suma importancia.
Verifiquemos unas cuantas propiedades de la composicin de aplicaciones.
LEMA 1.3.1.
si
h: S
fofgoh) = (fog?oh.
T, g: T
U, y
f: U
v,
entonces
12
CAP~TULO
1 * TEMAS FUNDAMENTALES
de la misma manera sobre cada elemento. Ntese ante todo que tanto f (g o h )
como ( f o g ) o h definen aplicaciones de S en V, as que tiene sentido hablar
de su posible igualdad.
En consecuencia, la tarea consiste en demostrar que para todo s E S,
( f o ( g o h ) ) ( s ) = ((f g ) O h ) ( s ) . Se aplica la definicion de composicin para
ver que
( f (g h))(s) = f((g o h)(s))= f(g(h)(s)).
O
( f o 8) h .
(El smbolo
siempre indicar que la demostracin ha concluido.)
La igualdad anterior se describe diciendo que las aplicaciones satisfacen la
ley asociativa, bajo la composicin. Debido a la igualdad involucrada, no se
necesitan realmente los parntesis, por lo cual se escribe tanto f o (g o h ) como
fogoh.
LEMA
f
1.3.2. Si g: S
g: S
-+
DEMOSTRACI~N.
Supngase que ( f o g ) ( s , ) = ( f o g ) ( s 2 ) ;de modo que, por
definicin, f ( g( S , ) ) = f ( g ( s 2 ) ) Dado
.
que f es 1- 1, de lo anterior se deduce que
OBSERVACI~N.
Si g: S
f
g: S
Tyf: T
U tambin es suprayectiva.
LEMA 1.3.3. Si g: S
f
g: S
Si f es una correspondencia biyectiva de S sobre T, entonces se puede demostrar fcilmente que el ""objeto" f -': T S definido anteriormente es una
aplicacin inyectiva de Tsobre S . En este caso se llama inversa de f . En tal situacin tenemos
+
LEMA 1.3.4.
Si J S
-'
1.3
13
DEMOSTRAGI~N.
Se verifica una de ellas. Si t E T, entonces ( f 0 f - ' ) ( t ) =
f ( f - ' ( t ) ) . Pero qu es f -'(t)? Por definicin, f - ' ( t ) es aquel elemento S, E
S tal que t = f{s,). Cual es el S, E S tal que f(s,) = f ( s ) ? Claramente resulta
que so es el propio s. De esta manera f ( f -"(t))
= f(s,) = t. En otras palabras,
( f 0f -')(t)
t para todo t E T; por lo tanto f 0 f
= iT, la aplicacin iden-
tidad en T.
-'
2. En aquellas partes del Problema 1 en donde f define una fiincin, determnese si esta es inyectiva, suprayectiva o ambas cosas.
-'
es una apli-
-'
f = is.
7. Si g: S " T, h: S + T, y si f: T
g = f 0 h, entonces g = h .
U y h: T
-,
T como
14
CAP~~ULO
1 e TEMASFUNDAMENTALES
+
-
(c) ~ E s f ~= gg o f ?
10. Sea S el conjunto de los nmeros reales y para a, b E S , donde a f O; defnase &,&(S)= as + b.
(a) Demustrese que f,,b o fc,d = fu,"para ciertos u, v reales. Dnse valores
explcitos para u, v en trminos de a, b, e y d .
(b) Es f ~ , bO fc,d = f c , d f o , b siempre?
(e) Hallar todas las fe,, tales que fe,, o f,,, = f,,,o
(d) Demustrese que f ~existe
' y encuntrese su forma.
fUrb.
PROBLEMASINTERMEDIOS
12. Sea S el conjunto de los nmeros racionales no negativos, esto es, S =
(mlnfm,n enteros, n f O), y sea T el conjunto de los enteros.
(a) Determnese si f : S T dada por f(m/n) = 2m3ffdefine una funcin
valida de S en T.
(b) Si no es funcin, cmo se podra modificar la definicin de f para
obtener una funcin vlida?
+
13. Sea S el conjunto de los enteros positivos de la forma 2"3", donde m > 0,
n > O, y T el conjunto de los nmeros racionales. Definase f: S -. T por
f(2"3") = m/n. Prubese que f define una funcin de S en T. (En qu
propiedades de las enteros se basa esto?)
14. Defnasef: S S, donde S es el conjunto de los enteros, mediante f(s) =
as + b, donde a, b son enteros. Determnense condiciones necesarias y suficientes para a, b de tal manera que f o f = is.
+
1s.
'i J
qt3
-+
fu,be
24. Aplicando los Problemas 23 y 13, prubese que hay una correspondencia
biyectiva del conjunto de los enteros positivos sobre el conjunto de los nmeros racionales positivos.
25. Sean S el conjunto de los nmeros reales y T el de los reales positivos.
Hallar una aplicacin inyectiva f de S sobre 7' tal que f(s, + S,) =
f(s, )f(s,) para todos los S , , s2 E S.
26. Para la f del Problema 2 5 , obtener f-' explcitamente.
27. Si f,g son aplicaciones de S en S y f o g es una funcin constante, entonces
(a) Que se puede decir acerca de f si g es suprayectiva?
(b) Que se puede decir acerca de g si f es inyectiva?
28. Si S es un conjunto finito y f es una aplicacin de S sobre s mismo, demustrese que f debe ser inyectiva,
fofofo
. . - o f
= is.
_
I
_
_
-
n veces
31. Si en el Problema 30,S consta de m elementos, hallar un n > O (en trminos de m) que funcione simultneamente para todas las aplicaciones inyectivas de S en s mismo.
i.
DEMOSTRAGI~N.
Todos estos puntos se desarrollaron en la Seccin 3, ya sea
en el material del texto o en los problemas. Se deja al lector encontrar la parte
1.4
17
relevante de la Seccin 3 que verifique cada uno de los enunciados del (a) al
(d).
.s. + s + s +
+s=rs
r veces
maneras diferentes.
Resulta claro que se puede extender la realizacin de dos cosas independientes
a m de ellas, para cualquier entero m > 2. Si la primera se puede efectuar de
r , maneras distintas, la segunda de r, modos, . . . , la m-sima de r , maneras
distintas, entonces todas juntas se pueden llevar a cabo de r,r, . . . r,, modos
diferentes.
Recordemos algo que es muy conocido:
DEFINICI~N.
Si n
1 es un entero positivo, entonces n! (lease
factorial") se define por n!
1 2 3 . n.
LEMA 4.4.2. Si S tiene a elementos, entonces A (S) consta de n! eiementos.
= (x,, x2, . . . , x,). Cuntas opciones de lugares para enviar a x, tiene f ? Evidentemente son n, porque x, se
puede enviar bajo f a cualquier elemento de S. Pero ahorafno es libre de enviar
a x2 a cualquier lugar, porque como f es inyectiva, se debe tener f ( x , ) # f ( x , ) .
As que x2 se puede enviar a cualquier sitio excepto a f(xl). Por lo tanto, f
puede asignar a x2, n - 1 imgenes diferentes. Prosiguiendo de esta manera,
se ve que f puede enviar a x, hacia a - (i - 1 ) imgenes diferentes. Por lo tanto,
elnmerodetales f e s n ( n - l ) ( n - 2 )
1 = n!.
DEMOSTRACI~N.
Sea f E A ( S ) , donde S
18
CAP~TULQ
1
* TEMA$ FUNDAMENTALES
1.
2.
: x,
X l , X2
X2, X3
X3.
f:x,3X2>X2-+x~,X34X,.
3.
g: Xl
4. g o f : x ,
5. f o g: xl
6. f f: x,
X2, x2
x,, x2
x3, x2
x3, .x2
-*
+
X1,
x3
-)
xj.
-+
X* -+X
,J ,
de tal manera que (fg)2: X, xl, x2 x2, x3 x3,esto es, (fgI2 = i. Por otra
parte, f P i y g Z = i, por lo tanto f 2g"
f f 2f i, por lo cual (fg)' f f Zg2en
este caso.
Sin embargo, algunas otras propiedades conocidas s se cumplen. Por
ejemplo, sif, g, h estn en A ( S ) y fg = fh, entonces g = h. Por qu? Porque
+
19
-'
PROBLEMAS 1.4
Recurdese que fg representa f 0 g y, adems, lo que f '" significa. S , sin subndices, ser un conjunto no vaco.
2. Si
= S,}.
SI.
Demustrese que:
f - ' ( g h ) f . Qu se puede
g f , probar que:
6. Extiendase el resultado del Problema 5 , para las mismas f y g, y demustrese que (fg)"'
7% f '9
( f ')"
Y
Calclense:
(a) f ', f 3, f
(b) g2, g3.
g: x,
4.
X 2 , x2
-+
Xl, X3
x3, x4
-+
x4.
=fa
CAPTULO 1
TEMAS FUNDAMENTALES
(c>fg.
(d) g f .
(e) f g I 3 , ( g f )3.
(f) Son iguales fg y g f ?
10. Si f E S 3 , demustrese que f h = i.
11. Es posible encontrar un entero positivo m tal que f"'
S43
i para &oduf E
PROBLEMASINTERMEDIOS
12, Si f E S,, demustrese que existe algIn entero positivo k, dependiente de
f, tal que f h = i, (Sugerencia: Considrense las potencias positivas de f . )
13. Demustrese que existe un entero positivo & tal que f ' = i para todu.f E S,.
-' Mf =
v.
20. Si m .= n, puede ser inyectiva la F del Problema 19? Si as es, dgase cundo.
S: X 1
-+
X*, X2
.,
X j , X3
X4,
.-
X , -1
X,,
X , -. X I
24
i.
23. Un elemento de S,, se llama transposicin si intercambia dos elementos, dejando fijos los dems. Demustrese que cualquier elemento de S, es un
producto de transposiciones. (Esto agudiza el resultado del Problema 22.)
24. Si n es mayor que o igual a 3 y J'est en S,, demostrar que j no es igual a
g ' para ninguna g de S,,.
25. Si f E S,, es tal que f f i pero f ' = i, demustrese que se pueden numerar
los elementos de S de tal manera q uef(x, ) = +, f ( x 2 ) = xj, fixi) = x,,
f ( x 5 ) = X, f(x6) = X4i . . . ? f ( x 3 , 4 + 1=
) x2/,+2i f ( . ~ 7 A + 2 ) =
f(-r41IJ)
x , ~7, f ( x T h,? ) - xqh para cierto k, y que f ( x , ) = x, para los dems x, E
S.
~
+ , Y
26. Considrese una mano fija en un juego de naipes de 22 cartas como una
aplicacin inyectiva sobre si mismo. Demustrese que en a repeticibn de
dicho arreglo un nmero (positivo) finito de veces har volver las carta5 a
su orden original.
27. Sean f E A ( S )y s E S , Se llama rbita de s (relativa a,f) al conjunto O ( s ) =
{ f'(s)lj entero}. Demustrese que si S , i E S , entonces O ( s ) CI O ( t ) = Rr
o bien
?(S)
O([).
28. Si S
elernentos de S .
29. Si f E A ( S ) satisface f 7 = i , demustrese que Ia rbita de cualquier elemento de S consta de uno o de tres elementos.
33. Demustrese que los nicos elementos de S, que conmutan con f , definida
por f (x,) = x, , si i < n,f(x,) = x , , son las potencias de f , es decir i =
f " , . f , f 2 , . . . , f"-',
22
CAP~TULO 1
TEMAS FUNDAMENTALES
4.5 LOS
NUMEROSENTEROS
f EOREMA15.1 (ALGORITMO DE EUGLIDES).si m y n son enteros y n > O, entonces existen enteros q y r, con O
m = qn i- r .
DEMOSTRACI~N.
Sea W el conjunto m - tn, donde t recorre todos los enteros
{esto es, W = {m - tnlt E 2)).W contiene seguramente algunos enteros no negativos, porque si t es sufcientemente grande y negativo, entonces m - tn >
O. Sea V = {v E Wl v 1 O}; por el principio de la buena ordenacin, V tiene
un elemento mnimo r . Puesto que r E V , r r O y r = m - qn para algn q
(ya que sta es la forma de los elementos de W > V ) . Afirmamos que r < n.
Si no es as, r = m - gn ;- n, por lo tanto m - (q -t 1)n r O . Pero esto hace
que m - (q + 1)n est en V , a pesar de que m - fq + 1)n < r, lo cual contra-
El algoritmo de Euclides proporcionar una multitud de consecuencias, especialmente acerca de la nocin de divsibilidad. Dado que se est hablando de
los enteros, debe entenderse que todas las literales empleadas en esta seccibn
representan enteros. Esto evitar fa repeticin a gran escala de algunas frases.
DEMOSTRACION.
Las pruebas de todas estas partes son fciles y se obtienen
de inmediato a partir de la definicin de m/n. Se dejan como ejercicios todas
las partes excepto (d), la cual se demuestra para proporcionar el sabor de dichas
pruebas.
Supngase entonces que mln y nzlq; por consiguiente, n = cm y q = dm.
Por lo tanto, un + vq = u(cm) + v(dm) = (uc -+ vd)m. As que, por definicin, ml(un + vq).
Una vez que se tiene el concepto de divisor de un entero, resulta deseable
introducir el de mximo comn divisor de dos (o ms) enteros. Muy sencillo,
debe ser el mximo entero posible que sea divisor de ambos enteros en cuestin.
Sin embargo, se trata de evitar hacer uso del tamao de un entero, por razones
que podrn resultar claras ms adelante, cuando se trate acerca de los anillos.
As que la definicin se formula de una manera que puede parecer inesperada.
DEFINICI~N.
Dados a, b (no ambos cero), su mdximo comn divisor
c se define mediante:
(a) c > O.
(b) cla Y clb.
(c) Si dla y dlb, entonces dlc.
Escribimos c como c = ( a , b ).
24
CAP~TULO
I * TEMASFUNDAMENIP.LES
.9 +
(-1)24
(-99
2 . 24.
DEMOSTRACI~N.
En virtud de que a y b no son ambos O, el conjunto A =
{ma + nblm, n E 2) tiene elementos que no son cero. Si x f A y x < O, entonces -x tambin esta en A y -x > O, ya que si x = m , u + n , b , entonces
-x = (-m,)a + (-n,)b, as que est en A . De esta manera, A tiene elementos
positivos; por consiguiente, por el principio de la buena ordenacin, existe un
elemento positivo minimo c en A . Puesto que c E A , por la forma de los elementos de A se sabe que c = rn,,a + nob para algunos m,,, n,,.
Afirmamos que c es el mximo comn divisor requerido, Ntese primero
que si dla y dlb, entonces dl(moa + nob) por la parte (d) del Lema 1.5.2, esto
es, dlc. Entonces, para verificar que c es el elemento deseado, se necesita demostrar solamente que cla y clb.
Por el algoritmo de Euclides, a = qc + r, donde O r r c c, esto es, a =
q(m,,a + nob) + r. Por lo tanto, r = -qn,b + ( I - qm,)a. Asque r esfa en
A. Pero r < c y est en A , de modo que, por la eleccin de c, r no puede ser
positivo. Por consiguiente r = O; en otras palabras, u = qc y entonces cta. De
manera semejante, clb.
En cuanto a la unicidad de c , si t > O satisficiera tambin tla, flb y dlt para
todo d tal que dla y dlb, se tendra tlc y clt. Por la parte (f) del Lema 1.5.2
se obtiene que t = c (puesto que ambos son positivos). C]
Considrese el ejemplo explcito a = 24, b = 9. Por inspeccin directa se
sabe que (24, 9) = 3; ntese que 3 = 3 . 9 + (-1)24. A que es igual (-24, 9)?
Al final de esta seccin se incluirn algunos ejercicios sobre otras propiedades de ( a , b ) .
Ahora pasamos a la muy importante
entre si si ( a , b ) = 1.
I5
LOS nmeros
25
enteros
COROLARIO.
Si b y c son relativamente primos a a, entonces bc tambin es relativamente primo a a.
DEMOSTRACI~N.
De la demostracin del Teorema 1.5.5 se tiene que mac
nbc = c. Si d = (a, be), entonces dla y dlbc, por consiguiente dl(mac t- nbc) =
c. Puesto que dla y d f c y (a, c) = 1, se obtiene que d = 1. Puesto que 1 =
d = (a, bc), se tiene que bc es primo con respecto a a. C!
Se seala ahora una clase sumamente importante de enteros positivos.
DEMOSTRACIQN.
Si pla,, no hay nada que probar. Supngase que p .i a,; entonces p y a , son relativamente primos. Pero p(a,(a, . . . a,); por consiguiente, por el Teorema 1.5'5, pla, . . . a,. Reptase el argumento recin dado
sobre al, y continese.
Los nmeros primos desempean un papel muy especial en el conjunto de
los enteros mayores que 1, en el sentido de que todo entero n > 1 es ya sea
primo o bien producto de primos. Esto se demostrar en el teorema siguiente.
En el teorema posterior al siguiente se probar que hay unicidad en la forma
en la que n > 1 se descompone en factores primos. Las demostraciones de ambos
resultados se apoyan profundamente en el principio de la buena ordenacin.
DEMOSTRACI~N.
Supngase que el teorema es falso. Entonces debe existir un
entero m > 1 para el cual el teorema falla. Por lo tanto, el conjunto M para
26
CAPNULO 1
TEMAS FUNDAMENTALES
TEOREMA 1.5.8. Dado n > 1, existe una y slo una manera de escribir n en la forma n = pypp - . . &, donde p, < p, < - . . p, son
primos y los exponentes a l , a2, . . . , ak son todos positivos.
DEMOSTRACI~N.
Se empieza como se hizo anteriormente suponiendo que el
teorema es falso, as que existe un entero mnimo m > 1 para el cual no se cumple.
Dicho m debe tener dos factorizaciones distintas como m = pTlpZz . . pp =
q:iq$2. . . qp, donde pl < p2 < - - < p,, q , < q2 . q, son primos y los
exponentes a,, . . ., ak y bl, . . ., be son todos positivos. Puesto que p,lpll . pp
qfi . - . g ! ~ ,por el Teorema 11.5.6 p,lqft para cierto i ; por consiguiente, de nuevo por eI Teorema 1.5.6, p,lq,, por lo tanto p,
q,. Del mismo
modo q , = p, para cierto j; as quep, S p, = q , i q, = p , . De lo cual resulta que pl = qL.Ahora bien, puesto que m / p , < m , m / p , tiene la propiedad
de factorizacin nica. Pero m / p , = ppl-'pp . p> = pf:-lq$
- - . qb y
puesto que m / p , se puede factorizar de una y slo una manera de esta forma,
se obtiene fcilmente k = e , p2
g,, . . . ,pk = qk,a, - 1 = b, - 1 , a2 = b,,
. . ., ak = bk. Se ve entonces que los primas y sus exponentes que resultan en
la factorizacin de m son nicos. Esto contradice la carencia de tal unicidad
para m, y entonces prueba el teorema.
Lo que estos dos ltimos teoremas dicen es que se pueden construir los enteros a partir de los primos de una manera muy precisa y bien definida. De ello
se esperara que deben existir muchos -esto es, una infinidad- de primos. Este
antiguo resultado se remonta hasta Euclides; de hecho, el argumento que se dar
se debe a l.
I5
27
PROBLEMAS FACILES
1. Hallar ( a , b ) y expresarlo como ma
(a) (116, -84).
( b ) (859 65).
(e) (72, 26).
(4 (72, 25).
nb para:
- . pp y n = pjl . p$, donde p,, . . ., p, san primos distintos y a , , . . . , a, son no negativos a1 igual que b l , . . . , b,, exprsese
( m , n ) en trminos de p , , . . ., pk, a , , . . . , a,, b , , . . b,.
6. Si m = pyl
7. Definase el mhimo camun mltplo de m y n como el mnimo entero positivo v tal que mlv y nlv.
(a) Demustrese que v = mn/(m, n ) .
(b) En trminos de las factorizaciones de m y n dadas en el Problema 6,
a qu es igual v?
28
CAPITULO
I TEMASFUNDAMENTALES
(b) 1001.
(e) 473.
12. Comenzando con 2, 3, 5 , 7, . . ., constryanse los enteros positivos 1 +
2 . 3 . 5 . 7, . . , Se obtiene siempre un nmero
2 . 3, 1
2 3 . 5, i
+ -
PROBLEMASINTERMEDIOS
13. Si p es un primo impar, demustrese que p es de la forma:
(a) 4n + I o bien 4n + 3 para algn n.
(b) 6n + 1 o bien 6n + 5 para algn n.
14. Adptese la demostracin del Teorema 1.5.9 para probar que:
(a) Hay un nmero infinito de primos de la forma 4n + 3.
(b) Hay un nmero infinito de primos de la forma 6n + S .
15. Demustrese que ningn entero u = 4n
(1'
bZ,donde a, b son enteros.
TEOREMA 1.6.1. Sea P ( n ) una afirmacin acerca de los enteros positivos tal que:
29
1 6 * Induccin matemotica
1) tam-
DEMOSTRAGION.
En realidad, los razonamientos dados al probar los Teoremas
1.5.7 y 1.5.8 son un prototipo del que se da aqu.
Supngase que el teorema es falso; entonces, por la buena ordenacin, existe
un mnimo entero m r 1 para el cual P ( m ) no es vlida. Puesto que F(1) es
vlida, un # 1 , por consiguiente m > 1. Ahora bien, 1 s m - 1 < m , as que
por la eleccin de m, P ( m - 1 ) debe ser valida. Pero entonces por la hiptesis
inductivu [parte (b)] se debe tener que P ( m )es vlida. Esto contradice que P ( m )
no es vlida, Por consiguiente no puede existjr ningn entero para el cual P no
sea vlida, y se demuestra as el teorema.
EJEMPLOS
l. Supngase que n pelotas de tenis se colocan en lnea recta, tocndose
entre ellas. Entonces se afirma que dichas pelotas hacen n - 1 contactos.
DEMOSTRACI~N.
Si n = 2, la cuestin es evidente. Si para k pelotas se tienen
k - 1 contactos, entonces al agregar una pelota (en lnea recta) se agrega un
contacto. De esta manera k + 1 pelotas tendrn k contactos. As que si P ( n )
es lo que se ha afirmado anteriormente acerca de las pelotas de tenis, se ve que
si ocurre que P ( k ) es verdadera, entonces tambin lo es P ( k + 1 ). Por consiguiente, por el teorema, P ( n ) es vlida para todo n 2 l .
2. Si p es primo y pla,az .
i r n.
DEMOSTRAGI~N.
Sea P ( n ) el resultado de la afirmacin del Ejemplo 2. Entonces P ( l ) es verdadera, ya que si pla,, ciertamente divide a a, para algn 1 S
i: 1.
Supngase que se sabe que P ( k ) es vlida, y que pla,az - . . @,a,+ ,. De esta
manera, por el Teorema 1.5.6, puesto que pl(a,a2 - . ak)ak+,se tiene ya sea que
plai + ,(una conclusin deseada) o bien pla, . a,. En esta segunda posibilidad,
puesto que P ( k ) es vlida se tiene que plu, para algn 1 S i S k . Combinando
ambas posibilidades, se obtiene que pla, para algn 1 c j 5 k + 1. Se cumple
ah la parte (b) del Teorema .6.1; por consiguiente, P ( n )es verdadera para todon
1.
[I
3, P a r a n 2 1, 1
...
Sn(n
1).
30
GAP~TU
LO I
TEMASFUNDAMENTALES
2 + .
+ n=
!hn(n + l ) , entonces P(1) es desde luego verdadera, ya que 1 = '/z (1 + 1).
Si P ( k ) ha de ser verdadera, significa que
DEMOSTRACI~N.
Si P ( n ) es la proposicin que 1
+ .
PROBLEMAS 1.6
PROBLEMASFCILES
1. Prubese por induccin que l 2
i6 n ( n + 1)(2n + 1).
+ z2 4
S'
3*
.-.
+ . . . + n3 =
n2
%n2(n
I)~.
+-
1)
+ a + a2 +
8. Demustrese que
1
1 - 2
por induccin.
1
+... +
+-2 . 3
1
n(n
1)
--
'
17
Numeras complejos
31
PROBLEMASINTERMEDIOS
11. Dse un ejemplo de una proposicin que no sea verdadera para todo entero
positivo, aunque para ella se cumpla el paso de induccin [la parte (b) del
Teorema 1.6.11.
17 nemnctrar nnr indiirriic ntip*itn rnniiintn niic rnnctn d~ n e l p m ~ n t n ctiene
15. Prubese por induccin que para un conjunto que consta de n elementos
el nmero de aplicaciones inyectivas de dicho conjunto sobre si mismo
es n!.
% .7 NUMEROS
COMPLEJOS
Todos sabemos algo acerca de los enteros, los nmeros racionales y los reales
-en efecto, se ha hecho esta suposicin en parte del material del libro y muchos
de los problemas se han referido a estos nmeros. Desafortunadamente, los nmeros complejos y sus propiedades son a veces mucho menos conocidos por
los estudiantes de licenciatura de la actualidad. En un tiempo los conrplejos formaron parte de los programas de estudio de bachillerato y de primeros grados
de licenciatura. Este ya no suele ser el caso. En consecuencia, se har un desarrollo rpido de este conjunto matemtico tan importante.
El conjunto de los ntimeros complejos, 63, es el conjunto de todos los a +
bi, donde a, b son reales y donde se declara:
LEMA 1.7.1. Si z, w E
(a) 0= z.
e , entonces:
(b) (z
+ w) - =- 2! + E.
(e) (ZW)= ZW.
(d) zS es real y no negativo y es, en realidad, positivo si z f O.
(e) z + 2 es el doble de la parte real de z.
(f) z - 2 es el doble de la parte imaginaria de z multiplicada por i.
p
-
DEMOSTRACI~N.
La mayora de las partes de este lema son sencillas y simplemente requieren del uso de la definicin de conjugado complejo. Se verifican
las partes (c) y (d).
Supngase que z = a + bi, w = c + di, donde a, b, c, d son reales. De
esta manera, zw = (ac - bd) -i- ( a d + bc)i, por consiguiente
(ZW)
(ac - bd)
(ad
bc)i = (ae
bd) - ( a d
bc)i.
bi # O, en-
acta como el inverso l / z de z. Esto permite realizar divisin en C , perrnaneciendo en C mientras se lleva a cabo.
Se listan ahora aIgunas propiedades de C.
LEMA
1.7.2.
Si u, v, w E
e , entonces
(a)u+v==v+u.
17
33
Nmeros comple~os
(b) ( u
V ) 3-
w =
(V
w),
(e)
U V = vu.
(d) ( u v ) w = ~ ( v w ) .
( e ) u # O implica que u-' = i / u existe en 42 y es tal que uu-'
I.
DEMOSTRACI~N.
Se deja al lector.
Estas propiedades hacen de C lo que se llamara un campo, lo cual se estudiar con mayor profundidad posteriormente en este libro. Lo que el lema dice
es que se permite calcular en C ms o menos como se hizo con los nmeros reales.
Sin embargo, C es una estructura mucho ms rica que la del conjunto de los
nmeros reales.
Se introduce ahora una funcin de "magnitud" en C .
DEFINICION.Si z = a + bi E C , entonces el valor absoluto de z , expresado como ] z l , se define por lzl = d%= v'u2 + b2.
En unos momentos ms se ver lo que significa esta definicin geomtrcamente. Mientras tanto se prueba el
[ u ] Ivl.
d% y 1 vl
--
ltlvl
d(uv)(EV)
-vv>
GJvv
= [ u ][ V I .
(ad
+ bi, v = c + di, uv
( a 2 + b2)(c'
d').
Ntense varios aspectos pequeos acerca de los conjugados. Si z E C, entonces z es real si y slo si i? = z, y z es puramente imaginario si y slo si i =
-2. Si z, w E C , entonces
34
CAP~TULO
i
TEMASFUNDAMENTALES
DEMOSTRACI~N.
Considrese la expresidn cuadrtica para a
= -b/2a.
Se tiene ~ ( - b / 2 a )+~ b(-b/2a) + c 2 0, Simplificndola se obtiene que
(4ac - b2)/4a 2 O, y puesto que a > O, se llega a que 4ac - b2 > O, y de esta
manera b2 - 4ac s O.
DEMOSTRACI~N.
Si z = O, no hay nada que probar, as que se puede suponer
que z # 0; por consiguiente, z2 > O. Ahora bien, para a real,
O 5 laz
+ w)(az + W ) = ( a z +
= a2zZ + a(zW + Sw) + wty .
wI2 = ( a z
w)(aZ
W)
Si a = zf > O, b zF + Sw, c = wi?, entonces el Lema 1.7.4 djce que b2 4ac = (z@ + i ~- 4(zZ)(wW)
) ~ I 0, por consiguiente ( z @ + Z W ) ~c
4 ( 2 z ) ( w @ )= 41z121wI2. Por lo tanto, zi? + Zw S 2lzl 1 wl.
Para a = 1 en lo anterior,
1 zl + 1 ~ 1 ) ' ; extra+ w 1 S 1 z1 + ] w ].
S (
35
1 7 * Nmeros complejos
isen 8 / =
JCO~ZH
+ senZ8 = L/i
I ,
isen I3)(cos
(COS8 cas $
isen $)
- sen t9 sen $) +
i(sen I3 cos S.
cos 8 sen $1
Por consiguiente, al multiplicar dos nmeros complejos, el argumento del producto es la suma de los argumentos de los factores.
Esto tiene otra consecuencia muy interesante.
sen(n8).
36
CAPTui0 1
TEMAS FUNDAMENTALES
DEMOSTRACION.
Se procede por induccin en n. Si n
viamente cierta, Supongase que para cierto k, (cos 0
i sen k8. De esta manera,
isen 8)
por el resultado del prrafo anterior. Esto completa el paso de induccin; por
consiguiente, el teorema es verdadero para todos los enteros n 2 1.
En los problemas se ver que el teorema de De Moivre es cierto para todos
los enteros m ; en realidad, se cumple aun si m es racional.
Considerese el siguiente caso especial:
6,
2n
2n
cos -- + isen -,
n
donde n
1 es un entero.
= COS
( (n ))
r
isen
(n($l)
PROBLEMAS 1.7
1 . h.lultiplicar.
(a) (6 - 7i)(8
(b) ( + i)(
(c) (6 + 7i)@
[).
2 i).
i}.
+ bi para:
17
Numeros comple!os
(z-' 1.
i sen O)-'.
6, Demustrese que
y slo si S = -z.
O,
/z-' 1
e.
1 /kl.
9. Determinar:
(a) 16 - 4il.
(b) 1; + 5 i l .
lz[.
(a) z
(b)
(d)
1
t'2
= -+==
4i.
-13
- -- i.
v'2
[k
+ :Ti).
i sen O
cos ( 8 )
i-
i sen 0)"'
isen 0)'
i sen ( S 6).
( 7 + :y'3i)'
cos(mO)
-1.
tl
nunie-
38
CAP~TULO
I
TEMASFUNDAMENTALES
[ jn)(+
jcos (y)
+
(F))"
fa) .os
2 ~ k
i sen -
(b)
i sen
2 1
1.
si O < m < n.
18. Considerando el plano x-y como el conjunto de todos los nmeros complejos
x + iy, demustrese que la multiplicacin por induce una rotacin de 90,
del plano x-y, en sentido opuesto al del reloj.
19. En el Problema 18, interprtese geomtricamente el efecto que tiene en el
plano x-y la multipIicacin por el numero complejo a + bi.
wI2
lz - w12
2f lzf2 + 1 wI2).
21. Considrese el conjunto A = {a + bita, b E Z). Prubese que hay una correspondencia biyectiva de A sobre N. (A se llama conjunto de los enteros
gaussianos.)
12, i-. . .
zk
= I2iI
+ ... +
1zk 1
2.1 DEFINICIONES
Y EJEMPLOS BE GRUPOS
En la Seccin 1.4 del Captulo 1 se vio que dado cualquier conjunto no vaco,
el conjunto A(S) de todas las aplicaciones inyectivas de S sobre s mismo
no es nada ms un conjunto solo, sino que tiene una estructura mucho ms rica. La posibiiidad de combinar dos elementos de A ( S ) para obtener otro elemento de A(S), dota a este conjunto de una estructura algebraica. Recuerdese
cmo se realizo esto: si f, g E A(S), se combinan luego para formar la aplicacin fg definida por (fg)(s) = f(g(s)) para todo s E S. Se llam a fg el producto de f y g y se verific que fg E A (S), y que este producto obedeca ciertas
reglas. Re las innumerables posibilidades se seleccionaron de algn modo cuatro reglas particulares que gobiernan el comportamiento de A(S) referente a
dicho producto.
Estas cuatro reglas fueron
C A P ~ T U2L ~ GRUPOS
DEFINICI~N.
Se dice que un conjunto no vaco G es un grupo si en
l hay definida una operacin * tal que:
(a) u, b E C implica que u * b E C .
(Esto se describe diciendo que G es cerrudo refpecto a *.)
(b) Dados a, 6 , c E G , se tiene que u + ( * c )
( u 6 ) * c.
(Esto se describe diciendo que es vlida la ley ~~sociafivu
en G.)
(c) Existe un elemento especial e E G tal que u * e = e * a = u para todo a E G (e se llama efen~entoidentidad o unidud de C.)
(d) Para todo a E G existe un elemento b E C tal que u * b = b *
a
e. (Este elemento B se escribe como a-' y se l!arna inverso
de u en C . )
Estos cuatro postulados que definen un grupo (llamados los axiomas de grupo) fueron modelados, despus de todo, a la manera de aquellos qiie son validos en A (S). As que no es de sorprender que A ( S ) sea un grupo relativo a
la operacin de "composici<n de aplicaciones".
A la operacion * en G se le suele llamar producto, pero recurdese que no
tiene nada que ver con el producto tal como se conoce en los enteros, racionales, reales o complejos. De hecho, como se ver en seguida, lo que llamamos
producto en estos grupos es en realidad la adicin de nmeros. i"uO obstante,
un grupo genera/ no necesifa en ab.so1uto tener relacin'n con un conjunto de nmeros. Reiteramos: un grupo no es ni ms ni menos quc un conjunto que satisface los cuatro axiomas de grupo.
Antes de empezar a egtudiar la naturaleza de los grupos, examinemos algunos ejemplos.
EJEMPLOS DE GRUPOS
21
44
a *(-a> = a
+ (-a> = 0.
*.
* apa-
ra todo a, B E C .
La palubra abeliano se deriva del nornbre del gran matemtico noruego N~elsHenrik
Abel (1802-1829), uno de os ms destacudos crentijficos que ha dado Noruega.
42
CAP~TULO
2
GRUPOS
(Ta.b * Tc,d)(r)
a(cr + d ) + b
Ta,b(Tc,d(r) = ~ T c , d (+~ b)
(ac)r + (ad + b ) = Tac,ad+b(r).
Este resultado demuestra que T,,, * T,,, esta en G -ya que satisface el requisito de calidad de miembro perteneciente a G- as que G es cerrado respecto
a *. Puesto que se esta hablando acerca del producto de aplicaciones (esto es,
la composicin de aplicaciones), * es asociativa. El elemento T,,, = i es la aplicacin identidad de sobre s mismo. Finalmente, ja qu es igual T;;?
Se pueden encontrar nmeros reales x # O, y tales que
43
44
CAP~TULO
2
GRUPOS
y se define a-" = (a-')", para n entero positivo y a' = e, Las reglas ordinarias de los exponentes son entonces vlidas, esto es, (a")" = a"" y a" * a" =
a m i- n para cuafesguier enteros m y n.
Despus de haber visto los 12 ejemplos de grupos anteriores, el lector podra tener la impresin de que todos, o casi todos, los conjuntos con alguna
operacin * forman grupos. Esto dista mucho de ser cierto. En seguida se dan
algunos ejemplos que no son grupos. En cada caso se examinan los cuatro axiomas de grupo y se ve cules de ellos no son validos.
45
*f
10. Si G es el grupo del Ejemplo 6, encuntrense todas las T,,, E G tales que
To,h* T I , , = Ti..* Tu,bpara todo real x,
CAPiTULO 2
GRUPOS
4.
*b
a * e,
16. Aplicando el resultado del Problema 15, prubese que un grupo G en el cual
a = a-' para todo a E G debe ser abeliano.
17. Prubese que, en cualquier grupo 6, (a-")-' = a para todo a E G.
18. Si G es un grupo finito de orden par, demustrese que debe existir un elemento a f: e tal que a = a-'. (Sugerencia: Trtese de aplicar el resultado
del Problema 17.)
19. Demustrese que en S3 hay cuatro elementos x que satisfacen x2 = e y tres
elementos y que satisfacen y 3 = e.
PROBLEMAS INTERMEDIOS
tonces a = e .
(b) Si n es par, demustrese que hay un a E G, a # e, tal que a * b = b *
a para todo b E G .
(c) Si n es par, encuntrense todos los elementos a E 6 tales que a * b =
b * a para todo b E C .
25. Si G es cualquier grupo, demustrese que:
(a) e es nico (esto es, si f E C tambin acta como elemento unidad para
6, entonces f = e),
(b) Dado a E G, entonces a-' E C es nico.
22
47
* tal que:
l . C es cerrado respecto a *.
2 . * es asociativa.
3 . Existe un elemento e f G tal que P * x = x para todo x E G.
4 . D a d o x E G , e x i s t e u n y E G t a l q u e y * x = e.
Pruebese que G es un grupo. (As que se debe demostrar que x * e = x y
x + y = e para e, y como arriba.)
=
=
c.
c.
30. Hallar un ejemplo para demostrar que el resultado del Problema 29 puede
ser falso si G es un conjunto infinito,
31. Sean G el grupo de los nmeros reales distintos de cero respecto a la operacin * que es la multiplicacin ordinaria de ellos, y N el grupo de los
nmeros reales respecto a la operacin #, que es la adicin usual.
(a) Demuestrese que existe una aplicacin E G N de G sobre H que satisface F ( a * b ) = F ( a ) # F ( b ) para todo u, b E G [esto es, F ( a b ) =
+
F ( a ) + F(b)l.
(b) Demustrese que ninguna aplicacidn F de este tipo puede ser inyectiva.
2.2 ALGUNAS
OBSERVACIONES SENCILLAS
En esta breve seccin se demuestra que ciertas propiedades formales que se derivan de los axiomas de grupo son validas en cualquier grupo. En realidad, la
mayora de tales consecuencias ya se han presentado como problemas al final
de la seccin precedente.
Resulta un poco molesto mantenerse escribiendo el * para el producto de
G, por lo que de ahora en adelante expresaremos el producto a * b simplemente
como ab para todo a, b E C.
CAPITULO 2
GRUPOS
DEMOSTRACION.
Se empieza por la parte (a). Cmo se supone que debe Ilevarse a cabo la demostracin? Se debe demostrar que si e, f E G y af =
fa = a para todo a E G y ae = ea = a para todo a E G, entonces e = f. Esto
es muy fcil, porque entonces e = ef y f = ef; por consiguiente, e = ef =
f, como se requiere.
En vez de probar la parte (b), se demostrar un resultado mas notable (enunciado adelante como Lema 2.2.21, el cual tendr la parte (b) como una consecuencia inmediata. Se afirma que en un grupo G si ab = ac, entonces b = c;
esto es, en una ecuaciof~se puede cancelar un elemento dado por el mismo lado.
Para ver esto, se tiene, para a E G, un elemento u E G tal que ua = e, As
que de ab = ac se obtiene
por consiguiente, por la ley asociativa (ua)b = (ua)c, esto es, eb = ec. Por
lo tanto b = eb = ec = e, y se establece el resultado. Un argumento semejante
demuestra que si ba = ca, entonces b = c. Sin embargo, a partir de a b = ea
no se puede conciuir que b = c; en cualquier grupo abeliano s, pero en general, no.
Ahora se obtiene la parte (b) como una implicacin de la ley de cancelacin.
Supngase que b, c E G actan como inversos de a; entonces ab = e = ac,
as que por cancelacin b = c y se ve que el inverso de a es nico. El inverso
de a se escribir siempre como a-'.
Para la parte (c), obsrvese que por definicin a--'(a-')" = e; pero
a-'a = e, as que por cancelacin en a-'(a--')-' = e = a-'a se obtiene que
( a - '1-l = a.
Finalmente, para la parte (d) se calcula
(ab)(b-'a
-' )
((ab) b-')a-'
= (a(bb-'))a-
(ley asociativa)
'
22
49
b-'a-".
Antes de dejar estas resultados, obsrvese que si G es el grupo de los nmeros reales respecto a + , entonces la parte (c) del Lema 2.2.1 se traduce a
la regla conocida -(-a) = a.
En esta seccin solamente hay una pequea parte de maternaticas; en consecuencia, slo se presentan unos cuantos problemas. No se hace ninguna indicacin respecto a su grado de dificultad.
tal que
1, Dados a, y E G, existe un x E G tal que ax
2. Dados a, w E 6, existe un u E G tal que uu
Demustrese que G es un grupo.
y.
= w.
6. Sea G un grupo en el cual (ab)" = anb" para cierto entero fijo n > 1 para
todo a, b E G. Prubese que para todo a, b E G:
(a) (ab)"-'
(b) anb"-l
= bfl-'afl-l.
= bfl-lall.
= e.
[Sugerencia para la parte (c): Ntese que (aba-l)' =
(c) (aba-'b-l
)n(n-')
50
CAPITULO2
GRUPOS
DEFINIGION.Un
2 3 * Subgrupos
51
c G es un subgrupo de G
si y slo si A es cerrado con respecto a la operacin de G y, dado a E
A , entonces a-1 E A .
LEMA 2.3.1. Un subconjunto no vaco A
52
CAP~TULO
2
GRUPOS
cos 0
S i a = cose + i s e n 0 y b
1 queab =
cos(0 + $) + isen(0 + S/), de tal manera que a b E U y a-' = cose isen = tos(-0)
+ i sen(-0) E U, Adems, tal = 1, puesto que 1 al =
jcos20 + sen20 = l . Por lo tanto, U C V f: 43' y U es un subgrupo tanto de
V como de c'.
2 3 * Subgrupos
PROBLEMAS 2.3
PROBLEMAS FACILES
+?
54
CAP~TULO2 * GRUPOS
n, ,e(@).
6. Demustrese que a E Z(G) si y solo si C(a) = C.
8. Si G es un grupo abeliano y si H
es un subgrupo de C .
{a"la E Gj.
PROBLEMAS INTERMEDIOS
24
Teorema de Lagrange
55
29. Si M es un subgrupo de G tal que x-'Mx c M para todo x E G, demostrar que en realidad r l M x = M.
30. Si M, N son tales que x-'Mx = M y x-'iVx = N para todo x E G y si
M n N = (e), prubese que mn = nrn para cualquiera m E M, n E N. (Sugerencia: Considrese el elemento mnm -'n -'.)
CAPAULO 2
GRUPOS
DEFINICION.Una relacin
de equivalencia si satisface:
(a) a - a (reflexividad )
(b) a
b implica que b
a (simetra)
(c) u
b, b
c implca que a - c (transitividad)
para todo a, b, c E S ,
EJEMPLOS
1. Sea S el conjunto de todos los artculos de una tienda de abarrotes; se
declara a - b, para a, b E S, si el precio de a es igual al de b. Evidentemente
Ias reglas que definen una relacin de equivalencia son vlidas para sta . Ntese
que al ponderar esta "igualdad generalizada" en S se ignoran todas las propiedades de los elementos de S que no sean su precio. As que a
b si son iguales
en lo que al atributo de precio se refiere.
2. Sea S el conjunto de los enteros y n > 1 un entero fijo. Se define a b para a, b E S si n ]( a - b ) . Se verifica que esta es una relacin de equivalencia. Puesto que n 10 = a - a, se tiene que a
a. Debido a que n 1 ( a - b )
implica que
24
57
Teorema de iagrange
ac-', de donde ac-' E N y por lo tanto a - c . Se ha demostrado la transitividad de , as que - es una relacin de equivalencia en 6.
Obsrvese que si G = 2, el grupo de los enteros respecto a +, y U es el
subgrupo que consiste de todos los mltiplos de n, para un entero fijo n > 1,
entonces ab -' E W se traduce en a E b(n). Re esta manera la congruencia md
n es un caso muy especial de la equivalencia definida en el Ejemplo 3.
Esta relacin de equivalencia se utilizar en la demostracin del teorema de
Lagrange.
DEFINICI~N.
Si es una relacin de equivalencia en S , entonces se
define [ a ] ,la clase de a mediante [a] = {b E S1b
a}.
1 . En el Ejemplo 3, a
58
CAP~TULO
2
* GRUPOS
Se deja para ms adelante en este captulo el examen de la clase de un elemento a vista en el Ejemplo 2.
La influencia importante que tiene una relacin de equivalencia sobre un
conjunto es que lo separa en partes disjuntas bien definidas.
DEMOSTRAGI~N.
Puesto que a E [ a ] ,se tiene que W,,,[a] = S. La demostracin de la segunda afirmacin tambin es muy fcil. Se demuestra que si [ a ]#
[b], entonces [ a ]3 [b] = 0 o, de manera equivalente, si [ a ] n Ib] f 0 , entonces [ a ] = [ b ] .
Supngase, pues, que [ a ] R [b] # @; sea c E [ a f R [ b ] .Por la definicin
de clase, c
a ya que c E [ a ] y c - b ya que c f [b]. Por lo tanto, a - c
por la propiedad 2 de -, y entonces, puesto que a
cyc
b, se tiene a
b , De esta manera a E [ b ] ;si x E [ a ] ,entonces x - a, a - b dan lugar a x - b,
por consiguiente x f l b ] . As que [ a ] c [ b ] .El argumento es obviamente
simtrico en a y b, de modo que se tiene [ b ] C [ a ] ,de donde [ a ] = [ b ]y se
prueba la afirmacin hecha anteriormente.
El teorema est ahora probado completamente.
DEMOSTRACI~N.
Volvamos al Ejemplo 3, donde se estableci que la relacin
a
- b si ab-'
59
2 4 * Teorema de Lagrange
su vida en Francia. Fue un gran matemtico que hizo conrrtbucionesfundamentaies en
todas las reas de las matemticas de su tiempo.
DEFINIGI~N.
Si G es finito, entonces el orden de a, escrito o ( a ) ,
es el mnimo entero positivo m tal que am = e,
Supngase que a G tiene orden m. Considrese el conjunto A =
{ e , a, a 2 , . . . , a"-l); se afirma que A es un subgrupo de G (puesto que a" =
e] y que los m elementos listados en A son distintos. Las verificaciones de
estas afirmaciones se dejan al lector. As que ] A1 = m = o ( a ) . Puesto que
[ A1 1 IGI, se tiene
TEOREMA 2.4.4. Si G es finito y a E G , entonces o(a)l 1 Gl.
S a E G , donde G es finito, por el Teorema 2.4.4 se tiene que IGl
o ( a ) . De esta manera
Se ha probado e1
CAPITULO 2 * GRUPOS
[a] + [b] = [a
b].
Pero hay un problema notorio. Est bien definida esta operacin + en Z,?
Qu significa esto? [ a ] se puede representar por muchas a's -por ejemplo,
si n = 3, [ 1 ] = [ 4 ] = [-21 = - ,aunque se est empleando una aparticular
para definir la adicin, Lo que se debe demostrar es que si [ a ] = [ a ' ] y [ b ] =
[ b ' ] ,entonces [ a + bj = [a' + b ' ] , ya que luego se tendra [ a ] + [ b ] =
[ a i- b ] = [a' + b'] = [ a ' ] + [ b ' ] .
Supngase que [ a ] = [ a ' ] ;entonces n 1 ( a - a'). Adems de [ b ] = [ b ' ] ,
nl(b - b'),por consiguiente nl((a - a') + ( b - 6 ' ) ) = ((a + b ) - ( a f + b')).
Por lo tanto, a + b a' + b i ( n ) , y entonces [ a + b ] = [a' + b ' ] .
De esta manera se tiene ya una adicin bien definida en 2,. El elemento [O]
acta como el elemento dentidad y [-a] acta como - [ a ] , el inverso de [ a ] .
Se deja al lector comprobar que 2, es un grupo respecto a + . Es un grupo cclico de orden n generado por [ 1 1.
Se resume todo esto en el
TEOREMA 2.4.6.
[a] + [b] = [a
b].
24
61
Teorema de Lagrange
TEOREMA 2.4.7.
BEMOSTRACI~N.
U,, forma un grupo de orden
COROLARIO
[DE FERMAT).
Si p es primo y p S a , entonces
DEMOSTRACI~N.
Puesto que p ( p ) = p - 1, si ( a , p ) = 1 , por el Teorema
2.4.8 se tiene que aP-'
l ( p ) , por consiguiente a' . aP-" a ( p ) , de tal manera que aP s~ a ( p ) . Si p Jb, entonces b E O(p) y b p EZ- O(p), de modo que
bP = b ( p ) . [rl
Leonhard Euler (1 707-1785)fue probablemente el ms grande cientr;ricoque ha producido Suiza. Fue el ms prolgico de los matemticos de todos los tiempos.
Pierre Fermat (1601-1665)fueun gran terico de b s nmeros. El Itimo Teorema
de Fermat -que no es un teorema sino una conjetura- pregunta si a" + 0" = c",
srendo a, b, c, n enteros, tiene solamente la solucin trivial en la cuaf a = O o bien
b = O o b f e n c = D si n > 2 .
Una palabra final preventiva respecto al Teorema de Lagrange. Su rec@rono es verdadera. Es decir, si G es un grupo finito de orden n, entonces no es necesariamente cierto que para todo divisor m de n exista un subgrupo de G de orden m. Un grupo con esta propiedad es realmente muy especial
y su estructura se puede explicar bastante bien y en forma precisa.
o en general
PROBLEMAS 2.4
63
2 4 * Teorema de Lagrange
2. La reIacin
en los nmeros reales 52 definida por a - b si tanto a > b
como b > a no es una relacin de equivalencia. Por qu no? Cules propiedades de una relacin de equivalencia satisface?
7. Relativo al Problema 6, es toda clase lateral izquierda de ti en G tambin una clase lateral derecha de W en G?
ja
qu es igual il(H)?
11. Demustrese que para cualquier grupo finito G, hay la misma cantidad de
clases laterales izquierdas distintas que de clases laterales derechas de H en 6.
64
CAP~TULO~
GRUPOS
17. Si G es de orden impar, qu se puede decir acerca del elemento x del Problema 16?
18. Aplicando los resultados de los Problemas 15 y 16, prubese que si p es un
nmero primo impar, entonces ( p - l)! - l ( p ) . (ste se conoce como
Teorema de Wlbon.) Desde Luego, tambin es cierto si p = 2.
19. Hallar los conjugados de todos los elementos de S3.
20. Hallar la clase de conjugados del elemento TQ,,del grupo G en el Ejemplo
4 de la Seccin 2.1. Describase en trminos de a y b .
21. Sea G el grupo didrico de orden 8 (vase el EjempIo 10, Seccin 2.1).
Encuntrense las clases de conjugados en G .
22. Verifquese el teorema de EuIer para n = 14 y a = 3 , y a = 5 .
23. Demustrese que en U4,hay un elemento a tal que [al2= [-11, esto es, un
entero a tal que a 2 -1(41).
24. Si p es un numero primo de la forma 4n
resolver
x2 - l ( p ) .
[Sugerencia: Aplicar el teorema de Fermat que dice que aP-'
P4
l ( p ) si
0.1
25. Demustrese que los elementos distintos de cero en 2, forman un grupo res-
PROBLEMASINTERMEDIOS
26, Sean G un grupo, N un subgrupo de G y S el conjunto de todas las clases
laterales izquierdas de W en G, T el conjunto de todas las clases laterales
derechas de H en C . Prubese que hay una aplicacin inyectiva de S
sobre T. (Nota: La aplicacin obvia que se viene a la mente, la cual enva
fi hacia UN,no es la correcta. Vanse los Problemas 5 y 12.)
27. Si aH = bN obliga a que Ha = Hb en G, demustrese que aHa-' = H
para todo a E C .
65
2 4 * Teorema de Lagrange
32. Sean G un grupo finito y H un subgrupo de G. Sea f ( a ) el mnimo positivo m tal que a" E H. Prubese que f (a)lo(a).
33. Si i f f E A ( S ) es tal que f = e, p primo, y si para cierto s E S , fJ(s)
s para algn 1 5 j < p, demustrese que f ( S ) = s.
34. Si f E A (S) tiene ordenp primo, demustrese que para todo s E S la rbita
de s respecto a f tiene uno o p elementos. [Recurdese que la rbita de s
respecto a f es {fJ(s)JJ cualquier entero}.]
s para algn S E S.
37. En un grupo ciciico de orden n, demustrese que para cada entero m que
divida a n (incluyendo m = 1 y m = n) hay p(m) elementos de orden m.
38. Aplicando el resultado del Problema 37, demustrese que n
= Cmi,p(m).
39. Sea G un grupo abeliano finito de orden n para el cual el nmero de soluciones de x" = e es a lo sumo m para cualquier m que divida a n. Prubese
que G debe ser cclico. [Sugerencia: Sea $(m)el nmero de elementos de
G de orden m. Demustrese que $(m)5 p ( m ) y aplique el Problema 38.1
40. Aplicando el resultado del Problema 39, demustrese que U, es cclico, si
p es primo. (Este es un resultado famoso en la teora de los nmeros; afirma
la existencia de una raz primitiva mdp.)
41. Aplicando el resultado del Problema 40, demustrese que si p es un primo
de la forma p = 4n + 1, entonces se puede resolver x"
-l(p) {siendo x
un entero).
42. Aplicando el teorema de Wilson (vase el Problema 28), demustrese que
si p es un primo de la forma p = 4n + 1 y si
En esta definicin el producto ubicado en el lado izquerdo -en rp(ab)es el de G, mientras que el producto p(a)p(b)es el de G '. Una descripcin breve
de un homomorfismo es que preserva la operaci6n de C. No se requiere que
cp sea suprayectivo; si lo es, lo diremos. Antes de investigar algunos hechos
respecto a los homomorfismos, presentamos algunos ejemplos.
2. Sea G un grupo abeliano y rp: G G' definida por rp(a) = a'. Puesto
que (p(ab) = (ab)2= a2b2 = p(a)p(b), p es un homomorfismo de G en s
mismo. No es necesariamente suprayectivo; el lector debe comprobar que en
U, (vase la Seccin 2.4) a' = e para todo a E U,, de modo que { ( p ( a ) }= ( e ) .
+
67
par
par
par,
par .t impar
impar,
impar
impar = par.
Tab.
68
CAP~TULO
2 e GRUPOS
DEFINIGI~N.
Se dice que dos grupos G y 6 ' son isomorfos si existe
un monomorfismo de G sobre G'.
Denotaremos que G y 6 ' son isomorfos escribiendo G = G'.
Esta definicin aparenta ser asmtrica, pero en realidad no lo es, ya que
si existe un isomorfismo de G sobre G ', existe uno de G ' sobre G (vase el Problema 2).
Posteriormente hablaremos ms a fondo de lo que significa que dos grupos
son isomorfos. Ahora slo resumimos lo que se hizo en el Ejemplo 8.
-*
y(xy) = a-'(xy)a
ac'xa
a-'ya = y(x)y(y),
de modo que p es por lo menos un homomorfismo de G en s mismo. Es inyectivo, ya que si p(x) = @ ( y ) ,entonces a-'xa = a-'ya, as que por la cancelacin en G se obtiene x = y. Finalmente, v> es suprayectivo, en virtud de que
x = a-'(axa-])a = y?(axav') para cualquier x E G.
69
p(x) = cosx
isenx.
LEMA 2.5.2.
(o
DEMOSTRACI~N.
Puesto que x = xe, p(x) = p(xe) = p(x)p(e);por la cancelacin en G ' se obtiene ~ ( e =) e'. Adems, <p(aaa') = d e ) = e', por consiguiente e'
<p(aa-') = p(a)(o(a-').
{ p ( a ) l aE G ) . Se
70
CAPITULO 2
* GRUPOS
LEMA 2.5.4.
{ Y E GIP(Y) =
w'l
wf,entonces
K(<p)x.
TEOREMA 2.5.5. Si
(a) K ( p ) es un subgrupo de G.
(b) Dado a E G, a - ' K ( p ) a C K ( p ) .
DEMOSTRACION.
Aunque esto es muy importante, su demostracin es fcil.
S a, b E K ( a ) , entonces p(a) = p(b) = e ' , por consiguiente <p(ab) =
p(a)p(b) = e', de donde ab E K ( p ) ; as que K ( p ) es cerrado respecto al producto. Adems, p(a) = e' implica que p(a-') = p(a)-' = e', y entonces
a-' E K ( p ) . Por lo tanto, K ( p ) es un subgrupo de G. Si k E K ( p ) y a E G,
entonces p ( k ) = e'; por consiguiente, p(a-'ka) = p(a-"p(k)p(a) =
p(a-')e'p(a) = cF(a-l)p(a)= p(a-'a)
p(e) = e'. Esto dice que a-'ka E
K ( p ) , por lo tanto a-'K(cp)a c K ( p ) . EI teorema est ahora completamente
demostrado. [7
(e).
DEMOSTRACION.
Este resultado es en realidad un corolario del Lema 2.5.4.
Se dejan al lector los pocos detalles.
La propiedad (b) de K ( p ) contenida en el Teorema 2.5.5, es una de las interesantes y bsicas de las que un subgrupo puede gozar. En varias ocasiones
hemos encontrado esta propiedad, tanto en el material del texto como en problemas anteriores. La empleamos para definir la ms importante clase de subgrupos de un grupo.
DEFINICIOIV.
Se dice que un subgrupo N d e G es un subgrupo normal
de G si a r 1 N a C N para todo a E G.
Desde luego, K ( p ) , para cualquier homomorfismo, es un subgrupo normal
71
72
CAP~TULO2
GRUPOS
En el Ejemplo 1, q(x) = 1 0 g , ~ xy K ( q ) = ( x ~ l o g l 0 =
x 0)
Ejemplo 2, donde G es abeliano y q(x) = x 2 ,
11). En el
K ( q ) = { x E G ( x Z= e).
El ncleo del homomorfismo trivial del Ejemplo 3 es todo G. En el Ejemplo
4, K ( p ) es el conjunto de los enteros pares. En el Ejemplo 5, K ( p ) =
{a E C'] la1 = 1 ), e cual se puede identificar, a partir de la forma polar de
un nmero complejo, como K ( p ) = {cosx + isenxlx real). En el Ejemplo
6, K ( p ) = { T l , bE G l b real). En el Ejemplo 7, K ( p ) es el conjunto de todos
los mltiplos de f a . En los Ejemplos 8 y 9, los ncleos consisten slo de e,
ya que las aplicaciones son monomorfismos. En el Ejemplo 10, vemos que
K ( q ) = {2m1 m es cualquier entero).
Desde luego, todos los ncleos anteriores son subgrupos normales de sus
grupos respectivos. Debemos considerar algunos subgrupos normales, intrnsecamente en G mismo, sin recurrir a los ncleos de homomorfismos. Regresamos
a los ejemplos de la Seccin 2.1.
1. En el Ejemplo 7, W = { Ta,bE G 1 a racional). Si T', E G, se deja al lector
verificar que G H T x , , c H y por lo tanto H a C.
2. En el Ejemplo 9 el subgrupo (i, g,
lector la verificacin.
2, g3) a
. . . , hfl-')
es normal en G.
25
-+
13. Si G es un grupo abef ano finito de orden n y cp: G G se define por cp(a) =
a" para todo a E 6 , encuntrese una condicin necesaria y suficiente para
que cp sea un isomorfismo de G sobre s mismo.
+
a G, N a G, prubese que M
7 N 4 C .
fl,,,a-'Ha,
prubese que N a G.
75
PROBLEMAS INTERMEDIOS
39. Aplicar el resultado del Problema 38 para resolver de nuevo el Problema 37.
26
Grupos factores
45. Aplcando el resultado del Problema 44, demostrar que un grupo de orden
P 2 , p primo, debe ser abeliano.
46. Sea G un grupo de orden 15; demustrese que existe un elemento a # e en
G tal que a 3 = e y un elemento b # e tal que b5 = e.
{ e , a, a 2 )
48. A partir del resultado del Problema 47, demostrar que cualquier grupo
de orden 15 es cclico.
PROBLEMASMUY DIFCILES
49. Sean G un grupo y H un subgrupo de G tal que i G ( H )es finito. Probar
que existe un subgrupo N C N,N a G tal que i,(N) es finito.
50- Constryase un grupo G tal que G tenga un subgrupo normal N y N tenga
un subgrupo normal M (esto es, N a G, M a N ) y que sin embargo M
no sea normal en G.
51. Sean G un grupo finito y cp un automorfismo de G tal que cp2 es el automorfismo identidad de G. Supngase que cp(x) = x implica que x = e.
Probar que G es abeliano y p(a) = a--' para todo a f G.
52. Sean G un grupo finito y cp un automorfismo de G tal que p(x) = x-' para
mas de los tres cuartos de los elementos de C . Probar que p(y) =
y-' para todo y E G y en consecuencia G es abeliano.
2.6 GRUPOS
FACTORES
Sean G un grupo y N un subgrupo normal de C. En la demostracin del teorema de Lagrange utilizamos, para un subgrupo arbitrario E?, las relaciones
de equivalencia a
b si ab-' E H. Consideremos esto cuando N es normal
y veamos s se puede decir algo mas de lo que se podra para cualquier subgrupo
mayor sencillamente.
As que sea a
b si ab-' E N y sea [ a ] = { x E G l x
a ) . Como vimos
anteriormente, [ a ] = Na, la clase lateral izquierda de N en G que contiene a
a, Recurdese que al estudiar 2, se defini en l una operacidn + mediante
[ a ] + [ b } = [a + b]. Por que no intentar algo semejante para un grupo arbitrario G y un subgrupo normal N de C?
78
CAPTULO 2
GRUPOS
- -
{ [ a ]la E G )
{Nala E G } ,
N
entonces G/N es un grupo relativo a la operacin [ a ][ b ] = [ a b ] .
Se debe hacer inmediatamente una observacin, a saber
4,es N.
26
78
Grupos factores
DEMOSTRACI~N.
La apiicacion ms natural de G a G/N es la que sirve para
el caso. Defnase $: G G/N por $ ( a ) = [ a ] .El producto definida en G / N
hace de $ un homomorfismo, ya que $(ab) = [ab] = [ a ] [ b ]= +(a)$(b).
Puesto que todo elemento X E G/Nes de la forma X = [ b ] = $ ( b ) para algn
b f G , es suprayectivo. Finalmente, cul es el ncleo, K ( $ ) , de $? Por definicin, K ( $ ) = { a E G ]$ ( a ) = E ) , donde E es ei elemento unidad de G/N.
Pero cual es E? Ningn otro sino E = [ e ] Ne = N , y a E K ( $ ) si y slo
si E = N = $(a) = Na. Pero Na = N dice que a = ea E Na = N, por consiguiente vemos que K ( $ ) c N. Se deja al lector probar que N c K ( $ ) , lo cual
es fcil. Por lo tanto K ( $ ) = N.
-+
80
CAP~TULO
2 * GRUPOS
81
2 6 * Grupos factores
que 1 Gl y se demostrar que esto obliga a que el teorema sea cierto para C .
Si 161 = 1, no existe tal p y el teorema es cierto por vacuidad. De modo
que se cuenta con un punto de partida para la induccin.
Supngase que existe un subgrupo ( e ) f N f 6 ; puesto que 1 N / < 1 G / , si
p 1 1 NI, por la hiptesis de induccin existira un elemento de orden p en N, por
consiguiente en G, y la demostracin concluira. De esta manera se p u d e suponer que p $ ] N / .Puesto que 6 es abeliano, todo subgrupo es normal, as que
sepuedeformarG/N.Debidoaquepl 1GIyp $ I N [ y a q u e I G / N / = ] G [ / I N [ ,
se tiene que p 1 1 G/NI, El grupo G / N es abeliano, ya que G es, y puesto que
N # ( e ) , 1 NI > 1, as que 1 G/NI = 161 /1NI < 161.Por consiguiente, por induccin nuevamente, existe un elemento en 6 / N de orden p. Esto se traduce
en: existe un a E G tal que [alP = [ e ] ,pero [ a ] # [ e ] . Puesto que [ e ] =
[alP = [ a P ]se
, tiene (a partir de la equivalencia definida md N) que a p E N,
a 6- N. As que si m = INI, entonces por el Teorema 2.4.5, puesto que aP f
N, (ap)" = e. De modo que
= e. Si se pudiera demostrar que b = am#
e, entonces b seria el elemento requerido de orden p en C . Pero si a" = e, entonces [a]" = [ e ] ,y puesto que [ a ]tiene orden p, p 1 m (vase el Problema 3 1
de la Seccin 2.4). Pero, por hiptesis, p m = INI. De esta manera concluye
la demostracion si G tiene un subgrupo no trivai.
Pero si G no tiene subgrupos no triviales, debe ser ciclico de orden primo.
(Vkase ei Problema 16 de la Seccin 2.3, el cual podr ser ahora tratado ms fcilmente por el lector,) Cual es este "orden primo"? Como p J ] G / , se debe
tener 1 GI = p. Pero entonces cualquier elemento a f. e E G satisface aP = e
y es de orden p. Esto completa la induccibn y en consecuencia demuestra el
teorema.
82
CAP~TULO2
GRUPOS
:,
26
83
Grupos factores
2. Si G es el grupo de los nmeros reales distintos de cero respecto a la multiplicacin y N = (1, -1 }, mustrese cmo se puede "identificar" G / N
como el grupo de todos los nmeros reales positivos respecto a la rnultiplicacin. Cules son las clases laterales de N en G ?
M.
84
CPPTUL.0 2
GRUPOS
17. Sea G un grupo abeliano de orden mn, donde m y n son relativamente primos.
Sea M = { a E G ] a m= e ) , Prubese que:
(a) M es un subgrupo de C.
(b) G / M n o tiene ningn elemento x, aparte del elemento identidad, tal que
xm = elemento unidad de G/M.
18. Sea G un grupo abeliano (posiblemente infinito) y sea el conjunto T =
{a E Cl a" = e, m > 1 dependiente de a}. Prubese que:
(a) T es un subgrupo de C.
(b) C / T no tiene ningn elemento, aparte de su elemento identidad, de orden finito.
se ve fcilmente que la aplicacibn de G/K sobre C ', la cual enva cada KT,,,
sobre a, es un isomorfismo de G/K sobre G ' . Por lo tanto, G/K = 6 ' .
27
85
Teoremas de nornomorf~srnos
p(a).
DEMOSTRACION.
La mejor manera de demostrar que G/K y G ' son isornorfos es exhibir explcitamente un isomorfismo de G/K sobre G '. El enunciado
del teorema sugiere cul podra ser tal isomorfismo.
G ' por $(Ku) = p ( a ) para a E 6 . Como
De manera que definase $: G/K
de ordinario, lo primero que se tiene que hacer es demostrar que $ esta
bien definida, es decir, que si Ka = Kb, entonces $(Ka) = $(Kb). Esto se reduce
a demostrar que si Ka = Kb, entonces p(a) = p(). Pero si Ka =
Kb, entonces a = k b para algn k F K, por consiguiente p ( a ) = p(kb) =
p(k)v(b); puesto que k E K, el ncieo de p, entonces p(k) = e ' , el elemento
identidad de G ', as que se obtiene p(a) = p(b). Esto demuestra que ia aplicacin S, est bien definida.
Debido a que p es suprayectva sobre G ' dado .x E G ', entonces x = p[u)
para algn a E G, as que x = p(u) = $(Ka). Esto demuestra que $ apIica
G/K sobre G '.
;Es inyectiva $ ? Supngase que iS.(Ku) = Li/(Kb); entonces $ ( a ) =
$(Ka) = S,(Kb) = ( ~ ( 6 ) ;por lo tanto, e' = p ( a ) p ( b ) - ' = q ( u ) p ( / ? ' )=
p(ub-'). Como as resulta que ub-' est en el niicleo de s -que es K- se
tiene que ab-' E- M. Esto implica que Ka = Kb. De esta manera se obserba que
$ es inyectiva.
+
86
CAP~TULO2
GRUPOS
( a E C l p ( a )E H ' } ,
H ' . Finalmente,
DEMOSTRACI~N.
Se verifica prmero que el H dado es un subgrupo de G. No
es vaco, puesto que e E H. Si a, b E H, entonces @ ( a ) ,p(b) E H ', por consiguiente cp(ab) = cp(a)p(b)E H ' , ya que H ' es un subgrupo de G '; esto hace
que ab est en H , de modo que H e s cerrado. Adems, si a E N , entonces p(a) E
H ' , por consiguiente cp(a-') = p(a)-' esta en H ' , nuevamente porque H ' es
un subgrupo de G ' , de donde a-' E H. Por lo tanto, N e s un subgrupo de G.
Debido a que p(K) = ( e ' ) c H ' , donde e' es el elemento unidad de G ' ,
se tiene que K C H. Puesto que K a G y K C N, se sigue algo ms an, que
K a H. La aplicacin cp restringida a N define un homomorfismo de H sobre
N ' con ncleo K. Por el primer teorema de homomorfismos se obtiene H/K .-
H'.
Finalmente, si M
"
G ' y si a E C , entonces cp(a)-'H'cp(a) C H ' , as que
cp(a-')Hfco(a)C H ' . Esto dice que cp(a-'Ha) E M', cuando a--'Ha c H . La
cual prueba la narmaldad de H en G.
Lo que dice el teorema es que existe una correspondencia biyectiva entre
el conjunto de todos los subgrupos de G que contienen a K y el coMunto de
todos los subgrupos de G '. Ademds, esta correspondenciapreserva la normalidad. (Prubese.)
Por ltimo, pasamos al tercer teorema de homomorfismos, que dice algo
ms acerca de la relacin entre N y N' cuando N ' a G '.
DEMOSTRACI~N.
Defnase la aplicacin $: C
G ' / N ' por + ( a ) = N i p ( a )
para todo a E 6 , Puesto que p es suprayectiva sobre G ' y cada elemento de
+
27
Teoremas de homomorf~smos
87
G 1 / N ' es una clase lateral de la forma N ' x ' , y x ' = p(x) para algn x E
G , se tiene que aplica G sobre G 1 / N ' .
Adems, $ es un homomorfismo de G sobre G 1 / N ' ,ya que $(al?) =
N r p ( a b ) = N'p(a)rp(b)= ( N f p ( a ) ) ( ~ ' p ( b=) )$(a)+(b),puesto que N ' o
G ', Cual es el ncieo M de $? Si a E M , entonces + ( a )es el elemento unidad
de G ' / N ' ,es decir $ ( a ) = N'. Por otra parte, por la definicin de $, $ ( a ) =
N f p ( a ) .Debido a que N i P ( a )= N' se debe tener p ( a ) E N ' ; pero esto hace
que a est en N , por la misma definicin de N. Por consiguiente M C N. Es
fcil probar que N C M y se deja al lector. Por lo tanto, M = N , de modo
que $ es un homomorfismo de G sobre G ' / N ' con ncleo N , de donde, por
el primer teorema de homomorfismos, G/N = G ' / N ' .
Finalmente, de nuevo por los Teoremas 2.7.1 y 2.7.2, G ' = G/K, A'' =
N / K , lo cual conduce a G / N = G ' / N r = ( G / K ) / ( N / K ) . [7
PROBLEMAS 2.7
1. Prubese que M 31 N en la demostracin del Teorema 2.7.3.
2. Sea G e1 grupo de todas las funciones con valores reales definidas en el intervalo unitario [O, 11, en donde, para f,g E G, se define la adicin f +
g por ( f + g ) ( x ) = f ( x ) + g ( x ) para todo x E [O, 11. Si N =
{ f E G l f ( : ) = O } , prubese que G / N = nmeros reales respecto a + .
3. Sean G el grupo de los nmeros reales distintos de cero respecto a la multiplicacin y N = { 1, -1 ). Demostrar que G / N = nmeros reales positivos
respecto a la multiplicaci6n.
4. Si G,, 6, son grupos y G = G, x
2 8 * Teorema de Cauchy
89
xp
CAP~TULO
2 * GRUPOS
COROLARIO. Si G, a son como en el Lema 2.8.3 y si x E G, entonces x-'ax = a', donde O < i < p, para algn i (dependiente de x ) ,
DEMOSTRACI~N.
Puesto que e # a E A y x-'Ax = A , x-'ax E A . Pero
todo elemento de A es de la forma a', O O i ip, y x-'ax # e. En consecuencia, x-'ax = a', donde O < i < p. O
Demostramos ahora un resultado diferente.
Supngase que c' = e, donde i > O; asi que (ab)' = e . Puesto que ab =
bu, e = (ab)" = a%'; esto dice que a' = b-' E A n B = ( e ) . Por lo tanto
a' = e, de donde mli,y bt = e, de donde n ) i . Como ( m , n ) = 1 y m y n dividen a i, mn divide a i. As que i 2 mn. Puesto que (ab)"" = a""hm" = e ,
se ve que mn es el menor entero positivo i tal que ( a b ) ' = e . Esto dice que ab
es de orden mn, como se afirma en el lema. r]
Antes de considerar el caso ms general de los grupas de orden pq, consideremos un caso especial, a saber, un grupo G de orden 15. Por el teorema de
28
91
Teorema de Cauchy
b-"b2
b-'(b-lab)b
b-Ia"
((b-lab)'
(a')'
al2,
PROBLEMAS 2.8
PROBLEMASINTERMEDIOS
1. Respecto a la demostracin del Teorema 2.8.2, pruebese que si algun par
de elementos de s = (a,, az, . . . , a,) son diferentes, entonces f ( S ) # s, y
la rbita de s respecto a f tiene p elementos,
92
CAPiTUO 2
GRUPOS
m!.
10. A partir del resultado del Problema 9 , prubese que un grupo de orden 42
tiene un subgrupo normal de orden 21.
PROBLEMAS DIF~CILES
12. Prubese que cualesquiera dos grupos no abelianos de orden 21 son isomorf o ~ (Vase
.
el Problema 4.)
PROBLEMAS
MUY DIF~CILES
15. Prubese que si p r q son dos primos tales que q ( p - 1 , entonces cualesquiera
dos grupos no abelianos de orden pq son isomorfos.
2.9 PRODUCTOSDIRECTOS
En varios problemas y ejemplos presentados anteriormente, pasamos por la siguiente construccin: si G,, G2 son dos grupos, entonces G = G, x 6, es
el conjunto de todos los pares ordenados ( a , b ) , donde a E G,, y b f G,
29
93
Productos directos
?, c GI x G2 x
. x G,
6 , donde
( e , ,e2, . . ., e,,-,,a , ) ;
ala2
e,,
LEMA 2.9.2.
que M 7 N
DEMOSTRACI~N.
Considrese el elemento a = mnm-'n--'. Insertando parntesis en a se puede escribir a = (mnm-')n-'; entonces, dado que IV a G y
n E N,mnm-' E E,de manera que a = (mnm-')nA1;tambin esta en N. Insertando parntesis en a ahora de otra manera, a = m(nm-'n-'1; puesto que
M N y m--' E M, se tiene nm-' n-' E M y entonces a = m(nmi'n-l) E
M. Por consiguiente a E M 7 N = ( e ) ,que equivale a decir, mnm-'n-' = e.
Esto da por resultado mn = nm, como se requera. [7
Si G es el producto directo interno de los subgrupos normales N,, . . . ,
N,,afirmamos que N,7 N, ( e )para i # j. Para tal fin supngase que a E
N,n N'; entonces a = e . e . eae . . e, donde a ocurre en el i-simo lugar,
Esto da una representacin de a en G = N,N2. . . N,.Por otra parte, a = e .
COROLARIO.
29
95
Productos directos
DEMOSTRACION.
Por el Lema 2.9.3, N,n N, = (e)para i # j . Puesto que
los N son normales en C , por el Lema 2.9.2 se tiene que cualquier elemento
de N, conmuta con cualquier elemento de N,, es decir, ala,
a , E N,,
a, E N,.
a,a, para
TEOREMA 2.9.4. Si G es el producto directo interno de sus subgrupos normales N,, N2, . . . , N,, entonces G es isomorfo a N, x
N 2 x . . x N,, el producto directo externo de N,,
N,,. . . , N,.
DEMOSTRACION.
Defnase la aplicacin $ de N,x N:,x . . . x N, a C
por $((a,, a2, . . . , a,)) = alaz . . . a,. Puesto que todo elemento a de G
tiene una representacin a = ala, , . . a,, con los a, E N,,
se tiene que la aplicacin $ es suprayectiva. Afirmamos que tambin es inyectiva, Porque si
$ ( ( a , , a,, . . . , a,)) = + ( l b l , b2, . . ., b,)), entonces por la definicin de
ala2 . . . a, = b,b2 . . b,. Por la unicidad de la representacin de un elemento
en esta forma se deduce que al = b , , al = b2, . . . , a , = b,. Por consiguiente
$ es inyectiva.
Lo nico que resta es demostrar que $ es un homomorfismo. De manera
que considerese
+,
entonces conmuta con a,, b, para i > 1 por el corolaPuesto que b , E N,,
rio del Lema 2.9.3. As que se puede pasar b , a travs de todos los elementos
que estn a su derecha y se obtiene a,b,a,b2 . . a,b, = a,a2b2a3b3- . . a,,b,b,.
Reptase luego este procedimiento con b2, y as sucesivamente para obtener
que alb,a,b, . . a,b, = ( a , , a2 . . a,)(b,b, - . b,). De esta manera
(a,@,
a,)(b,b2 . . b,)
96
CAP~TULO
2
GRUPOS
El objetivo a menudo es demostrar que un grupo dado es el producto directo de ciertos subgrupos normales. Si esto se puede realizar, es posible determinar completamente la estructura del grupo si es que se conocen las de los subgrupos normales.
PROBLEMAS 2.9
1. Si G, y G2 son grupos, prubese que G, x G2
G2 x G 1 -
Demustrese que G
P, x P2 x
x Pk.
2.1 0 GRUPOS
ABELlANOS FINITOS (OPCIONAL)
Hemos terminado justamente de estudiar el concepto de producto directo de
grupos. Si se dejara este tema en el punto en que termin, podra dar Ia impresin de una pequea y agradable construccin, pero luego qu? Para darle
un poco mas de sustancia, se debe probar por lo menos un teorema que diga
que un grupo que satisfaga cierta condiciun es el producto drecto de algunos
grupos particularmente sencillos. Afortunadamente existe tal clase de grupos,
los abelianos finitos. Lo que se probara es que cualquier grupo abeliano finito
es el producto directo de grupos cclicos. Esto reduce la mayoria de las interrogantes relativas a grupos abelianos finitos a cuestiones referentes a grupos cclicos,
lo cual a menudo permite obtener respuesta completas a dichas interrogantes.
2 10
97
98
CAP~TULO
2
GRUPOS
to; sin embargo, si se elige un elemento b2con esta propiedad, puede ser que
no resuelva el problema; es posible que se tenga que adaptar para tal fin. La
realizacin de todo esto es la parte tcnica del razonamiento y lo ejecuta. Luego
se repite apropiadamente para encontrar un elemento a3, y as sucesivamente.
Este es el procedimiento que se llevar a cabo para probar el teorema. Pero
para facilitar las elecciones sucesivas de a l , a,, . . . , aplicaremos un razonamiento de induccin y algunos resultados preliminares auxiliares.
Con este esquema como gua esperamos que la demostracin del teorema
tenga sentido para el lector. No se debe confundir la idea bsica de la demostracin -la cual es bastante razonable- con los detalles tcnicos, que puede
ser que ensombrezcan el asunto, De esta manera empezamos ahora a llevar los
pormenores del esquema de la demostracin esbozada anteriormente.
LEMA 2.1 0.1. Sea G un grupo abeliano finito de orden mrl, donde
m y n son reIatvamente primos. Si M = { x E G / x m = e ) y N =
jx E Glxn = e), entonces G = M x N. Adems, si m y n son distintos de 1, entonces M S: (e) y N # (e).
DEMOSTRACI~N.
Se observa rpidamente que los conjuntos M y N antes
definidos son subgrupos de C. Por otra parte, si m f 1, entonces por el
teorema de Cauchy (Teorema 2.6.4) se obtiene fcilmente que M # (e) y de
manera semejante, si n # 1, que N # (e). Adems, puesto que N n N es un
subgrupo tanto de M como de N, por el teorema de Lagrange, J MR NI divide
a IMI = m y ]NI = n. Como m y n son relativamente primos, se obtiene
IM n NI = 1, por consiguiente M fl N = (e).
MN.
Para finalizar la demostracin, se debe probar solamente que G
Puesto que m y n son relativamente primos, existen enteros r y s tales que rnz -t
sn = 1. Si a E 6, entonces a = a ' = a'"'"
= asna'"' , dado que (aSfl,P =
asnm= e se tiene que as" E M. De manera semejante, a'" E N. As que
a =
est en MN. De esta manera G = MN. Se deja al lector el ltimo toque, a saber, que G = M x N,
Un corolario inmediato es
DEMOSTRACION.
Sea P
99
DEMOSTRAG~~N.
Se procede por induccin en n. Si n
1, entonces 1 C /
e?
100
CAPTULO 2
GRUPOS
TEOREMA 2.10.3 (TEOREMA FUNDAMENTAL DE LOS GRUPOS ABELIANOS FINITOS). Todo grupo abeliano finto es el producto
directo de grupos cclicos.
DEMoSTRACI~N. Sea G un grupo abeliano finito y p un primo que divide a
(GI. Por el corolario de1 Lema 2.10.1, G = P x T, donde IPI = pn, Por el
Teorema 2.10.2, P = Al x A, x - . x Ak, donde 10s A, son subgrupos ciclicos de P. Razonando por induccin en 1 G 1 , se puede de este modo suponer
que T = T, x T2 x . . x T,, donde los T, son subgrupos cclicos de T.
As que
= A , x A2 x . -
- x
A, x T, x T, x
. . x Tk.
(Prubese.)
102
CA~TULO
2 *
GRUPOS
E G, C ( a ) es un subgrupo de G.
Si G es un grupo finito,
entonces
103
DEMOSTRACION.
Se har uso de la ecuacin de clase para llevar a cabo la demostracin. Sea z = l Z ( G ) l ;como se seal, previamente, z es el nmero de
elementos de C cuya clase de conjugacin tiene solamente un elemento. Puesto
que e E Z ( C ) , z 1. l . Para cualquier elemento b fuera de Z ( C ) , su clase de
conjugacin contiene ms de un elemento y C ( b )1 < 1 G 1. Por otra parte, dado
que / C ( b ) l divide a jC 1 por el teorema de Lagrange, [ C ( b )1 = P ' ' ~ ) ,donde
1 S n ( b ) < n. Se dividen las partes de la ecuacin de clase en dos: las que provienen del centro y las restantes. De esta manera se obtiene,
DENOSTRACION.
Por el Teorema 2.1 1.4, Z ( G ) # ( e ) , de tal manera que hay
un elemento, a, de orden p en S ( G ) . Si A = ( a ) , el subgrupo generado por
a , entonces A c Z ( G ) , por consiguiente A C C ( x ) para todo x E C. Dado
x E C , x A, entonces C ( x ) > A y x E C ( x ) ;as que 1 C(x)I > p , no obstante 1 C ( x )1 debe dividir a p2. E1 resultado neto de esto es que 1 C ( x )1 = p2,
por lo tanto C ( x ) = G, de donde x E Z ( G ) . Puesto que todo elemento de G
est en el centro de 6 , ste debe ser abeliano.
En los problemas que vienen se darn muchas aplicaciones de la naturaleza
de los grupos de orden p", donde p es primo. El ataque natural sobre virtualmente todos estos problemas sigue los lineamientos del razonamiento que estamos a punto de dar. Elegimos una opcin, de un amplio conjunto posible,
para ilustrar dicha tcnica.
104
CAP~TULO2
GRUPOS
DEMOCTRACI~N.
Se procede por induccin en n. Si n = 1, entonces G es de
orden p y ( e ) es eI subgrupo normal requerido de orden pl-' = p0 = 1.
Supngase que se sabe que para algn k todo grupo de orden p k tiene un
subgrupo normal de orden p k p l . Sea G de orden pk '; por el Teorema 2.11.4
existe un elemento a de orden p en Z(G), el centro de G. De esta manera el
subgrupo A = ( a ) generado por u es de orden p y normal en C . Considrese
r' = C / A ; P es un grupo de orden I G l / ] A l = p k + l / p = pk por el Teorema
2.6'3. Puesto que r tiene orden p< se sabe que l7 tiene un subgrupo normal
M de orden pk-'. Dado que I' es una imagen homomorfa de G, por el segundo
teorema de homomorfismos (Teorema 2.7.2) existe un subgrupo normal N en
G, N > A , tal que N / A = M. Pero entonces se tiene
+
DEMOSTRACI~N.
Si n = O, entonces p { f G l y no hay nada que probar.
Se supone por lo tanto que n 2: 1. De nuevo se procede por induccin en ( G 1,
suponiendo que el resultado es verdadero para todos los grupos H tales que
IHI < IGl.
Supngase que el resultado es falso para C . Entonces, por la hiptesis de
induccin, pn no puede dividir a IH[ para cualquier subgrupo N de C si
H # G. En parricular, si a $5 Z ( G ) , entonces C ( a ) # 6, por consiguiente
p" S J C ( a l.) De esta manera pl 1 Gj / ( C ( a ) J = i G ( C ( a ) )para a @ Z(G).
Escrbase la ecuacin de clase para G siguiendo los lineamientos del razonamiento del Teorema 2.11.4, Si z = 1 Z ( G ) 1, entonces z r 1 y
105
En realidad el teorema de Sylow consiste de tres partes, de las cuales solamente probamos la primera. Las otras dos son (suponiendo p R m = 1 G], donde
p
4 m):
1. Cualquier par de subgrupos de orden p nen G son conjugados; es decir, si
1 Pl = 1 QI = pn,P, Q subgrupos de G, entonces para algn x G, Q =
x-"x.
+ kp y divide
la.
Puesto que dichos subgrupos de orden p " surgen por todas partes, se les
llama p-subgrupos de SyIow de 6. Un grupo abeliano tiene un p-subgrupo de
Sylow para todo primo p que divida a su orden. Esto dista mucho de ser cierto
en el caso general. Por ejemplo, si 6 = S,, el grupo simtrico de grado 3, que
tiene orden 6 = 2 3, hay tres Zsubgrupos de Sylow (de orden 2) y un 3-subgrupo
de Sylow (de orden 3).
Quienes deseen analizar varias demostraciones de la parte del teorema
de Sylow que se prob anteriormente y de las otras dos, pueden examinar la
seccin correspondiente del libro del mismo autor, igebra Moderna.
106
CAP~TULO
2
* GRUPOS
N(&) y N a N ( H j .
xA'N(H)x.
12. Si P es un p-subgrupo de Sylow y a E G es de orden pmpara algn m, demustrese que si aP1Pa= P entonces a P.
PROBLEMASINTERMEDIOS
16. Demustrese que un grupo de orden 36 tiene un subgrupo normal de orden
3 o 9. (Sugerencia: Vase el Problema 40 de la Seccin 2.5.)
17. Demustrese que un grupo de orden 108 tiene un subgrupo norma1 de orden
9 o 27.
18. Si P es un p-subgrupo de Sylow de G , demuestrese que N ( N ( P ) )
N(P),
107
-b
26. Aplicando el resultado del Problema 25, demustrese que el nmero de psubgrupos de Sylow de G es de la forma 1 + kp. (Esta es la tercera parte
del teorema de Sylow.)
27. Sean P un p-subgrupo de Sylow de G y Q otro de ellos. Sup6ngase que
Q # xU1Px para cualquier x E G. Sea S el conjunto de todos los
y-'&, cuando y recorre todo C. Para Q,, Q2 E S definase Q, - Q2 si
Q2 = a-'Q,a, donde a E P.
(a) Demustrese que esto implica que el nmero de distintos y-'& es un
multiplo de p.
(b) Aplicando el resultado del Problema 14, demostrar que no puede ser
vlida la conclusin de la parte (a).
(c) A partir de esto prubese que dado cualquier par dep-subgrupos de Sylow
P y Q de G, entonces Q = x-'Px para algn x E G. (Esta es la segunda
parte del teorema de Sylow.)
L GRUPO
Recordemos un teorema de grupos abstractos demostrado en el Captulo 2. Dicho resultado, conocido como teorema de Cayley (Teorema 2.5. l), afirma que
todo grupo G es isomorfo a un subgrupo de A (S), el conjunto de las aplicaciones inyectivas del conjunto S sobre si mismo, para algUn S apropiado. En realidad, en fa demostracin que dimos se utiliz como S el mismo grupo G
considerado simplemente como un conjunto,
Histricamente, los grupos se originaron primero de esta manera, mucho
antes de que fuera definido el concepto de grupo abstracto. En los trabajos de
Lagrange, Abel, Galois y otros, encontramos resultados sobre grupos de permutaciones que fueron demostrados a finales del siglo xvxrl y a principios del
XIX. Sin embargo, no fue sino hasta mediados del siglo X I X que Cayley introdujo
ms o menos el concepto abstracto de grupo.
Puesto que la estructura de grupos isomorfos es la misma, el teorema de
Cayley seaIa un cierto carcter universal de los grupos A ( S ) . Si conocieramos
la estructura de todos los subgrupas de A ( S ) para cualquier conjunto S, conoceramos la estructura de todos los grupos. Esto sera demasiado pedir. No obstante, se podra intentar explotar este empotramiento de tipo isomorfo de un
grupo arbitrario G dentro de algn A ( S ) . Lo anterior tiene la ventaja de transformar G como un sistema abstracto en algo ms concreto, a saber, un conjunto de aplicaciones precisas de algn conjunto sobre s mismo.
No nos ocuparemos de los subgrupos de A(S) para un conjunto arbitrario
110
CAP~TULO
3 * EL GRUPO SIMETRICO
4 14
3.1 * Preliminares
3,
x y escribiendo
que se encuentra
r,
1,
...
...
Si se sabe que a
] , ja qu es igual o-'?
l,, ,
. a -
fl
...
i:
Es fcil,
n
1.
es ,S5. Entonces u7
(.
11
12
"i
1 t,
412
CAP~TULO
J
EL GRUPOSIMSRICO
PROBLEMAS 3.1
1. Determinar los productos.
3. Prubese que
-1
e . .
...
...
n
3.2 DESCOMPOSIG~~N
EN CICLOS
Continuamos el proceso de simplificacin de la notacin empleada para representar una permutacin dada. AI hacerlo, se obtiene algo ms que un mero smbolo nuevo; se obtiene un mecanismo para descomponer cualquier permutacin
como un producto de permutaciones particularmente cmodas.
3 5 4) es la permutacin
32
2
(
113
Descomposicinen ciclos
3
2
4
5
5
4
6
6
').
...
ik)
Dados dos ciclos, digamos un k-ciclo y un m-ciclo, se dice que son ciclos
disjuntos o ajenos si no tienen ningn entero en comn. De donde (1 3 5)
y (4 2 6 7) son ciclos ajenos en S,.
Dados dos ciclos ajenos en S,, afirmamos que conmutan. La demostracin
de ello se deja al lector, con la sugerencia de que si u, T son ciclos ajenos, se
)
todo i E S = ( 1,2, , . . , n). Expresadebe verificar que ( a ~ ) ( i )= ( ~ o ) ( ipara
mos este resultado como
LEMA 3.2.1. Si u,
= TU.
Consideremos un k-ciclo particular o = (1 2 . - k) en S,. Evidentemente, a(1) = 2 por la definicibn dada anteriormente; jcbmo se relaciona 3
con 1? Puesto que 4 2 ) = 3, se tiene 02(1) = u(2) = 3. Continuando, se ve
que oJ{(2 = j + 1 para j r k - 1, mientras que a k(l) = 1. En realidad,
se ve que ok = e, donde e es el elemento identidad de S,.
Hay dos cosas que se concluyen del prrafo anterior.
1. El orden de un k-ciclo, como elemento de S,, es k. (Prubese.)
ik) es un k-ciclo, entonces la rbita de i,, respecto a u
2. Si a = (i, i2
(vase el Problema 27 de la Seccin 1.4 del Capitulo 1) es {i,, i2, . . ., ik).
. - ik) es
De modo que es posible advertir que el k-ciclo a = (i, i,
Dada cualquier permutacion T en S, para i E (1, 2, . . ., n ) , considrese la rbita de i respecto a T ; entonces tenemos que dicha rbita es
{i, T (i), ~ ~ ( i.). , r $-'(i)}, donde T S(i) = i y s es el menor entero positivo con
esta propiedad. Considrese el S-ciclo (i r (i) r 2 ( i ) . - . 7s-1(i)); se le
llama ciclo de 7 determinado por i.
Se considera un ejemplo especfico y se encuentran todas sus ciclos, Sea
CAPITULO 3 *
EL GRUPO SIMTRICO
r2(1) = ~ ( 3 =
) 4, ~ ~ ( =1 7(4)
)
= 1. Esto se puede obtener visualmente zigza-
el producto de ciclos
ajenos.
Al expresar una permutacin a como un producto de ciclos ajenos, se omiten todos los ciclos de orden 1; es decir, se ignoran los i tales que a ( i ) = i . De
esta manera a = (1 2 3)(4 5 ) en S7es la forma en la que se escribiria a =
(1 2 3)(4 5)(6)(7). En otras palabras, al escribir u como un producto
de k-ciclos, con k > 1, se supone que a deja fijo a cualquier entero que no
est presente en ninguno de los ciclos. As que en el grupo S , , la permutacin
T = (1
5 6)(2 3 9 8 7 ) deja fijos al 4, 10 y 11.
Cul es el orden de un k-ciclo como elemento de S,? Afirmamos que es
k. Tambin aqu se deja la demostracin al lector.
32
115
Descomposicin en ciclos
T.
TEOREMA 3.2.4. Supngase que o E S, tiene descomposicin cclica en ciclos ajenos de longitud m,, m,, . . ., mk.Entonces el orden de
a es el mnimo comn mltipla de m,,m,, . . . , mk.
DEMOSTRAC~~N.
Sea a
= r,r2
rk, donde los T, son ciclos ajenos de longitud m,.Puesto que los T, son ciclos ajenos, 7," = ~ ~ 7por
, ;10 tanto si M es el
mnimo conin rntltiplo de m,,m,, . . ., mk,entonces rrM = (r1r2 . rk)M =
. - - r p = e (ya que T? = e debido a que r, es de orden m, y m,}
M). Por
consiguiente, el orden de a es a lo sumo M. Por otra parte, si aN = e, entonces
. . . T? = e; esto obliga a que cada T? = e (prubese) porque las
T, son permutaciones ajenas, por lo tanto m,lN, ya que T, es de orden m,.De
manera que N es divisible por el mnimo comn mltiplo de ml,rnz9 . . . mk,
as que MjN. Por consiguiente, se ve que a es de orden M como se afirma en
el teorema. O
T~TY
Ntese que es imperativo que en el teorema los cicIos sean ajenos. Por
ejemplo, (1 2) y (1 31, que no son ajenos, son cada uno de orden 2, pero
su producto (1 2)(1 3) = (1 3 2) es de orden 3.
Consideremos el Teorema 3.2.4 en el contexto de un acomodo de naipes.
Supngase que un conjunto de 13 cartas se acomoda de tal manera que la carta
de arriba se coloca en la posicin de la tercera, la segunda en la de la cuarta,
. . . , la i-sima en la posicin i + 2, trabajando en mOd 13. Considerado
como una permutacin, a, de 1, 2, . . . , 13, el acomodo se convierte en
116
CAPiTUL0 3
EL GRUPO CIMTRICQ
ahora realizar el nuevo acomodo para volver las cartas a su posicin original?
La primera operacin es el acomodo expresado por la permutacin 7 =
(1 12 1 1 10 9 8 7 6 5 4 3 2 ) seguida por la o de antes. As que
se debe calcular a7 y encontrar su orden. Pero
por lo tanto es de orden 12. De manera que se requiere realizar 12 veces el acomodo para que las cartas vuelvan a su orden inicial.
Se puede encontrar un acomodo de las 13 cartas que requiera de 42 realizaciones, o de 20? Qu acomodo requerira eI mayor nmero de realizaciones
y cul sera dicho nmero?
Regresamos a la discusin general. Considrese la permutacin (1 2 3);
se ve que (1 2 3) = ( 1 3)(1 2 ) . Tambin se puede ver que (1 2 3 ) =
( 2 3)(1 3 ) . As que dos cosas son evidentes. Primero, se puede escribir
(1 2 3 ) como el producto de dos transposiciones, y en al menos dos ma. . ik) =
neras distintas. Dado el k-ciclo (i,i, . . - ik)t entonces ( i , i2
(il ik)(iI )
- ( i b), as que todo k-ciclo es el producto de k transposicones (si k > 1) y se puede realizar de varias maneras, no de manera nica.
Como toda permutacin es el producto de ciclos ajenos y todo ciclo es un producto de transposiciones, se tiene
+
TEOREMA 3.2.5.
sciones.
Rek'aente este teorema no es de sorprender ya que, despus de todo, dice
precisamel te que cualquier permutaciQn se puede efectuar realizando una serie
de intercamvios de dos objetos en cada ocasin.
Vimos que no hay unicidad en la representacin de una permutacin dada
como producto de transposiciones. Sin embargo, como se ver en la Seccin
3.3, algunos aspectos de dicha descomposicin son en efecto nicos.
PROBLEMAS 3.2
1. Demustrese que si a,
TU.
32
Descompasicin en ciclos
3. Exprsese como
(a) (1 2 3 5
(b) (12)(13)(14)*
(e) (1 2 3 4
(d) (1 2 3)(1
(e) (1 2 3)(3
(f) (1 2 3 4
ciones.
9. Dadas las dos transposiciones (1 2) y (1 31, encuntrese una permutacion
a tal que o(1 210-l = (1 3).
10, Prubese que no existe ninguna permutacin a tal que u(l
(1 2 3).
2)a-l =
11. Demostrar que existe una permutacin a tal que a(l 2 3 ) ~ =' (4 5 6).
12. Prubese que no existe ninguna permutacin o tal que a(1 2 3)u-' =
(1 2 4)(5 6 7).
PROBLEMASINTERMEDIOS
lo es.
070-'
es una transposicin si
1118
CAPITULO3
EL GRUPOSIMTRICO
17, Considrense (1 2) y (1 2 3
la) en S,. Demustrese que cualquier
subgrupo de S, que contenga a estas dos permutaciones debe ser igual a todo S , (as que dichas permutaciones generan S,).
72
7172
es de orden 2
e,
22. Determinar un algoritmo para obtener ara-' para permutaciones cualesquiera a, r de S,.
3.3 PERMUTACIONESIMPARES Y
PARES
449
Considrese a
manera que
(1 2); entonces ~ ( 1 )= 2, 4 2 )
= (1
= (1
1 , y 4 3 ) = 3 , de tal
f(x).
(Prubese .)
3 20
CAPITULO
3
EL GRUPOSIM~TRICO
0
x .
* .
(x2 - x,,)
. - -{ x n - l - x,,)
donde en este producto i asume todos los valores desde X hasta n -- I inclusive,
y j todos aqullos desde 2 hasta n inclusive. Si <r E S,, defnase a* sobre
f ( x ) mediante
~ * ( f ( x=) r I ( x O c l ,
'<J
Si a ,
E S , , entonces
( o ? i * c / < x >=
n<X,OT
,,.,
-
l<l
X,aT,,,>
~a<,,>.
.,., x,,,
a*jn<x
' <J
121
TEOREMA 3.3.1. Una permutacibn en S, es bien sea una permutacin impar o bien par, pero no puede ser ambas.
Con el apoyo del Teorema 3.3.1 se pueden deducir varias de sus consecuencias.
Sea A, el conjunto de todas las permutaciones pares; si a, T E A,, entonces se tiene de inmediato que a~ E A,. Puesto que de esta manera A, es un subconjunto cerrado finito del grupo (finito) S,, A, es un subgrupo de S,, par el
Lema 2.3.2. A, se llama grupo alternante de grado n.
Se puede demostrar que A, es un subgrupo de S, de otra manera. Ya vimos que A, es cerrado respecto al producto de S,, as que para saber que A,
es un subgrupo de S, se requiere simplemente demostrar que a E S, implica que
LT-* E S,. Afirmamos que para cualquier permutacin a, o y a-' son de la misma paridad. Por qu? Bien, si cr = T,TZ . . yk,
donde las r, son transposiciones, entonces
-'
es un subgru-
po normal de S,.
Examinamos esto de otra manera todava. De las propias definiciones involucradas se tienen las siguientes reglas sencillas para el producto de permutaciones:
1. El producto de dos permutaciones pares es par.
2. El producto de dos permutaciones impares es par.
3. El producto de una permutacin par por una impar (o el de una impar por
una par) es impar.
CAHTUL0 3
EL GRUPO SIMTRICO
1, A, es un subgrupo normal de S,
de orden Mn!.
33
2
3
4
5
6
4
5
1
3
7
(b) (1 2 3 4 5 6){7 8 9).
7
8
8
9
i).
E S, acta sobre
>
m fijo. Prubese que la paridad de una permutacin en S,, cuando se considera de esta manera como elemento de S,, no cambia.
5. Supngase que se sabe que la permutacin
PROBLEMASINTERMEDIOS
6. Si n r 3, demustrese que todo elemento de A, es un producto de ciclos de orden 3.
7. Demustrese que todo elemento de A, es un producto de ciclos de orden n.
9, Si n 2 5 y ( e ) # N
10. Aplicando el resultado de1 Problema 9, demustrese que si n 2 5 , los nicos subgrupos normales de A, son ( e )y el mismo A,. (As que los grupos
A, para n 2 S dan una familia infinita de grupos simples.)
ORIA D
4.1 DEFINICIONES
Y EJEMPLOS
En el estudio del lgebra abstracta llevado a cabo hasta ahora, se ha presentado
una clase de sistema abstracto, el cual desempea un papel central en el lgebra
de hoy en da: e! concepto de grupo. Debido a que un grupo es un sistema algebraico que consta solamente de una operacin y que no es necesario que satisfaga
la regla ab = ba, en cierto modo va en contra de nuestra experiencia anterior
con el lgebra. Trabajamos con sistemas en donde se poda tanto sumar como
multiplicar elementos y se satisfaca la ley conmutativa de la multiplicacin ab =
bu. Adems, dichos sistemas conocidos procedieron normalmente de conjuntos
de nmeros -enteros, racionales, reales y en algunos casos, complejos.
El siguiente objeto algebraico que consideraremos es un anillo. En muchos
aspectos este sistema har recordar ms lo conocido anteriormente que los grupos.
Por una parte los anillos sern dotados con adicin y multiplicacin, y stas
estarn sujetas a muchas de las reglas conocidas de la aritmtica. Por otra parte,
no es necesario que los anillos provengan de los sistemas numricos usuales,
En efecto, normalmente tendrn poco qu ver con ellos. Aunque muchas de
las reglas formales de la aritmtica son vlidas, ocurrirn muchos fenmenos
extraos -o que pudieran parecer as. A medida que se vaya avanzando y se
consideren ejemplos de anillos, se ver que se presentan algunas de estas cosas,
Luego de este prembulo estamos preparados para empezar. Naturalmente
lo primero que se debe hacer es definir aquello de lo que se va a tratar:
41
Definiciones y ejemplos
127
Se debe sealar que algunos libros de lgebra exigen que un dominio integral
contenga un elemento unidad. Al leer otro libro, el lector debe verificar si tal
es el caso. Los enteros, S, proporcionan un ejemplo obvio de un dominio integral.
Se considerarn otros un poco menos obvios.
EJEMPLOS
1. Es obvio que el anillo que se debe escoger como primer ejemplo es S,
4 1 * Definicionesy ejemplos
129
donde a, 6,c, d soii nmeros reales cualesquiera. Para tales formaciones cuadradas se define la adicin de una manera natural por medio de
130
CAPITULO
4
ANILLOS
Es fcil ver que R forma un grupo abeliano respecto a esta suma, donde
d) es el negativo de (c 3.
Para que R sea un anillo, se necesita una multiplicacin. Definimos una de una
manera que puede parecer muy poco natural mediante
Aunque puede ser algo laborioso, se puede verificar que con estas operaciones
mientras que
as que
Obsrvese que
(!,
:) (! 0)
y
41
Definiciones y ejemplos
Po, a ,
P,, a2 = Pz y
ai =
P3, y
132
CANTULO4
ANILLOS
el producto de cualquier par de elementos sucesivos es el que sigue, y al recorrerse en sentido opuesto al del reloj se obtienen los negativos.
Se puede luego expresar el producto de cualquier par de cuaternios, segn
las reglas anteriores, estableciendo por definicidn que
en donde
YO =
Se ve tremendo verdad? Pero no es tanto como parece. Se esta multiplicando formalmente empleando las leyes distributivas y Ias reglas del producto
para i, j , k, anteriores.
Si algn a, es O en x = a. + a l i + a 2 j + a3k,se omitir al expresar x;
as que O + O i + O j + Ok se expresar simplemente como O , 1 + Oi + O j +
O k como 1, O + 3i + 4 j + O k como 3i + 4 j , y as sucesivamente.
Haciendo el clculo se obtiene que
+ a,i + a, j + a 3 k )
De manera que, si x =#= O, entonces x tiene nverso en los cuaternios. Por consiguiente los cuaternios forman un anillo con divisin no conmutativo.
Aunque, como se mencion anteriormente, no hay carencia de anillos con
divisin no conmutativos, los cuaternios (o alguna parte de ellos) a menudo son
los nicos anillos de este tipo que inclusive muchos matemticos profesionales
han visto,
Se tendrn numerosos problemas -algunos fciles y otros un poco ms
difciles- relativos a los ejemplos de las matrices 2 x 2 y los cuaternios. De
41
133
Definiciones y ejemplos
esta manera el lector podr adquirir cierta habilidad para trabajar con anillos
no conmutativos.
Un comentario final en esta seccin: si y,, y,, y,, y, son como en (11,
entonces
1. Hallar todos los elementos de Z,, que sean invertibles (es decir, que tengan
inverso multiplicativo) en ZZ4.
(a)
(4
(b)(;
(d)
-7
1).
;j2.
'i3-
i: d)iU 01 -iU
Oji;
Jj.
i: di
talesque(:
b '1
U\=
(C d)
matrices de 2 x 2.
10. Sea R cualquier anillo con unidad y S el anillo de las matrices 2 x 2 sobre
R. (Vase el Ejemplo 1 1.)
(a) Comprubese la ley asociativa de la multiplicacin en S. (Recurdese:
No es necesario que R sea conmutativo.)
b , c . R es un subanillo de S.
{(O
C) tiene inversa en S si slo si a y c tienen in(c) Demostrar que (O
p)lexpiicitamente.
versos en R. En tal caso exprsese (O
:)la,
(a2
b2)(c2 + d 2 )
(ac - bd)2
(ad
14. Demustrese que los nicos cuaternios que conmutan con i son de la forma
(Y
+ pi.
15. Obtener los cuaternios que canmutan tanto con i como con j.
16. Verifquese que
(a,
a,i
(Y;
PROBLEMASINTERMEDIOS
18. En los cuaternjos, defnase
+ a,i + a , ] + a,kl
da; a: + a: + a : .
Demustrese que JxyJ = 1x1 Jyfpara cualquier par de cuaternios x y y.
la,
4 35
4 1 * Definiciones y ejemplos
* por
Demustrese que:
(a) x** = (x* ) * = X,
(b) (x + y)* = x* + y*.
(e) xx* = x*x es real y no negativo.
(d) (xy)* = y*x*.
[Ntese la inversibn del orden en la parte (d).]
24. Utilizando *, defnase 1x1 =
Demustrese que Ixy 1 = 1x1 Iyl para
cualesquiera dos cuaternios x y y, aplicando las partes (c) y (d) del
Problema 23.
25. Aplicar el resultado del Problema 24 para probar la identidad de Lagrange.
(E
R , demustrese que
i)
2)
es invertible en R si y slo si
ir dip1
((
a).1
b real) es un campo en R.
19 36
CAP~TULO
4
ANILLOS
31. Sea R el anillo de las matrices 2 x 2 sobre Z,, siendo p primo. Demus= ad - bc f O, entonces ('f
es invertible
trese que si det ('f
en R.
i)
i)
32. Sea R como en el Problema 3 1. Demustrese que para x,y E R,det (xy)=
det (x) det (y).
33. Sea G el conjunto de eIementos de R, del Problema 3 1, tales que det (x)# 0.
(a) Prubese que G es un grupo.
(b) Hallar el orden de G. (Muy dificil.)
(c) Encuntrese el centro de G.
(d) Encuntrese un p-subgrupo de Sylow de G.
34. Sea T el grupo de las matrices A con componentes en el campo 2, tales que
det A no sea igual a O. Prubese que T es isomorfo a S,, el grupo simtrico de grado 3.
35. Demustrese que el anillo R del Ejemplo 9 (las funciones continuas en
[O, 11 no es un dominio integral.
36. Si F
4.2 ALGUNOS
RESULTADOS SENCILLOS
-
--
42
137
DEMOSTRAGI~N.
Se prueba cada parte a su vez.
ab
+ ba
para a, b E R.
= a2 +
DEMOSTRACION.
Evidentemente ste es el anlogo de ( a +
2 4 + B2 que se tiene, digamos, en los enteros, pero teniendo presente que R
puede ser no conmutativo. De esta manera, vayamos a l, Por la ley distrbutiva
b)b =
por la derecha ( a + b ) 2 = ( a + b ) ( a + b ) = ( a + b)a + ( a
a 2 + ba + ab + b2, que es exactamente lo afirmado.
b)3.
De las dos leyes distributivas se deriva una curiosidad cuando R tiene elemento unidad. La ley conmutativa de la adicin resulta del resto.
138
CAP~TULO
4
ANILLOS
DEMOSTRACI~N.
Se debe demostrar que a + b = b + a para a, b E R. Por
la ley distributiva por la derecha ( a + b)(l + 1 ) = ( a + b ) l + ( a + b ) l =
a + h + a + b. Por otra parte, por la ley distributiva por la izquierda
( a + b)(l + 1 ) = a(l + 1 ) + b(l + 1 ) = a + a + b + b. Pero entonces a +
b + a + b = a + a + b + b; puesto que se trata de un grupo respecto a + ,
se puede cancelar a del lado izquierdo y b de1 derecho y se obtiene b + n =
a + b, como se requera. Por lo tanto R es un anillo.
Finalizamos esta breve seccibn con un resultado que es un poco ms agradable. Se dice que un anillo R es un anillo boolearo [en honor del matemtico
ingls George Boole (1815-1864)]si x2 = x para todo x E R.
Se demostrar el atractivo
(xy
De esto se obtiene xy
conmutativo.
+ xyx
xyx
+ yx, y as xy
PROBLEMAS 4.2
1. Sea R un anillo; dado que R es un grupo abeliano respecto a + , Iza tiene
sentido para n E Z, a, b E R. Demustrese que (na)(mb)= ( n m ) ( a b )si
n , m son enteros y a, b E R.
2. Si R es un dominio integral y ab
que b = c.
ac para a # O, b, c E R , demustrese
43
139
6 . Si a2 = O en R , demustrese que ax
+ xa conmuta con a.
4.3 IDEALES,
HOMOMORFISMOS Y ANILLOS COCIENTE
En el estudio de los grupos, result que los homomorfismos y sus ncleos -10s
subgrupos normales- desempeaban un papel central. No hay razn para esperar
que no ocurra lo mismo con los anillos. En realidad, los anlogos de homomorfismo y subgrupo normal, en el marco de los anillos, desempean un papel
esencial.
Con los conocimientos adquiridos respecto a tales conceptos de teora de
grupos, el desarrollo paralelo para anillos debe ser fcil y rpido. Y as ser.
Sin ms ceremonias se formula la
DEFINIGI~N.
Una aplicacin (o: R -,R ' de un anillo R en un anillo
R ' es un homomorfismo si
(a) d a + b ) = $ 4 ~
+ )yr(b) Y
( b ) ~ ( a b =) cp(a)p(b)para todo a, b E R .
Puesto que un anillo tiene dos operaciones, resulta natural y justo que se
exija que ambas operaciones se preserven respecto a lo que se llamara un homomorfismo de anillos. Ademas, la propiedad (a) de la definicicn dice que p es
un homomorfismo de R, considerada simplemente como un grupo abeliano respecto a la adicidn +, dentro de R ' (considerado tambikn como un grupo
respecto de su adicin). De manera que podemos invocar, y esperar, ciertos
resultados por este solo hecho.
140
CAP~TULO
4
ANILLOS
DEFINICI~N.
Sea R un anillo. Un subconjunto no vaco I d e R se llama
ideal de R si:
(a) I es un subgrupo aditivo de R.
(b) Dados r E R, a E 1, entonces ra E I y ar E I.
Pronto se vern algunos ejemplos de homomorfismos e ideales. Pero primero
se observa que el inciso (b) de la definicin de ideal en realidad tiene una parte
izquierda y una derecha. Se podra hacer una divisin y definir que un conjunto
L de R es un ideal izquierdo de R si L es un subgrupo aditivo de R y si dados
r E R, a E L , entonces ra E L , De modo que para un ideal izquierdo slo se
requiere que opere por la izquierda. De manera semejante se pueden definir
ideales derechos. Un ideal tal como se defini es simultneamente ideal izquierdo
y derecho de R. Con toda propiedad se debe llamar entonces ideal bilateral de
R a 10 que se llama ideal. En efecto, cuando se trabaja en la teora de anillos
no conmutativos se emplea este nombre; en este libro, por "ideal" siempre se
entender un ideal bilateral. Salvo algunos de los problemas, en este captulo
no se utilizar el concepto de ideales unilaterales.
Antes de continuar, se toma nota de lo que se realiz anteriormente respecto
a K ( p ) en el
un ideal de R.
Pronto se ver que todo ideal se puede convertr en el kernel de un homomorfismo. Indicios de lo que sucedi con los subgrupos normales de grupos.
Finalmente, sea K un ideal de R. Puesto que K es un subgrupo aditivo de
R , el grupa cociente R/K existe; es simplemente el conjunto de todas las clases
laterales a + K cuando a recorre R. Pero R no es slo un grupo; es, despus
de todo, un anillo, Tampoco K es simplemente un subgrupo aditivo de R; es
ms que eso, a saber un ideal de R. Se tiene que poder ensamblar todo esto para
hacer de R/K un anillo,
Cmo se definira un producto en R/K de una manera natural? Cmo
necesita definirse ( a + K)(b + K)? Lo razonable es definir ( a + K ) ( b + K ) =
ab + K, lo cual se hace. Como siempre, lo primero que surge es demostrar que
4.3
141
ab
a'b
como
a'(b
- b')
(a'b
- a'b')
= ab
- a'b'
E K.
TEOREMA 4.3.2.
TEOREMA 4.3.4 (SEGUNDOTEOREMA DE HOMOMORFISMOS). Sea la aplicacin cp: R R ' un homomorfismo de R sobre R '
con ncleo K . Si 1' es un ideal de R ' , sea I = { a E Rlcp(u) E I ' } . Entonces I es un ideal de R , I 2 K e I / K = I '. Esto establece una corres+
Concluye esta seccin con una inspeccin a algunos de los aspectos tratados
en ciertos ejemplos.
EJEMPLOS
1. Como de costumbre, se utiliza el anillo Z de los enteros como primer
ejemplo. Sea n > 1 un entero fijo e In el conjunto de los multiplos de n;
entonces I, es un ideal de R. Si Zn es el anillo de los enteros mdn, defnase
cp: Z
Zn por p ( a ) = [ a ] , Como puede verse fcilmente, cp es un homomorfismo de Z sobre Z, con ncleo Pn. As que por el Teorema 4.3.3, Z, =
Z/Iti.(Esto no debe sorprender, porque es como originalmente se introdujo Z,.)
-+
43
143
= O, g est en I.
donde g ( x ) = f (x) - f (i). Debido a que g($) = f (i) - f
As que g = I. De manera que f + I = (f(t) + g ) + I = f (9 + l. Corno
f (i) es precisamente un nmero real, R/I consta de las clases laterales a + I
para a real. Afirmamos que surgen todos los reales a. Ya que si f (i) = ,& #
O, entonces
(t)
As que R/I consiste en todas las a t- 1,a real. De manera que se puede demostrar que R/I es isomorfo al campo de los reales.
Ahora se aplica el Teorema 4.3.3 para demostrar que R / I = R (el campo
de los reales). Sea (P: R
R definida por p ( f ) = f ($). Entonces p (como anteriormente) es suprayectiva y K(p) = { f Rl f (:) = O}; en otras palabras,
K ( p ) = I. As que R / I = imagen de p = campo de los reales.
+
atj
+ a3kla0,a , , a2, a3 E
Z}
y sea
I,
{ao + a,i
+ a a + a,k
((:
U) lo.
1
O)
((
144
CAPITULO4
ANILLOS
0)-
entonces
:)+(O
0)
as que
ya que (
U 0)
la forma (
O/
a
(E
f: /. / O
-)
-+
a. Afirmamos que
es un homomorfismo. Porque,
) , entonces
VI;
por consiguiente,
:)=a.
%(O
J=c.
43
K ( q ) , entonces
u i
a, por una
a = O, ya que (
u t K ( a ) . De
manera que a = O. De esto se obtiene que 1 = K(ip). As que R / I = imagen
de = campo de los reales por el Teorema 4.3.3.
8. Sea R = 1' a
i(
-h
Y,
por J.
!b
PROBLEMAS 4.3
+ JporI + J =
4 . Si 1, JsonidealesdeR, definase1
Prubese que I
+ J es un ideal de R.
(i
+jliEI, j
J).
un ideal de A.
6. Si 1, J son ideales de R, demustrese que 1 n J es un ideal de R.
7, Proporcionar una demostracin completa del Teorema 4.3.2,
8. Proporcionar una demostracin completa del Teorema 4.3.4.
16. Demustrese que el anillo de las matrices 2 x 2 sobre los reales tiene ideales
izquierdos no triviales (y tambin ideales derechos no triviales),
Prubese que:
(a) A + 1 es un subanillo de R , A
(b) ( A + 1111
A / ( A n r).
+ 1 > 1.
(r,S )
+ (t, U )
(r
t, S
r,, s =
S,,
y donde
(r,s)(t, U )
(rs, tu).
18. Demustrese que R @ S es un anillo y que los subanillos ((r, O ) ]r E R ) y
{ ( O , S) 1s E S ) son ideales de R s S isomorfos a R y S, respectivamente.
=
U),
147
i ;f
19. Si R = \[
11 a, b , c reales1J e 1 = { / O
(a) R es un anillo.
(b) I es un ideal de R.
(c) R/I = F e F, donde F es el campo de los nmeros reales.
21. Sea Z , , el anillo de los enteros mod 15. Demustrese que ZI5 2
z3e Zf.
22. Sea Z el anillo de los enteros y m, n dos enteros primos entre s, I,, el conjunto de los multiplos de m en Z e 1, el conjunto de los multiplos de n en Z.
(a) LA qu es igual I , n I,?
(b) Aplquese el resultado del Problema 20 para demostrar que hay un isomorfismo de Z/I,, en Z/I,,, Z/I,,.
(c) Contando las elementos de ambos lados, demustrese que
Z/l,,,, = zme za.
23. Si m, n son primos entre si, prubese que Zrn, = 2, e 2,. (Sugerencia: Pro-
blema 22.)
24. Aplquese el resultado de los Probleinas 22 o 23 para probar el teorema
chino del residuo,el cual afirma que si m y n son enteros relativamente primos
y a, b enteros cualesquiera, se puede enconttar un entero x tal que x
a md m y x b md n , simultneamente.
25. Sea $2 el anillo de las matrices 2 x 2 sobre 10s nmeros reales; supongase
que 1es un ideal de R. Demustrese que 1 = (O) o bien I = R. (Contrstese
esto con el resultado del Problema 16.)
148
CAP~TULO
4
ANILLOS
29. Sea R un anillo con unidad 1. Se dice que un elemento a E R tiene un inverso
izquierdo si ba = 1 para algn b E R. Demustrese que si el inverso izquierdo
b de a es nico, entonces ah = 1 (de manera que b tambin es un inverso
derecho de a).
DEFINIGI~N.
Un idea1 propio M de R es un ideal mximo de R si los
nicos ideales de R que contienen a M son el mismo M y R.
En la discusin anterior a esta definicin ya casi se prob el
4.4
Ideales maximos
(146
~EMOSTRAGI~
Existe
N . un homomorfismo de R sobre R ' = R / M , y puesto que 1 E R se tiene que R ' tiene a 1 + M como su elemento unidad. Como M es un ideal mximo de R , se vio en la discusin anterior que R ' no tiene
ideales no triviales, Por consiguiente, por el Lema 4.4.1, R ' = R / M es un
campo. O
EJEMPLOS
1. Sea 2 el anilIo de los enteros y M un ideal de Z . Como un ideal de Z
se tiene, naturalmente, que M es un subgrupo aditivo de Z, as que debe consistir de todos los mltiplos de cierto entero fijo n. De esta manera, puesto que
R/M
2, y Z, es un campo si y slo si n es primo, se tiene que N es un ideal
mximo de Z si y slo si M consiste de todos los mltiplos de cierto primo p.
Por consiguiente, el conjunto de ideales mximos de 2 corresponde al conjunto
de los nmeros primos.
2. Sean Z el anillo de los enteros y R = { a + bila, b E Z } , un subaniIlo de C ( i 2 = -1). En R sea M el conjunto de todos los a + bi de R , en los
que 3 f a y 3 16. Se deja al lector verificar que M es un ideal de R .
Afirmamos que M es un ideal mximo de R. Supngase que N > M y N #
M es un ideal de R . As que hay un elemento r + si E N, donde 3 no divide
ni a r ni a s. Por lo tanto, 3.i(r2 i s2). (Prubese.) Pero t = r 2 + s 2 =
( r + s)(r - si), as que est en N, ya que r + si E N y N es un ideal de R. De
esta manera, N tiene un entero t = r 2 + s 2 no divisible por 3 . As que ut +
3v = 1 para ciertos enteros u, v ; pero t E N, por consiguiente ut E N
y 3 E M c N, de modo que 3v E N. Por lo tanto, 1 = ut i 3v E N.Por
consiguiente, ( a + bi)l E N, puesto que N es un ideal de R , para todo a +
bi E R . Esto indica que N = R . De manera que el nico ideal de R arriba de
M es el mismo R. Consecuentemente, M es un ideal mximo de R .
Por el Teorema 4.4.2 se sabe que R / M es un campo. Se puede demostrar
(vase el Problema 2) que R i M es un campo que tiene nueve elementos.
150
CAP~TULO
4
ANILLOS
Sea M =
R. Se deja al lector demostrar que M es un ideal maximo de R y que R / M es
un campo que consta de 25 elementos.
5. Sea R el anillo de todas las funciones continuas reales definidas en el
intervalo unitario cerrado [O, 11. En el Ejemplo 5 de la Seccion 4 . 3 se demostr
que si M = { f E R 1 f (%) = O}, entonces M es un ideal de R y R / M es isomorfo al campo de los reales. De esta manera, por el Teorema 4 . 4 . 3 , M es un
ideal mximo de R.
Desde luego, si se define M, = { f E R 1 f ( y ) = O ) , donde y E [O, 11,
entonces M, tambin es un ideal maximo. Se puede demostrar que todo ideal
mximo de R es de la forma M, para algn y E [O, 11, pero para probarlo se
requeriran algunos resultados de la teora de variable real.
Lo que este ejemplo demuestra es que los ideales mximos de R corresponden
a los puntos de [O, 11.
4.5 ANILLOS
DE POLINOMIOS
En la materia que se considera en esta seccin interviene el concepto de polinomio
y el conjunto de todos los polinomios sobre un campo dado. Se espera que la
mayora de los lectores tenga cierta familiaridad con el concepto de polinomio
de sus estudios de preparatoria y que hayan visto algunas de Ias cosas que se
realizan con ellos como son: factorizacin, bsqueda de sus races, divisin de
uno entre otro para obtener un residuo, etctera, El nfasis que se dar al concepto y objeto algebraico conocido como aniilo de polinomios ser6 en un sentido
152
CAP~TULO
4
ANILLOS
2. ADICI~N.Si p ( x )
S,
i, c, = ai = b,.
As que los polinomios se suman sumando sus coeficientes correspondientes.
La definicin de multiplicacin es un poco ms complicada. Primero se define
aproximadamente y luego en forma ms precisa.
3. MULT~PLICACI~N.Si p ( x ) = a. + a,x + . - + anxny q ( x ) = bo +
b,x + . , . + b d m , se define p ( x ) q ( x ) = co + c,x + . - + c,xf,donde los
c , se determinan muItiplicando la expresin formaimente (es decir, en cuanto
a la forma), utilizando las leyes distributivas y las reglas de los exponentes
y X v = X
~ , y+ reuniendo
~
trminos. De manera ms formal,
e, = aibo + a,-,b,
+ -. +
a,b,-,
aob,,
para todo i.
Estas operaciones se ilustran con un ejemplo sencillo, pero primero un dispositivo notacional: si algn coeficiente es O, simplemente se omite ese trmino.
De manera que 9 + Ox + 7x2 + Ox3 - 14x4 se escribe como 9 + 7x2- 14x4.
45
153
Anillos de polinomios
LEMA 4.5.1.
DEFINICION.
Si p(x) = a. + a l x + . . + a,xn y a, # O, entonces
el grado de p(x), denotado por grdp(x), es n."
De modo que el grado de un polinomio p(x) es la potencia ms alta de x
presente en Ia expresin de p(x) con coeficiente no nulo. De esta manera
grd (x - x 2 + x4) = 4, grd (7x) = 1, grd 7 = O, A O no se le asigna grado.
Los polinomios de grado O se llaman constantes; as que el conjunto de constantes se puede identificar con F.
La funcin que asigna grados en F[x] desempeara un papel semejante al
del tamao de los enteros en 2, en el sentido de que proporcionar un algoritmo
eucldeo para F [x].
Una propiedad inmediata e importante de la funcin grado es que se comporta bien para productos.
DEMOS~ACIN.
Sean m
grdp(x) y n
grdq(x); de esta manera el
polinomio p(x) = a, + a,x + . - + a&rn, donde a, f; O, y el polinomio
q(x) = bo + b,x + . - + b s " , donde b, P O. La potencia ms alta de x que
puede ocurrir en p(x)q(x) es xrn'", por la definicin del producto. Cul es el
*
(N. del R.) En esta versin, para mayar claridad se utiliza la notacin grd en vez de deg (del
ingls degree) que se usa en el texto original.
454
CAP~TULO
4
ANILLOS
+ q(x)). sta es
DEMQSTRACL~N.
Si p ( x ) # O y q(x) # 0, entonces grdp(x) r 0, grd q ( x ) 2
O, de manera que grd (p(x)q(x)) = grdp(x) + grd q(x) z O. Por lo tanto,
pfx)q(x) tiene grado, as que no puede ser O (el cual no tiene grado asignado).
Por consiguiente, F [ x ] es un dominio integral,
Una de las cosas que tuvimos que aprender fue dividir un polinomio entre
otro. Cmo lo hacamos? El procedimiento se llama divisin larga. Con un
ejemplo se ilustra cmo se realiza, ya que lo que se hace en el ejemplo es
el modelo de lo que se har en el caso general.
Se desea dividir x4 - 7x + 1 entre 2x2 + 1. Esquemticamente se realiza
como sigue:
$ x 2- -',x
-?X
+l
x 4 - 7x
+ 1 = ( 2 x 2+ l ) ( t x 2- i x ) + ( - y x
1)'
45
155
* Anillos de polinom~os
TEOREMA 4.5.5 (ALGORITMO DE LA DIVISIN].Dados tos polinomios f ( x ) ,g(x) E F [ x ] ,donde g ( x ) # O, se cumple entonces que
en donde
'
bn
por lo tanto
/ ( x )=
Si q ( x ) = (a,/b,)xm-"
teorema.
(2." + q l ( . x ) j g ( x+) r ( x ) .
bn
qq,(x),
se ha logrado la forma asegurada por el
156
CAP~TULO
4 * ANILLOS
DEMOSTRAGI~N,
Para probar el teorema, se necesita producir dicho polinomio
fijo g ( x ) . De dnde se va a extraer? El nico control numkrico que se tiene
sobre un poInomio dado es su grado. As que se va a utilizar la funcin de grado
como mecanismo para encontrar g ( x ) .
Puesto que I # (O),existen elementos en I con grado no negativo. De manera
que hay un polinomio g ( x ) f O en i de grado mnimo; es decir, g ( x ) # O est
en 1 y si O f t ( x ) E 1, entonces grd t ( x ) 2 grdg(x). Por consiguiente, por el
algoritmo de la divisin, t ( x ) = q ( x ) g ( x ) r ( x ) , donde r ( x ) = O, o bien
grd r ( x ) < grd g ( x ) . Pero dado que g ( x ) E I e 1 es un ideal de F [ x ] ,se tiene
que q ( x ) g ( x )E I. Por hiptesis, t ( x ) E I, as que t ( x ) - q ( x ) g ( x )est en 1,
por lo tanto r ( x ) = t ( x ) - q ( x ) g ( x )est en 1. Puesto que g ( x ) tiene el grado
mnimo de los elementos de I y r ( x ) E I , grd r ( x ) no puede ser menor que
grdg(x). De esta manera resulta que r ( x ) = O . Pero esto indica que t ( x ) =
q ( x ) g ( x ) .Por lo tanto todo elemento de I es un mltiplo de g ( x ) . Por otra parte,
puesto que g ( x ) E 1 e I es un ideal de F [ x ] ,f ( x ) g ( x )E I para todo f ( x ) E
F [ x ] .El resultado neto de todo esto es que I = f f (x)g(x)lf ( x ) E F [ x ] ) .
DEFINICIN.Un dominio integral R se llama dominio de idealesprincpales si todo ideal I en R es de la forma I = {xalx E R ) para algn
a E I.
El Teorema 4.5.6 se puede expresar como: F [ x ] es un dominio de ideales
principales.
Si se considera el ideal generado por un polinomio dado, g ( x ) , a saber
{ f ( x ) g ( x )1f ( x ) E F [ x ]), se expresar como ( g ( x ) ) .
En la demostracin se prob que si I e s un ideal de R, entonces I = ( g ( x ) ) ,
donde g ( x ) es un polinomo de grado mnimo contenido en I. Pero g ( x ) no es
nico, ya que si a f O E F, entonces ng(x) est en I y tiene igual grado que g ( x ) ,
por lo tanto I = ( a g ( x ) ) .
Con el fin de obtener cierta clase de unicidad en esto, se destaca una cIase
de poiinomios.
45
Anillos de polinomios
157
DEFINICION.
Si f ( x ) y g ( x ) # O E F l x ] , entonces se dice que g(x)
divide a f( x ) ,expresado como g ( x )1 f( x ) ,sif ( x ) = a(x)g( x )para algn
a ( x )E F [ x ] .
Obskese que si g(x)1 f ( x ) ,entonces grd g(x) S grdf ( x )por el Lema 43.2.
Obsrvese tambin que si g ( x )1 f ( x ) ,entonces los ideales ( f ( x ) )y ( g ( x ) )de
F [ x ] generados
,
por f ( x )y g(x),respectivamente, satisfacen la relacin de contenido (f( x ) ) C ( g ( x ) ) .(Prubese.)
Nuevamente se pone de relieve el paralelismo entre el anillo Z de los enteros
y F [ x ]pasando al concepto de mximo comn divisor. Para obtener cierta clase
de unicidad, se exigir que el mximo comn divisor siempre sea un polinomio
mnico.
DEFINICION.
Se dice que el polinomio d ( x )E F [ x ] es el mximo
comn divisor de f ( x ) ,g ( x ) E F [ x ][donde no son a la vez f ( x ) = O
y g ( x ) = O] si d ( x ) es un polinomio mnico tal que:
(a) d ( x )I f ( x ) Y d ( x )lg(x).
( b ) Si h(x)lf ( x ) y h(x)Ig(x),entonces h(x)ld(x).
Aunque definimos el mximo comn divisor de dos polinomios, no sabemos,
hasta ahora, que existe, ni cul puede ser su forma. Se podra haber definido
de otra manera, equivalente, como elpolinomio mdnico de grado ms alto que
divide tanto af ( x )como a g(x). Si as se hiciera, su existencia sera automtica,
pero no se conocera su forma.
158
CAP~TULO
4
ANILLOS
grdg(x) = grdatx)
grdf(x),
TEOREMA 4.5.9.
DEMOSTRAC~~N.
Esta ltima parte se deja al lector como ejercicio.
Como con los enteras, se tiene
159
4 5 * Anillos de polinomios
DEMOSTRAGION.
Por el Teorema 4.5.9~ ( xf)(x)
a(x), b(x) E F [x]. Por lo tanto,
+ b(x)q(x)
1 para ciertos
Puesto que q(x) 1 b(x)g(x)q(x) y q(x) 1 f (x)g(x) por hiptesis, q(x) divide al
primer miembro de la relaci0n (1). Por consiguiente, q(x) divide al segundo
miembro de (l), es decir, q(x)lg(x), que es la conclusi0n deseada.
Estamos ahora preparados para destacar la importante clase de polinomios
que desempearn el mismo papel como objetos primos en F [ x ] que desempearon los nmeros primos en Z.
DEFINIGION. Un polinomio p ( x ) E F [ x ] de grado positivo es irreducible en F I x ] si, dado cualquier polinomio f (x) en F [ x ] ,entonces
ya sea que p ( x ) Jf (x) o bien p(x) es primo respecto a f (x).
Resulta inmediato que si p ( x ) es irreducible en F 1x1, entoncesp(x) no puede
ser factorizado de una manera no trivial en FIx]. Dicho en otras palabras, si
p ( x ) = a(x)b(x), donde a t x ) y b(x) estn en F l x ] , entonces una de dos, a(x)
es una constante o bien b(x) es una constante (constante = elemento de F).
Obsrvese que la irreducibilidad de un polinomio depende del campo F. Por
ejemplo, el polinomio xZ- 2 es irreducible en Q [ x ] , donde Q es el campo de
los nmeros racionales; pero x 2 - 2 no es irreducible en R [x], donde W es el
campo de los nmeros reales, ya que en W 1x1
COROLARIO
DEL TEOREMA 4.5.10. Si p(x) es irreducible en F [ x ]
y p ( x ) 1 a,(x)az(x)
aA(x),donde a,(x), . . . , aA(x)estn en F [x],
entonces p(x)la,(x) para algn i,
DEMOSTRACI~N.
Se deja al lector. (Vase el Teorema 1.5.6.)
(f (x))
para algun
f (x) E F [x],
4 60
CAP~ULO
4
ANILLOS
Este teorema es importante porque indica exactamente cules son los ideales
mximos de F 1x1, a saber, 10s ideales generados por los polinomios irreducibles.
Si M es un ideal mximo de F f x ] ,F [ x ] / Mes un campo y ste contiene a F (o
en forma ms precisa, el campo { a + Mla E F ) , que es isomorfo a F). Esto
permite construir campos '~ecentes"K fi: F, cuya decencia radica en que p ( x )
tiene una raz en K.La formulacin exacta y la explicacin de esto se posponen
hasta el Captulo 5 .
El ltimo tema que deseamos estudiar en esta direccidn es la factorizacin
de un polinomio dado como un producto de polinomios irreducibles. Obsrvese
que si p ( x ) = a$" + a,xn-' + - + a,-,x + a,, a. # O , es irreducible en
F [ x ] ,entonces tambin a r t p ( x )es irreducible en F [xj; sin embargo, a c l p ( x )
tiene la ventaja de ser msnico. De manera que este polnomio irreducible mnico
es obtenible trivialmente del mismo p ( x ) , lo cual permitir hacer ms precisa
la parte de unicidad del siguiente teorema.
DEMOSTRACI~N.
Se demuestra primero que f ( x ) es irreducible o eI producto
4 64
4 5 * Anillos de polinom~os
donde los p,(x) y q , ( x ) son polinomios irreducibles mnicos y los m,, n, son
todos positivos y a es el coeficiente de la potencia ms alta de f ( x ) .Puesto que
p , ( x )1 f ( x ) , se tiene que p l ( x )1 q,(x)"l . q,(x)"., de manera que por el corolario del Teorema 4.5.1 1, p, ( x )) q,( x ) para algun i. Dado que q,( x ) es mnico
e irreducible, al igual que p l ( x ) , se obtiene p l ( x ) = g , ( x ) . Se puede suponer
(renumerando) que p , ( x ) = q , ( x ) . Por consiguiente
PROBLEMAS 4.5
En los siguientes problemas, F siempre denotar un campo.
45
Anillos d e polinomios
163
( f ( x ) )C ( g ( x ) ) .
14. Sea F
Z,,, el campo de los enteros md 11.
(a) Sea p ( x ) = x2 + 1 ; demustrese quep(x)es irreducible en Fix] y que
F [ x ] / ( p ( x )es
) un campo que consta de 121 elementos.
(b) Sea p ( x ) = x3 + x + 4 E F [ x ] ;demustrese que p ( x ) es irreducible
en F [ x ]y que F [ x ] / ( p ( x )es) un campo que consta de 11' elementos.
164
GAP~TULO
4
ANILLOS
18. Sea F un campo finito. Demustrese que F [ x ]contiene polinomios irreducibles de grado arbitrariamente alto. (Sugerencia:Trtese de imitar la demostracin de Euclides de que existe una infinidad de nmeros primos,)
19. Constryase un campo que conste de p 2 elementos, siendo p un primo
impar.
+ x + x2 + - . . xP-'
es irre-
alxn-'
+ a,,,
bu, = O .
27. Sea R un anillo e I un ideal de R. Si R [ x ] e I [ x ] son los anillos de polinomios en x sobre R e I, respectivamente, demuestrese que:
(a) I [ x ] es un ideal de R [ x ] .
(b) R [ x ] / l [ x ]= ( R / l ) [ x ] .
4 65
PROBLEMASMUY DIF~CILES
28. Resulvase el Problema 26 aun si la condicin ' k 2= O slo si a = O" no
es vlida en R.
29, Sea R = { a + bifa, b enteros) c C . Sea d ( a + bi) = a2 + b'.
Demuestrese que R es un anillo euclidiano con esta d como su funciun
euclidiana requerida. ( R se conoce como el anillo de los enteros gaussinnos
y desempea un papel importante en la teora de los nmeros.)
f(x)
U (aoxn
= -
rn
arxn-'
-- +
a,)
DEMOSTRACI~N.
Puesto que f ( x ) E I)1x1, f ( x ) = qoxn +
q,,>donde los q, son nmeros racionales. As que para i
b,/c,, donde b,, c, son enteros. Por consiguiente
q,xfl-' + . .
= O, 1, 2, . . . , n , q, =
166
GAP~TULO
4
ANILLOS
donde los u, son enteros. Si w es el mximo comn divisor de u,, u,, . . ., u,,
entonces cada u, = wa,, donde ao, a,, . . ., a, son enteros primos entre s.
Entonces
f(x)
c,c,c2
c,
(a@
+ Q~X"-'+
+ -- +
+ a,);
- . c,
se obtiene
a,),
definido por
+ alx4-' +
f ( x ) = a&"
entonces
@(f(x))
p(a,)xn
p(al)xn-]
- - a,,
. e .
-t.
cp(a,).
.:,
@(f ( x ) )
p(ao)xn + ~ ( U ~ ) X+" -. ~ + @ ( a n )= 0,
cada coeficiente cp(ao) = O, p(a,) = 0, . . . , p(a,) = 0, por la propia definicin de lo que significa el polinornio cero en un anillo de polinomios. De manera
que cada a, est en el ncleo de rp, el cual sucede que es I. Como a,, a,, . . .,
- + a, est en I [ x ] .Por lo tanto
a, estn en I , f ( x ) a&xn + alxn-' -t
K ( + ) C I [ x ] .E1 hecho de que I [xl C K ( @ )es inmediato a partir de la definicin de la aplicacin cP. Por consiguiente I [ x ]= K ( @ ) .Por el primer teorema
de homomorfismos (Teorema 4.3.3), el anillo 11x1 es entonces un ideal de R [ x ]
167
46
y R [ x ] = R [x]/K(CP)= R [ x ] / I [ x ]Esto
. prueba el lema, tenendo presente
que R = R / I . U
Como un caso muy especial del lema se tiene el
Todo est listo para probar el primero de los dos resultados importantes
procurados en esta seccin.
TEOREMA 4.6.3 (LEMA DE GAUSS).
Si f ( x )E Z [ x ]es un polinomio monico y f ( x ) = a(x)b(x),donde a ( x )y b ( x )estn en Q [ x],
entonces f ( x ) = a,(x)b,(x),donde a,(x), b,(x) son polinomios mnicos en Z [ x ]y grd a l ( x )= grd a(x),grd b,(x) = grd b(x).
DEMOSTRAC~~N.
Supngase que f ( x ) = xn + u1xn-' + . i- U,, donde los
u, E Z son enteros. Como a(x)y b ( x )estn en Q [ x ] a(x)
,
= a&s + aixV-'
- . . i- a, y b ( x ) = b ~ +' b,xr-' + . - - + b,, donde los a, y b, son nmeros
racionales. Por el Lema 4.6.1,
u1 u2 a,(x)b,( x ) = v Q
f ( x ) = a ( x )b (x) = ---
m1 m2
I X ~( Ix ) ,
[xl
Si w = 1, entonces, dado que f ( x )es mnico, se obtiene que vab; = 1
y esto conduce fcilmente a v = 1, a; = b = 1* y de esta manera f ( x ) =
U& =
f (x) =
168
CAPTULO4
ANILLOS
TEOREMA
4.6.4 [CRITERIO DE EISENSTEIN).
DEMOSTRACI~N.
Supngase que f ( x ) = u ( x ) v ( x ) ,donde u ( x ) , v ( x ) son de
grado positivo y son polinomios en Q 1x1. Por el lema de Causs se puede suponer
que tanto u ( x ) como v ( x ) son polinomios mnicos con coeficiente entero. Sea
I = ( p )el ideal generado por p en Z y considerese S [ x ] / l [ x ]que
, es un dominio integral, ya que por el corolario del Lema 4.6.2 se sabe que Z [ x ] /I [ x ] =
( Z / d ) [ x ] = Z , [ x ] . La imagen de f ( x ) = xn + alxn-' +
+ a, en
2 [ x ] / l [ x ]es x', puesto que p J a , , . . . , plan. De manera que si ( x ) es la
imagen de u ( x ) y $ ( x )la de v ( x ) en Z [ x ] / I[ x ] ,entonces xn = u(x)G(x).Dado
que ( x )1xn, V(x)1 xn en Z [ x ] / I[ x ] ,se debe tener que ii ( x ) = x', G ( x ) = xn-"
para algn 1 < r < n. Pero entonces u ( x ) = xr + p g ( x ) y v ( x ) = xn-' +
ph ( x ) , donde g ( x ) y h (x) son polinomios con coeficientes enteros. Puesto que
u ( x ) v ( x ) = xn -t pxrIZ(x) ipxn-'g(x) + p 2 g ( x ) h ( x ) , y 1 < r < n, el
46
469
2. Prubese que f ( x ) = x3
3x
+ 2 es irreducible en & [ x ] .
xP-l
+ XP-~ + -
1 es
irreducible en Q 1x1.
<p
de Q [ x ] tal que
r O, mustrese
47
171
4.7 CAMPO
DE COCIENTES DE UN DOMINIO INTEGRAL
Dado el dominio integral Z , el anillo de los enteros, entonces est ntimamente
relacionado a Z el campo Q de los nmeros racionales que consiste de todas
las fracciones formadas con enteros; es decr, todos los cocientes m / n , donde
m, n f O estn en Z. Observese que no hay una manera nica de representar,
digamos i, en Q ya que f = 4 = (-7)/(-14)
= . . - . En otras palabras, se est
identificando con 9 , (-7)/(-14),
etctera. Esto sugiere que lo que en realidad
se presenta al construir los racionales a partir de los enteros es cierta relacin
de equivalencia en algn conjunto basado en los enteros.
La relacin de Q a Z se transporta a cualquier dominio integral D. Dado
un dominio integral D,se construir un campo F 3 D cuyos elementos sern
cocientes a/b donde a , b # O E D. Se lleva a cabo su construccin formalmente.
Sea D un dominio integral y S = ((a, b )1 a, b E D,b # O); de manera que
S es el subconjunto de D x D -el producto cartesiano de D consigo mismoen el que no se permite que la segunda componente sea cero. Imagnese (a, b)
como a/b por un momento; de ser as, cundo sera deseable establecer que
(a, b) = (c, d)? Evidentemente esto se requerira si a/b
c/d, lo cual en el
mismo D se convertira en ad = bc. Siguiendo esta gua como orientacin, se
define una relacin
en S declarando:
(a, b )
1. (a, b )
(a, b ) , ya que evidentemente ab = ba (puesto que D es conmutativo). Por lo tanto
es reflexiva.
2. (a, b) (c, d ) implica que (e, d ) (a, b), ya que (a, b) (c, d) significa
que ad = bc; para que (e, d )
(a, b) se requiere que cb = da, pero esto
es cierto, puesto que cb = bc = ad = da. Por lo tanto
es simtrica.
3. (a, b)
(c, d ) y ( c , ci)
(e, f)implica que ad = bc y cf = de, as que
adf = bcf = bde; pero d it: O y se est trabajando en un dominio integral,
por consiguiente resulta que af = be, Esto indica que (a, b)
(e, f). Por
lo tanto, la relacin es transitiva.
[c, d ]
[ad
+ bc, bdj .
(1)
(2)
Nuevamente como b # O, d # O, se tiene que bd P O, de manera que el elemento [ac, bd] es tambin un elemento legtimo de F.
Al igual que para la adicin "+ '?, se debe demostrar que el producto as
introducido est bien definido; es decir, si [ a , b ] = [a', b ' ] ,[c, d ] = [c', d ' ] ,
entonces
[ac, bd] = [a, b ] [c, d ]
Se sabe que ab' = bary cd' = dc', de manera que acb'd' = ab'cd' = ba'dc' =
bda'c', que es exactamente lo que se necesita para que [ac, bd] = [a'c', b'd' 1.
Por consiguiente el producto est bien definido en F.
Cul elemento acta como unidad en F? Se dice que para cualesquier
a # O, b # O en D, [a, a ] = [ b , b ] (puesto que ab = ba) y [c, d ] [a, a ] =
[ca, da] = [e, d ] , ya que (ca)d = (da)c. Por lo tanto [a, a] acta como la
unidad 1 , y se expresa simplemente como 1 = [a, a ] (para todo a # O en D).
Dado [u, bl # O, entonces a # O, as que [ b , a ] est en F; por consiguiente, como
[ a , b ] [ b , a ] = [ab, ba] = [ab, ab] = 1 , [a, b ] tiene inverso en F. Todo lo
que resta para demostrar que los elementos distintos de cero de F forman un
grupo abeliano respecto a este producto, es la ley asociativa y la conmutativa.
Esto se deja a1 lector.
4.7
173
mientras que
[ae, b f ]
[(ade
= [ade
Ice, d f ] = [aedf
bce)f, b d f 2 ] = jade
+ bfce, b d f 2 ]
+ bce, b d f l f f , f l
bce, bdf J ,
( i d l a , al
+ [d,a, al)
174
CAP~TULO
4
ANILLOS
que por su naturaleza es muy sencillo. Realmente no se est haciendo nada mas
que formar todas las fracciones formales a / b , a, b # O en D, donde se suman
y multiplican fracciones como es usual. Sin embargo, a veces es necesario ver
algo realizado hasta el ltimo detalle, aunque pueda resultar penoso. La mayora de nosotros nunca ha visto una construccin realmente formal y precisa de
los nmeros racionales a partir de los enteros. Ahora que se ha construido F a
partir de D de esta manera foral, olvdense los datalles y considrese a Fcomo
el conjunto de todas las fracciones de elementos de D.
PROBLEMAS 4.7
1. Demostrar la ley asociativa de la adicibn en F.
2. Demostrar la ley conmutativa de la adicin en F.
Para la mayoria de nosotros el concepto de anillo constitua un terreno desconocido; en cambio, el concepto de campo est ms relacionado con nuestra experiencia. Mientras que el nico anillo, aparte de un campo, que podra
haberse considerado en la enseanza elemental era el anillo de 10s enteros, se
tenia un poco mas de experiencia trabajando con los nmeros racionales, los
reales y, en algunos casos, los nmeros complejos, al resolver ecuaciones lineales y cuadrticas. La capacidad de dividir entre elementos distintos de cero
proporcion certa Ibertad de accin para resolver una amplia variedad de
problemas, la cual podra no haberse tenido con los enteros.
De modo que a primera vista, cuando se empieza a trabajar con campos
se siente uno como en su casa. A medida que se penetra ms a fondo en la materia, se empiezan a encontrar nuevas ideas y nuevas reas de resultados, Se encuentra uno otra vez en terreno deswnocido, pero siendo optimista, despus
de cierta exposicion del tema tratado, los conceptos se volvern naturales.
Los campos desempean un papel importante en la geometra, la teora de
las ecuaciones y en ciertas reas muy importantes de Ia teoria de los nmeros.
Se har referencia a cada uno de estos aspectos a medida que se avance. Desafortunadamente, debido a la maquinaria tcnica que se necesitara desarrollar,
no se considera la teoria de Galois, que es una parte muy bella de la materia.
Se espera que muchos de los lectores entren en contacto con la teora de Galois,
y ms all de sta, en su instruccin matemtica posterior.
176
CAPTULO 5 * CAMPOS
1 =O.
/
( p veces)
3.
(6,
51
Ejemplos de campos
177
178
CAPTU LO 5
CAMPOS
DEMOSTRACI~N.
Si un campo F tiene caracterstica 0, no hay nada ms que
decir. Supngase entonces que mx = O para todo x E F, donde m es un entero
positivo. Sca p el menor entero positivo tal que px = O para todo x E F. Afirmamos que p es primo. Si p = uv, dnde u > 1 y v > 1 son enteros, entonces
se tiene que en F, (ul)(vl) = (uv)l = O, donde 1 es el elemento unidad de
F. Pero por ser F u n campo, es un dominio integral (Problema 1); por lo tanto,
u1 = O o bien v l = O. En cualquier caso se obtiene que O = (ul)(x) = ux [o,
(vl )x = vxj para cualquier x en F. Pero esto
de manera semejante, O
contradice la eleccin de p como el menor entero con esta propiedad, Por
consiguiente, p es primo.
COROLARIO.
Si D
PROBLEMAS 5.1
1. Demustrese que un campo es un dominio integral.
2. Prubese el corolario aun en el caso en que L, no tenga elemento unidad.
179
5. Si F es un campo y L) = F I x , y ] , el carnpo de cocientes de D se llama earrzpo de funciones racionales en dos variables sobre F y se denota usualmente
por F(x, y). Proporcinese la forma del elemento tpico de F ( x , y).
5.2 BREVEEXCURSION
HACIA
LOS ESPACIOS VECf QRIALES
Para abordar las cosas deseables de realizar en la teora de los campos, se requieren ciertos instrumentos tcnicos que todava no se tienen. Esto implica la
relacin de dos campos K > F y lo que sera bueno considerar como cierta medida de Ia magnitud de K comparada con la de F. Dicha magnitud es lo que
se llamara dimensin o grado de K sobre F.
Sin embargo, para tales consideraciones, se requiere de K mucho menos
que ser un campo. Sera una negligencia si se probaran estos resultados solamente para el contexto especial de dos campos K > F, en virtud de que las mismas ideas, demostraciones y espritu son vlidos en una situacin mucho mas
amplia. Se necesita el concepto de espacio vecroriaf sobre un campo F. Adernas
del hecho de que lo que se realice en los espacios vectorales ser importante
en relacin a los campos, las ideas desarrolladas aparecen en todas las partes
de las matemticas. Los estudiantes de lgebra deben ver estos temas en alguna
etapa de su instruccin. Un lugar apropiado es aqu precisamente.
DEFINICI~N.
Un espacio verrorial V sobre un campo F es un grupo
abeliano respecto a la adicin " + " tal que para todo cr E F y todo u E
V existe un elemento crv E V de tal modo que:
(a)
(b)
(e)
(d)
a(u,
(a
3, Sean V como en el Ejemplo 2 y W = { f (x) E VI grd( f (x)) S n). Entonces W es un espacio vectarial sobre F y W C Ves un subespacio de V.
4. Sea V el conjunto de todas las funciones reales diferenciables en [O, 11,
el intervalo unitario cerrado, con la adicin y multiplicacin de una funcin
por un nmero real usuales. Entonces Ves un espacio vectorial sobre R.
S. Sea W e1 conjunto de todas las funciones reaIes continuas en [O, 11, de
nuevo con la adicin y multiplicacin de una funcin por un nmero real usuales. Tambin W es un espacio vectorial sobre R y el V del Ejemplo 4 es un subespacio de W.
181
1. En el Ejemplo 1, si
u,
( 1 , 0 , . - . ,O),
u2
( O , O , * . . , 11,
O es de la forma nica
4 82
CAPTULO 5
CAMPOS
misma definicin de ( u l , . . ., u,). La unicidad de esta representacin depende mucho de los elementos u , , . . . , u,.
5. En el caso especial del Ejemplo 10, donde K = 42, el campo de los nmeros
complejos, y F = [Fg el de los nmeros reales, se tiene que todo v E 6:es
de la forma nica u = a + pi, a, E R.
6. Considrese K = F(x) > F, e1 campo de las funciones racionales en x sobre F.Se afirma -y se deja al lector- que no se puede encontrar ningn
conjunto finito de elementos de K que genere K sobre F. Este fenmeno
tambin fue cierto en algunos de los otros ejemplos de espacios vectoriales
que se dieron.
El nico centro de atencin aqu radicar en este concepto de espacio vectorial que contenga algn subconjunto finito que lo genere sobre el campo de base.
Antes de iniciar la discusin del tema, se debe disponer primero de una lista
de propiedades formales que sean vlidas en un espacio vectoriaI. El lector ya
est tan perfeccionado en el trato con estas cosas abstractas formales, que se
le deja la demostracin del siguiente lema.
LEMA 5.2.4. Si Ves un espacio vectorial sobre un campo F,entonces, para todo a E F y todo u E I/:
(a) a0 = O, donde O es el elemento cero de V.
(b) Ov = O, donde O es e1 cero de F.
( e ) cuu = O implica que cu = O o bien v = 0,
(d) (-&)u = -(luv).
En vista de este lema, no se incurrir en ninguna confusin si se utiliza el
smbolo O tanto para el cero de F como para el de V.
Nos olvidamos de los espacios vectoriales por un momento y analizamos
las soluciones de ciertos sistemas de ecuaciones lineales en campos. Considrense, por ejemplo, las dos ecuaciones lineales homogneas con coeficientes reales, x, + x2 + x3 = O y 3xi - x2 +- x3 = O. Se ve fcilmente que para
cualesquier x,, x3 tales que 4x1 + Sx3 = O y xz -(xl + x3),se obtiene una
solucin del sistema. En realidad, existe una infinidad de soluciones de este sistema aparte de la trival x, = O, x, = 0, x3 = 0.Si examinamos este ejemplo
y nos preguntamos: Por qu hay infinidad de soluciones de este sistema de
ecuaciones lineales?, llegamos rpidamente a la conclusin de que, debido a
que hay ms variables que ecuaciones, se tiene espacio para maniobrar y producir soluciones. Esta es exactamente la situacin que prevalece en el caso ms
general, como se ve en seguida.
DEFINICION. Sea
52
@,,. . . , x,
= @,
se
TEOREMA 5.2.2. Si n r r, es decir, s el nmero de variables (incbgnitas) excede el nimero de ecuaciones en (*), entonces (*) tiene una solucin no trivial en F.
DEMOSTRAGI~N.
El mtodo, que de ordinario se estudia en bachirlerato, es
el de la solucin de ecuaciones simultneas que consiste en eliminar una de las
incgnitas y a la vez reducir en uno e1 nmero de ecuaciones.
Se procede por induccin en r, el nmero de ecuaciones. Si r = 1, el sistema (*) se reduce a a,,x, + . * i- c u l , ~ , = O , y n > 1. Si todos los a,, = O,
entonces x, = xz = . . - = X, = 1 es una solucin n o trivial de (*). De manera que, renumerando, se puede suponer que a,, # O; entonces se tiene la solucin no trvial de (*): x2 = . * ' = X, = 1 y x1 = - ( l / a i l l ) ( a l z + . ' i- a,,).
Supngase que el resultado es correcto para r = k, para cierto k, y que (*)
es un sistema de k + 1 ecuaciones homogneas lineales en n > k + 1 variables. Se puede suponer como antes que algn a , # O, y que a , , # O, sin que
se pierda generalidad.
Se construye un sistema relacionado (**) de k ecuaciones homogneas lineales en n - 1 variables; puesto que n > k t 1, se tiene que n - 1 > k, por
lo tanto se puede aplicar induccin a este nuevo sistema (**). Cmo obtenerlo? Se desea eliminar x, de las ecuaciones, Para tal fin se resta la primera
ecuacibn multiplicada por cu,,/a,, de la i-sima ecuacin para cada i = 2, 3,
. . . , k + 1. Luego de realizar lo anterior, se llega al nuevo sistema de k ecuaciories homogneas lineales en n - 1 variables:
*
184
CAP~TULO
5
CAMPOS
Una vez establecido este resultado, se puede utilizar Iibremente en e1 estudio de espacios vectoriales. Para hacer hincapi, se repite algo que se defini
anteriormente en el Ejemplo 8.
e ,
por los axiomas que definen un espacio vectorial, y por lo tanto esta en
( u l p . . . , u n ) . Si y E F y a l v i + - - + a n u n E ( u , , . . ., u,), entonces
5.2
185
Y
0 = Oul +
+ Ou,,
por la unicidad supuesta se obtiene que si a , u , + - . - + a,u, = O, entonces
= a, = O. Esto sugiere una segunda definicin muy imporal = a, = .
tante, la cual se da a continuacin.
O E (u,,
un)
DEFINIGI~N.
Sea
con a l , . . . , rx, en F.
""
fnU,
4 84
CAPTUtO 5 * CAMPOS
DEMQSTRAGI~N.
Supngase que u E ( u l , . . . , u,) tiene las dos representaciones U = a , v , + . * . + a,u, = B I u , + . . - + @,u, con los a y los 6 en F.
Esto implica que ( a l - @,)ui + , + ( a , - @,)u, = O ; puesto que u,, . . .,
u, son linealmente independientes sobre F, se concluye que a, - @, = 0, . ,
a , - 6, = O, lo cual da por resultado la unicidad de la representacin. 5
DEFINICI~N.
Si Ves un espacio vectorial finito-dimensional sobre F,
entonces la dimensin de V sobre F, que se expresa como dim,( V),
es n, el numero de elementos de un conjunto generador mnimo de V
sobre F.
En las ejemplos dados, dim,( g : ) = 2, puesto que 1 , i es un conjunto generador mnimo de e sobre R . En cambio, dim, {e) = l . En el Ejemplo 1,
dim, (V) = n y en el Ejemplo 3, dim, ( t.") = n + 1 . En el Ejemplo 7 la
dimensin de V sobre F es 2. Finalmente, si ( u,, . . . , u,) c V, entonces
dimF ( u , , . . . , v, ) es a lo sumo n.
Se prueba ahora el
.. . , U ,
as que u2,
52
187
D E F I N I C I ~Sea
N . V un espacio vectorial finito-dimensional sobre F;
entonces u,, . . . , u, es una base de V sobre F, si los elementos V I , . . . ,
u, generan V sobre F y son linealmente independientes sobre F.
Por el Lema 5.2.4 cualquier conjunto generador mnimo de V sobre F es
una base de V sobre F. Por consiguiente los espacios vectoriales finitodmensionales poseen bases. Se contina con el
TEOREMA 5.2.5. Supngase que Ves finito-dimensional sobre F; entonces dos bases cualesquiera de V sobre F deben tener el mismo nmero de elementos, y este nmero es exactamente dim,( V ) .
DEMOSTRACION.
Sean vl, . . ., u,
tiene una solucin no trivial en F en virtud de1 Teorema 5.2.2, ya que el nmero
de variables m supera al numero de ecuaciones n. Si P,, . . . , 0, es una tal solucin en F, entonces, por lo anterior, @, w ,
+ - . . + P,w,
= O , no obstante
188
CAP~TULO5 * CAMPOS
que no todos los fl, son cero. Esto contradice la independencia lineal de w,,
. . ., w, sobre F.Por lo tanto, m S n. De manera semejante, n S m; por
consiguiente m = n. El teorema resulta luego probado, puesto que un conjunto generador mnimo de V sobre F es una base de V sobre F y el nmero de
elementos en tal conjunto es por definicion dim, ( Y ) , Por lo tanto, en vista de
lo obtenido anteriormente, n = dim,( V ) y se completa la demostracin.
Otro resultado, que se utilizar en la teora de campos, de naturaleza
semejante a los que se han obtenido, es
TEOREMA
Pi, . . ., flm en F, donde no todos son cero, de tal modo que B,w,+ - . - +
P,w, = O,se aplica al pie de la letra. Pero esto establece que w,, . . ., w, son
linealmente dependientes sobre F.
Se concluye esta seccin con un teorema fina1 del mismo tipo de los anteriores.
5.2
PROBLEMAS 5.2
1. Determnese si los siguientes elementos de V , el espacio vectorial de las ternas sobre R, son Iinealmente independientes sobre R .
(a) (1, 2, 31, (4, 5, 61, (7, 8, 9).
(b) (1, 0, 119 (0, 1, 21, (0, 0, 1)'
(e) (1, 2, 31, (O, 4, 5 ) . (:, 3 , 9
2. Encuntrese una solucin no trivial en Z, del sistema de ecuaciones homogneas lineales:
3. Si Ves un espacio vectorial de dimensin n sobre Z,, p primo, demustrese que V tiene p" eIementos,
4. Prubese todo el Lema 5.2.1.
5. Sea F un campo y V = F [x], el anillo de polinomios en x sobre F. Considerando a V como un espacio vectorial sobre F, prubese que V no es finitodimensional sobre F.
6. Si Ves un espacio vectorial finito-dimensional sobre F y si W es un subespacio de V, prubese que:
(a) W es finto-dimensional sobre F y dim, ( W) c dim,( Y).
(b) si dimF ( W) = dim, ( V ) , entonces Y = W .
10. Si $: V V' es un homomorfismo de Vsobre V ' con ncleo K , demustrese que V'
V/K (como espacios vectoriales sobre F).
+
(190
CAP~TULO
5
CAMPOS
. . . , u,,
12. Si Ves un espacio vectorial sobre F de dimensin n, prubese que Ves somorfo a1 espacio vectoriai de n-adas sobre F (Ejemplo 1).
PROBLEMASINTERMEDIOS
13. Sean K 2 F dos campos; supbngase que K, como espacio vectorial sobre
F, tiene dimensin finita n. Demustrese que s a E K, entonces existen ao,
a , , . . . , a, en F, no todos cero, tales que
deg f(x).
15. Si V y W son dos espacios vectoriales finito-dimensionales sobre F, prubese que Ve, W es finito-dimensional sobre F y que dim,( V CB W ) =
dim, ( V) + dim, ( W ) .
16. Sea V un espacio vectorial sobre F y supngase que U y W son subespacios
de V. Definase U + W = { u -t w l u E U, w E W } , Prubese que:
(a) U + W es un subespacio de V.
(b) U + W es finito-dimensional sobre F si tanto U como W lo son.
(c) U i W es un subespacio de V.
(d) U + W es una imagen homomorfa de U e, W.
(e) Si U y W son finito-dimensionales sobre F, entonces
dim,( U
W)
dim, (U)
dim,( W)
dimF( U i W ) .
17. Sean K > F dos campos tales que dim, ( K ) = m. Supngase que Ves un
espacio vectorial sobre K . Prubese que:
(a) V es un espacio vectorial sobre F.
(b) Si Ves finito dimensional sobre K , entonces es finito dimensional sobre
F.
(e) Si dimK(V) = n, entonces dim, (V) = nzn [es decir, dm,( V) =
dimK( V )dimF(K)] .
18. Sean K
53
491
Extenvanes de campos
19. Sea D un dominio integral con unidad 1 , que es un espacio vectorial finitodimensional sobre un campo F. Prubese que D es un campo. (Nofa: Dado
que F 1, que se puede identificar con F, esta en D, la estructura de anillo
de D y la estructura de espacio vectorial de D sobre F estn en armona entre s.)
5.3 EXTENSIONES
DE CAMPOS
Nuestra atencin se vuelve ahora hacia una relacin entre dos campos K y F,
donde K > F. Se le llama a K una extensin (o campo extensin) de F, y a F
un subcan?po de K. En tobo lo que sigue en esta seccin se sobreentender que
K 3 F.
Se dice que K es una extensionfinita de F si, considerado como espacio vectorial sobre F, dim,(K) es finita. Se expresar dim, ( K ) como [K : FJ y se le
llamar grado de K sobre F.
Se inicia la discusin con el resultado que normalmente es e1 primero que
se prueba al habiar de extensiones finitas.
DEMOSTRACION.
Se probara que L es una extensin finita de F mostrando explcitamente una base finita de L sobre F. Al hacerlo se obtendr el resultado
mas fuerte afirmado en el teorema, a saber que [L : F ] = [ L : K ] [ K : F ] .
Supngase que [ L : KI = m y [ K : Fl = n; entonces L tiene una base u,,
U,, . . . , u, sobre K y K tiene una base w,,w2,. . . , W, sobre F. Se probar que
los mn elementos v,w,, donde i = 1, 2 , . . ., m y j = 1, 2 , . . ., n , constituyen
una base de L sobre F.
Se empieza por demostrar que, por lo menos, estos eIenentos generan L
sobre F; esto demostrar, por supuesto, que L es una extensidn finita de F. Sea
a E L; dado que los elementos u , , . . . , u, forman una base de L sobre K , se
tiene a = k , v , + . . * + k,u,,, donde k , , kt, . . . , km estn en K. Puesto que
w,, . . . , w n es una base de K sobre F, se puede expresar cada k, como
donde los J;, estn en F. Sustituyendo estas expresiones de los k, en la expresin anterior de a, se obtiene
+
Reuniendo trminos en esta suma, se obtiene que c, v, i- c2v2+ C,U,
= O, donde c1 = b l l w l + * . . i- bInwn5..., cm = b m I w ,+
+
b,,wn. Puesto que los c, son elementos de K y los elementos u,, . . ., u, de L
son linealmente independientes sobre K, se tiene que c, = c2 = . . = c, = O.
Recordando que ci = b,,w, + - , + b,,wn, donde los b, estn en F y w , ,
. . . , w, de K son linealmente independientes sobre F, se deduce que todos Ios
6, = O a partir del hecho de que c, = c2 = - . . - cm = O . Por consiguiente,
se10 la combinacin lineal trivial, con todos los ecoeficientes cero, de los elementos
v,w, sobre F puede ser cero. Por lo tanto, los uiwj son linealmente independientes sobre F. Anteriormente se vio que esto era suficiente para probar el teorema. 13
.
El lector debe comparar el Teorema 5.3.1 con el resultado un poco ms general del Problema 17 de fa Seccin 5.2, el cual ya debe poder resolver.
Como consecuencia del teorema se tiene el
COROLARIO. Si L
DEMOSTRACI~N.
Puesto que L 3, K, K no puede tener ms elementos linealmente independientes sobre F que L. En virtud de que, por el Teorema 5.2.6,
[ L : F ] es el tamao del mayor conjunto de elementos linealrnente independientes en L sobre F, se obtiene en consecuencia que [ K : F J S [L : F ] , as
que debe ser finito. Dado que L es finito dimensional sobre F y puesto que K
53
* Extensiones de campos
contiene a F, L debe ser finito dimensional sobre K. De esta manera se satisfacen todas las condicones del Teorema 5.3.1, de lo cual [ L : F ] =
[ L : K ] [ K : F ] . Por consiguiente, [K : F] divide a [ L : F], como se afirma en
el corolario.
DEMOSTRAGI~N.
Dado que [ K : F]
. . . , unson en total n +
La conclusin de este teorema sugiere sealar aquellos elementos de una extensin de campo que satisfagan un polinomio no trivial.
DEFINICI~N.
Si K 3 F son campos, entonces se dice que a E K es
algebraico sobre F si existe un polinomio p ( x ) f O en F [ x ] tal que
p(a) = 0.
- - + ac de K, donde
P o r p ( a ) se entiende el elzmento @,an + alan-%
p ( x ) = a$" + alxn-' + . . . + a,.
Si K es una extensin de F tal que todo elemento de K es algebraico sobre
F, se dice que K es una extensin algebraicu de F. En estos trminos el Teorema
5.3.2 se puede reformular como sigue: Si K es una extensin finita de F, entonces K es una extensidn algebraica de F.
El recproco de esto no es cierto; una extensin algebraica de F no
necesariamente es de grado finito sobre F. Puede el lector proporcionar un
ejemplo de tal situacin?
Un elemento de K que no es algebraico sobre F se dice que es trascendente
sobre F.
Veamos algunos ejemplos de elementos algebraicos en un contexto concreto. Considrese Q: > Q,el campo complejo como una extensin del campo de
los racionales. El numero complejo a = 1 + i es algebraico sobre Q, ya que
satisface a 2 - 2a + 2 = O sobre Q. De manera semejante, el nmero real
3
3
b = 1 +
es algebraico sobre Q, puesto que h2 = 1 + y1 + fi,de
modo que ( b 2 1)3 = 1 + fi,y por lo tanto ( ( b 2- 1 ) 3 - 1 ) 2 = 2, Desarro-
194
CAP~TULO5
CAMPOS
llando esto ltimo, se obtiene una expresin polinmica no trivial en b con coeficientes racionales, que es cero. Por consiguiente, b es algebraico sobre Q.
Es posible obtener nmeros reales que sean trascendentes sobre Q muy fcilmente (vase la Seccin 6.6 del Captulo 6). Sin embargo, el establecer la trascendencia de ciertos nmeros conocidos requiere un esfuerzo real. Se puede
demostrar que los nmeros familiares e y n son trascendentes sobre Q. El caso
de e fue probado por Hermite en 1873; la demostracin de que r es trascendente sobre (2 es mucho ms difcil y fue llevada a cabo primero por Lindemann
en 1882. Aqu no se examinar a fondo la demostracin de que cualquier numero particular sea trascendente sobre Q. No obstante, en la Seccin 6.7 del
Captulo 6 se demostrara por lo menos que n es irracional. Esto lo hace ser un
candidato posibIe a nmero trascendente sobre Q, ya que evidentemente cualquier nmero racional b es algebraico sobre & dado que satisface el polinomio
p(x) = x - b, que tiene coeficientes racionales.
DEFINICI~N.
Se dice que un
53
195
Extensiones de campos
e,-,
DEMOSTRACI~N.
Supngase que p ( x ) no es irreducible en F [ x ] ;entonces
p ( x ) = f ( x ) g ( x ) ,donde f ( x )y g ( x ) estn en F [ x ]y cada uno tiene grado
positivo. Puesto que O
p(a)
f (a)g(a) y dado que f ( a ) y g f a ) estn en
el campo K , se concluye que f ( a ) = O o bien g ( a ) = O, lo cual es imposible,
ya que ambos .f ( x ) y g ( x ) son de grado menor que f ( x ) . Por la tanto, p ( x )
cs irreducible en F [ x ] .
Sean a E K algebraico de grado n sobre F y p ( x ) E F 1x1 su polinomio mnimo sobre F. Dado f ( x ) E F [ x ] ,entonces f ( x j = q ( . ~ ) p ( x-k) r ( x ) , donde
q ( x ) y r ( x ) estn en F [ x ]y r ( x ) = O o bien grd r ( x ) < grd p ( x ) , en virtud
del algoritmo de la division. Por lo tanto, f ( a ) = q ( u ) p ( a ) + r ( a ) = r ( a ) ,
196
CAP~TULO5
CAMPOS
DEFINICI~N.
F ( a ) se llama campo o extensin obtenida al agregar
u al campo F.
Ahora se resumen.
197
5 3 * Extensiones de campos
e: son algebraicos.
(a) Y/2 + ~ 5 .
(b) Ji +
(c) 2 + id%.
(d) cos (2x/k) + isen (2n/k), k entero positivo.
4%.
2. Determnense los grados sobre Q de los nmeros dados en las partes (a) y
(c) del Problema 1.
+ isen (27(-/3)sobre Q?
4. Cual es el grado de cos ( 2 ~ ~ +
8 )isen (2a/8) sobre &?
+ i sen (2n/p)
1!
. s .
+ -1. t . . .
2!
n!
es irracional.
15. Constryanse dos campos K y F de tal modo que K sea una extensin aigebraica de F pero que no sea una extensin finita de F.
5.4 EXTENSIONES
FINITAS
TEOREMA 5.4.1. E ( K ) es un
subcampo de K.
DEMOSTRACION.
Lo que se debe probar es que si a, b E K son algebraicos sobre F, entonces a +. b, ab y a / h (si h # 0)son algebraicos sobre F. Esto garantizara que E ( K ) es un subcampo de K. Se har todo para a + b , ab y a/b "de
un solo golpe".
Sea K, = F ( a ) el subcampo de K que se obtiene agregando a a F. Puesto
que a es algebraico sobre F, digamos de grado rn, entonces, por el Teorema
5.3.5, [ K , : F ] = m. Dado que b es algebraico sobre F y como K, contiene a
F, se tiene desde luego que t> es algebraico sobre &. Si b es algebraico sobre
F de grado n , entonces es algebraico sobre Ko de grado n a lo sumo. De esta
manera K , = &(b), cl subcampo de K obtenido agregando b a K,, es una extensin finita de K, y [ K , : K,] S n.
Por consiguiente, por el Teorema 5.3 . 1 , [ K , : F ]
[ K , : K,] [ K , : F ) r
mn; es decir, K , es una extensin finita de F . Como tal, por el Teorema 5.3.2,
K, es una extensin algebraica de F, as que todos sus elementos son algebraicos sobre F. Puesto que a E f ( , C K, y b E K , , entonces todos los elementos
uI
b , ab, ab estn en K , , por consiguiente son algebraicos sobre F. Esto es
exactamente lo que se requera y el teorema queda demostrado.
5 4 * Extensiones finitas
COROLARIO.
Si a y b en K son algebraicos sobre F de grados m y
n, respectivamente, entonces a rt b , ab y a / h (si h f 0) son algebraicos
sobre F de grado mn a lo sumo,
Un caso especial, que merece sealarse y registrarse, es K = : 1 F = Q.
En dicho caso los elemento<algebraicos de C sobre Q frieron denominados nmeros algebraicos; por Io tanto el Teorema 5.4.1 se convierte para este caso en el
DEMOSTRACI~N.
Para probar el teorema, todo lo que se debe hacer es demostrar que u es algebraico sobre F; esto colocar a u en E ( K ) y se habr concluido
la demostraciiin.
Puesto que u es algebraico sobre E ( K ) , existe un polinomio no trivial
f ( x ) = X" + a&'-' 4 a$"-"
+ . . + aa,,donde a l , a2, . . . , a,, estn en
E ( K ) , tal que f ( u ) = O. Dado que a , , a,, . . . , a, estn en E ( K ) , son algebraicos sobre F de grados, digamos, m,,f ? ~ ~. ., . , m,, respectivamente. Afirmamos que [ F ( a , , . . . , a,) : F ] es a lo sumo rnirn2. . . m,,. Para tal fin, simplemente se llevan a cabo n aplicaciones sucesivas del Teorema 5.3.1 a la sucesin
K , , K - , . . . , K , de los campos definidos anteriormente. Su demcstracin
se deja al lector. De esta manera, dado que tr es algebraico sobre el campo
K, = F ( a l ,a2, . . ., a,) [despus de todo, el polinomio que u satisface es
p ( x ) = X" + aix"-' -t . . , t a,,, el cual tiene todos sus coeficientes en
F ( a , , a,, . . . , a,,)],el campo & ( u ) es una extensin finita de K , y puesto que
200
CAP~TULO
5 * CAMPOS
5. Si [ K : F ]
2"
En la antigua Grecia, a diferencia de las otras culturas de la poca, 10s matemticos griegos se interesaron en la matemtica como una disciplina abstracta ms
bien que como un caudal de habilidades pragmticas para hacer cuentas o realizar mediciones. Desarrollaron notables intereses y resultados en la teora de
los nmeros y, de manera muy especial, en geometria. En dichas reas formularon cuestiones pcrspicaces. Los problemas que plantearon en geometra -dos
de los cuales constituirn el tema aqu tratado- son an de inters y sustanciosos. El matemtico ingles G. H. Hardy, en su triste pero encantador librito A
Mafhematician 'S Apology (Apologa de un matemtico), describe a los antiguos
matemticos griegos como "colegas de otro colegio".
En esta seccin nos referiremos a dos de tales problemas gregos. Pero en
realidad la respuesta a ambos surgir como una consecuencia del criterio de
constructibilidad, el cual se obtendr. Ahora se plantean dichos problemas y
un poco despus se explicar lo que traen consigo.
mento de recta -al cual se le asigna longitud 1- y todas las dems longitudes
que se deriven de tal segmento deben obtenerse sencillamente empleando una
regla (un simple borde recto) y un comps.
Llamemos a un nmero real no negativo b longitud constructible si, mediante un nmero finito de aplicaciones de la regla y el comps y los puntos
de interseccin obtenidas entre rectas y crculos as construidos, se puede
construir un segmento de recta de longitud b, a partir del segmento de recta
al que se le asign longitud 1.
De la geometra cursada en el bachillerato recordamos algunas cosas que
se pueden realizar dentro de este marco.
1. Cualquier longitud que se construya sobre una recta se puede construir sobre cualquier otra recta mediante el uso del comps como instrumento de
transferencia o transporte.
2. Se puede trazar una recta paralela a una recta dada que pase por un punto
dado.
Todas estas construcciones se pueden llevar a cabo con regla y comps. Por
geometra elemental, la longitud de PC es ab. Por tanto, ab es constructble.
3. Si a y b son constructibles y b 'f O , entonces u / b es constructibIe. Considrese el diagrama
DEFINICI~N.
Se dice que un nmero real a es un nmero constructible si ( a ( ,el valor absoluto de u, es una longitud constructible.
204
CAP~TULO5
CAMPOS
DEMBSTRACI~N.
Las propiedades 1 a 3 casi resuelven el problema; la propiedad 1 se debe adaptar ligeramente para permitir valores negativos. Se dejan al
lector los pocos detalles.
La meta siguiente es demostrar que todo nmero constructible debe ser un
nmero algebraico -no cualquier nmero algebraico conocido, sino uno que
satisfaga una condicin bastante severa.
Primero obsrvese que si a r O es un nmero constructible, entonces &
tambin lo es. Considrese el diagrama
TEOREMA 5.5.2. Para que un nmero real a sea constructible, es necesario que [ Q ( a ) : Q ] sea una potencia de 2. En forma equivalente,
el polinomio mnimo de a sobre Q debe tener grado igual a una poten-
cia de 2.
Duplicar un cubo de lado 1 , por lo tanto de volumen 1, mediante regla y
compas, requerira construir un cubo de lados de longitud b cuyo volumen
fuera 2. Pero el volumen de tal cubo sera b3, as que se tendra que poder encontrar un nuevo nmero constructible b tal que b3 = 2.
Dado un nmero real b tal que b3 = 2, entonces su polinomio mnimo sobre Q es p ( x ) = x 3 - 2, ya que este polinomio es mnico e irreducible sobre
Q (si el lector lo desea, por el criterio de Eisenstein) y p ( b ) = O. Adems, como
resulta obvio a la vista, p ( x ) es de grado 3 . Puesto que 3 no es una potencia
de 2, por el Teorema 5.5.2, no existe tal b constructible, Por lo tanto, el problema de la duplicacin del cubo medante regla y comps tiene respuesta negativa. Esto se resume en el
TEOREMA 5.5.3. Es imposible duplicar un cubo de volumen 1 usando solamente regla y compas.
Hemos resuelto ya el clsico Problema 1, as que volvemos al Problema 2,
el de la triseccin de un ngulo arbitrario mediante regla y compas.
Si se pudiera trisecar el angulo particular 60, se podra construir el tringulo ABC del diagrama
- -
TEOREMA 5.5.4.
regla y comps.
56
Races de polinomias
207
Se espera que este teorema disuada al lector de la idea de unirse a las multitudes de trisectores de ngulos. Hay formas ms productivas y placenteras de
emplear el tiempo.
Existe todava otro problema clsico de este tipo cuya respuesta es "no".
Es el que se refiere a la cuadratura del circulo. La pregunta es: Se puede
construir un cuadrado cuya rea sea la de un crculo de radio 1 usando solamente regla y comps? Esto es equivalente a preguntar si d a es un nmero
constructible. Si este fuera el caso, entonces dado que a = (d;l2, el nmero
n sera constructiblc. Pero Lindemann probo en 1882 que n es en realidad trascendente, as que desde luego no es algebraico, y entonces no puede ser
constructible. Por lo tanto, no se puede realizar la cuadratura del crculo de
radio 1 mediante regla y comps.
Lo que se hizo anteriormente no constituye, por supuesto, una demostracin de la imposibilidad de la cuadratura del circulo, ya que se ha presupuesto
el resultado de Lindemann sin probarlo, La demostracin de que x es trascendente nos llevara bastante lejos. Se podra esperar que fuera ms fcil probar
que a no es constructible que probar que no es algebraico. ste no parece ser
el caso. Hasta ahora todas las demostraciones de que a no es constructible se
van por el camino de la consideracin de la trascendencia de a .
PROBLEMAS 5.5
1. Compltese la demostracin del Teorema 5.5.1.
2. Prubese que x 3 - 3x - 1 es irreducible sobre Q.
"08
CAP~TULO
e ~CAMPOS
DEFINIGI~N.
Un elemento a f Kes una raz de un polinomio f ( x ) E
F 1x1 si f ( a ) = O.
En lo que se ha hecho hasta ahora siempre se ha dado un campo K extensin de un campo F y se consideraron los elementos de K dgebraicos sobre F,
es decir, aquellos elementos de K que son races de polinomios distintos de cero
en F [ x ] ,Se vio que si a E K es algebraico sobre F de grado n -es decir, si el
polinomio mnimo de a sobre Fes de grado n- entonces [ F ( a ) : F ] = n, donde F ( a ) es el subcampo de K que se obtiene agregando a a F.
Lo que se hace ahora es invertir el problema. Ya no se dispondra de la extensin K de F. En efecto, la tarea principal sera producirla casi desde el principio. Se empieza con cierto polinomio f ( x ) de grado positivo en F [ x ] como
nico dato; la meta es construir una extensin de campo K de F en la cual f ( x )
tenga una raz. Una vez que se tiene bajo control esta construccin de K, se
desarrolla el tema general, obtenindose por ello una serie de consecuencias interesantes.
Antes de salir en bsqueda del K apropiado, se debe obtener cierta informacin con respecto a la relacin de las races de un polinomio dado y su
factorizacin.
TEOREMA 5.6.2. Supngase que f ( x ) en F [ x ]tiene grado n; entonces f ( x ) puede tener a lo sumo n races en cualquier extensin K de F.
56
Races de polinomios
209
DEMOSTRACI~N.
Se procede por induccin en n. Si n = 1 , entonces f ( x ) =
ax + b, donde a y b estn en F y a # O. As que la nica raz de f ( x )
es -b/a, un elemento de F.
Supngase que el teorema es vlido para todos los polinomios de grado k 1 sobre cualquier campo y que f ( x ) en F [ x ] es de grado k. Si f ( x ) no tiene
races en K, entonces el teorema es desde luego correcto. Supngase, entonces,
que a E K es una raz de f ( x ) . Por el Lema 5.6.1, f ( x ) = ( x - a ) q ( x ) ,donde
q ( x ) es de grado k - 1 en K [ x ] .Cualquier raz b en K de q ( x ) es bien sea a
o una raz de q ( x ) , ya que O = f ( b ) = ( b - a ) q ( b ) .Por la hiptesis de induccin, q ( x ) tiene a lo sumo k - 1 races en K, por consiguiente f ( x ) tiene a lo
sumo k races en K. Esto completa la induccin y prueba e1 teorema. C]
En realidad, la demostracin da lugar a un poco ms. Para explicar este
"poco mas9', se necesita el concepto de multiplicidad de una raz.
DEFINICI~N.
Si K es una extensin de F, entonces un elemento a de
K es una ruiz de multiplicidad k > O de f ( x ) ,donde f ( x ) esta en F [ x ],
si f( x ) = ( x - u l k q ( x )para algn q ( x ) en K [ x ] y x - a no divide a
q ( x ) (o, de manera equivalente, donde q ( a ) 4= O).
El mismo argumento dado para la demostracin del Teorema 5.6.2 proporciona la siguiente versin ms aguda:
DEFINICION.Se dice que f ( x )en F [ x ]se descompone en factores lineales sobre (o bien, e n ) K, si f f x ) tiene en K ( x ]la factorizacion dada
en el Teorema 5.6.3.
Existe una aplicacin agradable del Teorema 5.6.3 a campos finitas, Sea
F un campo finito que consta de q elementos y sean a,, a,, . . . , a,_, los elementos no cero de F. Puesto que ellos forman un grupo de orden q - 1 respecto
210
CAPiTULO 5 * CAMPOS
a la multiplicacin en F, por el Teorema 2.4.5 (demostrado ya hace mucho tiempo), a4-' = 1 para cualquier a # O en F. De esta manera el polinomio xq-' 1 en F [ x ] tiene q - 1 races distintas en F. Por el Teofema 5.6.3, el polinomio
xY-' - 1 = (X - al)(x - a2) . . - ( x - a,-,). Si tambin se considera O, entonces todo elemento a de F satisface aq = a, de manera que ei polinomio x 4 x tiene los g elementos de Fcomo sus races distintas, Por el Teorema 5.6.3 se tiene
donde a,,
U*,
. . ., ay-,
Un caso muy especial de este teorema es aquel en el que F = Z,, los enteros mdulo el primo p. Aqu q = p y a,, a,, . . ., a,
son precisamente 1, 2,
. . . , p - 1 en algn orden. Por consiguiente se tiene el
COROLARIO. En Z,[x],
xP-'
- 1 se factoriza como
I)!
-1 mdp.
DEMOSTRACI~N.
Por el corolario anterior,
sustituyendo x
= (-1)p-'(p
- l)!
- l)!
-1 mdp,
= -1
md p; por consiguien-
TEOREMA 5.6.5. Sea F un campo y f (x) un polinomio de grado positivo n en F [ x ] . Entonces existe una extensin finita K de F, con
[K : F ] 5 n, en la cual f (x) tiene una raz.
DEMOSTRACI~N.
Por el Teorema 4.5.12, f (x) es divisible en F [ x ] por algn
polinomio irreduciblep(x) en F[x]. Dado que p ( x ) divide a f (x), grdp(x) -c
grd f (x) = n y f (x) = p ( x ) q ( x ) para algn polinomio q ( x ) en F [ x ] . Si b es
una raz de p ( x ) en alguna extensin de campo de F, entonces b es automticamente una raz de f (x), ya que f ( b ) = p ( b ) q ( b ) = Oq(b) = O. As que
para probar el teorema es suficiente encontrar una extensin de E en la cual
p ( x ) tenga una raz.
Dado que p (x) es irreducible en F [ x ] , el ideal M = (p(x)) de F [x] generado por p ( x ) es un deal mximo de F [ x ] por el Teorema 45.11. Por consiguiente, por el Teorema 4.4.2, K = F [ x ] / M e s un campo. Afirmamos que ste
es el campo buscado.
Estrictamente hablando, K no contiene a F; sin embargo, corno se demuestra en seguida, K s contiene un cainpo isomorfo a F. Puesto que todo elemento
de M es un mltiplo de p ( x ) en F [x], todo elemento de M que no sea cera debe
tener grado al menos igual al dep(x). Por lo tanto, M n F = (O). De esta manera ei homomorfismo j, : F [x] K definido por $(g(x)) = g ( x ) + M para
todo g(x) en F [ x ] ,cuando se restringe a F, es inyectivo en F. Por consiguiente,
la imagen de F e K, F, es un campo isomorfo a F. Se puede identificar F, par
medio de $, con F y por lo tanto se puede considerar, en esta forma, que K
es una extensin de F.
Dentese x + M E K por a , de manera que $(x) = a, a E K. Se deja al
lector demostrar, a partir del hecho de que $ es un homomorfismo de F [x] sobre K c o n ncleo M, que $(g(x)) = g ( a ) para todo g ( x ) en F [ x ] . A qu es
igual $ ( p ( x ) ) ? Por una parte, puesto q u e p ( x ) esta en F [ x ] , $ ( p ( x ) ) = p ( a ) .
Por otra parte, dado q u e p ( x ) esta en M, el ncleo de S., $ ( p ( x ) ) = O. Igualando estas dos evaluaciones de $ ( p ( x ) ) , se obtiene que p ( a ) = O. E n orras
palabras, el elemento a = j,(x) de K es una raz de p(x).
Para terminar la demostracin, todo lo que se necesita es probar que
[ K : F ] = grdp(x) 5 n. Esto surgi anteriormente, en la demosrracion alternativa que se dio del Teorema 5.3.5. En esa ocasin se dej dicho punto para
-+
que fuera probado por el lector. Seremos ahora un poco ms generosos y Ilevaremos a cabo la demostracin en detalle.
Dado h(x) en F[x], entonces, por el algoritmo de la divisin, h(x) =
p(x)q(x) + r(x) donde q(x) y r(x) estn en F I x ] y r(x) = O o bien
grdr(x) < grdp(x). Procediendo en mdulo M, se obtiene que
[ K :F ]
m = grdp(x)
S n =
grd f (x),
Supngase que el resultado es cierto para todos los polinomios de grado k sobre un campo y que f (x) E F [x] es de grado k + 1. Por el Teorema
5.6.5 existe una extensin K, de F con [ K , : F : S k + 1 en la cual f (x) tiene
una raz a,. Por consiguiente en K,[x], f ( x ) se factoriza como f ( x ) =
( x - a , ) q ( x ) ,donde q ( x ) E K , [ x ] es de grado k . Por Ia hiptesis de induccin existe una extensibn K de K1 de grado a lo sumo k ! sobre K,, sobre la cual
q ( x ) se descompone en factores lineales. Pero entonces f ( x ) se descompone en
factores lineales sobre K . En virtud de que [K : F] = [ K : K l ] [ K , : K1 5
( k + l)k! = ( k 4- l)!, se completa la induccin y se prueba el teorema.
Dejamos el tema de las extensiones de campo hasta este punto. Estamos
exactamente en lo que se podra describir como e1 principio de la teora de Calois. Dada una extensicin K de F de grado finito sobre la cual un polinomio dado f ( x ) se descompone en factores lineales, existe una extensin de grado
mnimo que goza de esta propiedad. Tal extensin se denomina campo de descomposicin de f ( x ) sobre F. Luego se procede a demostrar que tal campo de
descomposicin es nico salvo isomorfismos. Una vez que se cuenta con esto
la teoria de Galois avanza sobre ruedas, estudiando la relacin entre el grupo
de automorfismos de dicho campo de descomposicin y su estructura de subcampo. Con el tiempo, conduce a la demostracin, entre muchas otras cosas,
de que existen polinomios sobre los racionales de cualquier grado mayor que o
igual a 5 cuyas races no se pueden expresar cmodamente en trminos de los
coeficientes de tales polinomios.
Esto constituye una breve y muy superficial descripcin de a dnde se puede ir a partir de aqu en la teoria de campos. Pero no hay prisa. Los lectores
deben asimilar el material que se ha presentado; esto los colocara en una buena
posicin para estudiar teora de Galois si as lo desean.
PROBLEMAS 5.6
1. Prubese el Teorema 5.6.3.
2, Si F es un campo finito que tiene los q - 1 elementos distintos de cero a , ,
a,, . . . , a ,-,, prubese que alaz . a,-! = (-l),.
a,xfl-i
. . . t a,, a,, # O, es un polinomio con coeficientes enteros y si un nmero racional r es una raz de q ( x ) ,prubese que
r es entero y r/a,.
4 . Si q ( x ) = x"
1 1 es irreducible sobre Q.
-t
b)"
b)"' =
244
CAP~TC~LO
5 e CAMPOS
Demostrar que:
(a) 6 ( f ( x ) + g ( x ) ) = d ( f ( x ) ) + 6 ( g ( x ) ) .
(b) 6 ( f ( x ) g ( x ) ) = f ( ~ 1 (6g ( x ) )f G ( f ( x ) ) g ( x )
para todo f ( x ) y g ( x ) en F [ x ] .
.S
En el Captulo 3, donde se habl de S,,, el grupo simtrico de grado n , se demostr que si n 2 2, entonces S , tiene un subgrupo normal A,, el cual se
denomin grzipo alternanle de grado n , que es un grupo de orden n !/2. En realidad, A,, fue simplemente el conjunto de todas las permutaciones pares en S,,.
216
DEMOSTRACI~N.
Si r ,
Una consecuencia inmediata del Lema 6.1.1 es que para n r 3 los 3-ciclos
generan A,, el grupo alternante de grado n .
TEOREMA 6.4.2.
DEMOSTRACI~N.
Sea E S,, una permutacin par. Por la definicin de paridad de una permutacin, a es el producto de un nmero par de transposiciones.
As que o = 7 % ~ 72,-1T2,
~
'
r2,,,-,~2m
es el producto de 2m transposiciones T I ,T ~ ., . . , TI,,. Por el Lema 6.1.1, cada r2,-172,es un 3-ciclo o bien el
producto de dos 3-ciclos. Por tanto, se tiene que a es un 3-ciclo o bien el producto
de a lo sumo 4m 3-ciclos. Esto demuestra el teorema. 5
"
2418
CAP~TULO
6 * TEMAS ESPECIALES
de probar.
DEMOSTRACI~N.
Supngase que N es un subgrupo normal de S, y que N no
es (e) ni tampoco S,. Sea n # e un elemento de N. Puesto que el centro de S ,
es precisamente (e) y Ias transposiciones generan S , , existe una transposicin
7 tal que a l + 7 ~ Por
.
el Lema 6.1.4, 71 = ara-' es una transposicin, por lo
tanto 77, = r a r ~ - ' # e est en N, ya que a E N y TUT = TUT-! E N porque
N es normal en S,q.De esta manera N contiene un elemento que es el producto
de dos transposiciones, a saber 5-71.
Si r y 7! tienen un smbolo en comn, entonces, como se vio en la demostracin del Lema 6.1 . l , 7-71 es un 3-ciclo, por consiguiente N contiene un 3ciclo. Por el Lema 6.1.4 todos los 3-ciclos en S, son conjugados a TT, as que
deben estar en N, por la normalidad de N en S , . Por lo tanto el subgrupo de
S, generado por 10s 3-ciclos, el cual, segn el Teorema 6.1.2 es todo
A,, se encuentra en N. Ntese que hasta este punto no se ha empleado el hecho de que n 2 5.
En estas condiciones se puede suponer que r y 71 no tienen smbolos en
comn. Sin prdida de generalidad se puede suponer que T = (12) y 7, = (34);
por lo tanto, (12)(34) esta en N. Puesto que n s 5, (15) est en S,,,por consiguiente (15)(12)(34)(15)-' = (25)(34) esta tambin en N; de esta manera
(12)(34)(25)(34) = (125) est en N. As que tambin en este caso, N debe contener un 3-ciclo. El argumento anterior demuestra entonces que N > A,.
6 1 * Simplicidad de A,
4; el subgrupo
220
CAP~TULO
6 * TEMAS ESPECIALES
COROLARIO DE LA DEMOSTRAGI~N
DEL TEOREMA 6.4.8.
A, es un grupo simple,
5 el grupo A, es simple.
DEMOSTRACI~N.
Por el Teorema 6.1 -8se puede suponer que n r 6. El centro
de A,, para n > 3 es simpIemente (e). (Prubese.) Puesto que A. es generado
por los 3-ciclos, si a # e est en A,, entonces, para algn 3-ciclo T , r # 7.
Supngase que N # (e) es un subgrupo normal de A. y que a P e esta en
N. Por consiguiente, para algn 3-ciclo 7, a7 # r, lo cual quiere decir que
o ~ a - ' ~ - #' e. Dado que N es normal en A,, el elemento ra-Ir-' est en N ,
por 10 tanto aro-'r-' est tambin en N. Puesto que r es un 3-ciclo, entonces
a ~ a - ' debe ser tambien un 3-ciclo, De esta manera N contiene el producto de
dos 3-ciclos, y dicho producto no es e. Estos dos 3-ciclos contienen a lo sumo
seis smbolos, as que se pueden considerar situados en A, el cual, dado que
n r 6, se puede considerar empotrado isomorfatnente en A , . (Prubese.)
Pero entonces N 7 A, f (e) es un subgrupo normal de A,, por consiguiente,
por el corolario anterior, N 7 A, = A,. Por lo tanto, N debe contener un 3ciclo y puesto que todos los 3-ciclos son conjugados en A , (Lema 6.1.6), N
debe contener todos los 3-ciclos en S , . Dado que estos 3-ciclos generan A ,, se
obtiene que N es todo A , y con ello se prueba ef teorema. 0
Existen muchas demostraciones diferentes del Teorema 6.1.9 -las que normalmente comprenden la prueba de que un subgrupo normal de A,, debe contener un 3-ciclo- que son ms breves y posiblemente mas sencillas que la que
c;e dio. Sin embargo, preferimos el rasgo curioso contenido en la demostracin
dada en el sentido de que todo el asunto se reduce al hecho de que 60 no es
un cuadrado. Kecamendamos al lector examinar algunas otras demostraciones
de este teorema tan importante, especiaImente en libros de teora de grupos.
Los A , proporcionan una familia infinita de grupos simples finitos. Hay
algunas otras familias infinitas de grupos simples finitos y 26 grupos simples
6 2 * Campos finitos l
221
finitos particulares que no pertenecen a ninguna familia infinita. Esta determinacin de todos los grupos simples finitos, que fue llevada a cabo en las dcadas de 1960 y 1970 por un gran nmero de investigadores de la teora de grupos, es uno de los ms grandes logros de la matemtica del siglo xx.
PROBLEMAS 6.1
1. Prubese que si n > 2, el centro de S , es ( e ) .
6.2 CAMPOS
FINITOS I
Nuestra meta en esta seccin y en las dos siguientes es obtener una descripcin
completa de todos fos campos finitos. Lo que se demostrar es que el grupo
rnultiplicatvo de los elementos distintos de cero de un campo finito es un grupo
cclico. Esto se realiza en la presente seccin. En las dos siguientes los objetivos
sern establecer 1 i existencia y unicidad de los campos finitos que constan de
p" elementos para cualquier primo p y cualquier entero positivo n.
Algunas de las cosas que se van a hacer ya aparecieron en los conjuntos de
problemas de teora de grupos y teoria de campos como problemas difciles.
Las tcnicas que se emplean provienen de las teoras de grupos y campos, agregando un poco de teoria de los nmeros.
CAP~TU
6 L ~ TEMAS ESPECIALES
TEOREMA
DEMOSTRACI~N.
Sea G un grupo cclico de orden n generado por el elemento
a. Si dl n, cuntos elementos de G tienen orden d? Si b = P", entonces todas
las soluciones en G de xd = e son las potencias e, b, b2, . . ., bd-' de b.
Cuntas de ellas tienen orden d? Afirmamos, y lo dejamos al lector, que br
tiene orden d si y slo s r es primo con respecto a d. As que el nmero de
elementos de orden d en G, para todo divisor d de n, es p(d). Cada elemento
de G tiene como orden algn divisor de n, de modo que si se suma el nmero
de elementos de orden d -a saber vid)- sobre todos los d que dividan a n,
por cada elemento de G se cuenta una y slo una vez. Por consiguiente Cp(d) =
n si se recorren todos los divisores d de n. El teorema ahora esta probado. O
En un grupo cclico finito de orden n el numero de soluciones de xd = e,
el elemento unidad de G, es exactamente d para cada d que divida a u . Este
hecho se utiliza en la demostracin del Teorema 6.2.1. Ahora se prueba el reciproco de este, obtenindose por ello un criterio para la ciclicidad de un grupo
finito.
xd
DEMOSTRAGI~N.
Sea $ i d ) el nmero de elementos de G de orden d. Por hiptesis, si a E G es de orden d, entonces todas las soluciones de xd = e son
las potencias distintas e, a, a2, . . . , a"-'; de las cuales p ( d ) son de orden d.
De manera que si hay un elemento de arden d en G, entonces $ ( d ) = p(d).
Por otra parte, si no hay ningn elemento en G de orden d, entonces $ i d ) =
O. As que para todo d l n se tiene que S ( d ) S p(d). Sin embargo, puesto que
todo elemento de G tiene cierto orden d que divide a n se tiene que C $ ( d ) =
n , donde esta suma recorre todos los divisores d de n. Pero
62
223
Campos finitos l
TEOREMA 6.2.3. Si
Este es un caso muy especial del Teorema 6.2.3, pero por el momento el
ms importante es el
DEMOSTRACI~N.
K * es un subgrupo finito de s mismo, por consiguiente, por
el Teorema 6.2.3,
E;"
es cclico.
224
CA~~TULO
6 * TEMAS ESPECIALES
\r
*. donde C es el campo de
de Euler.
d m n ) = cp(m)cp(n).
9. Aplicando los resultados de los Problemas 7 y 8, encuntrese p ( n ) en trminos de la factorizacin de n en potencias de primos.
10. Pruebese que lm p ( n ) =
m.
n-'xI
6.3 CAMPOS
FINITOS H:
EXISTENCIA
a2, . . . , U!,,)
son diferentes. Por consiguiente, dado que se puede escoger (a,,
en pn formas, K tiene pn elementos.
Puesto que K*, el grupo muItipIicativo de elementos distintos de cero de
K, es un grupo de orden pn - 1 se tiene que a"-' = 1, donde m = p", para
todo a en K , por consiguiente a" = Q. Dado que esto obviamente tambin es
cierto para a = O, se tiene que a'" = a para toda a en K. Por lo tanto, el poli-
63
225
(X - a,)(x - a z ) -
'
(x - a,,,),
xm- x
= (X - aI)(x - a2)
. . . (X - a,,,),
LEMA 6.3.1 Sea F cualquier campo y supngase que p (x) es un polinomio irreducible en F[x]. Supngase que q(x) en F [ x ] es tal que en
alguna extensin de campo de F, p ( x ) y q ( x ) tienen una raz comn.
Entonces p ( x ) divide a q ( x ) en F [x].
DEMQSTRACI~N.
Supngase quep(x) no divide a q(x), dado quep(x) es irreducible en F [ x ] ,p ( x ) y q(x) deben ser por lo tanto primos entre si en F [ x ] .
Por consiguiente, existen polinomios u(x) y v(x) en F [x] de tal manera que
S26
TEMAS ESPECIALES
CAPITULO 6
COROLARIO.
Si f ( x )y g (x) en F [ x ]no son primos entre s en K [ x ] ,
donde K es una extensin de F, entonces no son recprocamente primos
en F [ x ].
Sea F u n campo de caractersticap # O. Afirmamos que el polinomio f ( x ) =
xm - X , donde m = p", no puede tener una raz mltiple en ninguna extensin
de campo E; de F. Recuerda el lector lo que es una raz mltiple de un polinomio? A continuacin lo repasamos. Si g ( x ) est en F [ x ]y si K es una extensidn
de campo de F, entonces a en K es una raz mltiple de g(x) si g ( x ) =
( x - ~ ) ~ q (para
x ) algn q ( x ) en K [ x ] .
Regresamos al polinomio f ( x ) = xm - x. Dado que f ( x ) = x(xm-' - 1 )
y O no es una raz de xm-' - 1 , resulta evidente que O es una raz simple (es
decir, no mltiple) de f ( x ) . Supngase que a E K, K 3 F, es una raz de f ( x ) ;
de esta manera a m = a . Si y = x - a , entonces
f ( y ) = y" - y
=
x"'
= (X
- a)In- ( X - a ) xm - a"' - ( x - a )
(puesto que la caracterstica p f O y m = p n )
- f (N-
= a)
Por consiguiente,
f(x)
f(y)
= y"
- y
( x - a)"-
( x - a)
= pn,
63
DEMOSTRACI~N.
considrese el polinomio xm - x en Z,[x], donde m
= pn.
Por el Teorema 5.6.6 existe una extensin finita K de Z , tal que en K [ x ]el polinomio xm - x se factoriza como
X"' - x
= (X
- a , ) ( x - a*) . . .
(X -
a,),
4. Si f ( x ) = xL
x est en F l x ] , prubese que f ( x ) no tiene una raz mltiple en ninguna extensin de F s i F es de caracterstica O o ben de caracteristica p # O, donde p no divide a n - 1.
228
CAPITULO 6
TEMAS ESPECIALES
5. sese el resultado del Problema 4 para dar otra demostracin del Teorema
6.3.3.
6. Si F es un campo de caracterstica p # O, constryase un polinomio con races mltiples de la forma x" - x, donde p ( ( n - l).
7. Si K es un campo que consta de p" elementos, demuestrese que para todo
Ahora que ya sabemos que existen campos finitos que constan de p n elernentos, para cualquier primo p y cualquier entero positivo n , se podra preguntar:
cuntos campos finitos hay con p n elementos? Para que esto tenga sentido,
lo que en realidad se pregunta es: cuntos campos no isomorfos distintos hay
con p" elementos? La respuesta es breve y agradable: uno. Se demostrara aqu
que cualquier par de campos finitos que consten del mismo nmero de elementos son isomorfos.
Sean K y L dos campos finitos que constan de p" elementos. Por consiguiente, K y L son ambos espacios vectoriales de dimensihn n sobre Z,. Como
tales, K y L son espacios vecforaJes isomorfos. Por otra parte, K * y L* son
ambos grupos cclicos de orden p" - 1 por el Teorema 6.2.4; por lo tanto K *
y L* son isomorfos como grupos osmultiplicativos. Es especial imaginar que se
podran juntar estos dos isomorfismos para probar que K y L son isomorfos
como campos. Pero no es as. La demostracin no sigue tal direccin en absoluto. Pero la finitud de K y L junto con estos dos isomorfismos (de dos estructuras que llevan consigo K y L ) s sugierm que, tal vez, K y L son isomorfos
como campos. Efectivamente ste es el caso, como se demuestra en seguida.
Empezamos con el
p".
DEMOSTRAGI~N,
Por el Teorema 4.5.11 el ideal ( q ( x ) ) de Z p [ x ]generado por
q ( x ) es un ideal mximo de Z,[x], ya que q ( x ) es irreducible en Z,[x]. Sea A
= ~ , [ x ] / ( q ( x ) ) por
; el Teorema 4.4.3; A es un campo de grado n sobre Z,;
por consiguiente, consta de p" elementos. De modo que, u" = u para todo elemento u de A .
Sea a = x
( q ( x ) ) la cIase lateral de x en A = Z , [ x ] / ( q ( x ) ) ; de esta
manera q ( a ) = O y q ( x ) es el polinomio mnimo de a sobre Z,. Puesto que
a est en A , a" = a , as que a es una raz del polinomio x"' - x, donde m
p". Por consiguiente x m - x y q ( x ) tienen una raz comn en A . Por el Lema
6.3.2 se tiene que q ( x ) ](x"" x),
DEMQSTRACI~N.
Supngase que K y L constan de pn elementos, Por el Teorema 6.2.4, L * es un grupo cclico generado, digamos, por el elemento b de
L , Entonces, desde luego, Z,(b) -el campo que se obtiene agregando LJ a Zpes todo L. Puesto que [ L : Z,] = n , por el Teorema 5.3.2 b es algebraico sobre 2, de grado n, con n = grd ( q ( x ) ) , donde q ( x ) es el polinomio mnimo
de b en Z,[x], y es irreducible en Z,[xj.
L = Z p ( b )definida por $( f ( x j ) = f( b ) es un
La aplicacin 4: Z,[x]
homomorfismo de Z , [ x ] sobre L con ncieo ( q ( x ) ) , el ideal de S,[x] generado por q ( x ) . Por consiguiente, L = ~ , [ x ] / ( q ( x ) ) .
Como q ( x ) es irreducible en Z,[x] de grado n, por el Lema 6.4.1 q ( x )
debe dividir a x" - x, donde m = pn. Sin embargo, por el Lema 6.3.1, el
polinomio x" - x se factoriza en K [ x ] como
x*" - x =
(X
TEOREMA 6.4.3.
Para todo primop y cualquier entero positivo n existe, salvo jsomorfismos, uno y slo un campo que consta de p" elementos.
--
--
230
CAP~TULO
6 e TEMAS ESPECIALES
dk
cos 2%-k
i sen 2 7
k
DEFIN~GION.
Los polinomios +,(x)
diante:
(a) @,(x) =
x - 1.
65 * Polinomios eiclotomicos
Estos casos proporcionan una sugerencia respecto a la situacin general para todos los $,(x), Pero slo una sugerencia. Establecer las propiedades deseadas de los +,(x) se ilevar algo de trabajo.
Para adquirir una mejor idea de estos polinomios, consideramos el caso particular en el que n = p m , donde p es primo. Para evitar subndices incmodos,
se denotar +,(x) por $(")(x), donde n = pm.El primop se mantendrn fijo
durante la discusin. Se obtendrn frmulas explcitas para los S/(")(x) y se determinarn sus propiedades bsicas. Sin embargo, el mktodo empleado no sera
aplicable al caso general de +,(x). Para analizar la situacin general se requiere un conjunto de tcnicas ms amplias y profundas que las que se necesitan
para S/(")(x).
Observamos un ejemplo sencillo. Si p es un primo, el nico divisor de p que
no es igual al mismo p es l. De la definicin de $,{x) = $(')(X) se tiene
que
232
DEMOSTRAGI~N.
Se procede por induccin en m.
1, se demostr anteriormente que $")(x) = (xp - I)/(x - 1) =
x2 -t . . . + xP-', por consiguiente el lema es cierto en este caso.
Supngase que $ t r ) = (xp' - I ) / ( ~ P ' - ' - 1) para todo r < m. Considrese
$'")(x). Puesto que los nicos divisores propios de p"' son 1, p, p 2 , . . .,
Si m
+x+
Pero entonces
y se sabe que $ ( ' ) ( x )es irreducible en Q [x]. Se aplicara el criterio de Eisenstein para probar que $"'")(x) es irreducible en Q 1x1.
Hacemos una digresin por un momento. Si f (x) y g!x) son dos polino-
233
65 * Polinomios ciclot0rnicos
E L I o X~~~ 4 U , X ( t f 1
+~
. . , +u,,
mdp,
siendo esta ltima congruencia una consecuencia del teorema de Fermat (el corolario del Teorema 2.4.8). Puesto que f ( x p ) = a ~ " "+ a/"-'lp + . . + a,,
se obtiene que
a
f(-u'')
= f i x ) " mdp.
/(x)"
mdp
~H?IS
234
CAP~TULO
6
TEMASESPECIALES
Como se seal antes, este es un caso muy especial de1 teorema que se demostrar pronto; a saber, que + , ( x ) es irreducible para todos los enteros positivos n. Por otra parte, el resultado y la demostracin del Teorema 6.5.2 no
desempefian ningn papel en la demostracin de la proposicin general que
+ , ( x ) es irreducible en Q [ x ] . Pero gracias al resultado del Teorema 6.5.2 y a
la forma explcita de 4 , ( x ) cuando n = p'", se obtiene una idea muy buena de
lo que debe ser cierto en general, Procedemos ahora a la discusin de la irreducibilidad de + , ( x ) para n general,
TEOREMA
2 1,
DEMOSTRAGI~N.
Se procede por induccin en n.
Si n = 1 , entonces + , ( x ) = x - 1 y puesto que 1 es la nica raz primera
de la unidad, el resultado es ciertamente correcto en este caso.
Supngase que el resultado es cierto para todo m < n. Por consiguiente,
si dln y d f n, entonces, por la hiptesis de induccin, (Sd(x) = ( X - 0 2 ) ) . .
( x - O$((*))),donde los By son las races d-sirnas primitivas de la unidad.
Ahora bien
donde los f, recorren todas las races ensimas de la unidad. Separando las raices n-simas primitivas de la unidad en este producto, se obtiene
A partir de la forma de 4,(x) dada en el Teorema 6.5.3 se ve inmediatamente que 4,(x) es un polinomio mnico en Q: [ x ] de grado p(n). Sabiendo
esto, se prueba que, en efecto, los coeficientes de +,(x) son enteros. Por qu
es cierto lo anterior? Procediendo por induccin en n, se puede suponer
que este es el caso si dl n y d # n. Por lo tanto, si u ( x ) denota el polinomio usado en la demostracin del Teorema 6.5.3, entonces ( x n - l ) / u ( x ) = IC# ,(x) E
: [ x ] , por consiguiente u ( x )lxn - 1 en 9: [ x ] . Pero, mediante e1 procedimiento de divisin larga, la divisin de x" - 1 entre el polinomio mnico v(x) con
coeficientes enteros conduce a un polinomio mnico con coeficientes enteros
(y residuo cero, ya que v ( x )1 ( x n- 1 ) en C [ x ] ) . As que ( x n- l ) / u ( x ) =
4,(x) es un polinomio mnico con coeficientes enteros. Como se vio, su grado es tp(n). De esta manera se tiene
una raz del polinomio irreducible f ( x ) , por el Lema 6.3.2 se obtiene que
f (x)lg(xP). Como se vio en el transcurso de la demostracin del Teorema
6.5.2, g(xp)r g ( ~modp.
) ~
Sea J el ideal de Z generado por p; por el corolario del Teorema 4.6.2,
Z [ x ] / J[ x ] 2: Z I ) [ x ] ,lo cual significa que la reduccin de los coeficientes de
cualquier polinomio m d p es un homomorfismo de Z [ x ] sobre Z,[x].
Puesto que todos los poliaomios qin(x),u(-), f ( x ) y g(x) estn en 2 1x1,
si $,(x), ( x )f, ( x ) y g(x) son sus imgenes en Z,[x], todas las relaciones entre ellos se preservan procediendo en mdp. De esta manera se tienen las relaciones x" - 1 = $,(x)(x), $,(x) = f ( x ) g ( x ) yS(x)Ig(xp)= g(x)P.
Por lo tanto, f ( x ) y g(x) tienen una raiz comn, a, en alguna extensin K
de Z,. Ahora x n - 1 = $,(x)(x) = f(x)g(x), por consiguiente a, como raiz
de ambos f ( x ) y g(x) es una raz mltiple de xn - 1. Pero la derivada formal
( x n- 1)' de xn - i es nxn-' # O, ya que p no divide a n; por lo tanto, (xn - 1)'
es primo con respecto a x n - 1. Por el resultado del Problema 3 de la Seccibn
6.3 el polinomio x" - 1 no puede tener una raiz mltiplie. Debido a esta contradiccin, que se obtuvo a partir de la suposicin de que 8" no era una raz
de f ( x ) , se concluye que siempre que I9 sea una raz de f ( x ) , tambin 8 P debe
serlo, para cualquier primo p que no divida a n.
Repitiendo este razonamiento, se llega a que 8' es una raz de f ( x ) para todo entero r que sea primo con respecto a n. Pero por ser 19 una raz de f ( x ) ,
es una raz de rt>,(x),as que es una raiz n-sima primitiva de la unidad. De esta manera 8' es tambin una raz n-sma primitiva de la unidad para todo r
primo con respecto a n. Recorriendo todos los r que sean relativamente primos
con n, se obtiene cada una de las races n-sirnas primitivas de la unidad como
una de tales 8'. De esta manera todas las rnr'ces n-siPnas primitivas de la unidad son races de f (x). Por el Teorema 6.5.3 se ve que qi ,(x) = f (x), por consiguiente +,(x) es irreducible en Q [ x ] .
Puede parecerle al lector como artificial y poco natural el haber recurrido
al paso m d p para llevar a cabo la demostracin de la irreducibilidad de un
polinomio con coeficientes racionales. En realidad, puede ser muy bien as. Hasta
donde sabemos, nunca se ha dado una demostracin de la irreducibilidad de.
rt>,(x)permaneciendo completamente en Q I x ] y sin pasar a mdp. Seria estticamente satisfactorio contar con una de tales demostraciones, Por otra parte,
este no es el inico caso donde se demuestra un resultado pasando a un sistema
subsidiario relaconado. Muchos teoremas de la teoria de los nmeros -respecto
a los enteros ordinarios- tienen demostraciones que utilizan a los enteros mdp.
Dado que +,(x) es un polinomo mnico con coeficientes enteros que es
irreducible en Q [ x ] y puesto que O,, la raz n-bima primitiva de la unidad,
es una raiz de $,(x), se tiene
TEOREMA
(e) +zo(x).
3. Si (x" - l ) l ( x n - 1 ) , prubese que mln.
4. Si a > 1 es un entero y (a"
l)J
( a n - l), prubese que m J n .
5 . Si K es una extensin finita de Q , el campo de los numeros racionales, prubese que existe solamente un numero finito de races de la unidad en K. (Sugerencia: Aplquese el resultado del Problema 10 de la Seccin 6.2, junto
con el Teorema 6.5.6.)
238
> O,
la
- u/ul >
c/un.
DEMOSTRACI~N.
Sea a una raiz del polinomio f (x) de grado n en Q (x), donde Q es el campo de los nmeros racionaIes. EIiminando los denominadores en
los coeficientes de f (x), se puede suponer que f( x ) = r & V rr,xn-' - . .
r,, donde todos los r, son enteros y r, > 0.
Puesto que el polinomio f (x) es irreducible de grado n tiene n races distintas a
a , , a*, . . ., a, en 43, el campo de los nmeros complejos. Por lo tanto, f ( x ) se factoriza sobre Q: como f (x) = rO(x- a)(x - a 2 ) - - - (x - a,).
Sean u, v enteros con v > O; entonces
Por consiguiente,
es un entero. Por otra parte, dado que f (x) es irreducible en Q [x] de grado
2 2, f (x) no tiene races racionales, as que unf (u/ u ) es un entero distinto
de cero, de lo cual 1 vnf (u/u) ( 2 l . Usando la forma factorizada de f {x), se
tiene que
por lo tanto
2s, entonces nuevamente por la desigualdad trian+ lu/ul c s + 2s = 3s. Por lo tanto,
a.
la[
la-
a.
CAPTULO 6
TEMAS ESPECIALES
trascendentes. Adems, en vez de utilizar nada ms 1 se podra emplear cualquiera de los nueve digitos distintos de cero para obtener ms nmeros trascendentes. Se deja la verificacin de que los nmeros del tipo descrte no satisfacen
el criterio de Liouville, para cualquier entero positivo n y cualquier c positivo.
Se puede usar el nmero trascendente 7 y sus variantes descritas para demostrar un famoso resultado debido a Cantor, el cual dice que existe una correspondencia biyectiva entre todos los nmeros reales y su subconjunto de
los nmeros reales trascendentes. En otras palabras, en cierto sentido, hay tantos reales trascendentes como nmeros reales. Se da una breve descripcin de
cmo se lleva a cabo y se dejan los detalles al lector.
Primeramente, es fcil construir una aplicacin inyectiva de los reales sobre
los reales que se encuentran estrictamente entre O y 1 (trtese de encontrar tal
aplicacin). Esto tambin es cierto para los nmeros reales trascendentes y los
que de ellos se encuentran estrictamente entre O y 1 . Dentese el primer conjunto por A y el segundo por B. Se construir una aplicacin inyectiva de A hacia
B. Esto sera suficiente para concluir la tarea.
Dado cualquier nmero de A , se le puede representar como un decimal nfnito a,a2 - . a, . . ., donde los a,estn entre O y 3. (Ahora se proceder con
un poco de inexactitud. El lector debe intentar hacer estricto el razonamiento.) Definamos ahora la aplicacin f de A a B por f ( a , a z . * . a, . . . ) =
0.a,0a200a3000000a4
. . .; por el criterio de Liouville, salvo un pequeo conjunto de al,a ~ . ,. ,, a,, . . ., los nmeros 0.1a,0a200a,000000a,. . . son trascendentes. La f considerada proporciona entonces la aplicacin requerida.
Un comentario final acerca del tipo de aproximacin de nmeros algebraicos mediante racionales, expresada en el Teorema 6.6.1. Ahi se tiene que si a
es real algebraico de grado rl 2 S, entonces la -tc/ul 3 c/un para algn positivo c apropiado. Si se pudiera disminuir n para que ] a - u/" 1 > c/umpara
m < n y algn c adecuado (dependiente de a y m),se obtendra un resultado
an ms profundo. En 1955 el entonces joven matemtico ingls K. F. Rath
demostr el poderoso resultado de que efectivamente se puede reducir n a 2.
Su resultado exacto es: Si a es algebraico de grado n 2 2, entonces para todo
nmero real r > 2 existe una constante positiva c, que depende de a y r, de tal
manera que la - u / u ) > c/ur para todas excepto un nmero finito de fracciones u/u.
Como se indic anteriormente, Lindemann demostr en 1882 que n es un nmero trascendente. A partir de dicho resultado de Lindemann se deduce, en particular, que n es irracional. No se demostrar aqu la trascendencia de n -ello
requerira una digresin bastante extensa- pero, por lo menos, se demostrar
que T es irracional. La excelente demostracin que se da de este hecho se debe
a 1. Niven; apareci en su artculo "Una demostracin sencilla de que ir es irra-
cional", que fue publicado en el Bufferin of the American Marhematical Society, vol, 53 (1947), pg. 509. Para seguir la demostracin de Niven slo se
requieren algunos temas de un curso elemental de clculo.
Se empieza con
* m
DEMOSTRACI~N.
Si u es cualquier nmero real, entonces e" es un nmero real
bien definido y e" = 1 + u + u2/2! t u 3 / 3 ! + . . . + u n / n ! + - ... La serie 1 + u + u 2 / 2 ! + . . . + un/n! + . . . converge a e"; dado que la serie conIm u n / n ! = O.
verge, su trmino general debe tender a 0. De esta manera n-m
Ahora presentamos la demostracin de Niven de la irracionalidad de n
TEOREMA 6.7.2.
n es un nmero irracional.
DEMOSTRACI(SN.
Supngase que n es racional; entonces x = a / b , donde a y
b son enteros positivos.
Con base en el supuesto de que n = a f b , se introduce un polinomio para
todo entero n > 0 , cuyas propiedades conducirn a la conclusin deseada.
Las propiedades bsicas de este polinomio sern vlidas para todo n positivo. La estrategia de la demostracin es realizar una eleccin sensata de n en
el momento apropiado,
Sea f ( x ) = xn(a - bx)"/n!, donde n = a/b. ste es un polinomio de
grado 2n con coeficientes racionales. Desarrollndofo, se obtiene que
f(x)
a,xn
a l x n + '+
n!
... +
anx2"
donde
a.
a", a l = -80"-'6,
..
son enteros,
Se denota la i-sima derivada de f ( x )con respecto a x mediante la notacin
usual f '"(x), sobreentendindose que f ("(x) significa f ( x ) .
Primero se hace notar una propiedad de simetra de f ( x ) , a saber que
f (x) = f ( x - x ) . Para tal fin, obsrvese que f ( x ) = ( b n / n !)xn(x - x)n, de cuya forma es evidente que f (x) = f ( n - x). Puesto que esto es vlido para f ( x ) ,
es fcil ver, a partir la regla de la cadena para la diferenciacin, que f (')(x)=
(-1)'f('I(7r
- x).
67
* Irracionalidad de T
243
jtf (x) senx dx es vlida para cualquier entero n > O, Ahora se requiere elegir
n de manera inteligente para asegurar que la aseveracin " 'lo"f(x) sen x dx es
entero" no pueda ser cierta.
Se lleva a cabo ahora una apreciacin del valor de 1,"f (x) senx dx. Para
O < x < a la funcin f (x) = xn(a - bx)"/n! r ana"/n! (ya que a > O), y
ademh O < sen x S 1. De manera que O < 1,"f (x) sen x dx < JO a "an/n ! dx =
a n n/n!.
un/n! = O, as que sr se
Sea u = m ; entonces, por el Lema 6.7.1,
escoge n suficientemente grande, se puede asegurur que ufl/n! < 1/a, por consiguiente n n +'an/n! = aufl/n! < 1. Pero entonces ;/ f (x) senx dx queda
confinado estrictamente entre O y l. Sin embargo, por lo que se ha demostrado, f: f (x) senx dx es entero. Puesto que no existe ningn entero estrictamente entre O y 1, se ha llegado a una contradiccin. Por consiguiente la premisa de que n es racional es falsa. Por lo tanto, a es irracional. Esto completa
la demostracion del teorema.
A ( % ) . 16. I R . 39
Ahe/. 41
4heliano(s), gi~ipojs),41
finito(+), 96-101
teorema furidamerital, 91-1 00
ilternante, 121
simplicidad de. 215, 222
Anillo(,), 122-174
booleanos, 138
conniutativos, 128
cori unidad, 127
de divisihn, 127
definicion de, 127
euclidiano\, 161, 162
homomortismo de, 139
no conmutativos, 127
polinomialei, 151-162
\plicacion(es) (o mapeosj, 8
biqectiva, correspondencia. 1 1
omposicion de, 1 1
conmutacin, 21
identidad. 9
iiiyectiva, 10
\uprnyecti\ a (\obre), 10
uno a uno (1-l), 10
4zociatibs, Ir), 12, 40
Aritoinorfismo de grupo, 69, 75
intcr no (o iiiterior), 69
t\\ionia\, 2
B3\e (de U ~ Ie\pdcii) ~ectorial),187
Btveccion, 11
Biyectiva, correspondencia, 1 1
Roofe, 138
Booleano, anillo, 138
Buena ordenaiin, priricipio de, 22
Campo, 33, 127, 175-214
caracterrtica de un, 178
cerrado algebraicamente, 200
cociente, 171
de cocientes, 171-178
de descomposicion, 2 13
de funciones racionales, 176
de numero5 algebraicos, 199
definicion de, 175-176
extensin d e un, 191
finita, 198-201
finlto, 129. 185-191
Cantor, 240
Caracterstica de un camp. 178
(brroll, 7
Cartesiano, producto, 5 , 6
Cuuchy, 80
Cauchy, teorema de, 89, 91
para ,o-upos abelianos, 80
Cayley. 68
Cabley, teorema de, 42, 68
Centro, 52
Ceritralixador, 52, 101
Cero, divisor de, 128
Ciclico, grupo, 52
generador de, S2
Ciclo de una permutacin, 112
Eisenstern, 169
Eisenstein, criterio de, 168
Elemento(s), 3
algebraico, 193
de grado n , 195
conjugados, 57
identidad, 40
rbita de un, 21, 65
trascendente, 193
Equivalencia
clase de, 57
relacion de, 56
Espacios vectoriales, 179-188
base de, 187
conjunto generador mnimo de, 186
de dimensin finita, 185
de dimensin infinita, 185
definicin de, 179
dimensin de, 186
Euclides, 26
Euclides, algoritmo de, 22
E u k r , 59, 65
Euler, funcin # de, 61
Euler, teorema de, 62
Exponentes, 18
Extensin de campo, 191-201
algebraica, 193
definicin de, 191
finita, 191, 198-201
grado de, 191
Factor, 23
Factor, grupo, 77-82
definicion de, 78
Factorial, 17
Fermat, 59, 62
Fermat, teorema de, 62
Finito-dimensional, espacio vectorial, 185
Finitos, campos, 221-229
ciclicidad de, 222-224
existencia de, 224-228
unicidad de, 228-229
Funcin, 8
constante, 9
racional, 177
p de Euler, 61
Fundamental, teorema
del lgebra, 200
de los grupos abelianos finitos,
96, 1M)
Gauss, 168
Gauss, lenia de, 200
Gaussianos, enteros, 38, 165
Grado (grd)
de una extensin de campo, 191
de un polinomio, 153
Grupo(s1, 39-123
abeliano, 41
finito, 96-101
alternante, 121, 215-222
automorfismo de, 69, 75
axiomas, 40
cclico, 52
cociente, 78
definicin de, 40
diedrico, 43
factor, 77
finito, 41
hamiltoniano, 7 1
isomrficos, 68
no abeliano, 42
simple, 123, 216
Nlven, 240
Normal, subgrupo, 66-72
definicin de, 70
Ncleo ( o kernel) de un homomorfismo
para anillos, 140
para grupos, 69
Nulo, conjunto, 4
rbita de un elemento, 21, 65
Orden
de un elemento, 59
de un grupo, 41
Particin de n , 236
Permutacin, 110
ciclo de una, 113
impar, 118 y sgtes.
par, 118 y sgtes.
Polinomio(s), 151
Polinomiales, anillos, 151- 162
ciclotmico, 229-230
coeficiente de, 152
grado de un, 153, 156
irreducible, 195
mnimo, 195
mnico, 156
primos entre s, 158
Primo, nmero, 21, 25
Primos entre s
enteros, 24
polinomios, 158
Primitiva, raz, mdulo p, 65
Primitiva, raiz n-ksima, de la unidad, 36
Producto
cartesiano, 5
de aplicaciones, 11
directo, de grupos, 92-96
Proyeccin, 9
Racional, funcin, 177
Reflexividad, 56
Residuo, teorema chino del, 147
Roth, 240
Simetria, 56
Simtrico, grupo, 16, 109-123
Simple, grupo, 122, 216
Shplicidad de A,, 215-219
Subcampo, 128
Subconjunto, 3-4
Subespacio, 180
generado por elementos, 181
Subgrupo, 50-53
caracterstico, 75
cclico, 52
de Sylow, 104
definicin de, 50
ndice de, 59
normal, 70
propio, 50
trivial, 50
Suma directa
de anillos, 146
de espacios vectoriales, 181
Sylow, 104
Sylow, subgrupo de, 104
Sylow, teorema de, 104-105
para grupos abelianos, 83
Trascendente, elemento, 193
Transitividad, 56
'rransposicin, 21-1 13
Tringulo, desigualdad de, 34
Triseccn de un ngulo, 206-207
Unin de conjuntos, 4
Unitario (o unidad), eIemento, 39
Uno a uno,
aplicacin, 10
correspondencia, 11
Vaco (o nulo), conjunto, 4
Wilson, teorema de, 65, 210