Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Algebra Abstracta PDF
Algebra Abstracta PDF
ABSTRACTA
M. en C . Eduardo M. Ojeda Pena
University of Arizona, E Li A
iini.versidad Autnomo de Gcladcllajara [UAG),
Guadalajara, Mxico
Revis~rTcnico:
Dr. Ivn Castro
Pontificia Universidad Jci~eri;
ha& "1
Bogot, Colombia
ISB 968-7270-42-X
Impreso en Mkxico
* 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 ......................................
3 EL GRUPO SIMETRICO. . . . . . . . . . . . . . . . Ji 09
3.1 Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 109
3.2 Descomposicin en ciclos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
3.3 Permutaciones impares y pares . . . . . . . . . . . . . . . . . . . . . . . . . . . . 118
xiii
UNDAM
1.I ALGUNAS
OBSERVACIONES PRELIMINARES
Para muchos Iectores este libro ser su primer contacto con la matemtica abs-
tracta. 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 ex-
traar, 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 prop-
sito 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 natu-
raleza de S imponiendo ciertas reglas sobre cmo se comportan estas operaciones
en S. Tales reglas suelen denominarse los axiomas que definen la estructura par-
ticular en S . Debemos determinar los axiomas, pero en la matemtica, histori-
camente, 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 de-
seable, 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 im-
poniendo una serie de reglas a un conjunto S que conduzcan a un sistema pato-
lgico 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 ante-
riormente, 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 len-
guaje; 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 li-
cencia 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
las dos reglas siguientes en S:
1. Si a, b son objetos cualesquiera de S , entonces a * Ei = a.
2. Si a, b son objetos cualesquiera de S , entonces a * b = b * a.
Demustrese que S puede tener a lo sumo un objeto.
12 e Teora de conjuntos 3
2. Sea S el conjunto de todos los enteros O, +1, 12, . . . , +n, . . . . Para a,
b en S definase * mediante a * b = a - b. verifquese lo siguiente:
(a) a * b # b * a a menos que a = b.
(b) (a * b) * c # a * ( b * c) en general. Con qu condiciones para a, b ,
c es (a * b) * c = a * ( b * c)?
(e) El entero O tiene la propiedad de que a * O = a para todo a en S.
(d) Para a en S , a * a = O.
3. Supngase que S consiste en los dos objetos O y A. Se define la operacin
* en S sujetando Ci y A a las condiciones siguientes:
l.U*A= A = A*U.
2.Ci*C1 = o.
3 . A * A = o.
Mediante clculos explcitos, verifquese que si a, b son elementos cuales-
quiera de S (esto es, a, b pueden ser O o A), entonces:
(a) a * b est en S.
(b) (a * b) * c = a * ( b * c).
(c) a * b = b * a.
(d) Existe un elemento particular a en S tal que u * b = b * a = b para
todo b en S.
(e) Dado b en S , entonces b * b = a, donde a es el elemento particular de
la parte (d).
l . A U B = 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.
PROBLEMAS 1.2
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 ) .
15, Para tres conjuntos finitos A , B, C determnese una frmula para
m(A U t? U C ) . (Sugerencia: Considerar primero D = B U C y aplicar el
resultado del Problema 14.)
16. Trtese de determinar m ( A , U A, U . . . U A,) para n conjuntos finitos
A,, -42, - A,.
- a ,
22. (a) Demustrese que un conjunto que consta de n elementos tiene 2" sub-
conjuntos.
(b) Si O < m < n, determnese cuntos subconjuntos hay que consten de
exactamente m elementos.
EJEMPLOS
1. Sean S = (todos los hombres que han existido) y T = {todas las mujeres
13 e Funciones o aplicaciones [mapeos] 9
C
-
es una aplicaci0n de S en T.
4. Sean S el conjunto de 10s enteros y T = S. Definase f: S +T por
f ( m ) = 2m para cualquier entero m . De esta manera, la imagen de 6 bajo esta
aplicacin, f ( 6 ) , est dada por f(6) = 2 - 6 = 12, mientras que la de -3,
f(-3), est dada por 37-3) = 2f-3) = -6. Si S , , E S estn en S y f(s,) =
f(s,), qu se puede decir acerca de S , y s2?
5. Sea S = Tel conjunto de los nmeros reales; defnasef: S -, Tmediante
f(s) s2. Determnese si todo elemento de T aparece como imagen de
=
algn s E S. Si no es as cmo se describira el conjunto de todas las imgenes
(f (s)lsE S)? Cundo es f ( S , ) = f(s2)?
6. Sea S = Te1 conjunto de los nmeros reales; definase8 S Tmediante
+
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 subcon-
junto de S x S tal que .f((a, b)) = !h.
en T.
10. Sea S cualquier conjunto no vaco y defnase i: S S mediante i ( s ) =
+
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).
Dicho de otra forma, una aplicacin es 1-1 si lleva objetos distintos a im-
genes distintas. En el Ejemplo 1 dado anteriormente, la aplicacin no es 1-1,
ya que dos hermanos tendran la misma madre. Sin embargo, la aplicacin del
Ejemplo 2 es 1-1 porque ciudadanos distintos tienen distintas nmeros de re-
gistro de Seguridad Social (siempre que no se haya cometido ningn error en
ese organismo, lo cual es poco probable). El lector debe verificar si los dems
ejemplos dados son de aplicaciones 1-1.
Dada una aplicacin$ S --* Ty un subconjunto A C T, se desea considerar
el conjunto B = fs E S If (S) E A), al cual se denotar por f - ' ( A ) y se llamar
1.3 Funciones o aplicaciones (mapeos) 11
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 con-
junto 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 + T, g: T -+ U, y f: U + v, entonces
fofgoh) = (fog?oh.
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
O
ver que
( f (g h))(s) = f((g o h)(s))= f(g(h)(s)).
f o g: S -+ U tambin es inyectiva.
-
g ( s ,) = g(s2);sin embargo, g tambin es 1-1, as que se concluye que S , = S*.
Puesto que ( f 0 g ) ( s , ) ( f o g)(s,) implica S, = S,, la aplicacin f 0 g es in-
yectiva. 17
Se deja al lector la demostracin de la siguiente observacin.
OBSERVACI~N.
f 0
Si g: S
g: S +
-
Tyf: T
U tambin es suprayectiva.
-+ Uson ambas suprayectivas, entonces
f 0 g: S + U tambin es biyectiva.
Si f es una correspondencia biyectiva de S sobre T, entonces se puede de-
mostrar fcilmente que el ""objeto" f -': T S definido anteriormente es una
+
yf -'
Of = is, donde is e ir son las aplicaciones identidad de S y T, res-
pectivamente.
1.3 e Funciones o aplicaciones (mapeos] 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
( f 0f -')(t)
tidad en T.
-
que so es el propio s. De esta manera f ( f -"(t)) = f(s,) = t. En otras palabras,
t para todo t E T; por lo tanto f 0 f -' = iT, la aplicacin iden-
g = f 0 h, entonces g = h .
8. Sean S el conjunto de los enteros y T = (1, -11; defnasef: S -, T como
f ( S ) = 1 si S es par, f ( S ) = -1 si s es impar.
14 1 e TEMASFUNDAMENTALES
CAP~~ULO
PROBLEMASINTERMEDIOS
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) =
+
fofofo . . - o f = is.
_I__-
n veces
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.
DEMOSTRACI~N.
Sea f E A ( S ) , donde S = (x,, x2, . . . , x,). Cuntas op-
ciones 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!.
18 CAP~TULQ
1 * TEMA$ FUNDAMENTALES
1. : x, X l , X2 X2, X3 X3.
-
-+ + +
2. f:x,3X2>X2-+x~,X34X,.
3. g: Xl X2, x2 -* X1, x3 -) xj.
fg: X* -+X
,J , & -'x2, & - * XI,
de tal manera que (fg)2: X, xl, x2 x2, x3 x3,esto es, (fgI2 = i. Por otra
-+ -+ -+
PROBLEMAS 1.4
Y
Calclense:
g: x, -+ X 2 , x2 -+ Xl, X3 - x3, x4 -+ x4.
(a) f ', f 3, f 4.
(b) g2, g3.
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"' = i para &oduf E
S43
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,.
11. Si m < n, demustrese que existe una aplicacin inyectiva F: S, -. S, tal
que F ( f g ) = fV(f) F ( g ) para toda f , g f S,,,.
15. Si S tiene tres o ms elementos, demustrese que se pueden encontrar f , g E
A ( S ) tales quefg 7 gf.
16. Sea S un conjunto infinito y M C A ( S ) el conjunto de los elementos
f E A ( $ ) tales que f ( s ) # s para a lo sumo un nmero finito de s E S .
Probar que:
(a) f , g E M implica que fg E M .
(b) f E M implica que f -' E M .
17. Para la situacin del Problema 16, demustrese que, si f E A ( S ) ,f -' Mf =
{ f -'g f lg E M ) debe ser igual a M.
18. Supngase que S > S y considrese el subconjunto U( T ) =
{f E A ( S )1 f ( t ) E 7' para todo t E T ) . Probar que:
(a) i E U ( T ) .
(b) f , g E U ( T ) implica que fg E U( v.
19. Si el conjunto S del Problema 18 tiene n elementos y Ttiene m elementos,
;cuntos habr en U ( T ) ?Demustrese que existe una aplicacin F: U ( T )-,
S , tal que F ( f g ) = F( f ) F ( g ) para f , g E U ( T )y que F es suprayectiva
en S,,,.
20. Si m .= n, puede ser inyectiva la F del Problema 19? Si as es, dgase cundo.
21. Demustrese que la aplicacin f en S, definida por
S: X 1 -+ X*, X2 + X j , X3 + X4, .- 4 , X , -1 X,, X , -. X I
.,
[esto es, f ( x , ) = x, si i < n , f ( x , ) = x,] puede escribirse como J' =
g,g, . . . g,,_, donde cada g, E S, intercambic~exactamente dos elementos de
S = { x , , . . . , x,,}, dejando fijos los otros elementos de S .
1 4 * A!S) [Conjiinto de las ao icaciones inyectivas de S sobre s mismo) 24
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(-r41IJ) ~ f ( x 5 ) = X, f(x6) = X4i . . . ? f ( x 3 , 4 + 1=
F I ) x2/,+2i f ( . ~ 7 A + 2 ) =
x , ~7, f ( x T h,? ) - xqh para cierto k, y que f ( x , ) = x, para los dems x, E
+ , Y
S.
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 = { x , , x2, . . ., xI2)y f E Si2 se define porf(x,) = x,,, si i = 1, 2, . . .,
11 y f ( x , , ) = x,, encuntrense las drbitas (relativas a f ) de todos los
elernentos de S .
29. Si f E A ( S ) satisface f 7 = i , demustrese que Ia rbita de cualquier ele-
mento de S consta de uno o de tres elementos.
30. Recurdese que un entero positivo p > 1 se llama nmero primo si p no
se puede factorizar como producto de enteros positivos menores. Si f E A ( S )
satsface ff'= i, qu se puede decir acerca del tamano de las rbitas de
los elementos de S relativas a f ? ;Qu propiedad de los nmeros primos
se aplica para obtener la respuesta?
31. Prubese que si S consta de ms de dos elementos, entonces los nicos f ,
de A ( S ) tales que fof = fh, para toda f E A ( S ) , deben satisfacer f, = 1.
32. Se dice que g E A ( S ) conmufa con f E A ( S ) si fg = g.f. Encuenrrense
todos los elementos de A ( S ) que conmuten con f: S S , definida por
--+
De una manera ms formal, lo que este principio dice es que dado un con-
junto V de enteros no negativos, existe un elemento v, E V tal que vo r v para
todo v f V . Este principio servir como fundamento del desarrollo de los en-
teros que estamos a punto de realizar.
La primera aplicacin que se har es demostrar algo ya conocido y que se
ha dado por supuesto, es decir, que se puede dividir un entero entre otro para
obtener un residuo menor. Esto se conoce corno Algoritmo de Euciides. Se le
dar un planteamiento ms formal y una demostracin basada en la buena or-
denacin.
De esta manera, por ejemplo, 21 14, (-7)114, 41(-16). Si m/n, se dice que m
es un divisor o factor de n y que n es un mttipfo de m. Para indicar que
m no es divisor de n, se escribe m t M ; por ejemplo, 3 t 5.
Las propiedades elementales bsicas de Ia divisibilidad se presentan en el
,-,-. ,". .,, ----y --- -
1
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!
DEMOSTRACIQN. Si pla,, no hay nada que probar. Supngase que p .i a,; en-
tonces p y a , son relativamente primos. Pero p(a,(a, . . . a,); por consiguien-
te, 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 es-
cribir n en la forma n = pypp - . . &, donde p, < p, < - . . p, son
primos y los exponentes a l , a2, . . . , ak son todos positivos.
PROBLEMAS FACILES
10. Para verificar que un entero dado n > 1 es primo, pruebese que basta con
demostrar que n no es divisible por ningn primo p tal que p 5 6 n .
11. Verificar si los siguientes nmeros son primos:
(a) 301.
(b) 1001.
(e) 473.
12. Comenzando con 2, 3, 5 , 7, . . ., constryanse los enteros positivos 1 +
2 . 3, 1 + -
2 3 . 5, i +
2 . 3 . 5 . 7, . . , Se obtiene siempre un nmero
primo de esta manera?
PROBLEMASINTERMEDIOS
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 P ( n ) es la proposicin que 1 + 2+ . + n= + .
PROBLEMAS 1.6
PROBLEMASFCILES
1. Prubese por induccin que l 2 + z2 4 3* + .-. + n2 =
i6 n ( n + 1)(2n + 1).
2. Prubese por induccin que l 3 + S' + . . . + n3 = %n2(n + I)~.
3. Prubese un conjunto que consta de n r 2 elementos tiene %n(n +- 1)
subconjuntos con exactamente dos elementos.
4. Demostrar que un conjunto que consiste en n 2 3 elementos tiene
n(n 4 I)(n + 2 ) / 3 ! subconjuntos con exactamente tres elementos.
5 . Si n si 4 y S consta de n elementos, conjeturese (a partir de los Problemas
3 y 4) cuntos subconjuntos con exactamente k elementos hay en S . Luego
verifquese la conjetura empleando induccin matemtica.
6. Completar la demostracin del Teorema 1.5.6, empleando induccin.
7. Si a > 1, prubese que 1 + a + a2 + + a" = [anf'- l)/(a - 1) por
induccin.
8. Demustrese que
1
+- 1
--
+... + 1 -
-- n
1 - 2 2 . 3 n(n + 1) n + I '
por induccin.
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
rencia: el teorema del binomio.)
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 n-
meros complejos y sus propiedades son a veces mucho menos conocidos por
los estudiantes de licenciatura de la actualidad. En un tiempo los conrplejos for-
maron 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 desa-
rrollo 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:
1. a + bi = c + di, a, b, c, d reales, si y slo si a = e y b = d.
2. ( a + bi) I ( c + di) = ( a * c) + ( b + d ) .
3. ( a t bi)(c t di) = (ac - bd) t (ad -+ be)i.
Esta iiltirna propiedad -la multiplicacin- se puede recordar mejor utili-
zando 2 = -1 y multiplicando formalmente teniendo presente tal relacin.
CAPTULO 1 * TEMAS FUNDAMENTALES
(b) (z
-
(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.
DEMOSTRACI~N.
Se deja al lector.
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.
O 5 laz + + w)(az + W ) = ( a z +
wI2 = ( a z w)(aZ + W)
= a2zZ + a(zW + Sw) + wty .
-
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,
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.
6, =
2n 2n
cos -- + isen -, donde n 2 1 es un entero.
n n
= COS r n ))
( (- + isen (n($l)
Asi que 0; = 1; el lector puede verificar que :8 $ 1 si O < m < n. Dicho
numero O, se llama raz n-sima lrtrimitiva de la unidad.
PROBLEMAS 1.7
1 . h.lultiplicar.
(a) (6 - 7i)(8 + [).
(b) ( + i)( - 2 i).
(c) (6 + 7i)@ - i}.
2. Expresar z - ' en la forma z - ' = a + bi para:
(a) z = 6 + 81.
(b) z = 6 - 8i.
17 Numeros comple!os
(a) z = -+=-
1
t'2
I
- -- i.
v'2
(b) z = 4i.
(d) = -13 [k
- + :Ti).
-
14. Demuestrese que (cos 0 i- i sen 0)"' = cos(mO) + isen(rn6) para fado
entero m.
15. Demustrese que (cos8 + isen 0)' = cos(r-8) + rsen(r-O) para rodn nurne-
ro racional r.
[ jn)(+
fa) .os 2 ~ k
i sen -
n
= 1.
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.
20. Prubese que lz + wI2 + lz - w12 = 2f lzf2 + 1 wI2).
21. Considrese el conjunto A = {a + bita, b E Z). Prubese que hay una co-
rrespondencia biyectiva de A sobre N. (A se llama conjunto de los enteros
gaussianos.)
22. Si a es una raiz (compleja) del polinomio xfl i- a,xn-' + . . - + CY,-~X +
a,, donde los a, son reales, demustrese que debe ser tambin una raz.
[r es Ia raz de un polinomio p(x) si p ( r ) = O.]
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.
en G.)
(Esto se describe diciendo que es vlida la ley ~~sociafivu
(c) Existe un elemento especial e E G tal que u * e = e * a = u pa-
ra 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 gru-
po) fueron modelados, despus de todo, a la manera de aquellos qiie son vali-
dos 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, raciona-
les, 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 n-
meros. Reiteramos: un grupo no es ni ms ni menos quc un conjunto que satis-
face los cuatro axiomas de grupo.
Antes de empezar a egtudiar la naturaleza de los grupos, examinemos algu-
nos ejemplos.
EJEMPLOS DE GRUPOS
-
l . k a n Z el conjunto dc 105 enteros y la adicin ordinaria, -t- , en S. Que
Z sea cerrado y asociativo respecto a *, son propiedades bsicas de los enteros.
21 Defin~cionesy ejemplos de gr~pos 44
Cul elemento sirve como la unidad, e , de Z respecto a *? Evidentemente,
puesto que a = a * e = a + e, se tiene e = O, luego O es el elemento identidad
requerido respecto a la adicin. Y qu se puede decir de a-'? Aqu tambin,
puesto que e = O = a * a-' = a + a-', a-' en este caso es -a, y claramente
a *(-a> = a + (-a> = 0.
2. Sean Q e1 conjunto de los nmeros racionales y la operacin * en Q ia
suma ordinaria de ellos, Como antes, se demuestra fcilmente que Q es un gru-
po respecto a *. Ntese que Z C Q y que ambos Z y Q son grupos respecto
a fa misma operacin *.
3. Sean Q' el conjunto de los nmeros racioriales diferertes de cero y la
operacin * en Q' la multiplicacin ordinaria de ellos. En virtud de las propie-
dades conocidas de los nmeros racionales se ve que Q' forma un grupo relati-
vo a *.
4. Sean BB' el conjunto de los nmeros reales positivos y la operacin *
en R'el producto ordiriario de ellos. Nuevamente es fcil comprobar que R'
es un grupo respecto a *.
5. Sea U, el conjunto de las pote~iciasO;,, i = O, 1, 2, . . . , n - 1, donde
O, es el nUmero complejo 0, = cos(Sa/n) + i sen(2a/n). Sea 8(, * B(, = 0k,+J,
el producto ordinario de las potencias de O, como nmeros complejos. Por el
teorema de De Moivre se vio que 8:: = l . Se pide al lector verificar que li,, es
un grupo respecto a *.
Este resultado demuestra que T,,, * T,,, esta en G -ya que satisface el requi-
sito 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 apli-
cacin identidad de sobre s mismo. Finalmente, ja qu es igual T;;?
Se pueden encontrar nmeros reales x # O, y tales que
Finalmente, si f (S) -
nmero finito de elementos de S , de modo que fg E 6 .
S para todo s diferente de S , , S,, . . . , S,, entonces
f - ' ( f (S)) = f P ' ( s ) , pero f - 7 s ) = f-'( f ( S ) ) = ( f - l f ) ( s ) = i ( s ) = s. As
que se obtiene que f- ' ( S ) = s para todo s excepto S , , . . . ,S,. Por consiguien-
te f-' E G y G satisface todos Ios axiomas de grupo, por lo tanto es un grupo.
44 2
CAP~TULO GRUPOS
y se define a-" = (a-')", para n entero positivo y a' = e, Las reglas ordina-
rias de los exponentes son entonces vlidas, esto es, (a")" = a"" y a" * a" =
a m i- n para cuafesguier enteros m y n.
PROBLEMAS INTERMEDIOS
2.2 ALGUNAS
OBSERVACIONES SENCILLAS
En esta breve seccin se demuestra que ciertas propiedades formales que se de-
rivan 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 e GRUPOS
DEMOSTRACION. Se empieza por la parte (a). Cmo se supone que debe Ile-
varse 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 (enun-
ciado adelante como Lema 2.2.21, el cual tendr la parte (b) como una conse-
cuencia 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 ge-
neral, 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
Una docena exacta de ejemplos parece ser una cantidad apropiada, as que
pasaremos a otros temas. El Lema 2.3.1 indica lo que se necesita para que un
subconjunto dado de un grupo sea un subgrupo. En un caso especial impor-
tante se puede hacer un ahorro considerable al comprobar si un subconjunto
dado H es un subgrupo de G. Este es el caso en el que H es finito.
PROBLEMAS 2.3
PROBLEMAS FACILES
PROBLEMAS INTERMEDIOS
EJEMPLOS
DEFINICI~N. -
Si es una relacin de equivalencia en S , entonces se
define [ a ] ,la clase de a mediante [a] = {b E S1b - a}.
-
Puesto que G = Ha, U . U Hak y los Ha, son disjuntos y cada Ha, tiene
A
Se ha probado e1
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 c-
clico de orden n generado por [ 1 1.
Se resume todo esto en el
COROLARIO
[DE FERMAT). Si p es primo y p S a , entonces
PROBLEMAS 2.4
25. Demustrese que los elementos distintos de cero en 2, forman un grupo res-
pecto al producto [a][ b ] = [ab] si y slo si n es primo.
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 .
2 4 * Teorema de Lagrange 65
28. Si G es un grupo cclico de orden n , demustrese que hay p(n) generadores
de G. Sealar explcitamente sus formas.
29. Si en un grupo G, aba-'
entero positivo r.
- b', demustrese que a'ba-' = 6"' para todo
39. Sea G un grupo abeliano finito de orden n para el cual el nmero de solu-
ciones 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
entonces y2 - l ( p ) . (Esto proporciona otra demostracin del resultado
del Problema 41 .)
43. Sea G un grupo abeliano de orden n, a l , . . . , a, sus elementos. Sea x =
a , , a, . a,. Demustrese que:
(a) Si G tiene exactamente un elemento b f e tal que b2 = e, entonces
x = b.
(b) Si G tiene mas de un elemento b f e tal que b2 = e, entonces x = e .
(e) Si n es impar, entonces x = e (vease el Problema 16).
por rp(x) = log,,x para x E 6 . Puesto que log,,(xy) = log,,x t- log,, y, se tie-
ne que p(xy) = p(x) + @ ( y ) ,de modo que (p es un homomorfismo. Sucede
adems que es suprayectivo e inyectivo,
2. Sea G un grupo abeliano y rp: G G' definida por rp(a) = a'. Puesto
-+
10. Sean G el grupo de los reales respecto a + y G ' el grupo de los nmeros
complejos distintos de cero respecto a la multiplicaci0n. Defnase (o: G G ' por
+
+
Vimos que (cos x + i sen x)(cosy + i sen y ) = cos (x y) + i sen(x + y ) , por
consiguiente rp(x)<p(y)= (o(x + y ) y (p es un homomorfismo de G en G '. p
no es inyectivo porque, por ejemplo, p(0) = p(2n) = 1 , ni tampoco (o es su-
prayectivo.
siguiente e' -
celacin en G ' se obtiene ~ ( e =) e'. Adems, <p(aaa') = d e ) = e', por con-
<p(aa-') = p(a)(o(a-').
DEMOSTRACION.
Este resultado es en realidad un corolario del Lema 2.5.4.
Se dejan al lector los pocos detalles.
x 0)
En el Ejemplo 1, q(x) = 1 0 g , ~ xy K ( q ) = ( x ~ l o g l 0 = = 11). En el
Ejemplo 2, donde G es abeliano y q(x) = x 2 ,
K ( q ) = { x E G ( x Z= e).
de G, es un subgrupo de G r .
7. Demustrese que p: G + G ', donde p es un homomorfismo, es un mono-
morfismo si y slo si K ( p ) = (e).
8. Encontrar un isomorfismo de C , el grupo de los nmeros reales respecto
a i-,sobre G ', el grupo de 30s nmeros reales positivas respecto a la multi-
plicacin.
9. Verifquese que si G es el grupo del Ejemplo 6 de la Seccin 2.1 y N =
E Gla racional), entonces H a C.
{ TaVh
10. Verifquese que en el Ejemplo 9 de la Seccin 2.1, el grupo didrico de orden
8, el conjunto H = { i , g , g2, g 3 } es un subgrupo normaf de C.
11. Verifquese que en el Ejemplo 10 de la Seccin 2.1, el subgrupo H =
{ i , h, hZ, . . ., hn-'} es normal en G,
12. Prubese que si Z ( G ) es el centro de G, entonces Z ( G ) a 6.
13. Si G es un grupo abef ano finito de orden n y cp: G G se define por cp(a) =
--+
PROBLEMAS INTERMEDIOS
-
cin $: G -* A ( $ ) definida por $(b) = Tb es un homomorfismo].
(b) Descrbase K ($), el ncleo de $: G A ( S ) .
(e) Demustrese que K($) es el subgrupo normal mas grande de G contenido
en N [en el sentido de que si N a G y N c N, entonces N C K($)].
39. Aplicar el resultado del Problema 38 para resolver de nuevo el Problema 37.
Recurdese que si N es un subgrupo de G, entonces el ndice de N en 6,
i,(N), es el nmero de clases laterales izquierdas distintas de N en G (si este
nmero es finito).
40. Si G es un grupo finito y H u n subgrupo de G tal que n S ic (H)! don-
de n = 1 G / , prubese que existe un subgrupo normal N f ( e ) de C con-
tenido en H.
PROBLEMASMUY DIFCILES
2.6 GRUPOS
FACTORES
Sean G un grupo y N un subgrupo normal de C. En la demostracin del teo-
rema 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 ar-
bitrario 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 ] .
-
nicin, 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 consi-
guiente vemos que K ( $ ) c N. Se deja al lector probar que N c K ( $ ) , lo cual
es fcil. Por lo tanto K ( $ ) = N.
donde la equivalencia a -
b se define por ab-' E H. Tratamos de introducir
un producto en W como se hizo para C/Ndefiniendo [ a ][b] = [ab].Est bien
definido este producto? Si h E H, entonces [hb] = [ b ] ,asi que para que el pro-
ducto est bien definido, se necesitara que [ a ][ B ] = [ a ][ h b ] ,esto es [ab] =
[ahb].Esto indica que Hab = Hahb, y entonces Ha = Hah; lo cual implica
que N = Haha-', de donde aha-' E H. Es decir, para todo a E G y todo h E
H , aha-' debe estar en fl, en otras palabras, Ndebe ser normal en G. Vemos
por consiguiente que para que el producto definido en W est bim definido,
H debe ser un subgrupo normal de 6.
Consideremos este tema del grupo cociente de una manera ligeramente di-
ferente. Si A , B son subconjuntos de G , sea A B = {abla E A , b E B ) . Si H
es un subgrupo de G, entonces HH C H es otra manera de decir que H es ce-
rrado respecto al producto de 6.
Sea G/ N = {Na1 a E G ) el conjunto de todas las clases laterales izquierdas
del subgrupo normal N en C. Utilizando el producto de subconjuntos de G de-
finido anteriormente, ja qu es igual (Na)(Nb)?Por definicin ( N a ) ( N b )con-
siste en todos los elementos de la forma (na)(mb),donde n, m N , y de
esta manera
80 2 * GRUPOS
CAP~TULO
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 Teoremas de nornomorf~srnos 85
2. En el Ejemplo 3 , G era el grupo de los nmeros compIejos distintos de cero
respecto a la multiplicacin y G ' el grupo de los nmeros reales positivos res-
pecto a la multipficacin. Sea p : G -G ' definida por p ( a ) = la1 para
+
DEMOSTRACI~N.
Defnase la aplicacin $: C G ' / N ' por + ( a ) = N i p ( a )
-+
PROBLEMAS 2.7
DEMQSTRAGI~N.
Sea s E S; si f (S) = S, entonces la &bita de s respecto a f
consi~tesimplemente del mismo S , as que tiene un elemento. Supngase entonces
que f (S) f s Considrense los elementos S , f (S), f '(S), . . . , fp-!(S); afir-
mamos que estos p elementos son distintos y constituyen la rbita de s respecto
a f. Si no, entonces f '(S) = fJ(s) para algn O S i < j S p - 1, lo cual da
lugar a ff-'(S) = s. Sea t?? = j - i ; entonces O < m S p - 1 y ftn(s)i = s.
Pero fP(s) = S y puesto que p m, ap -t- bm = 1 para ciertos enteros a y b.
De esta manera, f ' ( 5 ) = f "P+b'"(.s) = f up(f htrl(s)) = f u p ( ~=
) S, ya que
f "(S) = fP(s) = s. Esto contradice que f (S) # s. Por consiguiente la rbita de
S respecto a f consiste en S , f ( S ) , f 2(s), . . . ,f '(S), por lo tanto tiene p ele-
MftlltOS. e
En seguida presentamos la demostracin de McKay del teorema de Cauchy.
2 8 * Teorema de Cauchy 89
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,
2. Pruebese que un grupo de orden 35 es cclico.
3. Aplicando el resultado del Problema 40 de la Seccin 2.5, formular otra
demostracibn del Lema 2.8.3, (Sugerencia: Utilcese como N un subgrupo
de orden p.)
92 CAPiTUO 2 GRUPOS
PROBLEMAS DIF~CILES
MUY DIF~CILES
PROBLEMAS
2.9 PRODUCTOSDIRECTOS
En varios problemas y ejemplos presentados anteriormente, pasamos por la si-
guiente 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 Productos directos 93
y donde el producto se define componente por componente por medio de
( a , , b,)(a2,b2) = (ala2,bib2),los productos en cada componente se realizan
en los grupos respectivos Gl y G2. Sera deseable formalizar ahora este proce-
dimiento.
Puesto que b , E N,, entonces conmuta con a,, b, para i > 1 por el corola-
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
En vista del resultado del Teorema 2.9.4 dejamos los adjetivos "interno"
y "externo" y simplemente hablamos de "producto directo".
96 2
CAP~TULO e GRUPOS
PROBLEMAS 2.9
1. Si G, y G2 son grupos, prubese que G, x G2 - G2 x G 1 -
2, Si G , y G2son grupos cclicos de rdenes m y n, respectivamente, prubese
que G, x G2 es cclico si y slo si m y n son relativamente primos.
Demustrese que G -
ma 10 de la Seccin 2.6, para cada i, G tiene un subgrupo P, de orden p:".
P, x P2 x - x Pk.
5. Sea G un grupo finito, N,, N,, . . . , N, subgrupos normales de G tales que
G = NiN2 - - . N , y IGI = ]N,I IN21 - lNkI. Prubese que G es el
a -
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 im-
presin 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 interro-
gantes relativas a grupos abelianos finitos a cuestiones referentes a grupos cclicos,
lo cual a menudo permite obtener respuesta completas a dichas interrogantes.
2 10 Grupos abelianos finifos jo~cional) 97
La situacin de la estructura de los grupos abelianos finitos realmente es
un caso especial de algunos teoremas ms amplios y rigurosos. El estudio de
ellos sera ir muy lejos, especialmente debido a que el tema de los grupos abe-
Iianos finitos es muy importante por s mismo. El teorema que se probar se
llama con muy justa razn teorema fundamental de los grupos abelianos
finitos.
Antes de abordar los detalles propios de la demostracir sera bueno pre-
sentar un esquema rpido de como se proceder para probar el teorema.
El primer paso ser reducir el problema de un grupo abeliano finito cual-
quiera a uno cuyo orden sea p n , donde p es primo. Este paso ser muy fcil
de realizar, y puesto que el grupo tendr un orden en el que interviene exacta-
mente un primo, los detalles de la demostracin no se llenarn de elementos
cuyos rdenes sean un tanto complicados.
De manera que nos concentraremos en los grupos de orden pn. Sea G un
grupo abeliano de orden pn. Deseamos demostrar que existen subgrupos c-
clicos de G, A , , A2, . . . ,A,, tales que todo elemento x G se puede expresar
como x = blb2 . . bk, donde cada 6, E A,, de una manera nica. Dicho de
otro modo, puesto que cada A, es cclico y generado, digamos, por a,, se quiere
demostrar que x = afta22 . - a?, donde los elementos a l son nicos.
Se presenta de nmediato una dificultad, ya que no hay solamente una eleccn
para dichos elementos a l , . . . , ak. Por ejemplo, si G es el grupo abeiiano de
orden 4 con elementos e, a , 6, a6, donde 2 = b2 = e y a b = ba, entonces se
puede ver que si A , B, C son los subgrupos cclicos generados por a, b y ab,
respectivamente, entonces G = A x B = A x C = B x C. Por consiguiente
no hay unicidad en la eleccin de los a,. Cmo evitar esto?
Lo que se requiere es un artificio para escoger al, que luego se pueda aplicar
para escoger a2 y as1 sucesivamente. Cmo debe ser tal artificio? Nuestro
control sobre 10s elementos de G radica solamente en sus rdenes especficos.
El orden de los elementos ser el que proporcione los medios para probar el
teorema, cuando se utilice apropiadamente.
Supngase que G = A, x A2 x Ak donde 1 G ( = p" y los A se han
numerado, de tal manera que ] A , / = pnl y n , L n2 2 2 nk, y cada
A, es cclico generado por a,. Si as fuera y x = afi . . @A, entonces
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 razona-
miento 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 demos-
tracin -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 dis-
tintos 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).
Para finalizar la demostracin, se debe probar solamente que G -
MN.
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 lti-
mo toque, a saber, que G = M x N,
Un corolario inmediato es
DEMOSTRAG~~N.
Se procede por induccin en n. Si n = 1, entonces 1 C / =
p y G es ya un grupo cclico generado por cualquier a # e de G.
Supngase que el teorema es cierto para todo m < n. Si existe un elemento
b E G tal que b fZ A = ( a ) y bP = e, se demuestra que el teorema es vlido.
Sea B = ( b ) , el subgrupo de G generado por 6; as que A 7 B = (e).
Sea 5 = G / B ; por hiptesis B S (e), por tanto 151 < IG1. Cul es
el orden de = Ba en e? Afirmamos que o ( 2 ) = o (a). Para empezar, se sabe
que o(G)lo(a)ya que a"'") = e, por lo tanto a"'"' = ( ~ a ) " ' " = ) Bao'") = B.
Por otra parte 6"""' , as que otZ'E B, y puesto que a"(" E A, se ve que
a"'" E A A B = ((e, de donde a"'"' = e. Esto dice que o(a)l o(U). Por con-
siguiente o ( a ) = o().
Puesto que 6 es un elemento de orden mximo en ?, se sabe por la induccin
que G = (a) x Tpara algn subgrupo T d e G. Por el segundo teorema de ho-
momorfismo~se sabe tambien que T = Q/B para algn subgrupo Q de 6. Afir-
mamos que G = A x Q. Si no fuera as, entonces A 7 Q # (e); sea u E
A 7 Q. Entonces u = a' E Q, as que a'E Q / B = T, y puesto que (a)n
T = (e), se tiene que 5' = e, por consiguiente a' E B. Pero a' E A y A 7
B = (e); por lo tanto, a' = e, es decir, u = a' = e. Por consiguiente, A n
Q = ( e ) y se obtiene que G = A x Q.
Supngase, entonces, que no existe ningz(n elemento b de 6, que no est
en A , tal que bP = e. Afirmamos que esto obliga a que G = A = (u), en cuyo
caso G es un grupo cclico. Supngase que G # A ; sea x E G, x g. A el elemento
que tiene el menor orden posible. Como o ( x P )< o ( x ) , se tiene, por la eleccin
de x, que xP E A , por consiguiente xP = al. Afirmamos que p 1 i. Supngase
que no. Sea m = o(a) = p" como a es de orden mximo en G, entonces, para
cualquier c E G, o ( c ) = pr 5 o(a) = pS, por consiguiente r S S , y as
o ( c ) l o ( a ) = m. Por lo tanto, cm = e.
Ahora bien, xP = a' y se supuso que p S i; por consiguiente m irn/p, y
as a l m / P # e. Pero xrn = ( X ~ ) m /-:p (al)ml'p= a'"'* # e, 10 cual contradice el
hecho observado anteriormente de que xm = e. As que pl i, por lo tanto i =
jp y xp = a' = aJP.Sea y = alJx; entonces y E A , ya que x E A y a-] E A ;
por otra parte, yP = ( a - j ~ )=~a-Jpxp= e. Pero esto hace que se regrese a
la situacin tratada anteriormente, donde existe un x E G, x 4. A tal que
xP = e; en tal caso se vio que el teorema era vlido. As que se debe tener G =
( a )y G es un grupo cclico. Con esto concluye la inducci0n y se prueba el teore-
ma. U
100 CAPTULO 2 GRUPOS
= A , x A2 x . - - x A, x T, x T, x . . x Tk. (Prubese.)
Es casi una tradciin sagrada entre los matemticos presentar, como primera
aplicacin de la ecuacin de clase, un teorema particular relativo a los grupos
de orden y", dondep es primo, No queriendo ser acusados de hereja, seguimos
esta tradicin y se prueba el bonito e importante:
2 C 1 * Conjugacin y teorema de Sylow (opcional] 103
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 obs-
tante 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.
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
+
PROBLEMASINTERMEDIOS
...
Si se sabe que a =
2
] , ja qu es igual o-'?
l,, ,
Es fcil,
es ,S5. Entonces u7 =
2 3 4
PROBLEMAS 3.1
1. Determinar los productos.
-1
1 2 e . . ...
3. Prubese que ... n
4. Encuntrese el orden de cada uno de los elementos del Problema 2.
5, Encuntrese el orden de los productos obtenidos en el Problema 1.
3.2 DESCOMPOSIG~~N
EN CICLOS
Continuamos el proceso de simplificacin de la notacin empleada para repre-
sentar una permutacin dada. AI hacerlo, se obtiene algo ms que un mero sm-
bolo nuevo; se obtiene un mecanismo para descomponer cualquier permutacin
como un producto de permutaciones particularmente cmodas.
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
debe verificar que ( a ~ ) ( i )= ( ~ o ) ( ipara
) todo i E S = ( 1,2, , . . , n). Expresa-
mos este resultado como
r2(1) = ~ ( 3 =
) 4, ~ ~ ( =1 7(4)
) = 1. Esto se puede obtener visualmente zigza-
gueando entre lneas
DEMOSTRAC~~N.
Sea a = r,r2 - rk, donde los T, son ciclos ajenos de longi-
tud 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 =
+
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
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 aco-
modo para que las cartas vuelvan a su orden inicial.
Se puede encontrar un acomodo de las 13 cartas que requiera de 42 reali-
zaciones, 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-
neras distintas. Dado el k-ciclo (i,i, . . - ik)t entonces ( i , i2 . . ik) =
+
PROBLEMAS 3.2
PROBLEMASINTERMEDIOS
= f(x). (Prubese .)
T,, . . . , T ~ entonces
; al actuar p sotre f ( x )el signo de f ( x )cambiar k veces,
ya que cada T, cambia dicho signo. Por lo tanto, p*( f ( x ) ) = (- l)kf ( x ) , Si
p = 51U2 . a,, donde a,, . . . , a, son transposiciones, razonando de1 mismo
modo entonces ?r * (f( x ) ) = (-l)'f ( x ) . Por consiguiente, (-1 )k f ( x ) =
(-1)'f ( x ) ,de donde (-1)' = ( - l ) k . Esto dice que t y k tienen la misma paridad;
es decir, si t es impar, entonces k debe ser impar, y si t es par, entonces k debe
ser par.
Lo anterior sugiere que aunque la descomposicin de una permutacin da-
da U como un producto de transposiciones no es nica, la paridad del nu'mero
de transposiciones en una de tales descomposiciones de a podra ser nica.
3 20 CAPITULO
3 EL GRUPOSIM~TRICO
0
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 , ~a<,,>.
'<J
Si a , T E S , , entonces
( 2
4
3
5
4
1
5
3
6
7
7
8
8
9 i).
(b) (1 2 3 4 5 6){7 8 9).
(e) (1 2 3 4 5 6)(1 2 3 4 5 7).
(d) (1 2)(l 2 3)(4 5)(5 6 8)(1 7 9).
2. S a es un k-ciclo, demustrese que u es una permutacin impar si k es par,
y es una permutacin par si k es impar.
3. Prubese que u y ~ - ' o r , para o, T E S,, cualesquiera, son de la misma
paridad.
4. Si m < n, se puede decir que S, c S, considerando que j E S, acta sobre
1 , 2, . . . , m, . . ., n como lo hizo sobre 1 , 2, . , . , m y que a deja a j >
m fijo. Prubese que la paridad de una permutacin en S,, cuando se con-
sidera 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 ci-
clos de orden 3.
7. Demustrese que todo elemento de A, es un producto de ciclos de orden n.
8. Hallar un subgrupo normal en A4 de orden 4.
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 alge-
braico 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:
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.
DEFINICION. Se dice que un anillo con unidad, R, es un anillo con
divisin si para a # O en R existe un elemento b E R (que normalmente
se expresa como a--') tal que a . a-' - - a-' a = l.
EJEMPLOS
1. Es obvio que el anillo que se debe escoger como primer ejemplo es S,
el anillo de los enteros respecto a la adicin y multiplicacin usuales entre ellos.
Naturalmente, Z es un ejemplo de dominio integral.
2, El segundo ejemplo es una eleccin igualmente obvia. Sea Q el conjunto
de los nmeros racionales. Como ya se sabe, Q satisface todas las reglas nece-
sarias para un campo, as que Q es un campo.
3. Los nmeros reales, W, tambin proporcionan un ejemplo de campo.
4. Los nmeros complejos, C, forman un campo.
Obsrvese que Q c R C e; lo anterior se describe diciendo que Q es un
subcampo de R ( y de 4: ) y BP es un subcampo de C.
-
5. Sea R = Z6, los enteros md 6 , con la adicin y la multplicacin defi-
nidas por [ a ] + [ b ] = [ a + b ] y [ a ][ b ] [ a b ] .
Ntese que [ O ] es el O requerido por los axiomas de anillo y [ l ] es el ele-
mento unidad de R. Obsrvese, no obstante, que Z, no es un dominio integral,
ya que 121 [ 3 ] = [6] = [O], aunque [2] # [O] y [ 3 ] # [OI.R es un anillo con-
mutativo con unidad.
El ejemplo anterior sugiere la
Los Ejemplos 8 y 9 son, desde luego, subanillos de &. Damos otro ejemplo
conmutativo ms. ste proviene del Calculo.
donde a, 6,c, d soii nmeros reales cualesquiera. Para tales formaciones cua-
dradas 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
Aunque puede ser algo laborioso, se puede verificar que con estas operaciones
R es un anillo no conmutativo donde ( 1)acta como su elemento unidad
multiplcativo. Obsrvese que
mientras que
as que
en donde
YO = aoPo - alP1- a2B2 - a3P3
De manera que, si x =#= O, entonces x tiene nverso en los cuaternios. Por consi-
guiente los cuaternios forman un anillo con divisin no conmutativo.
1. Hallar todos los elementos de Z,, que sean invertibles (es decir, que tengan
inverso multiplicativo) en ZZ4.
2. Demustrese que cualquier campo es un dominio integral.
3, Demustrese que Z,, es un campo si y slo si n es primo.
4. Verifiquese que el Ejemplo 8 es un anillo. Encukntrense todos sus elementos
invertibles.
5. Resolver el Problema 4 segn el Ejemplo 9.
6. En el Ejemplo 11 de las matrices 2 x 2 sobre los reales, comprubese la
ley asociatva de la multipticacin.
7. Obtnganse 10s siguientes productos.
(a) (4 -7
j O
1).
(b)(; ;j2.
a 'i3-
O
(d) i: d)iU 01 -iU Oji; Jj.
PROBLEMASINTERMEDIOS
18. En los cuaternjos, defnase
la, + a,i + a , ] + a,kl
da; a: + a: + a : .
= +
Demustrese que JxyJ = 1x1 Jyfpara cualquier par de cuaternios x y y.
19. Demostrar que hay infinidad de soluciones de x2 = -1 en los cuaternios.
4 1 * Definiciones y ejemplos 4 35
20. Considrese en los cuaternios el siguiente conjunto G con ocho elementos:
G = f-1, -+i, - + j ,k k } .
(a) Pruebese que G es un grupo (respecto de la multiplicaci6n).
(b) Enumrense todos los subgrupos de G.
(c) Cul es el centro de C?
(d) Demustrese que G es un grupo no abeliano cuyos subgrupos son todos
normales.
21. Demostrar que un anillo con divisin es un dominio.
22, En los cuaternios, proporcinese un ejemplo de un dominio no conmutativo
que no sea un anillo con divisin,
23. En los cuaternios definase la aplicacin * 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.
31. Sea R el anillo de las matrices 2 x 2 sobre Z,, siendo p primo. Demus-
trese que si det ('f i)
= ad - bc f O, entonces ('f i)
es invertible
en R.
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 sim-
trico de grado 3.
35. Demustrese que el anillo R del Ejemplo 9 (las funciones continuas en
[O, 11 no es un dominio integral.
Si F es un campo, sea N(F)el anillo de cuaternios sobre F, es decir,
el conjunto de todos los (Y, + uli + a s j + a3k,donde ao,a,, a2,a3 E F
y la igualdad, adicin y multiplicacin se definen como en los cuaternios
reales.
36. Si F = C ,los nmeros complejos, demustrese que N ( C )no es un anillo
con divisin.
37. Encuntrese en H ( C )un elemento x f O tal que x2 = 0.
38. Demustrese que H ( F ) es un anillo con divisin si y slo si a; + a: +
a$ -t- a: = O para (Y,, a2, a3, a4 en F implica a, = a , = a, = a3 = 0.
39. Si Q es el campo de los nmeros racionales, demustrese que H ( Q ) es un
anillo con divisin.
40. Prubese que un dominio finito es un anillo con divisin,
41. Aplquese el Problema 40 para demostrar que S, es un campo s p es
primo.
4.2 ALGUNOS
RESULTADOS SENCILLOS
- --
DEMOSTRAGI~N.
Se prueba cada parte a su vez.
(a) Dado que0 = O + O , a0 = a(D + 0) = a0 + aO, por consiguiente a0
O. En esta demostracin se ha utilizado la ley distributiva por la izquierda. La
-
Iey distributiva por la derecha da lugar a Oa = 0.
(b) ab + a(-b) = a(b + (-b)) = a0 = O por la parte (a). Por lo tanto,
a(-b) = -(ab). De manera semejante, (-a)b = -(ab).
(e) Por la parte (b), (-a)(-b) = -((-a)b) = -(-(ab)) = ab puesto que
se trata de un grupo abeliano.
(d) Si 1 E R, entonces (-l)a -t. a = (-l)a + = (-1 + l)a = Oa =
O. As que (-l)a = -a por la definicibn de -a.
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 = ac para a # O, b, c E R , demustrese
que b = c.
3. Si R es un dominio integral finito, demustrese que R es un campo.
4. Si R es un anillo y e E R es tal que 2 = e, demustrese que (xe - exe)' =
(ex - exeJ2= O para todo x E R.
43 e Ideales, homornorfismos y anillos cociente 139
5 , Sea R un anillo en el cual x 3 = x para todo x E R. Prubese que R es con-
mutativo.
6 . Si a2 = O en R , demustrese que ax + xa conmuta con a.
7. Sea R un anillo en el cual x4 = x para todo x E R. Prukbese que R es con-
mutativo.
8. Si F es un campo finito, demustrese que:
(a) Existe un primo p tal que pa = O para todo a E F.
(b) Si F tiene q elementos, entonces q = p" para algn entero n. (Suge-
rencia: Teorema de Gauchy.)
9. Sea p un primo impar y 1 + $ + * . -tl / ( p - 1 ) = a / b , donde a, b son
enteros. Demustrese que pla. (Sugerencia: Cuando a recorre Z,, a-'
tambin.)
10. Si p es primo y p > 3, demustrese que si 1 + $ + ' . + l / ( p - 1 ) =
a / b , donde a, b son enteros, entonces p21 a. (Sugerencia:Considrese l / a 2
cuando a recorre Z,.)
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 homomor-
fismo 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
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 homo-
morfismo de anillos. Ademas, la propiedad (a) de la definicicn dice que p es
un homomorfismo de R, considerada simplemente como un grupo abeliano res-
pecto 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 a ANILLOS
-
K. Si I' es un ideal de R ' e I = { a E R 1 p ( a ) E P ' ) , entonces R / I
de R, entonces R / I -
R ' / I ' . De manera equivalente, si K es un ideal de R e I > K es un deal
(R/K)/(I/K).
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 homo-
morfismo 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,.)
2. Sea F u n campo; cuales pueden ser los ideales de F? Supongase que I f
(O) es un ideal de F; sea a # O f l. Entonces, dado que I es un ideal de F, 1 =
a-'a E ; pero entonces, puesto que 1 E 1, r f = r E I, para todo r E F. En
forma breve, I = F. De manera que F tiene solamente los ideales triviales ( O )
y el propio F.
3. Sea R el anillo de los nmeros racionales que tienen denominadores
impares en su forma reducida. Sea I el conjunto de aquellos elementos de R
que en su forma reducida tienen numerador par; es fcil ver que I es un ideal
de R. Defnase cp: R + Z2, los enteros md2, por p ( a / b ) = O si a es par
(a y b no tienen factor comn) y cp(a/b) = 1 si a es impar. Se deja al lector
verificar que p es un homomorfismo de R sobre Z2 con ncleo I. De modo que
Zz = R / I , Proporcinese el isomorfismo explcito de R / I sobre Z2. .
43 @ Ideales, homomorffsmos y anillos cociente 143
4. Sea R el anillo de los nmeros racionales cuyos denominadores (en su
forma reducida) no son divisibles entre p; p es un primo fijo. Sea I el con-
ideal de R y R/I -
junto de aquellos elementos de R cuyo numerador es divisible entre p; I es un
Z,, los enteros mdp. (Prubese.)
5. Sea R el anillo de todas las funciones continuas reales definidas en el
intervalo unitario cerrado donde (f + g)(x) = f (x) + g(x) y (fg)(x) =
f(x)g(x) para f,g E R , x E [ O , 11. Sea I = (f E R i f ( f ) = O). Afirmamos
que I es un ideal de R. Evidentemente, es un subgrupo aditivo. Adems, si f E
i y g E R , entoncesf (2) = O, as que (fg)(i) = f (f)g($) = O&) = O. De manera
que fg E I; dado que I es conmutativo, g f tambin esta en I. Por lo tanto I
es un ideal de R.
A qu es igual R I I ? Dada calquier f E R , entonces
As que R/I consiste en todas las a t- 1,a real. De manera que se puede de-
mostrar 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 ante-
+
la forma ( O O/
a
+ I. Si sta se aplica sobre a, es decir, J.
a, se puede comprobar que S. es un isomorfismo sobre el campo de los reales.
As que R / I = campo de los reales.
Se ver que R / I
reales por p /
-)
campo de los reales de otra manera. Defnase p: R
= a. Afirmamos que p es un homomorfismo. Porque,
-+
dadas (E f: /. / O ) , entonces
VI; :)=a. %(O d
J=c.
por consiguiente,
43 ideales, homomorfismos y anillos ciente te
PROBLEMAS 4.3
(b) A / X -
(a) A es un subanillo de R, A > K .
A'.
(c) Si A ' es un ideal izquierdo de R ', entonces A es un ideal izquierdo de R.
10. Prubese el Teorema 4.3. f .
11. Con referencia al Ejemplo 3, proporcionar el isomorfismo explcito de R / I
sobre Z2.
12. En relacin con el Ejemplo 4, demostrar que R / I = S,.
13. En relacin con el Ejemplo 6, demostrar que R/I, = W ( Z , ) .
14. Relativo al Ejemplo 8, verifquese que la aplicacin S. dada es un isomorfismo
de R sobre C .
15. Si 1, J son ideales de R, sea IJ el conjunto de todas las sumas de elementos
de la forma ij, donde i E 1,j E J. Prubese que 1J es un ideal de R.
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),
17. Si A es un subanillo de R e I es un ideal de R, sea
Prubese que:
(b) ( A + 1111 -
(a) A + 1 es un subanillo de R , A
A / ( A n r).
+ 1 > 1.
22. Sea Z el anillo de los enteros y m, n dos enteros primos entre s, I,, el con-
junto 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 iso-
morfismo 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.)
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).
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 con-
sistir 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 subani-
Ilo 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
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 con-
cepto y objeto algebraico conocido como aniilo de polinomios ser6 en un sentido
bastante diferente al dado en cursos elementales.
Como quiera que sea, lo que se procurar hacer aqu es introducir el anillo
de polinomios sobre un campo y demostrar que dicho anillo es susceptible de
152 CAP~TULO
4 ANILLOS
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.
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
-?X +l
y esto se interpreta como:
x 4 - 7x + 1 = ( 2 x 2+ l ) ( t x 2- i x ) + ( - y x f 1)'
Considrese
-
as que (a,/b, )xm-"g( x )tiene e/ mismo grado e igual coeficiente de la potencia
mayor que f ( x ) ,de modo que f ( x )- (a,n/b,)xm-ng(x) h ( x ) es tal que la
relacin grd h ( x ) < grd f ( x ) es vlida. Por consiguiente, por induccin,
/ ( x )= (2." + q l ( . x ) j g ( x+) r ( x ) .
bn
Si q ( x ) = (a,/b,)xm-" + se ha logrado la forma asegurada por el
qq,(x),
teorema.
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 ] ) .
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 con-
tenido (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).
DEMOSTRAC~~N.
Esta ltima parte se deja al lector como ejercicio.
Como con los enteras, se tiene
TEOREMA 4.5.1 Q. Tenemos que, si q ( x )y f ( x )son primos entre s
Y si 9 ( x )l f ( x ) g ( x ) entonces
, q ( x )lg(x).
4 5 * Anillos de polinomios 159
DEMOSTRAGION. Por el Teorema 4.5.9~ ( xf)(x) + b(x)q(x) = 1 para ciertos
a(x), b(x) E F [x]. Por lo tanto,
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.
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 5 * Anillos de polinom~os 4 64
de irreducibles. El razonamiento es exactamente el mismo del Teorema 1.5.7,
con un ligero ajuste obvio.
Se procede por induccin en grd f ( x ) . Si grdf ( x ) = 1 , entonces f ( x ) =
ax + b con a # 0, que es evidentemente irreducible en F [ x ] .De manera que
el resultado es cierto en este caso.
Supngase ahora que el teorema es vlido para todo a ( x ) E F [ x ] tal que
grd a ( x ) < grd f ( x ) . Si f ( x ) es irreducible, entonces no se tiene que probar
nada. De lo contrario, f ( x ) = a ( x ) b ( x ) ,a ( x ) y b ( x ) E F [xj y grd a ( x ) <
grd f ( x ) y grd b ( x ) < grd f (x). Por la hiptesis de induccin, a ( x ) [y b ( x ) ]
es irreducible o es el producto de irreducibles. Pero entonces f ( x )es el producto
de polinomios irreducibles en F [ x ] .Esto completa la induccin y por lo tanto
prueba la primera parte del teorema.
Ahora la unicidad. Nuevamente se procede por induccin en grd f (x). Si
grd f ( x ) = 1 , entonces f ( x ) es irreducible y la unicidad es evidente.
SupOngase que el resultado es cierto para polinomios de grado menor que
g r d f ( x ) Y que
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 coro-
lario 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
El lector interesado debe tratar de ver cules de los resultados probados para
anillos de polnomios (y los enteros) son vlidos en un anillo euclidiano general.
Aparte de unos cuantos problemas en los que intervienen anillos euelidianos,
no estudiaremos ms a fondo esta clase interesante de anillos.
El comentario final que se hace aqu es que lo que se realiz con los poli-
nomios sobre un campo se podra intentar llevarlo a cabo con polinomios sobre
un anillo arbitrario. Es decir, dado cualquier anillo R (conmutativo o no), se
podra definir el anillo de polinomios R [x] en x sobre R definiendo igualdad,
adicin y multiplicacin exactamente como se hizo en F [x], para un campo F.
El anillo as construido, R [x], es un anillo muy interesante, cuya estructura esta
estrechamente enlazada con la del mismo R. Sera demasiado esperar que todos,
o siquiera algunos, de los teoremas demostrados en esta seccin se mantuvieran
vlidos en R [x] para un anillo general R .
PROBLEMAS 4.5
En los siguientes problemas, F siempre denotar un campo.
PROBLEMAS
INTERMEDIOS
PROBLEMASMUY DIF~CILES
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
W
. c,
(a@ + Q~X"-'+ + a,);
Todo est listo para probar el primero de los dos resultados importantes
procurados en esta seccin.
Z/I - -
existe un j tal que p 4 b;. Sea I = ( p ) el ideal generado por p en 2; entonces
Z, y, por el corolario del Lema 4.6.2, Z [ x ] / I[ x ] 2, [ x ], as que es
un dominio integral. Sin embargo, puesto que pl w , W,la imagen de w en
Z [ x ) / I[ x ] ,es O , y puesto que p 4 v , Y , la imagen de v en Z [ x ] / I[ x ], no es O.
De esta manera Of ( x ) = % , ( x ) b l ( x ) ,donde -r, # O y a , ( x ) # O, b , ( x ) # O ya
que p 4 a; y p ) 6; para los i, j dados anteriormente. Esto contradice que
Z [ x ] / I[ x ]es un dominio integral. Por lo tanto, w f 1 no es posible y se prueba
el teorema.
Podra ser instructivo para el lector tratar de demostrar directamente que
si x3 + 6x - 7 es el producto de dos polinomios con coeficientes racionales,
entonces es ya el producto de dos polinomios mnicos con coeficientes enteros.
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 domi-
nio 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 Polinomios sobre os rac~onales 469
trmino constante de u ( x ) v ( x )es p2st, donde s es el trmino constante de g ( x )
y t el trmino constante de h ( x ) . Como f ( x ) = u ( x ) v ( x ) ,sus trminos cons-
tantes son iguales, por consiguiente a, = p2st. Dado que s y t son enteros, se
obtiene que p2 a,, que es una contradiccin. De esta manera se ve que f ( x ) es
irreducible. d
Se dan algunos ejemplos de la aplicacin que se le puede dar al criterio de
Eisenstein.
1. Sea f ( x ) = x" - p, p cualquier primo. A simple vista se ve que f ( x ) es
irreducible en Q [ x ] ,ya que es aplicable el criterio de Eisenstein.
2. Sea f ( x ) = x5 - 4x + 22. Puesto que 2 1 22, 22 k 22 y 2 divide a los
otros coeficientes pertinentes de f ( x ) , el criterio de Eisenstein indica que f ( x )
es irreducible en Q [ x ] .
3. Sea f ( x ) = x'l - 6x4 + 12x3 + 36 - 6. Se ve que f ( x ) es irreducible
en Q [ x ] utilizando bien sea 2 o 3 para verificar las condiciones del criterio de
Eisenstein.
4. Sea f ( x ) = 5x4 - 7 x + 7 ;f ( x ) no es mnico, pero se puede modificar
levemente para quedar en posicin de poder aplicar el criterio de Eisenstein. Sea
-
nomios no mnicos. (Vase el Problema 4.)
5. Sea f ( x ) x4 + x3 + x 2 + x + 1 ; tal como est, no se puede, desde
luego, aplicar el criterio de Eisenstein a f ( x ) .Se pasa a un polinomio g ( x ) estre-
chamente relacionado a f ( x ) ,cuya irreducibilidad en Q [ x ] asegurara la de f ( x ) .
Sea g ( x ) = f ( x + 1 ) = ( x + 1 ) 4 + ( X -+ 1 ) 3 + ( X + 1 ) 2 + ( x + 1 ) +
1 = x4 + 5x3 + 10x2 + 10x + 5. El criterio de Eisenstein se aplica a g ( x ) ,
empleando el primo 5; de esta manera g ( x ) es irreducble en Q [ x ] .Esto implica
que f ( x ) es irreducible en Q 1x1. (Vase el Problema 1 .)
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 mismo-
en el que no se permite que la segunda componente sea cero. Imagnese (a, b)
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 * Campo de cocientes de un dominio intearal 173
Para confirmar que F es un campo, ahora sOIo se requiere demostrar Ia ley
distributiva. Pero [ad + bc, bd] [e,f ] = [ (ad + bc)e, b d f ] , as que
mientras que
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 mayo-
ra 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
( p veces)
Estos ocho ejemplos son e-ecificos. Utilzando los teoremas que se han de-
mostrado anteriormente, se tienen algunas construcciones generales de cam-
pos.
de manera semejante, O -
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
contradice la eleccin de p como el menor entero con esta propiedad, Por
consiguiente, p es primo.
COROLARIO.
Si D es un dominio integral (o entero), entonces su
caracterstica es cero o bien un nmero primo.
PROBLEMAS 5.1
a p para todo a E F.
(a) Demustrese que rp define un monomorfismo de F en l mismo.
(b) Proporcionese un ejemplo de un campo F donde p no sea suprayectiva.
(Muy difcil.)
10. Si F es un campo finito de caracterstica p, demustrese que la aplicacin
rp definida anteriormente es suprayectiva, por consiguiente es un automor-
fismo de F.
5.2 BREVEEXCURSION
HACIA
LOS ESPACIOS VECf QRIALES
Para abordar las cosas deseables de realizar en la teora de los campos, se re-
quieren 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 me-
dida 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 sola-
mente para el contexto especial de dos campos K > F, en virtud de que las mis-
mas 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.
1. En el Ejemplo 1, si
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 siste-
ma (*) 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 mane-
ra que, renumerando, se puede suponer que a,, # O; entonces se tiene la solu-
cin no trvial de (*): x2 = . * ' = X, = 1 y x1 = - ( l / a i l l ) ( a l z + . ' i- a,,).
*
CY, en F.
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
con a l , . . . , rx, en F.
4 84 CAPTUtO 5 * CAMPOS
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.
Sean vl, . . ., u,
DEMOSTRACION. y w,, . . . , w, dos bases de V sobre F. Se
requiere demostrar que m = a. Supngase que m > n. En virtud de que U,,
. . . , u, es una base de V sobre F, se sabe que todo elemento de Ves una com-
binacibn lineal de los u, sobre F. En particular, w,,. . ., w, son cada uno una
combinacin lineal de u,, . . ., u, sobre F. De esta manera se tiene
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 so-
lucin 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 conjun-
to 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.
Se concluye esta seccin con un teorema fina1 del mismo tipo de los anterio-
res.
PROBLEMAS 5.2
se que V'
+
-
10. Si $: V V' es un homomorfismo de Vsobre V ' con ncleo K , demustre-
-
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
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 > F campos y supngase que Ves un espacio vectorial sobre K tal
que dim,( V ) es finito. Si dimF(K) es finito, demustrese que dim, ( V ) es
finita y determnese su valor en terminos de dim,( V) y dim,(K-).
53 Extenvanes de campos 491
19. Sea D un dominio integral con unidad 1 , que es un espacio vectorial finito-
dimensional 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 en-
tre s.)
20. Sea V un espacio vectorial. sobre un campo Infinito F. Demustrese que V
no puede ser la unin (como en la teora de conjuntos) de un nmero finito
de subespacios propios de V. (hluy difkil.)
DEMOSTRAGI~N.
Dado que [ K : F] = dimF(K)= n y los elementos 1, u, u2,
. . . , unson en total n +
1 , por el Teorema 5.2.6 deben ser linealmente depen-
dientes sobre FmDe esta manera se pueden encontrar a,, a l , . . . , a, en F, no
todos cero, tales que a. + a,u + a2u2+ - + a,un = O , con lo cual se
prueba el teorema.
llando esto ltimo, se obtiene una expresin polinmica no trivial en b con coe-
ficientes racionales, que es cero. Por consiguiente, b es algebraico sobre Q.
Es posible obtener nmeros reales que sean trascendentes sobre Q muy f-
cilmente (vase la Seccin 6.6 del Captulo 6). Sin embargo, el establecer la tras-
cendencia 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 trascenden-
te 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 nu-
mero 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 cual-
quier nmero racional b es algebraico sobre & dado que satisface el polinomio
p(x) = x - b, que tiene coeficientes racionales.
DEFINICI~N.
F ( a ) se llama campo o extensin obtenida al agregar
u al campo F.
Ahora se resumen.
e = 1 + - +1 - + 1 . s . + -1. t . . .
1! 2! n!
es irracional.
7. Si a en K es tal que a2 es algebraico sobre el subcampo F de K , demostrar
que a es algebraico sobre F.
8. Si F c K y f (a) es algebraico sobre F, donde f (x) es de grado positivo en
F[x] y a E K, prubese que a es algebraico sobre F.
9. En relacin con la discusin que sigue al Teorema 5.3.5, demostrar que
FIx]/Mes de grado n = grdp(x) sobre F y por consiguiente [ F ( a ): F] =
n = grdp(x).
10. Prubese que cos l o es algebraico sobre Q, (1 = un grado, medida angular .)
DEMOSTRACION.
Lo que se debe probar es que si a, b E K son algebraicos so-
bre F, entonces a +. b, ab y a / h (si h # 0)son algebraicos sobre F. Esto garanti-
zara 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 ex-
tensin 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 algebrai-
cos 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. u
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,
1. Cualquier longitud que se construya sobre una recta se puede construir so-
bre 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.
J. Se puede construir una longitud n para cualquier entero no negativo n.
a saber, cos 34 - -
grado 3. Para tal fin se recuerda la formula trigonomtrica del ngulo triple,
PROBLEMAS 5.5
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 ele-
mentos no cero de F. Puesto que ellos forman un grupo de orden q - 1 respecto
210 CAPiTULO 5 * CAMPOS
Un caso muy especial de este teorema es aquel en el que F = Z,, los ente-
ros 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
DEMOSTRACI~N.
Por el corolario anterior,
= (-1)p-'(p - l)!
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 autom-
ticamente 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] genera-
do por p ( x ) es un deal mximo de F [ x ] por el Teorema 45.11. Por consi-
guiente, 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 demues-
tra 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 ma-
nera ei homomorfismo j, : F [x] K definido por $(g(x)) = g ( x ) + M para
-+
PROBLEMAS 5.6
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 ] .
12. Si F es de caracterstica p # 0, descrbase todo f { x ) en F [xj tal que
N f ( x ) ) = 0-
13. Demustrese que si f ( x ) en F [ x ]tiene una raz de multiplicidad mayor que
1 en alguna extensin de campo de F, entonces f { x ) y 6( f ( x ) )no son pri-
mos entre s en F [ x ] .
14. Si F es de caracterstica p # 0, demustrese que todas las races de xm - x,
donde m = p", son distintas.
15. Si f ( x ) en F [ x ] es irreducible y tiene una raz de multiplicidad mayor que
1 en alguna extensin de F, demustrese que:
(a) F debe ser de caracterstica p para algn primo p.
(b) f ( x ) = g ( x P )para algn polinornio g ( x ) en F [ x j .
.S
DEMOSTRACI~N.
Si r , = T,, entonces T , T , = 7: = e y desde luego e es el
producto de dos 3-ciclos, por ejemplo e = (123)(132).
Si T, f r2, entonces tienen ya sea un smbolo en comn o ninguno. Si tienen
un smbolo en comn, se puede suponer, luego de una renumeracin apropiada,
que 7 , = (12) y r2 = (13). Pero entonces 7172 = (12)(13) = (1321, el cual ya
es un 3-ciclo.
Finalmente, si r , y r2 no tienen smbolo en comn, se puede suponer, sin
perder generalidad, que T , = (12) y r2 = (341, en cuyo caso r,r2 = (12)(34) =
(142)(143), que es efectivamente el producto de dos 3-ciclos. El lema queda
entonces probado.
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 .
DEMOSTRACI~N.
Sean a, y a, dos 3-ciclos en S,; por el Lema 6.1.4 son conju-
gados en S,. Renumerando, se puede suponer que a l = (123) y o, = 7(123)rF1
para algn r E S,. Si T es par, entonces se llega a la conclusin deseada. Si T
es impar, entonces p = ~ ( 4 5 )es par y p(123)p-1 = r(45)(123)(45)-'7-' =
7(123)r7' = at. Por lo tanto, a, y a, son conjugados en A,. De esta manera
se ve que el lema es correcto. u
En S, los dos 3-ciclos (123) y (132) son conjugados en S3 pero no lo son en
A,, que es un grupo cclico de orden 3.
Ahora se prueba un resultado que no es solamente importante en teora de
grupos, sino que desempefia tambin un papel clave en teora de campos y en
la teora de ecuaciones.
deseado que N -
no hay subgrupos estrictamente entre A , y S, y N f S,, se obtiene el resultado
A ,.
COROLARIO DE LA DEMOSTRAGI~N
DEL TEOREMA 6.4.8.
A, es un grupo simple,
PROBLEMAS 6.1
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, agre-
gando un poco de teoria de los nmeros.
CAP~TU
6 L ~ TEMAS ESPECIALES
Este es un caso muy especial del Teorema 6.2.3, pero por el momento el
ms importante es el
PROBLEMAS 6.2
d m n ) = cp(m)cp(n).
9. Aplicando los resultados de los Problemas 7 y 8, encuntrese p ( n ) en tr-
minos de la factorizacin de n en potencias de primos.
10. Pruebese que lm p ( n ) = m.
n-'xI
6.3 CAMPOS
FINITOS H: EXISTENCIA
Sea K un campo finito; entonces K debe ser de caracterstica p, p primo, y K
contiene a O, 1, 2, . . . ,p - 1 , los p mltiplos del elemento unidad 1 de K . De
modo que K 3, Z,, o bien, de manera ms precisa, K contiene un campo iso-
morfo a 2,. Puesto que K es un campo vectorial sobre 2, y evidentemente es
de dimensin finita sobre Z,, si [K : Z,] = n, entonces K tiene pn elementos.
Esto es cierto porque, si u , , u2, . . . U , es una base de K sobre Z,, entonces,
para toda eleccin distinta de ( a , ,a2, . . . , a,),donde los a , estn en Z,, los
elementos
son diferentes. Por consiguiente, dado que se puede escoger (a,, a2, . . . , U!,,)
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 Campos finitos ll existencia 225
nomio x m - x en Z,[X] tiene m = p " races distintas en K, a saber todos los
elementos de K. Por consiguiente x" - x se factoriza en K [?t.] como
x m- x = (X - a,)(x - a z ) - ' (x - a,,,),
donde a , , a,, . . ., a, son los elementos de K.
Todo lo que se acaba de decir ya se dijo, ms o menos de la misma manera,
en la Seccin 5.6 del Captulo 5. Puesto que se requera tener frescos estos
resultados en la mente del lector, se present de nuevo lo expuesto.
Lo que se acaba de hacer se resume en el
1. Para cules primos p y enteros n existe un campo que conste de p" ele-
mentos?
2. Cuntos campos no isomorfos que consten de p n elementos hay?
.
LEMA 6.3.1 Sea F cualquier campo y supngase que p (x) es un poli-
nomio 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].
Por consiguiente,
f(x) = f(y) = y" - y = ( x - a)"- ( x - a)
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 po-
linomio xm - x se factoriza como
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 ra-
ces 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
m que divida a n existe un subcampo de K que consta de p m elementos.
Ahora que ya sabemos que existen campos finitos que constan de p n elernen-
tos, 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 elemen-
tos son isomorfos.
Sean K y L dos campos finitos que constan de p" elementos. Por consi-
guiente, 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 abso-
luto. Pero la finitud de K y L junto con estos dos isomorfismos (de dos estruc-
turas 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
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
; el Teorema 4.4.3; A es un campo de grado n sobre Z,;
= ~ , [ x ] / ( q ( x ) ) por
por consiguiente, consta de p" elementos. De modo que, u" = u para todo ele-
mento 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),
Ahora estamos en posibilidad de probar el resultado principal de esta seccin.
- - - -- -- -
DEFIN~GION.
Los polinomios +,(x) se definen inductivamente me-
diante:
(a) @,(x) = x - 1.
(b) Si n > 1, entonces +,(x) = (x" - 1) / n + d ( ~ )donde
, en el producto
que aparece en el denominador, d recorre todos los divisores de n
excepto el mismo n.
Estos polinomios se denominan polinomios ciclotmicos y $,$(x) se
llama n-esimo polinomio ciclotnico.
Por lo pronto no es obvio que los #,(x) as definidos sean polinomios pa-
res, ni tampoco se tiene una idea de la naturaleza de sus coeficientes. Todo esto
vendr a su debido tiempo. Primero conviene considerar algunos ejemplos ini-
ciales.
65 * Polinomios eiclotomicos
DEMOSTRAGI~N.
Se procede por induccin en m.
Si m =1, se demostr anteriormente que $")(x) = (xp - I)/(x - 1) =
1 +x+ 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 , . . .,
pm-', de la definicin de $'""(x) se tiene que
Por induccin, $""(x) = (xp' - l)/(xp' ' - 1) para r < m, por consiguiente
Pero entonces
siendo esta ltima congruencia una consecuencia del teorema de Fermat (el co-
rolario del Teorema 2.4.8). Puesto que f ( x p ) = a ~ " "+ a/"-'lp + . . + a,,a
se obtiene que
f(-u'') = f i x ) " mdp.
Iterando lo que se acaba de hacer se llega a
/(.Y"~) - /(x)" mdp
-
ra demostrar que h ( x ) es irreducible. Pero jcul es el trmino constante de
h ( x ) $""'(x + l ) ? Este es simplemente h(O) = $(""(l),el cual por la for-
ma explcita de $("''(x t. 1) que se obtuvo cuatro prrafos antes es exactamente
p. De esta manera h ( x ) es irreducible en Q [ x ] es decir $('"'(x -I- 1 ) es irreduci-
ble en Q [x]. Pero esto implica de inmediato que $('"'(x)es irreducible en Q [ x ].
234 CAP~TULO
6 TEMASESPECIALES
Como se seal antes, este es un caso muy especial de1 teorema que se de-
mostrar pronto; a saber, que + , ( x ) es irreducible para todos los enteros posi-
tivos 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 irredu-
cibilidad de + , ( x ) para n general,
donde los f, recorren todas las races ensimas de la unidad. Separando las rai-
ces n-simas primitivas de la unidad en este producto, se obtiene
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 en-
tre ellos se preservan procediendo en mdp. De esta manera se tienen las rela-
ciones 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 con-
tradiccin, 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 to-
do 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 es-
ta 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 uni-
dad son races de f (x). Por el Teorema 6.5.3 se ve que qi ,(x) = f (x), por con-
siguiente +,(x) es irreducible en Q [ x ] .
DEMOSTRACI~N. Sea a una raiz del polinomio f (x) de grado n en Q (x), don-
de 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.
tas a -
Puesto que el polinomio f (x) es irreducible de grado n tiene n races distin-
a , , a*, . . ., a, en 43, el campo de los nmeros complejos. Por lo tan-
to, 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
n 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
- -
f(x) =
a,xn + a l x n + '+ ... + anx2"
n!
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 cu-
ya 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!.
Sea u = m ; entonces, por el Lema 6.7.1, un/n! = O, as que sr se
escoge n suficientemente grande, se puede asegurur que ufl/n! < 1/a, por con-
siguiente 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 demos-
trado, f: f (x) senx dx es entero. Puesto que no existe ningn entero estricta-
mente entre O y 1, se ha llegado a una contradiccin. Por consiguiente la premi-
sa de que n es racional es falsa. Por lo tanto, a es irracional. Esto completa
la demostracion del teorema.
A ( % ) . 16. I R . 39 Biyectiva, correspondencia, 1 1
Ahe/. 41 Roofe, 138
4heliano(s), gi~ipojs),41 Booleano, anillo, 138
finito(+), 96-101 Buena ordenaiin, priricipio de, 22
teorema furidamerital, 91-1 00
ilternante, 121
simplicidad de. 215, 222 Campo, 33, 127, 175-214
Anillo(,), 122-174 caracterrtica de un, 178
booleanos, 138 cerrado algebraicamente, 200
conniutativos, 128 cociente, 171
cori unidad, 127 de cocientes, 171-178
de divisihn, 127 de descomposicion, 2 13
definicion de, 127 de funciones racionales, 176
euclidiano\, 161, 162 de numero5 algebraicos, 199
homomortismo de, 139 definicion de, 175-176
no conmutativos, 127 extensin d e un, 191
polinomialei, 151-162 finita, 198-201
\plicacion(es) (o mapeosj, 8 finlto, 129. 185-191
biqectiva, correspondencia. 1 1 Cantor, 240
omposicion de, 1 1 Caracterstica de un camp. 178
conmutacin, 21 (brroll, 7
identidad. 9 Cartesiano, producto, 5 , 6
iiiyectiva, 10 Cuuchy, 80
\uprnyecti\ a (\obre), 10 Cauchy, teorema de, 89, 91
uno a uno (1-l), 10 para ,o-upos abelianos, 80
4zociatibs, Ir), 12, 40 Cayley. 68
Aritoinorfismo de grupo, 69, 75 Cabley, teorema de, 42, 68
intcr no (o iiiterior), 69 Centro, 52
t\\ionia\, 2 Ceritralixador, 52, 101
Cero, divisor de, 128
Ciclico, grupo, 52
B3\e (de U ~ Ie\pdcii) ~ectorial),187 generador de, S2
Btveccion, 11 Ciclo de una permutacin, 112
Ciclotmico, polinomio, 229-230 Directo, producto, de grupos, 92-93, 95
definicin de, 237 externo (o exterior), 93
irreducibilidad de, 235 interno (o interior), 93
Clase, ecuacin de, 102 Disrributiva, ley, 126
Clase lateral (coset), 57 Divisin
derecha, 63 algoritmo de la, 155
~zquierda,57 anillo de, 127, 132
Cociente, grupo, 78 divide a . . , 23, 159
Complejo(s), nmero(s), 31-36 Divisor, 23
argumento de, 35 de cero, 128
definicin de, 31 mximo comn. 23, 158
forma polar de, 35 Dominio, 126
imaginario (puro), nmero, 32 ideal principal, 156
parte imaginaria de, 32 ~ntegral(o entero), 127
parte real de, 32 campo de cocientes, 171
valor absoluto de, 33 Duplicacin del cubo, 205
Complemento, 5
Composicin de aplicaciones, 11 Eisenstern, 169
Congruencia mdulo n, 56 Eisenstein, criterio de, 168
Conjugacin, 57, 101 Elemento(s), 3
clase de, 67 algebraico, 193
Conjugado complejo, 32 de grado n , 195
Conjugados, elementos, 57 conjugados, 57
Conjuntos, 3 identidad, 40
diferencia de, 5 rbita de un, 21, 65
igualdad de, 10 trascendente, 193
interseccin de, 4 Equivalencia
producto cartesiano de, 5 clase de, 57
unin de, 4 relacion de, 56
Conmutacin (de aplicaciones), 21 Espacios vectoriales, 179-188
Constructibilidad, 201, 207 base de, 187
Constructible, longitud, 202 conjunto generador mnimo de, 186
nmero, 203 de dimensin finita, 185
Correspondencia biyectiva o uno a de dimensin infinita, 185
uno, 11 definicin de, 179
Cuadratico, dimensin de, 186
no residuo, 151 Euclides, 26
residuo, 151 Euclides, algoritmo de, 22
Cuadratura del crculo, 207 E u k r , 59, 65
Cuaternios (o cuaterniones), 71, 127, 131 Euler, funcin # de, 61
Euler, teorema de, 62
Chino, teorema, del residuo, 147 Exponentes, 18
Extensin de campo, 191-201
algebraica, 193
De Moivre, teorema de, 35
definicin de, 191
Derivada formal, 227
finita, 191, 198-201
Descomposicin (splrtting), campo
grado de, 191
de, 213
Desigualdad del tringulo, 34
Dimensin de un espacio vectorial, 186 Factor, 23
Directa, suma Factor, grupo, 77-82
de anillos, 146 definicion de, 78
de espacios vectoriales, 181 Factorial, 17
Fermat, 59, 62 Homomorfismo de anillos, 139
Fermat, teorema de, 62 ncleo (o kernel) de, 140
Finito-dimensional, espacio vectorial, 185 Homomorfismo de grupos, 66-77
Finitos, campos, 221-229 definicin de, 66
ciclicidad de, 222-224 imagen bajo, 69
existencia de, 224-228 ncleo (o kernel) de, 69
unicidad de, 228-229 trivial, 66
Funcin, 8
constante, 9 Ideal. 140
racional, 177 bilateral, 140
p de Euler, 61 derecho, 140
Fundamental, teorema izquierdo, 140
del lgebra, 200 mhximo, 148-150
de los grupos abelianos finitos, trivial, 142
96, 1M) Ideal principal, dominio, 156
Identidad
Gauss, 168 aplicacin, 9
Gauss, lenia de, 200 elemento, 4Q
Gaussianos, enteros, 38, 165 Igualdad
Grado (grd) de aplicaciones (o mapeosj, 8
de una extensin de campo, 191 de conjuntos, 5
de un polinomio, 153 Imagen, 8
Grupo(s1, 39-123 inversa, 12
abeliano, 41 ndice de un subgrupo, 59
finito, 96-101 Induccin, 28-3 1
alternante, 121, 215-222 paso de, 30
automorfismo de, 69, 75 Induccin matemtica, 28-3 1
axiomas, 40 principio de, 28
cclico, 52 Inductiva, hiptesis, 29
cociente, 78 Infinito-dimensional, espacio
definicin de, 40 vectorial, 185
diedrico, 43 Invariantes de grupos abelianos, 100
factor, 77 Inversa
finito, 41 de una aplicacin (o mapeo), 12
hamiltoniano, 7 1 en un grupo, 40
isomrficos, 68 Inyectiva, aplicaci~jn,10
no abeliano, 42 Isomrficos, grupos, 68
simple, 123, 216 Isomorfismo
de anillos, 142
Homilton, 71, 131 de grupos, 68
Hamiltoniano, grupo, 71
Hardy, 201 Kernei (vase Ncleo)
Hermite, 194
Homomorfismo Lagrange, 58-59
primer teorema de Lagrange, identidad de, 133
para anillos, 142 Lagrange, teorema de, 55-62
para grupos, 85 Lindemann, 194, 207, 240
segundo teorema de Lineal
para anillos, 141 combinacin, 184-185
para grupos, 86 dependencia, 185
tercer teorema de independencia, 185
para anillos, 141 Liouvlle, 237
para grupos, 86 Liouville, criterio de, 237-240
Mapeos (vase Aplicaciones) Producto
Matrices cartesiano, 5
de 2 x 2 sobre un anillo, 130 de aplicaciones, 11
reales de 2 x 2, 129 directo, de grupos, 92-96
Mximo comn divisor Proyeccin, 9
de enteros. 23, 24
de polinomios, 157 Racional, funcin, 177
McECay, 88 Reflexividad, 56
Mnimo Residuo, teorema chino del, 147
conjunto generador, 186 Roth, 240
polinomio, 195
Simetria, 56
hlnimo c o n ~ nmltiple, 27
Simtrico, grupo, 16, 109-123
Mnico, polinomio, 157
Simple, grupo, 122, 216
Multiplicidad de una raz, 209
Shplicidad de A,, 215-219
Mltiple, 23
Subcampo, 128
mnimo comn, 27
Subconjunto, 3-4
Subespacio, 180
Nlven, 240
generado por elementos, 181
Normal, subgrupo, 66-72
Subgrupo, 50-53
definicin de, 70
caracterstico, 75
Ncleo ( o kernel) de un homomorfismo
cclico, 52
para anillos, 140
de Sylow, 104
para grupos, 69
definicin de, 50
Nulo, conjunto, 4
ndice de, 59
normal, 70
rbita de un elemento, 21, 65
propio, 50
Orden
trivial, 50
de un elemento, 59
de un grupo, 41 Suma directa
de anillos, 146
de espacios vectoriales, 181
Particin de n , 236 Sylow, 104
Permutacin, 110 Sylow, subgrupo de, 104
ciclo de una, 113 Sylow, teorema de, 104-105
impar, 118 y sgtes. para grupos abelianos, 83
par, 118 y sgtes.
Polinomio(s), 151 Trascendente, elemento, 193
Polinomiales, anillos, 151- 162 Transitividad, 56
ciclotmico, 229-230 'rransposicin, 21-1 13
coeficiente de, 152 Tringulo, desigualdad de, 34
grado de un, 153, 156 Triseccn de un ngulo, 206-207
irreducible, 195
mnimo, 195 Unin de conjuntos, 4
mnico, 156 Unitario (o unidad), eIemento, 39
primos entre s, 158 Uno a uno,
Primo, nmero, 21, 25 aplicacin, 10
Primos entre s correspondencia, 11
enteros, 24
polinomios, 158 Vaco (o nulo), conjunto, 4
Primitiva, raz, mdulo p, 65
Primitiva, raiz n-ksima, de la unidad, 36 Wilson, teorema de, 65, 210