Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Álgebra Abstracta Primer Curso - John B. Fraleigh PDF
Álgebra Abstracta Primer Curso - John B. Fraleigh PDF
Eslo
nos da un crilerio mas eficaz para resolver nueslro problema, a sabet,
--
a
a. El elemento a esta en la misma celda que el mismo.
S i a b enronces b a. Si a esta en la misma celda que 6, entonces h esta en
la n,isma celda que a.
Si a b y h c, enronces a C. Si a esta en la misma celda que b y h esta
en la misma celda que c, enlonces a esta en la misma celda que c.
-- -
--
--
Operaclones
binarias
11
alumnos se confundiran. La regla ata delinida solo para pares dr rlenientos dcl
mismo mnjunto.
1.2
DEFlNlClON Y PROPIEDADES
11 r ' h
= u. Asi,
la operacion binaria r' del ejemplo 1.2 claramente depende de la habilidad para
distinguir orden. A menudo se ilustra la importancia del orden pensando en el lio
que resultaria si trataran de ponerse primer0 10s zapatos y despuks 10s calcetines.
No deben apresurarsc a descartar algunas operaciones binarias creyendo que son
de poca importancia. Es claro que las operaciones usuales de suma y multiplicacion de numeros lienen una importancia practica bien oonocida por todos.
Escogimos 10s ejemplos 1.1 y 1.2 para demostrar que una operacibn binaria
puede o no depender del orden del par dado. Asi, en el ejemplo 1.1, a h = h . a
para toda a, h~ Zt,
y en el ejemplo 1.2 eslo no sucede, pues 5 *' 7 = 5 pero
7 r' 5 = 7.
Supongarnos ahora que se desea considerar una expresion de la lorma
a r b r c. Una opcracibn binaria r pcnnite combinar s61o dos clernentos y aqui
hay tres. Las maneras obvias de inlentar combinar 10s tres elementos son
( a 6 ) c o a (6 c). Con definida oomo en el ejemplo 1.1, (2 5) r 9 se calcula
2 r 5 = 2 y despuks 2 r 9 = 2. Asi mismo, 2 r (5 9) se calcula 5 9 = 5 y despub
2 r 5 = 2. De aqui que (2 r 5) 9 = 2 r (5 r 9) y se observa facilmente que para
esla l
r"
del
mientras que
1.3
13
TABLAS
en S = {a. h, r ) mediante
no es conmutativa.
Tabla 1.1
$#
c
14
OPERAClONES BINARIAS
Con respecto a la condicibn 1, 10s esludiantes suelen dar reglas que asignan u n
elemenro de S a la amayorias de 10s pares ordenados, pero para algunos parcs la
regla no delermina ninglin elernento. En este caso, no se ha detinido r. Tambien
puede suceder que para algunos pares, la regla asigna cualquiera enye varios
ekmentos de S, esto a,existe arnbigiedad. En caw de ambigiiedad. no u t P
bien definida. Si se viola la condici6n 2, enlonces S no u cerrado bnjo *.
Ilustrarernos ahora algunos intentos por definir operaciones binarias en
conjuntos. Algunos son fallidos, como se setlala. Puesto que no se compararan las
operaciones, denotaremos lodas por *.
Ejemplo I S En Q, udefinasea por a r b = alb. Aqui, no rsrd drfinida ya que
csta regla no asigna un nurnero racional al par (2.0).
Qmplo 1.6 En Q
' definasc r por o b = a/h. Aqui se satisfamn las condiciones 1 y 2 y r es una operacibn binaria en Q+.
Ejcmplo 1.9 Sea Scorno en el ejemplo 1.8, ddinase wrno el producto usual de
dos funciones, =to cs,f wg = h donde h(x) = f(xlg(x) Di nuevo esta definition
es b u m y da una operaci6n binaM en S. rn
Ejemplo 1.10 Sea S como en el ejemplo 1.8. udelinaser r wmo el cociente usual
defpor g, esto a , / * g = h donde h(x) = f(x)/&). Aqui se viola la condicibn 2,
ya quc las funcioncs en S deben esrar definidas para r&s
10s nlimeros reales y
para algunag 6 S. g(x) sera a r o para algunos valores de x en R y h(.r)no estaria
definida en csos nhrneros en R. POI ejemplo, si f(x) = w s x y g(x) = s2enlonces
h(0) no esth delinida, de modo que h + S..
Ejemplo 1.11 Sea S wmo en el ejemplo 1.8; delinase)>* p o r f r g = h donde k
es una funcibn mayor que f y g. Esta ccdeliniclbn* es completarnenle inutil. En
primer lugar, no se ha dclinido lo que signitica que una funcion sea mayor que
otra. Airn si se hubiera hecho, cuelquier detinicion razonable conduciria a la
existencia de muchas lunciona mayores que f y que g y
no esroria- hien
dfinida.
Ejemplo 1.12 Sea S un wnjunlo lormado par veinte personas, todas ellas con
dilerente eslalura. Definase por a b = r donde c es la persona mas alta de las
veinte en S. Esta es una operacibn binaria wrrecta en el conjunto, aunque no sea
particularmente interesante.
Ejemplo 1.13. Sea Scomo en el ejemplo 1.12, (<definase)> por a h = c donde c
a la persona mis baje en S que es mas dta quc a y que b. Esta no esrd definido
pues si a o b a la persona mas alta del conjunto, a b no n t i determinada.
Ejercldos
.
.
el r a dc la labla.
b) CalcGlac ( a . b) c y a (b c) dc la tabla. jSe puede dccir. wn base en a t e dlculo,
que a asocLtiva?
C) CalcGlese (b d ) r c y b (d. c) de la labla jSe puede decir, con base en este dlculo,
que s asociativa?
d) jAcaso r ca cmmulativs? jPor quM
a) CakGlac b 4 c c y [(a c)
. .
a
b
d
e
b
d
c
b
b
b
a
d
c
1.2 Complktese la labla 1.3 de manera quc sc ddina una opcracibn binaria wnmutativa en S = {a, b, c. d l .
T a w 1.3
1.3
S=
La tabla 1.4 puede complelarse para definir una operacion binaria asociativa en
h. 1.. 11.). Suponpase quc eslo es posihle y llcnensc 10s lugares vados.
t;:
{(I.
Tabla 1.4
i,
d ~ t Icd
a)
b).
cj
d)
e)
.
.
a y b.
( a * b ) . ( r * d ) = [(drc).a]*b
para toda a, b, c, ~ E SSupbngase
.
que la ley asociativa sc cumplc w m o cn la dcfinicibn,
solo para ternas. a t o a , supbngase sdlo
S.
a wnmu-
a)
b)
C)
d)
c)
EnZ,ddnax.pora*b=a-b.
En Q,delinasc r por a r b = a b + I
En Q.delinaw par a r b = 0612.
En Z', d d n a x por a r b = Yb.
En Z', detinase por a . b = 6.
1.7
False o
vcrdadcro?
. .'
1.8 U s e un conjunlpdilerente a los descritos en 10s ejemplos del libro y que no sea un
wnjunto dc numcros. Ddinanse dos opcraciones binarias dilercntes y en cstc conjunto. Asegurcsc que d conjunto este bien dermido.
.
es wrno la de
Dese una delinicion natural del wnceptodc que dos opcraciones binarias y 4' en el
m i m o wnjunto dan es1mcrura.r algebroicm del mum0 ripo, y que gcneralia esla
oboervacion.
b) ~ C d n l o slipos difercntcs de estructuras algebraicas cstan dadm por las 16 opcracioncs binarias difermta posibles, cn un conjunto dc 2 elemmtosl
a)
cs(4 dado
5 + x = 2
-5+(5+x)=
- S t 2
(-5
5)
x = -5
2
+ +
sumando-5
kyasociativa
0 + x = -5+2
2
x = -5
x = -3
19
calculando-5+5
propiedad del 0
calculando -5 + 2
esta dado
multiplicando por
b y asociativa
calculandof~2
propiedad del 1
calculando i . 3
D C T I
binaria
9,
'3,
'3,
'
20
CRUWS
Muchos libros incluyen otro axioma para un grupo, a saber, que G sea
cerrado bajo la oprracidn 0 , es decir, que (a h ) G~para todas las a, b E G. Para
nosolros, esta es una consecuencia de la dejinicicin de operation binaria en G.
Debemos sefialar en este momenlo, que seremos descuidados con la notacion. ObsCrvese que un grupo no solo es un conjunto G. MAS bien, que un grupo
(G, 0 ) consta de dos entidades, el wnjunto G y la opcracion binaria en G. Hay
dos ingredientes. Denotar al grupo por el simbolo de wnjunlo G es logicamente
incorrecto. Sin embargo, conforme se avanza en la teoria, las exlcnsiones logicas
de la notacion (G, *) se vuelven tan voluminosas que dilicultan la lectura de la
exposicion. En algun momento, todos 10s autores se rinden, descuidan la notaci6n y denotan al grupo solo por in letra G. Decidimos reconooerlo y ser
desc~~idados
desde el principio. Sin embargo, insistimos en quc a1 hablar de un
grupo espccilico G, debe aclararse cual sera la operaci6n del grupo en G, pues un
conjunto wntiene gran variedad de posibles opcraciones binarias delinidas, constituyendo gmpos diferentes. Algunas v m s emplearemos la notacibn (C. *) por
razones de claridad en nuestros analisis
Teorema 2.1 Si G es w g m p con una operaci6n binaria *, enlonces lar leyes
de cancelacih iyuierda y &reek se cumplen en C, es decir, a b = a a c
implica b = c y b r a = e r a implica b = cpara a, b, CEG.
Demoslrocidn Sup6ngase que o b = a c. Entonas, pot Y, existe a' y
Por la definition de e en Y,
b=c
En forma aniloga, de b o = c a podemos deducir que b = c multiplicando por a' por la derecha y usando l a axiomas de grupo.
Ndtese que fue necesario usar la dejnici6n de grupo para probar este leoremn,
Teorema 2.2 Si G es un grupo con operacwn binaria r y si a y b son
elementos ~ l e s q u i e r ade G, enronces lar ecuaciones linedes a* x = b y
y r a = b tienen soluciones lhicas en G.
Notese que
Demmrrucion
a r /a' I b) = (a Ia') h
= e* h
=b
ley asociativa
definition de o'
propiedad de o
r es
conmulativa.
Definase
.-.."
y tarnbien
Por tanto,
*. Por
=aa
a" = e. Entonm
= ara' = e
a"
= a',
23
La operacion binaria
en G es asociativa.
para todas bas X E (e, a ] , y nos vemos obligados a llenar la labla de la manera
indicada mbs adelante, si es quc va a dar un grupo.
Se satisfaoen asi todos 10s axiomas de grupo. excepto, quiza, la ley asociativa.
Veremos adelante, en una situation mas general, que esta operacibn es asociativa. Ustedes pueden aceptarlo en este momento, o hacer el tedioso trabajo de
corroborar todos 10s casos.
Con base en estos ejemplos, podremos enumerar algunas condiciones que
una tabla que defina una operacibn binaria en un wnjunto finito debe satisfacer.
para dotarlo de una estructura de grupo. Es necesario que algiin elemento del
conjunto, que siempre dcnotaremos por e, a c t h como identidad. La condicion
e x = x significa que el rengl6n de la tabla que contiene a e en el extremo
iquierdo, debe contener exactamente 10s elementos que aparecen hasta arriba de
la tabla, en el mismo orden. En forma aniloga, la condicibn r e = r signilica
que la columna de la tabla bajo e, debc conlener precisamenre 10s elementos que
apaen el extremo izquierdo, en el mismo orden. El hecho de que cada
elemento a tenga un inverso derecho y un izquierdo, quiere decir que en el
renglon frente a a debe apareoer el elemento e y que en la columna bajo a debe
aparecer e en primer lugar. Asi, e &be aparecer en cada renglon y en cada
columna. Sin embargo, podemos mejorar esto. Por el teorema 2.2, no solo tienen
soluciones unicas las ecuaciones a r x = c y g * a-= r , sino tambien las ecuacio-
25
Bi,.
Supongamos ahora que G' es cualquier otro grupo de t r a elementos e
imaginemos una tabla para G' donde la identidad aparece en primer lugar.
Debido a que pudimos llenar la tabla para G = {e, a, h ) de una sola manera.
vemos que si llamamos e a la identidad de G', a a1 siguiente elemento y h al
ultimo, la tabla de G' que resulte seri lamisma que lade G. En otras palabras, las
caractensticas es~ructuralesson las mismas para ambos grupos; un grupo se veri
eraclamente igual a olro con so10 carnbiar el nornbre a sus elementos. Por runto,
c~uul~syubro
rlos grupos dc ires eCmenros son es~rucruralmenfeel mismo. Esta es
nucslra introduccion al concepto de isomorfisrno. Los grupos C'y C' son isomorJiis. Algunas veces esle concepto parece algo dilicil a 10s estudiantes. N o se
lratara aqui, rnPs adelanle l o harernos de rnanera prccisa.
DcFinase en Z por a. b = ah
DcFinau*enZporo.b=a-b
DcFinaserenR'pora*b = a b
Delinase*enQporo*b= ab
DcFinase en el mnjunto de todos lor nurneros reales distinlm de cero por a r b = ab
M~nase*enCpora*b=a+b
L2 ConsidCrense nuutros axiomas 9,;9, y YI, para un grupo. Fitin dados en el orden
9,9,9,. Otros posibla 6rdenes para cnunciarlos son Y19,Y,; Y,9,9,; 9,9,9,;9,9,9,
y 9,3,9,. Dc ulos =is 6rdena posibles, precisamente tm son aceptables para una
ddinicion. iQut ordenu no son aceptables y por qui? (RccuCrdex que la mayoria de los
profesom pregunta la ddinicibn de grupo cuando menos en un examen.)
Tabla 2.5
(Tampom aqui a neccsario corroborar la ley asccialiva.) Dc las Ires tablas obtenidas, dor
dan el mismo t i p de atructura de grupo. Delenninese cuala son y mutstrese de qu.5
mancra dekria cambiar el nombre de lor elemenlos de una tabla para que ambas x a n la
misma $00 conmuutivos todos 10s grupos de 4 elementos?
725 MuCslnse que ri G n un grupo finito con identidad e y con un numero par dc
ckmcntos, mtonas eriste a r , en G, tal que a a = e.
26 ~ F a l r o vcrdadero?
7.9
- 1. Dclinax
en S por
cn R* por
e lal
1 1 3 Prutbcse que un conjunto G,junto con una operaci6n binaria en G que satisface
10s axiomas izquierdos 1, 2 y 3, dados al final de la seccion 2.2, es un gmpo.
214 PruCbese que un conjunto no vacio G junta can una operacibn binaria
que las ecuaciones
a
en G tal
G.
tal que se
x = x r e = x = identidad.
Subgrupos
Tabla 3.2
HabrAn notado que hcmos icnido a vars grupos wntcnidos en gnrpos mayors.
Por ejcmplo, el grupo Z bajo la suma csti wntcnido cn el grupo Q bajo la suma,
el cual a su vez *it&conlmido en el grupo R bajo la suma Cuando vemos al
gntpo <Z, +) wmo wntmido en el grupo <R, +) cs importante notar que la
operacibn + en 10s entern n y m wmo clementas dc <Z, +) produa el mismo
e l e m t o n + m que resultaria si sc pcnsara en n y m wmo elcmentos dc (R. + ).
Por tanto, no debemos mnsiderar a1 grupo <Q+,
.) wmo wntcnido en <R, +)
aunque Q+ cstb mntenido en R wmo wnjunto. En cste ejmplo, 2 . 3 = 6 en
<Q+;),rnicntras que 2 3 = 5 en <R, + ). No &lo sc tquiere que el mnjunto
dc un gmpo estt contenido en el wnjunto dcl otro, sino tambitn que la operacibn & grupo en el conjunto mmor asigne el mismo elemento a cada par
ordenado de cste conjunto mcnor quc el asignado por la operacibn de grupo del
conjunto mayor. Darcmos una &rie de difiniciones para pmisar estas ideas.
51
DeTmici6n Si A cs cualquier conjunto, entonas A es el subconjunto impropio & A. Cualquier otro subconjunto de A es un subconjunto propio de A.
Definici6n Sea G un gmpo y sea S un subconjunto de G. Si para cada a,
b e S a cierto que el producto ab calculado en G tambiCn esti en S,entonces
S es ccwado hjo la oprracidn & grupo de G. La operacibn binaria cn S, asi
definida es la operacidn indud& en S &s& G.
Podemos ahora prccisar el concept0 de grupo contenido en otro.
DefinicYn Si H es un subconjunto de un grupo G cerrado bajo la operaabn & q u p o de G y si H es tl mismo un grupo bajo esta operacibn
inducida, cntonces H es un subgrupo de G . Denotaremos por H s G o
G L H cl hccho de que H cs un subgrupo de G, y H (C o G ) H significara que
HiG,peroH+G.
Asi, (Z, t ) < (R, t ), pero (Q*;) noes un subgrupo de (R. t ) aunque.
wmo w n j u n t a ~Q* c R. Cada grupo G tiene wmo subgrupos a C mismo y (e),
don& c cs el elemcnto identidad de G.
Definidh Si G es un grupo, entonces G a el ubgrupo impropio de G.
Todos 10s otros subgrupos son subgrupos propios. Ademis, ( e ) a el wbgrupo
trivial de G. Todos 10s otros subgrupos son no dvicrlcs.
Daremos algunos ejcmplos.
+.
(e, a ) ; (e, 6) y {e. c). Aqui, (u, a, h } noes un subgrupo pueslo que { P . 11. h ) no es
cerrado bajo la operacion de V. Por ejemplo. oh = c y c $ (e11, hJ. rn
(b)
(a)
Rg. 3.1
3.3
33
SUBGRUPOS ClCLlcoS
4'
= a,
a'
= e,
a-'
=a.
y asi sucesivamente.
Es facil ver que se cumple la ley usual de 10s exponentes a'"d = a"*" para m,
m, n E Z'. Podmos ilustrar otro tipo de caso con un
ejemplo:
n E 2. Es claro para
Dejamos 10s dctalles de la demostracion del caso general a 10s estudiantes que no
teman aburrirse. Casi sc ha demostrado el siguiente teorema.
Teormeo 3.2 . Sea G G grupo y sea 4 E G. Enronces
i
o
n Verifiquese si re cumplen las tres condiciones dadas en el teorema 3.1. para que un subconjunto de un grupo de un subgrupo. Pucsto que dd =
= u"' para r, ss 2, el producto en G de dos elementos de H esia en H. Asi. H es
cerrado bajo la opcracibn de grupo de G. Ademas, a" = e de modo que e E H y
para d e H,n - ' E H y a-'a' = f . Todas las condiciones sc satislacen y, por tanto,
H I C.
Los argumentos previos al enunciado del teorema muestran que cualquier
subgrupo de G que contenga a, debe contener H asi, H es el subgrupo menor de G
aue wnliene a.
= ( 3 ) = 2,.
Sin embargo, V JIO es ciclicn pues (a), ( b ) y (c) son subgrupos propios de 2
elernmtos. Es claro que ( f ) es el subgrupo trivial de un elemenlo.
Ejemplo 3.4 El grupo Z bajo la suma es un grupo ciclico. Tanto I como
gencradores del grupo.
- 1 son
'\
3
0
-3
-3+
+3=6
-3=
3
-6
+3+3 =9
-3+
-3+
y asi sucesivamente,
-3-
-9 yasisufcsivamenle.
33 A wntinuaci6n sc dan varios grupos. Proporcibncsc una liaa complera dc todas las
rtlaaoncs dc un grupo cuando cr sublyupo dc algun otro grupo listado.
G,
G,
G,
C,
G,
G,
C,
C,
C,
= Z bajo la auma
= I22 bajo la suma
= Q i bajo la multiplicncion
= R bajo la suma
= R t bajo la multiplicnci6n
= {~ J n~ Z)bajo la multiplicaci6n
= 32 baja la s u m
= el wnjunto dc lodos 10s multiplos enleros de 6 bajo la sum= {6" ( n E 2) bajo la multiplicaci6n.
34.
i C d l a de 10s siguicnlcs grupos son cicliws? Para cada grupo ciclico obtCngansc
140s los pneradora &I
grupo.
GI=(%+)
G,=(Q1+)
Gs=(Q*,.)
G, = (6'1 n~ Z ) bajo la multiplieaci6n
G, = { a b f i 1 a . b . ~ ~bajolasuma
)
G4=(6%+)
3.5
a)
Tabla 3.5
U
37
.
~ F a l mo vcrddcro'!
La k y asoci;~tivar cumplc cn l t d o g r a p ~ .
b) Pudc habcr un grupo donde ialle In ley dc l a ctncchcibn.
- c) Todo grupo a un subgrupo de si mismo.
- a)
3.8 Encucntrese cl error en el siguiente argumento: nLa condition 2 dcl leorema 3.1 es
redundante, ya que puede derivarv dc I y 3. para cllo sea a~ H. Entonces, a - ' E H por 3
y. por I, on-'
e en un dernento de H,lo cual prucba 2a
H.
(xoCIxa=ur)
es un subgrupo de C.
3.16
b si y s610 si ab-'
H.
Mutstresc que si H
< C.
1-4
2
1-3
2-2
3 -5
3-4
4-3
4-5
5 - 1
5-3
Raun 4.1
F l ~ U r a4.2
S
i
n cmbargo, con fracuencia usamos la notacibn
39
4 seguida de (I se
tienc, eotonces, que leer de derecha a izquierda. En las notaciones mis recientes
tcncrms a# = b y b$ = c w n
4a
40
PERMUTACIONES I
entonas
y corno csti dado que r es uno a uno, sabemos que a,o = a,a. Pero cntonces,
corno a es uno a uno, esto da a1 = ol. DCaqui que ar cs uno a uno. Para
41
mostrar que a7 es sobre A, sea a s A. Como r es sobre A, existe a ' s A la1 que
a'r = a. Como a es sobm A, existe a" A tal que a' = d'o. Entonces.
a = a'r = (aP'a)7 = a"(or),
ad, 10 = 4;20
entonas,
Por ejemplo,
I(o7) = (1a)r = 41 = 2.
Mostrcmos abora que la wlecci6n de todas las pennutaciones de un wnjunto A no vacio lorma un grupo bajo esta multiplicaci6n de permutaciones.
Tearema 4.1 Sea A un conjunro no wcio y sea S, la fmilia & rodas las
prrmuraciones de A . Enlonces SA es uh grupo bajo la mul1ipIicaci6nde permurociones.
Demoslracibn Dcbemos verificar tres axiomas. Como las permutaciones son
lunciones, para mostrar que para las permutaciones a, r y p se cumple que
tenemos que mostrar que cada lunci6n wmpuesta lleva a toda a s A en la misma
imagen en A. Esto es, debmos mostrar que
c ( m 7 - l ) ~=
~
4u-'o)
y tambib quc
dr = d = ao-i = (doh-' =
~'(06'l
S".
Ndtcse que S. tiene n! elcmcntaq dondc
4.3
43
una letra griega con subndice. Ms adelante se aclararn las razones para
asignar los nombres y para sombrear la tabla. Sea
0 =
1 =
2 =
1 2 3
1 2 3
1 2 3
2 3 1
1 2 3
3 1 2
1 =
2 =
3 =
1 2 3
1 3 2
1 2 3
3 2 1
1 2 3
2 1 3
Puede verificarse que la tabla de multiplicacin dada en la tabla 4.1 es correcta. Ntese
que este grupo no es abeliano. Este es el primer ejemplo que tenemos de ello. Hemos
visto que cualquier grupo de a lo ms 4 elementos es abeliano. Ms adelante veremos que
un grupo de 5 elementos tambin es abeliano. As, S 3 tiene el orden menor entre los
grupos no abelianos.
Tabla 4.1
Hay una correspondencia natural entre los elementos de S 3 en el ejemplo 4.1 y las
maneras en que pueden colocarse, una sobre otra, dos copias de un tringulo equiltero
con vrtices 1,2 y 3 (vase la figura 4.5). Por esta razn, S 3 es adems el grupo D 3 , de
simetras de un tringulo equiltero. Usamos i para las rotaciones y i para las imgenes
reflejadas en bisectrices de los ngulos. La notacin D 3
Figura 4.5
Figura 4.6
44
PERMUTACIONES
1 =
2 =
3 =
1 2 3 4
1 2 3 4
1 2 3 4
2 3 4 1
1 2 3 4
3 4 1 2
1 2 3 4
4 1 2 3
1 =
2 =
3 =
4 =
1 2 3 4
2 1 4 3
1 2 3 4
4 3 2 1
1 2 3 4
3 2 1 4
1 2 3 4
1 4 3 2
Puede verificarse que la tabla para D 4 . dada en la tabla 4.2 es correcta. Ntese que D 4 ,
tampoco es abeliano. Este grupo es sencillamente una belleza. Nos proporcionar
magnficos ejemplos para casi todos 1os conceptos que presentaremos en teora de grupos.
!Qu bellas simetras hay en la tabla!
Tabla 4.1
4.1
U ~ C d de
b lap siguicntes fuociom dc R en
a)
b)
C)
d)
C)
4.3
--
R son permumiones de R?
- 21
4.4
H a b r l 6 clementor. Sean p, pa, p', pa. p' y po = p 4 i,Acaso cste grupo es isornodo a S,?
'4.5 Sca A un wnjunto y a un elemento dc A. Sea T
. el wnjunto dc todas las permutacioncs de A quc tcngan la propiedad de quc aa = a. Mu&trrse que T. a un subgrupo del
g ~ p S,o de todas Ins permutaciona C6 A dado en d teorcma 4.1.
4.6
LFalso o verdadcro?
e)
- I)
h)
j)
g)
- i)
sca
abcliano.
Tcdo subgrupo dc un grupo abcliano a abcliano.
Tcdo elcmcnto de un grupo g n c n un subgrupo cicliw dcl grupo.
El grupo simttrim S,o tinre 10 elcmenloa
El grupo aimttrim S, a dcliw.
S. no a Eicliw p a n cualquisr n.
Todo grupo cs isomodo a aslgbn grupo dc pcrmutacioncs.
a) I<a)l
bl I<rZ)l
aloe
d) c'*
..
4.12 Para wmplemcntar el jercicio 4.11, mutstrcv quc sin 2 3, el hniw clemcnto a dc
S. que satisfafc oy = yo para toda y E S
. cs a = I, la pmnutacibn identidad.
a) { a ~ S ~ l b u = b ]
c) { U E S ~ I B E
U BJ
4.14
b) ( o E S ~ I ~ ~ E B )
d) ( O E S ~ I B=O B)
cs la brbiu & a b.p a. Encutntmnse las brbitas de I bajo cada una de las pcrrnutacioncs
del cjercicio 4.1.
4.15 R a p t o d wncepto dcfinido cn el ejercicio 4.14 muklrcoe quc si para a, b E A, 0..
Y O,,. tienen dghn clanenlo en mmitn, m t o n a s 0,. = ,Q,,
Con respecto a 10s jcrricios 4.14 y 4.16, rnuktlec quc para a~ S., ( a ) a lransitivo
~nAriydosi0~,=Apara.Islnea~A.
4.17
(*-In
deU4 si (x&-'
=x
Existe otra notaci6n para permutaciones. Supongamos que se distribuyen equitativamente 10s cinco numeros 2, 4,3,6, 8 en una circunferencia, como se muestra
en la figura 5.1. Sup6ngase que el circulo se rota 2x15 radianes en sentido
contrario a1 que giran las manedlas del rcloj, & manera que el 2 queda en la
posicibn que antes ocupaba el 4, el 4 a la que ocupaba el 3 y asi sucesivamente.
Sea a la pcrmutaci6n en S8 que deja fijos a1 1.5 y 7 y aalia sobre 10s elementos
mtantcs mediante la rotaci6n del circulo descrita Entonces,
. . ..
a"). Escribimos
Obstrvese que
.-
Puesto quc 10s cidos son tipos particulam de permutaciones, pueden multiplicame wrno cualesquiera dm perrnutaciones. Sin embargo, el product0 de dos
cidm no nmsariamente cs un ciclo.
E h p l o 52 Sean (1, 4, 5, 6) y (2, 1, 5 ) ciclm en el grupo S, de todas las
perrnutaciones de { I , 2, 3, 4, 5, 6). Entoqces,
En una colecci6n de ciclos Cstos son ajenos cuando ningbn elemenlo de A aparece
en las notaciones de dos ciclos diferenles de la coleccion; esto es, si dos ciclos
diferentcs de la colecci6n no mueven a ninghn elemento de A. En tkrminos de
transformaciones, 10s cidos serin ajenos si para todos 10s ciclos de la coleccion,
except0 a lo &s un ciclo. todo elemento de A va a dar a el mismo.
Hay que convenir en que cualquier ciclo de longitud 1 representa la permutacjirn identidad.
Se demostrark que cualquier permulacion de un conjunto Rnito es producto
de ciclos ajenos. La demostracion sera construcliva, es decir, 10s pasos de la
demostracion pueden empleane, dada una permutacion, para encontrar su rcpresentacion como producto de ciclos ajenos. Nos parem que se aprende mas de esta
demostracibn que de un aEumento inductivo elegante y lormal. llustraremos la
ttcnica wn un ejemplo.
= (1, 2,
3, . . .. n).
Sea
r , = ( I , la, lua, ...* Id-').
51
Vemos que K , ,tienc el mismo efecto que a en todos 10s clementos dc A quc
aparean en esta notacibn ciclica para 7 , .
Sea i el primcrekmento dc A que no aparece en csta notacion ciclica para 7,.
Sc repitc el argument0 anterior con la sucesion
5.2
De ate modo, uaa transposici6n deja lijos todos 10s clementos except0 dos y
lleva a cada uno de &to8 en el otro. Un d c u l o m m t r a que
(al. a,,
Hemos visto que toda permutaci6n de un conjunto finito que tenga al menos 2
elementos, es producto de transposiciones. Las transposiciones pueden no ser
ajenas y no es unica esta representauon de la permutacion. Por ejemplo, siempre
es posible insertar al principio la transposicion (a,b) dos veces pues (a, b)(a,b) es
la permutacion identidad. Lo cierto es que el numero de transposiciones que se
usan para representar una permutacion dada debe ser siempre par o siempre
impar. Este es un hecho importante y la demostracion usual, que puede encontrarse en la primera edicion de esle libro, implica una construction bastante
artificial. En 1971, William I. Miller public6 una demostraci6n que nos parece
mejor y que damos aquit.
Tcorema 5.2 Ninguna permuracibn & un conjunro jiniro puede expresar~e
como un producro & un nrimero par de ~ransposicionesp como un p r o h c ~ ode
un numero impar I rrcmrposicioncs.
Demosrracibn No se pierde generalidad a1 considerar el conjunto A =
= {I, 2, . . ., n) y suponer que n t 2, de rnanera que existan las transposiciones.
Estudiemos primer0 el caso especial de la prmutacion identidad I. Desde
luego, r puede expresarse como un producto de un nlimero par de transposiciones, digamos i = (I, 2)(1, 2). Debemos mostrar que si
donde cada 7, es una transposicion, entonces k debe ser par. Sea m cualqu~er
entem que aparezca en alguna de las transposidoncr en la ecuacion [S.I] y sea 71
la primera transposicibn, wntando de izquierda a demha, en la'cual aparca: m.
No podemos tenerj = k pues, de ser asi, I no hubiera dejado fijo a m. Ahora bien,
rJrJ+, &be tener la forma de aiguao de 10s lados izquierdos de las siguientes
identidades f k i l a de verificar
Colleges
53
ra,
esto es, o e A . va a dar a (1, 2)o bajo 1, Obskwese que como o es par, la
permutanion (1,2)u a p a r m w m o el producto de (1 + numero par) o sea un
numero impar de transposiciones, asi que, en efecto. (I, 2)a esta en B,. Si para u y
p E A. s u d e que od, = FA,, entonces
I 1
b) (1, 3, 2,7)(4,8, 6)
Z 8. 1, 5)
4
'Cubler de ks pcrmulaeiona en S, del ejemplo 4.1 son permutaciones pares? Obt6np s e la tabla para el grupo allernante A,.
a)
b)
c)
d)
5.7
5 9 SCP A un mmjunto infinilo. Sca H cl conjunto de todas las a S, que mucven sblo un
nGmau finito dc cluncntm de A (vtasc jercicio 5.8). Mutstrcsc quc H a un subgrupo de
s,.
0
5.11 DernuCstrese de manera mas elegante el leorcma 5.1; ernpllem un argumenlo por
inducci6n robre el numero dc elemcntos movidos por a (viase ejercicio 5.8).
5.12 ConsidCrew S. para una n t 2 fija y sea a una permulacion impar fija. Mutstrese
quc lode permutacidn impar en S. cs producto de o y alguna perrnutacion en A.
5.13 DcmuCstrcv que si a es un cicla, entones a' n u n ciclo, siemprc que l a longitud de
a sea un enlcro impar.
5.14 Siguienda la linca de pensamienlo iniciada en el cjcrcicio 5.13, complltese lo siguienle con una condicibn que incluya n y r de tal manem que el enunciado resultanle sea
un learema
Si a s un ciclo
5.15
I.: G
5.16
5.17 Con h a a al cjcrciao 4.16, muCstrcsc que Hdel jercicio 5.16 es lransitivoen el
conjunto C. [Sqerencia: esto es u n mrolario inmediato de uno dc los teommas del
capilulo 2.1
6.1
PROPIEDADES ELEMENTALES
entonas a cs un g-dor
dc G y el grupa G = ( a ) es cldka
El prop6sito dc esta s&bn es clasificar todos 10s gmpos ciclicos y todos 10s
subgrupos de 10s grupos ciclicos.
T c o r c ) )6.1
~ ~ Todo grupo ciclico es abeliano.
Demostracidn Sea
(a) = {m"ln~Z).
para O S r < m
para 0 Ir < rn. Esto significaria que G es finito, contradiciendo la hipotesis del
caso I. Por tanlo, to& lar porenciar de a son disrinfas.
Sup6ngase que G' es otro grupo cicliw infinito con generador b. Es claro
que si se cambia el nombre
6" por el de d puede parecer que G' es exactamente i g d a G,es decir, 10s grupos son isomorfos. Lo anterior se hara de nuevo,
w n sumo cuidado, en el siguiente capitulo. Por cmiguienle, lodes los grupos
ciclicm infmiros son iguoles exceplo, quiza. por los nombres de 10s elemenlos y las
operaciones. Tomarernos a Z con la opcracibn de suma wmo el prototipo de
61
Ejemplo 6.2 Es agradable imaginar 10s elementos e = ao, a', a', . . ., d-I de un
grupo ciclico de orden n, distribuidos equitalivamente sobre una circunlerencia
(vkase la tigura 6.2).El elemenlo e = a0 esta localizado en la parte infesor y el
elemento ah esta localizado a h de estas unidades iguales, medidas en sentido
contrario al que giran las manecillas del reloj, desde e = a'. Para multiplicar d y
d mediante este diagrama, x comienza desde ah y se avanza, en el sentido
contrario al que giran las manecillas del reloj, k unidades mas. Para ver en
terminos arilmilicos donde se termina, encuentrense q y r tales que
h+k=nq+r
h+k=nq+r
para O s r t n
s la s u m & h y k mddvlo n.
Tcorcma 6.3 El conjunto (0, 1, 2,
elementos bajo la sumo mbdulo n.
. . ., n - I} 6s
un
grupo ciclico 2, de
srn=(nM
Ejrmplo 6A EncuCntmse todos 10s subgrupos dc Z,, y claMmc el wrnspondicntc diagrama reticular. Todos 10s subgrupos son ciclicos. Por cl corolario dcl
teomna 6.4, 10s clernentos 1. 5, 7, 11, 13 y 17 son todos gcncradores dc Z,,.
Comemando con 2,
RO. S A
6.1
Q62 Muhlmc que un grupo quc ten@ d l o un numero finilo de subgrupos d e k ser un
grupo finilo.
6.3
multiplicacibn
d) El subgrupo ciclioo del grupo C dc la parre c) generado por (1 I@.
e) El subgrupo ciclico del grupo C de la pane c) generado por.1 + i.
6.4 Para cada uno de 10s siguicnta grupos, cncuintrcnse todos 10s subgrupos y elab6rcw
cl diagrarna rclicular wrrcspondientc
Z,, y Z,,
63 EncuCnlrcnx tcdos 10s brdena de 10s subgrujms dc Z,,Z,, Z,.,,
M p a l s o o vcrdadero?
a) Todo grupo ciclico es akliano.
b) Todo grupo akliano a ciclico.
C) Q bajo la suma es grupo ciclico.
d) Todo elemenlo de tcdo grujm cicliw genera al grupo.
6.7 Mu4strew. mediantc un wntracjernplo. quc el siguicntc nreciproeoa dcl teorcma 6.2
no a un tcorcma: uSi un grupo G a la1 que todo subgrupo propio a cicliw, cnlonca C a
cicliwu.
Ses +. la suma mMulo n en Z. = (1.Z3,. . .. n). PruCbcse quc (2,+,) a
un grupo. [Sugerencia: la asociatividad es el uniw axioma no trivial. E r n p l k el algaritmo de la divismn y muistrcse que tanto r+,(s+.r) w m o (r+p)+,r, ron el residuo de
r + s + r al dividirlo cntrc n.]
6.8
6.13
614
6.15
6.16
IKI = s.
a) M u b t m e que sir y s son primos relaliros, cntonces G contienc un subgrupo ciclico
de ordcn rs.
b) Genaalizando la pane a), rnuCrtrcse quc G wntiene un subgrupo dclico cuyo ordcn
es el minimo wrndn mdltiplo de r y s.
7.1
(~4)(~4).
= (X~)(Y+).
G'.
=(
a )
= i(e$),
e$ = (on-'j$ = (a$)(a-'4).
7.2
En el pasado, algunos alumnos del autor han tenido dificultades para comprcnder y emplear el conocplo de isomoriismo; rr utilizi, ya en varias secciones antes
de prscisarlo, w n la cspcranza de que se compnmdieran su importancia y su
significado. EQ cuanto a su uso, darcmos ahora un abow dcl procedimiento que
4 cs unofuncion
uno o uno.
cation.
PAS0 I
Para x E R, delinase
PAS0 2
Si x$
r $ = ex. Fsto
y+, entonces
L.' =
da una transiormacion $ : R
Ri.
P A S 0 3 Si r E Rt,entonces
(In r)+ = elnr = r.
donde (In r ) E R. Asi,
PAS0 4
Para
4 es sobre R i
1, y E R
tenemos
Supbngase que G tiene un generador a y usese la notacibn rnultiplicativa para la operacibn en G. Asi,
Dc-n~o.srrocitin
PAS0 I
Definir d,: G
PAS0 2
PAS0 3
4. Asi, d, es sobre Z.
69
Ejemplo 7.2 Hay un solo grupo de ordcn 1, uno de orden 2 y uno de orden 3,
salvo isomorFlsmo. En el ejemplo 3.2 vimos que de orden 4, hay exactamente dos
grupos dilerentes, salvo isomorfismo: el grupo Z, y el 4-grupo V de Klein. Hay al
menos dos grupos diferenles de orden 6, salvo isomorfismo, a saber. Z, y S,.
Ello signiiicara que no existe luncion uno a uno 4 de G sobre G' con la propiedad
(.xy)@= (xb)Cy$). En general, es claro que no es lactible someter a prueba cada
funcion uno a uno y detectar si tiene la propiedad anterior, a menos que no
existan lunciones uno a uno. Esto s u e d e si. por ejemplo, G y G ' son de orden
iinito y tienen dislinto numero de elementos.
Ejemplo 7 3 2, y S, no son isomorlos. N o existe luncion uno a uno de Z, sobre
s,.
En el caso iniinilo, no siempre estQ claro si exislen o no lunciones uno a uno y
sobre. Por ejemplo, algun estudiante podria pensar que Q tiene amas,, elementos
que Z. pero su pmfesor puede modrarle en cinco minutos (ipidan que lo haga!)
que hay multitud de funciones uno a uno de Z sobre Q. Sin emhargo, si es cierro
que R tiene demaviados elementos p r o ponerlo en una correspondencia uno a uno
con Z. El profesor tardara otros cinco rninutos en mostrar esto.
Ejemplo 7A Z bajo la suma no a isomorlo a R bajo la suma, porque no existe
funci6n uno a uno de Z sobrc R. 4
En caso de que existan transformaciones uno a uno & G sobre G', para demostrar
que 10s grupos no son isomorfos (si ral es el coso) se suele exhibir alguna propiedad
esrructural que un grupo posee y el otro no. Una propiednd estructurnl de un grupo
es la que debe compartir cualquier grupo isomorlo. No depende de 10s nombres o
de cualquier otra caraaeristica no estmctural de 10s elementos. Los siguientes
son ejemplos de algunas propiedadcs estructurales y de otras no estructurales de
10s grupos.
Propiedades est~cturalesposibler
Propiedades no es~ruc~urales
posibles
1 El grupo es dclico.
2 El grupo es abelino.
4 El grupo es h i t o .
por yuxtapici6n.
(R, +).
mi
71
Ejemplo 7.6 No puede decirse que 2 y Q, ambos bajo la suma, no son isornorfos
porque f E Q y f # 2. Pero .ti puede decirse que no son isomorlos porque 2 es
ciclico y Q no lo es.
Ejemplo 7.7 El grupo Q* de elementos de Q distintos de cero bajo la multiplicacibn, no es isomorlo al grupo R* de elementos de R distintos de cero, bajo la
multiplicacion. Un argumento es que noexiste entre ellos ninguna correspondencia uno a uno; otro es quecada elemento en R* a el cubo de algdn elemento de
R', esto es, para a R * la ecuacion x3 = a tiene solucion en R*. Esto noes cierto
para Q*; por ejemplo, la ecuacibn x3 = 2 no tiene solucion en Q*.
Ejemplo 7.8 El grupo R * de ndmeros males distintos de cero bajo la multiplicacibn, noes isomorlo al grupo C* de 10s ndmeros mmplejos distintos de a r o , bajo
la multiplicacion. Todo elemento de R * genera un subgrupo ciclico infinite,
excepto 1 y -1 qua generan subgrupos de orden 1 y 2 respcnivamente. Sin
embargo, en C*, i genera el subgrupo cicliw {i. - I, -i, 1) de orden 4. Usando
otro argumento, la ecuacion x3 = a tiene solucion x en C* para toda a E C*.
pero x a = - I no tiene solucibn en R*.
Ejemplo 7 9 El grupo R* de numeros realm distintos de a r o bajo la multiplicaci6n no es isomorfo al grupo R de numeros reales bajo la s u m L a ecuacibn
x + x = a siempre t h e solucibn en (R, +) para toda a s 4 pero la ecuacion corrcspondiente x . x = a no siempre tiene solucion en (R*, .),por ejemplo,
s i n = -1.
libros de algebra. M& aun, es el primer teomna quc vemos con cierla complejidad y reune diversas ideas y tbnicas expueslas por separado. Todo estudiante
debe saber lo que propone el teorema de Cayley. Marcarnos la dernostracibn con
un astcrisco para indicar que no consideramos que este resultado sea bisico para
el libro.
Para facilitar la comprensi6n de la dcmostracion, se ha dividido en pasos
Comenzando con cualquier grupo dado G,se procede como sigue:
PAS0 1 Encontrar un conjunto G' de permutaciones que sea candidato a
fonnar un grupo, bajo la multiplicacion de permutacioneg isomorio a G.
Tcorcmo 7.3 (& CayIcy) Todo grupa es iromorfo a un gnqm & permuraciones.
PAS0 2 Afirmamos que G' es un subgrupo de S., Debemos mostrar que G' es
ccnado bajo la multiplicacibn de permutaciones, que contiene a la pcrmutacibn
idcatidad y que contiene el inverso de cada uno de sus elementos. En primer
lugar afinnamos que
P d b
= P.s.
ra mostrar que estas iunciones son iguales, debemos mostrar que actuan igual
Ire toda x e G. Ahora
aqui que
( p a r 1= Pa-8,
modo que (pa)-' E G'. Entonces, G' es un subgmpo de S,.
.a UGG.Si a$ =
particular,
na
. .
xa. = ax
,,
.,
a$ =
A,.,.
DefinXtbn El grupo G'en la demostracion del teorema 7.3 es la representacidn re~ularderecha de G y el grupo G" del comentario anterior es la
represenracidn regular izquierda de G.
Tabla 7.1
Tabla 7.2
Ejemplo 7.10
e a b
c a b e a b
e)(b e a
e a b
) a b)='cm
Para un grupo linito dado por una tabla del grupo, p, ts la pcmutaci6n de 10s
elementos con el orden wrrcspondiente a la columna~bajoa y la pemutaci6n A,
wmsponde a1 orden de 10s elementos en el rengl6n a la derecha de a. Sc
cscogieron las notaciones p. y I., para sugerir la mulliplicacion demha (right) y la
multiplicaci6n iquierda (Iefi) por a, nspeciivamente.
Z bajo la suma
s,
ZI.
R* bajo la multiplicaci6n
R' bajo la multiplication
2,
s,
Q* bajo la multiplicaci6n
C*bajo la multiplicacion
73 Proporcibnev una demoslracibn formal (por jcmplo, la dada para el teorema 7.1)
del enunciado: si 4 cs un isomorlismo enlre un grupo G y un grupo G'. y H a un
subgrupo de C, entonccs
iFalso o wrdadero?
a) Cualcsquiera dos grupos de ordcn 3 son isomorfa
b) Salvo isomorlismo, hay un m l o grupo cidico de un ordcn finito dado.
c) Cualequiera dor g r u p finitos con el m i m o nOmero dc elementor son isomorlos.
d) Todo isomofismo a una fundon uno a uno.
e) Toda luncibn uno a uno cntrc grupos e9 un isomorf~mo.
I) La propicdad de ocr ddico (o de no scr dclico, scgfn el cam) ca &a propicdad
cstructud de un grupo.
g) Una propicdad atmctural de un grupo d e b sc; compartida por todo grupo
iwmorfo.
h) U n grupo akliano no puede scr isomorfo a un grupo no abdiano.
i) U n grupo aditivo no puedc scr iwmorfo a un grupo multiplicative.
j) R bajo la suma cs isomorfo a un grupo dc pcrmulpcioms.
7.6 Sea 4:C -. G' un isomofismo entre un grupo G y un grupo G'. MuQtrrst que la
trandormaci6n 4-' :C' + C, desinida para d4-' = x por x+ = x' donde #EC', cs una
luncion bien detinida y es un isomofismo entre G' y C.
7.7 Sea 4:G + C' un isomorlismo dc un grupo G con un grupo G' y $:C'-t C" un
isomorlismo de G'con un grupo G".MuCstmc que 4) :C + C" a un isomorlismo entre
GyG".
7.9 Sea G un grupo ciclico. Pruebese que la propiedad de ser ciclim es una propiedad
eslructural de G. (Vease el ejercicio 7.8.)
7.10 Un isomorlismo de un grupo con el mismo es un automofismo del grupo. ~ C u a n t o s
automorfismos hay de Z, de Z, de Z, de Z y de Z,,? [Sugerencia: empltese el cjercicio 7.4.1
7.11
POT
en el conjunto G, definida
>
7.12 De manera similar a como w hizo en el teorema 7.2, pruebese que todo grUp0
ciclico finito de orden n es isomorlo a Z..
7.13 Sea G u n grupo y sea g un elemenlo hjo de G. Muestrese que la transformacidn i,tal
que xi, = gxg- para X E G, es un isomorlismo de G consigo, es decir, es un automorlismo
de G (vbase el ejercicio 7.10).
'
+ +
Cambiese nombre
(x, Y)
Calculese el
producta en C
XY
Chbiesc nombre
~ X + . Y + )
Calclilcrr cl
product0 en C'
(xy)+= (Wj[?+j
.<S opuanbal o ~ u n l u o ~
la olamud asau!rulalaa .[ + ,x e alqluou ap e!qmeJ .a s x 1s (e ailed el asej!da~ (3
.=sop!lanbal o ~ u n l u ola~olaluild
asau!mraiaa .elg ' g 31 eled r - x e alqluou ap e ~ q m m
!s (e a v e d e[ asei!daa (q
'ajqwau ap o!qme> alsa a,ue!patu
uo!aes!ld!i[nm el oreq .y r! ojlomos! eas ( ' r "s) a n b lei 'S ua
x e u y a a .po ~ d m x asalear solawnu so( sopol a p o l u n l u o ~p IS Eas ,.a e x wed p - x e a ~ q m o u
ap e!qmes x anb aseauodns 'u?!sEJqd!llnlu el oleq *g o d n ~ 8la uos opuezuamo3 (e
'.
Productos
dlrectos
Veamos cuAl es, hasta ahora, nuestro aarvo dc grupos. Comcnzando con 10s
gmpos finitos, tenemos el gmpo ciclico Z, el grupo sirnctrico S. y el grupo
altcmante A. para cada entero positivo n. Tmemos tambih el grupo octal D, del
ejemplo 4.2 y el Cgrupo V dc Klein. eor supucsto, sabemos quc existen subgrupos de cstos grupos y que el teorema de Cay1ey;aplicado a grupos finitos,
mucstra que cada grupo finito cs isomorfo a un subgnrpo de algun S, Pero no
hay un camino fadl para calcular todos 10s subgrupos de un grupo dado.
Respecto a grupos infmitos, tenrmos grupos quc constan & conjuntos de numcros bajo la suma o la rndtiplicaci6n usual, por cjcmplo Z y R bajo la suma.
Uno de loo objctivos de cste capitulo es dar a conoar un mCtodo constructivo para fomar d s grupos, mcdiante cl uso de 10s grupos ya conocidos como
pnrtes wnstitutivas. Rbcuperanmos el 4-grupo de Klcin a partir de grupos
cidicos. En el siguimte capltdo, dcsccibircnos, rncdiante este procedimiento con
los grupos ciclicos, d m o se obticne una clase arnplia de grupos abelianos que
incluye todos 10s grupos abeiianos de orden lnito. Cornenamos wn una definici6n de teoria dc wnjuntos.
Defiiiein El producto curfrsiano& wnntos S,, S2,. . ., S. cs el conjunto
& todas las n-adas ordenadas (a,, a,, . . .. a,). don& a,S,. El product0
cartesiano sc dcnota por
S, x
0
por
S,
x... x
s.
n;.,
n;-,
Teorema 8.1 S e m 10s grvpos G I , G,. . . ., G.. Para (a,. a,, . . ., a,) y
(b,,. b,, . ., b.) e~
G, definase (a,, a,, . .,a.)(b,, b,, . . , b,) como
(a,b,, a,b,, . . ., a&.) Entonces,
G, es un grupo, el prodveto &recto
externo k Ios g r v p r G,. bajo esra operackin b i m i a .
n:-,
n:,,
n;.,
n;.,
m,,
(a,.
02,
= (a,(blclA a2(b,c2X
. . ., a.(b.c.))
= (albl, a,b,.
- [(a,. a,. .
. .., a&,)(c,,
. .,a.)(b,,
b,,
c,, . . .. c.)
.. ..b.)](cl.
c2..
. .. c,).
..
n:,,
n;, ,
m_,
m.,
80
PRODUCTOS MRECTOS
Por tanto, (1, I) genera todos 10s 2, x Z,. Como $610 hay un grupo ciclico de un
orden dado. salvo isomofismo, tmemos (Z, x Z,) % Z,.
Ejernplo 8 2 ConsidCreae 2, x 2,. Este es un grupo de nueve ekmentor Asgu.
ramos que 2, x Z, no es isomorfo a Z,. Basta mostrar que Z, x Z, no es
si y solo si m y n son
81
rnnld sumandos
De aqui que ningun elemento (r, s) en Z. x 2. pueda generar todo el grupo, asi
que 2. x Z, no es cicliw y, por lanto, no es isomorlo a Z,,.
Es claro que se puede extender este teorcma, mediante un argumento inductivo, a1 producto de mas de dos factores. Se enunciara como corolario sin entrar
en 10s detalles de la demostracion.
fly,,
Corolario Elgrupo
numeros rn, para i = 1.
es I.
.-
entonces Z, es isomorlo a
ZIP,,,
...
Z,,",
ZIP.,"..
fl;=l
fl:,,
Demostracibn Este cs el resultado de repetir el argumento usado en la demostracion del leorema 8.2. Para que una potencia de (a,, a,, . . ., 0,) sea igual a
(el, e,, . . ., en),k potencia debc ser de manera simultinea multiplo de r,, para
que esta potencia de la prirnera wmponente a, de e l ; un mbltiplo de r, para que
n t a potmcia de la segunda cornponente a, de el, y asi sucesivamente. m
Es obvio que si
junto
esto es, el conjunto de todas las n-adas con 10s elementos identidad en todos 10s
lugares except0 el i-kimo, es un subgrupo de
G, TambiCn s claro quc cstc
subgrupo Cl es naturalmentc isomorlo a Gi bajo la wrnspondencia dada por la
proyecci6n que transforma n,,donde
n;. ,
n,,,
Q S, = { x I X E S l para toda
i~l).
Si I es rmito, I = {1,2,
-T
n,.,S, por
-
Subgwpo & G.
nl.,
n,.,
nl.,
83
nlSI
n,,,
... h"
es un isomorlismo.
n;,, HI va a dar
&
p e cn csta M l n i a b s
..
...
HI.,
. . .,
fly,
Grupos abelianos
finitamente
generados
Algunos teoremas de glgebra abstracts son fBciles de entender y emplear aunque
sus demostraciones sean muy tknicas y dc presentacibn extema. Esta es la
primera de varias secciones del libro donde explicaremos el signilicado e importancia de algunos teoremas y pcdimnos que se usen sin demostrarlos. Por lo
genersl, las demostraciom y presentan en aeoziona posteriores marcads con
asterisw. Hoy dia n tan grande el volumen de La literatura matedtica, que
aqueuos matemitiws que insistan en wrroborar basta el dltimo dctalle la demostracibn de cada nsultado quc usen, no podrhn alcanzar limites impoftantes
del tema tratado. Los teorcmas quc prcscntamos sin demostracibn en Ias d o nca no marcadas, c r i b dentm de lo que ya wn-os
y wnsideramos que
debcn ocr familiares para el lactor. Seria imposible cubrir en un c u m de un
scmcrtn en nivel de liccnriatura todos estos aspeaos fasinantes si insistiCrmos
en rcalizar todas sus dcmostracicmes.
9.1
GENERADoRES Y TORSION
89
lo cual ath en K.
<
'.
C,",,,"r.
..*,:.
r.
?. I'. ;
,.
s.,..
', .<
IP, 1)).
Los alumnos que crtudiaron la seccibn *8:2 no&rhn qdk A y B son subgruks
he G, entoncei el subgrqp~-6le
. . A v B ii'precisamente
. .
el subgrupo generadoporAuB.
Aunque en csta secci6n tratamos principalment~kngrup& abelianos usarcmos la notation multiplicativa en 10s andisis generales. Nuestra experientia
indica quc 10s estudiantes comprenden mhs rapid0 la notation d que m. En s t a
ultima notati&n, el estudiante ticnde a cometer el error de pmsar n 'wmo un
elemento del grupo.
. .
D e f i i h Un grupo G es un grvpo & rorsidn si todo elemento de G es de
orden h i t o . G es tibre & torsids si ningun otro elemento aparte de la
identidad es de orden linito.
90
entonces,
= 8" = e.
Por tanto, ab es de orden finito, lucgo ati en T. Esto muestra quc T cs arrado
bap la multipliead6n &I grupo.
Ea daro que e es de ordcn finito y por tanto csti en T.
Por hltimo, si a E T y 6 = r, entoaces
Sc e n u n c k h ahora -0s
iemas quc nos amducidn al al(aore ppricipal de
la s c i 6 n : el tconma 9.3. Los lcmas no sc demuahan El tcorcma 93 sc
dcmwtm m el capitulo 20 (marcado). La dcmostraci6n quc ahi x prescnta no x
construyd m d i n t c la -i6d
& 10s lcmas dados aqul; sclccsionamos a t o s
lanas introductorios para llcgar en forma gradual a la wmpnnsi6n de la estructurn de grupo demita en el tcomna.
81
z,, x z,,
... x z,
,.
don& m, dioiclc a mi+ Los n~imerosm, los ccr/c&mfes & torsi& & T son
unicos.
kmoslracibn La dcmostracibn resultarh del teorema 9.3, el cud 8c demuestra
:n el capitulo 20 (marcado).
.os tkrminos niuncros cdc betti y ccvjcientes cdc lorsibn provienen de la topologin
.Igcbraica, donde dacmpchn un papel importante.
, No ca p i b k cxigir que 10s primm pi que aparcccn en la forma I &I lema
.3 scan diiercntcs Hemos visto, por ejcmplo, quc Z, x Z, x Z, no es isomodo
Z,, x Z, ya quc el primcro time elementos a io sumo de ordm 45, micntras
,ye el scgundo ts ddico de orden 225.
PiCasesc por un momeoto en la importancia y el enonne poder del kma 9.3.
'roporchna una &scripcibn, salvo icomrfumo, de rdos 10s grvpos a b e l i ~ o s
hilos.
Se describid un d t o d o para cnwntrar un grupo, exprcsado en la fonna 2
el Irma 9.3. quc aea isomodo a un producto dimto dado de grupos cicliws de
rden la potencia de un primo. Para cada primo que apamca en el ordm del
rupo, acrlbansc las subindices m el producto dimto donde a p a m gc primo,
n orden de magnitud crccicnte. Mantkngansc dineados 10s extremos dcrshm de
,s rendones. Asi, comenzando con Z, x Z, x Z, x Z, x Z, formarnos el ormamiento
2 4
3 3
5
92
Hay, entonax, seis grupos abelianos diiercnts (salvo isomorlismo) de orden 360.
En la pane inferior cscribimos 10s seis caws ca la forma 2 del lema 9.3. mantcniendo 10s grupos (salvo tsomonismo) en d mismo ordm. Esto s, el primer
grupo listado m la pane superior s isomodo a1 primero de 10s listados a
continuaci6n y as[ sumivamente. Esto es fM de vcrilicar apanir de I* observaciones antenora al ejemplo.
1
3
z, x 2, x z,,
zlX z2X z9,
z3xzl10
556
Z60
z180
z2
2360
%,r
ZL,~,
...
qap
x z x z x ... x
Z,
z , , x z , , x ~ ~ ~ x z , ~ x z x z x ~ ~ ~ x z ,
,.
wmpleta.
jResulra comprensible la imporlancia do estos resullodos? Entre otrar cosas, nos
dan informacibn completa acerca de rodos 10s grrrpos abelianos finites.
~ o i c l u i i m o esta
s secci6n wn una muestra de 10s muchos tkrcmas sobre grupos abelianos que podemos demostrar ahora. Algunos son resultado del trabajo desarrollado en el capitulo 8 y para otros sc requiem cl poderoso teorema 9.3.
Definicidn Un grupo G t h e &scomparicidrr si a isomorfo a1 producto
d i m 0 de dos subgrupos propios no triviales. Dc no scr asi, daoimos que G
cs aia & a c ~ * .
T m m 9.4 Lor grupos abelianos f i i f o s sin descomposicidn son preciramente 10s grnpos ckILos cuyo orden es potencia de un primo.
Dmtostracwn Sea G un gmpo abeliano finito, sin descomposicibn: Pore1 teorcma 9.3 (o por el lema 9.3). G es isomorfo a un producto direct0 de grupos dclicos
cuyos 6rdcna son potcncias de primos. Como G es sin descomposici6n. a t e
producfo direct0 debe umstar de s61o un grupo ciclico dc orden una potencia de
un primo.
Raiprocamenle, sra p un primo. El material del capitulo 8 muestra que Z
,
es sin descomposicion, p u a si Z
, fuera isomorfo a Z x Z,,,,donde i j = r,
entonces todo eklnento tendria a lo sumo ordcn ~ $ 1 <) f .
wmo
%,rt
%,P
...
4.r-
94
..
don& m = @, )"(p,)".
@,)-'. Como m s libre dc cuadrado, debcmos tcncr quc
todoa 108 r, = 1 y que todos 10s p, son primos distintos. U corolario dcl loorema
8.2 muestra entonces, que G s isomorio a Z,,,,...,,
de manera que G s
dclico.
9.1 M t r e n s r todor lor grupoa abelianap (salvo isanofirmo) dc orden 720; & ordm
10B9. ExprQcnac en lls formna 1 y 2 &I lema 93 y apar6cnsc los g r u p iwmorfos de la
forrna 1 y 2.
Z x z, x Z x
zx
Z,, x Z,,.
93 ErmCnlrrsc el aubgrupo dc Z,, enerado por (2. 3); generado por (4,6) Y generado
por (8. 4 LO).
9.4 EncuCntresc el ordcn dcl subgrupo de tornibn dc Z, x Z x Z,; y de Z,2 x Z x Z,,.
+95 Mdstmc que un grupo abeliaoo rmito no cs ciclico si y s61o si aonticnc alghn
subgrupo isornodo a Z, x Z, para algun primo p.
9.6
False o verdadcro?
Todo p u p a abcliano cuyo orden a un primo r j eicliw.
Todo grupo akliano cuyo orden ea una polencia dc un primo es ciclico.
Z,es generado por (4. 6).
Z, es generado por (4, 5,6).
El lcma 9.3 clnrifica todos I s g r u p abclianos linitos (salvo isomofismo).
Cualesquiera dm grupos abelianos Bnitamente generados mn d mismo nbmero
dc bctti son isomorfor
Todo grupo akliano de ordcn divisible cmre 5 wntiene algdn subgrupo ciclico
dc ordcn 5.
Todo grupo abdiano de orden divisible cntm 4 wntiene algun subgrupo ciclim
de orden 4.
Todo grupo abcliano de orden divisible entrc 6 mntient a l b n subgrupa cicliw
de ordcn 6.
Todo grupo abdiano finito ticne numcto de betti 0.
grUp0 zl
zlX zl?
9.17
Notese quc la lercera parle del cjercicio 9.16 mueara que esta conclusion es falsa
9.18 Sean C, H y K grupos abelianos lnitamentc penerados. Muestrcsc q u c si
G x K 1 H x K cnlonccs G IH.
9.19 S e a , e n Z x Z , G = ~ ( o , b ) ~ u ~ b ( m o d 1 0 ) ; .
GrupGS
en geometria
y anallsls
lnterrumpimos nuestro estudio puramente algebraiw para sefialar, de manera un
poco vaga. la importancia del mncepto de grupo en gwmetria y en anilisis.
Puesto que no tratamos de profundizar en dichas materias, nuestro analisis no
sera muy preciso.
(8,
+ 8, mod 2x) =~
-2
si (8,
si (8,
+ e l ) < Zn,
+ e2) 2 2n.
Rgun 10.1
Rgura 10.2
es una rotacion en sentido contrario a1 que giran las manecillas del reloj, en 47113
radianes, y
100
donde denota la imagen en el espejo, corresponde a una reflexi6n del tringulo en la recta
l 1 y, en general, cada i del ejemplo 4.1 es una reflexin en la recta l 1 . Una reflexion i
corresponde a girar el tringulo alrededor del eje l i . Resulta clara la eleccin de la notacin
en el ejemplo 4.1. Vase de nuevo la tabla 4.1 del ejemplo 4.1. Ntese que se divide en
cuatro sectores que sealamos sombrendolos. Este arreglo por sectores se muestra de nuevo
en la tabla 10.1. En trminos algebraicos, la tabla 10.1 presenta un grupo de orden 2. En
trminos geomtricos, la tabla indica que el producto de dos rotaciones es una rotacin; que
el producto de una rotacin y una reflexin es una reflexin y que el producto de dos
reflexiones es una rotacin. Esta descomposicin del grupo en sectores que forman a su vez
un grupo, ser el siguiente tema de nuestro estudio algebraico.
Tabla 10.1
Una primera impresin podra ser que las simetras de un cuadrado formaran S 4 , pero
hay que tener cuidado. La permutacin
1 2 3 4
1 3 4 2
no es una isometra del cuadrado de la figura 10.3, pues la dislancia del vrtice 1 al vrtice 2
sera mayor que la distancia entre los vrtices 1 y 3. El grupo de simetras del cuadrado o
grupo octal se calcul en el ejemplo 4.2. El clculo del grupo didrico de slmetras del
n-gono regular en el plano para n 3 aparecer como ejercicio al final de esta seccin.
Ntese que el grupo de simetras del n-gono regular para n 3 es S n slo en el caso
n = 3.
Figura 10.3
101
rnediante un rnovirniento rigido, pero asi corno se tiene que salir del plano para
voltear el triangulo equilalero y oblener lodo S,. tambien se debe salir del
espacio tridimensional a1 espacio de cuatro dirnensiones para evoltearo el tetraedro y obtener todo S,. Esta permulacion equivale a una reflexion en el plano que
contiene a la recta que pasa por 10s vertices I y 4, perpendicular a la recta que
pasa por 10s vertices 2 y 3.
(CAICB)
(DAIDB)
de cuatro puntos sobre una recta, como en la figura 10.6, es una invariante del
grupd proyectivo. Esta razan cruzada es casi la unica canlidad numerica de la
cual x puede echar mano y, por tanlo, desempefia un papel muy importante en
geometria proyecliva.
Para concluir, si para un espacio dado podemos delinir cuando 10s puntos
estan cerca uno de otro, de manera que podamos hablar de rransjormaciones
continurn ( a t e conjunto es un espacio topologico), entonces es posible definir
topol@ w m o el estudio de las propiedades de dichos apacios que ssn invariantes bajo el grupo de todas las transforrnaciones que son continuas y cuyas
inversas tambien son wntinuas. La recta, el plano, el spacio tridimensional
euclidianos y demhs, son espacios topologicos. Dicho vagamente, una transformacion wntinua con inversa continua es la que se logra doblando, estirando y
torciendo el espacio sin rasgarlo ni wrtarlo. Para 10s espacios euclidianos, estas
transfonnaciones incluyen todas las isometrias y, para 10s planos proyectivos,
incluyen todas las transfonnaciones proyectivas. Topologicarnente no se puede
diferenciar entre un bal6n de fhtbol y uno de balonccsto, pues uno de ellos se
puede delormar, sin romperse, hasta verse wmo el otro. Dc manera analoga, un
cuadrado y un circulo son topologicamente iguales. Sin embargo, es imposible
hacer que un disco solido de chooolate w n menu se vea wmo un dulce ctsalvavidas,, sin agujerearlo. Entonces, son topolbgicameote distintos. La topologia m,
w n mucho, el c a m p mas activo hoy dia entre todas las geometrias.
+ 2nn)
para todo entero n, esto es, la funcion seno de una variable real es invariante bajo
una transbmaci6n de su dominio mediante un elemento del subgrupo ciclico
inlinito (2n) del grupo de traslacioncs de R. Una funcion de una variable real
que sea invariante bajo una transfomaci6n de su dominio mediante un elemento
de un grupo ciclico idmito es una funci6n peri6dua.
'10.1
'10.2 MuCstrcse que el nisimo g r u p diklrico D. del cjercicio 4.9 pucde gcnenrx par
dos elcmentus ArgumCnrese en tCrminos geomhricos.
* I 0 3 Rcvisse cl ejercicio 4.10 o hagax ahora si no x huo antes.
*10.6 ConsidCrese la geamerria afinfiita dc cuatro puntos A. 8, C,D y seis ractas AB,
AC, AD. BC. ED, CD wmo se indica erqucmlticamentc en la iigura 10.9.Aqui. cada r s t a
mnticne praisamentc d m punlos. Una colimui6. de w geometrln afln cs una transformation uno a uno del wnjunto de puntos sobre d mismo que lleva rectas a rectas. (Para
haar cslc cjercicio, no es necesario caber lo que a c14 realidad un punto o una recta. Se
basa cn la idea intuitiva de que una r s t a se compone de puntos, ctc.)
a) Mulstrese que rada translormaci6n uno a uno dcl conjunto de puntos de esta gcometria aiin dc cuatro puntos, sobrc si misma. es una colincacion.
b) MuCstrrre quc para cualquier gmmctria afin, las wlincacioncs forman un g r u p , el
p q m aIla bajo la composition dc funciones.
ijt quk grupo vista antcriormentc cs isomorfo cl grupo alin de La gcomclria de la
C)
figura 10.9?
-
a) Mueslresc que no loda lranslormacion del conjunlo de puntos sobre si misrno, es una
colincacion para esta geometria de n u e n punlos.
b) Mubtrese que una colineaci6n cn esta geometria de nueve punlos esta completamenle detenninada por sus valores en cualesqu~craIres punlos que no eslcn en la
misma recta.
C) ~ C u a ln el orden d d grupo afin. esto n , del grupo de todas las colineaciona, para
esta geometria de nueve puntos?
d) Considbmc el subgrupo H del grupo afin de la parle c) formado de aquellas colineaciones que dejan f?io cada punlo de la recta ABC. ~ C u aes
l el ordcn de a l e subgrupo?
LA que grupo definido anteriormcnfe n isomorlo eslc subgrupo?
106
11
Grupos
de clases
laterales
11.1 INTRODUCCIN
Quizs el lector ya haya observado que los 36 lugares de la tabla de S 3 en el
ejemplo 4.1 se dividieron, de manera natural en cuatro sectores, cada uno formado
slo por trminos i o slo por trminos i . En la tabla 4.1 se sombrearon los
sectores para distinguirlos. As, el grupo S 3 se parti en celdas B y B de igual
tamao y el conjunto B , B forma un grupo cuya tabla se obtiene de la tabla 4.1
y se muestra en la tabla 11.1. Esta particin de un grupo en celdas, tal que el
conjunto de celdas forma a su vez un grupo, es un concepto de importancia bsica
en lgebra. Llamemos a cada elemento de una celda, un representante de la
celda. La ecuacin
BB = B
significa que cualquier representante de
B multiplicado por cualquier
representante de B da algn representante de B .
Tabla 11.1
Pasando al caso general, nos gustara determinar condiciones precisas bajo las
cuales se puede partir un grupo G en celdas B i tal que cualquier representante
107
de una celda fija B, multiplicado por cualquier representante de otra celda fija B,
produzca siempn un representante de una y la misma celda B, la cual sera
enlonces considerada como el producto B,B,. El producto de las celdas B,B, se
define como la alda B, obtenida al multiplicar representantes de B, y B, y , para
lener bien definida la operacion binaria de rnultiplicacion de celdas en {B,),como
se explico en el capitulo 1, la celda final B, que contiene el producto de 10s
representanles, debe ser la misma, sin importar 10s representantes escogidos de B,
y de B.. Esta operacibn binaria de rnultiplicacion de celdas en el conjunto {B,}es
la opracibn inducida en {B,) por la opracibn de G. Solo si esfa operacion esia hien
definida, riene sentido preguniar si el conjunto {B,) es un grupo bajo I2 operacibn.
Teorema 11.1 Si un grupo G se puede pariir en celdas donde la operacibn
inducida descriia anferiormenie esra bien &finida, y si lar celdos forman un
grupo bajo esla operacion inducidn, enronces. la celda que coniiene la i&nii&d
e de G debe ser un subgrupo & G.
Demosiracibn Supongase que G csti partido en aldas w n la operaci6n inducida bien definida y formando grupo, y sea B, la a l d a que wntienc la identidad. Al
calcular B.B. podemos tomar cualesquiera representantes dc B. y de B, y calcular
su producto en G. Escojarnos e E B. y, d i g s m o ~r E B,. Entonag er = r y r E B,
asi que B.B, = B,. De manera analoga, B.B. = B, Asi, B, debe actuar como la
celda idcntidad en el grupo de celdas. Por tanto,
11-2
CLASES LATERALES
198
debe estar contenido en B.. Esto sugiere que estas rrasiaciones o clasrs lareroles
aB, de un subgrupo B, pueden ser importanles.
Definicibn Sea H un subgrupo de un grupo G y sea a C G. La clase lateral
iqnierda a H de H es el conjunto (oh I h E H). La clase lateral derecha Ho se
define de manera similar.
Hemos vislo que si G se puede parlir en celdas de modo que la operacion
inducida este bien delinida y lorme un gmpo, entonces
Sea a - ' E B,. Entonces. BkB, = B,, de mancra que a1 escoger representantes
a - ' E Bk y cualquier x E Be, tenemos a - ' x E B,. Asi, a-'.Y = b y x = ob donde
asi que
+
+
11.2
CLASES LATERALES
Tabla 11.2
111
Tabla 11.3
12.4
GRUPOS SIMPLES
Sn el ultimo capitulo del libro daremos un uso imporrante al teorema 12.4. Hay
nuchos otros grupos simples ademas de 10s dados con anterioridad. Por ejemplo,
4, es de orden 60 y A, es de orden 360 y hay un grupo simple de orden no primo,
I saber, 168, entre estos ordenes.
Recienlemenle se termin6 la determination y clasificacion completa de todos
os grupos s~mpleslinitm. Cientm de matemiticos han trabajado en esta tarea
jurantc !as bllimas tres d b d a s . En el capilulo 14, al hablar dc series de grupos,
x indicari que un grupo finito tiene una espccie de lactorizaci6n en grupos
iimples. donde 10s factom son hnicos salvo el ordcn. La situaci6n es anhloga a la
actorilacion en primos dc 10s enlcros positives. El nuevo conocimiento de todos
os grupos simples finitos se puede usar ya para resolver algunos problemas de la
eoria de grupos finitos.
Hemos visto en este libro que un grupo abeliano simple finito, es isomorlo a
2, para algbn primo p. En 1964. Thompson y Feit [21] probaron una antigua
:onjetura de Burnside a1 mostrar que todo grupo simple no abeliano finito, es de
~rdenpar. Mas adelante. cn la dkada de 10s setenta, Aschbacher dio grandes
Yasos hacia la clasilicacion compkta. A principios de 1964 Griess anunci6 que
labia cnnstruido un grupo simple umonstruo)). ya predicho. de orden
808. 017. 424, 794, 512, 875, 886, 459.904.961,
710.757.005,754,368.000,000,000.
Ischbacher niiadib 10s detalles finales de la clasilicaci6n, en agosto de 1980. Los
~rticulosde investigacibn que contribuyen a la clasificacion completa llenan,
~proximadamente.cinco mil piginas de revistas especializadas.
124
H x K. Pero,
4:R -r ( H
es un isomorlismo.
(e, k ) 4 = (e, k ) R
126
a)
b)
C)
d)
e)
). calclilesc
a) CPl~lese(2, x Z,)/((I. 0)). Notex quc ((I. 0)) cs cicliw dc orden 2. ~Calcularn
significa descubrir a cu61 de 10s dos grupos (salvo isomofismo) de ordm 4 es iomorfo
erte grupo factor.
b) Repitaw la parte a) con (2, x Z,)/((O, 2)).
c) Repitax la parte a) con (Z, x Z,)/((I, 2)).
127 EncuCntrcnsc todm lor subgrupos dc S, dcl ejemplo 4.1 que x a n conjugados r.
{PO,
P,),
de un grupo dc tonibn y & un subgrupo normal. No hay quc cometer 10s errores quc
cornclicron 10s cstudiantcs cn 10s cjcrcicios 12.1 y 12.2.)
I 2 9 iFalso o vcrdadero?
Tiene sentido hablar dcl grupo factor G/Nsi y sblo si N a un subgrupo normal
dcl g r u p G.
Todo subgrupo dc un grupo abeliano G es un subgrupo normal dc G.
Un automorhsmo interno dc un grupo abeliano debe ser prccisamente la transformation identidad.
Todo grupo lactor de un grupo Snito es dc orden finito.
Todo grupo factor de un grupo dc torswn es un grupo dc torsion.
Todo grupo factor de un grupo librc de torsibn es librc de torsibn.
Tcdo gmpo lactor de un grupo abeliano es abeliano.
Todo grupo tactor de un g r u p no abeliano es no abeliano.
Z h Z cs cidico de orden n.
R/nR cs ciclico dc orden n. dondc nR = (nr 1 r E R } y w considera R bajo la
suma.
12.10 Describanse lodos los subgrupos de orden 5 4 dc Z. K Z, y en cada caso
clasifiquac el grupo factor & Z. x Z, mbdulo el subgrupo scgun el teorema 9.3 partc I.
Esto cs, dacribase el subgrupo y digase que el gmpo factor de Z. x Z, mbdulo el
subgrupo e9 isomotfo a Z, x Z,, o a lo quc sea el caso. [Sugerencia: Z, x Z, tiene XIS
subgrups ciclicos direrents dc ordm 4. Describaosc, dando un generador, como el
subgrupo <(I, 0)). Hay un zubgrupo de orden 4 isomotfo a1 4-grupo de Klein. Hay trcs
subgrupos de orden 2.1
1211 Sea H u n subgrupo normal de un grupo finilo G y sea m = ( G : H). Mutrtrcse que
6 E H para toda a E G.
1212 MuCstrese que una intcrseaibn de subgrupos normales & un grupo G 9 de
nuevo, un subgrupo normal dc G.
1213 M u k t r m que tiene rentido hablar del menor s u b g m p normal de un grupo G,
que mntiem un subconjunto dado S de G.[Sugerencia: k s e el ejcrcicio 1212.1
1214 Muktrnv quc si un grupo Snito G time cxactamcnte un subgmpo H d c un orden
dado, entonas H es un subgrupo normal de G.
1215 MuCstrsc quc si un grupo h i t o G contime un subgrupo propio de india 2 en G,
cntonas G no es simple.
1216 M v k t r s c que si H y N son subgrupos de un grupo G, y N cr normal m G,
cntonas H n N *I normal m H. MuCptrsc, con un ejcmplo, que H n N no naesariammte es normal en G.
1217 Su G un grupo que mntiene a1 mmos un subgmpo & orden finito s. Muktr*u
que la interseocion dc todos los subgrupos dc G dc ordcn s es un subgrupo normal de G.
[Sugerenria;tbmesc m c u m u el hccho de que si H time orden s entonas lamb& lo tiene
x-'Hx para todas las x E G.]
1218 a) Mutstrcse que todor 10s automorlisrnos de un p ~ p G
o foman un grupo bajo
la cornporicibn de tunciones.
b) M u k t r s c que 10s automorlismor intcrnos de un grupo G torman un subgrupo
normal dcl grupo de todos 10s autmorfismos de G bajo la composicibn dc funciones.
128
subgrup.]
I219 Muistreseque el conjunto de lodas las g e G tala que i,:G
mo intcrno identidad J, es un subgrupo normal del p u p a ti.
G es el autornorfis-
n 2
do
(rr I. i)',
(r, s, i ) ' ( r , s, JA
(r, 3.
O(r, s. j)'.
Obdrvew que cstos productos dan todos lor tipor p s i b l c ~de 3-ciclos.I
d) Sea N un subgrupo normal de A. para n z 3. Mufftrcae que si N mntiene
algdn 3ciclo entonas N = A.. [Sugerench. mutstrcsc que (r, s, i ) a N implica que
(r, s, j ) E N para j = I. 2, .. ., n, cakulando ((I, j)(r, s))-I(r. s, i)'((i, j)(r, s)).]
e) Sea Nun subgrupo norma! de A. para n 2 5. M u t s t ~ c x
quc d c k scr d m o alguno de
10s casos siguientes y conduyase en cada caso quc N = A..
Caw I
N contiene un Jciclo.
Caw 2 N wnfiene un producto de cicloo ajenos y al menos uno de cllos ticne
longitud mayor quc 3. [ S u g p ~ c ~ i supbngasc
a:
que N contiene el produao ajcno
a = (a,, a>, ..., 4)p. Mukstrcse quc (a,, al, ~ l , ) - ~ d a a=,
, , a&-'
esla en N y
calcillwc,
Cuo 3 N contiene un producto ajcno de la foma o = (2,. a,, a,)(a., a,, a,)p.
[Sugerencio: mutstrsse que (a,. a,, 0 , ) - ' d o , , a,, a,)o-' crta en N y calculcse.]
Caso 4 N contiene un productp ajeno de la loma o = (a,, a,, a,)p donde p es un
producto de M c l w ajcnos. [Sugerencia: rnuCstresc que a' E N y calculesc.]
Coso 5 N contiene un producto ajeno o d e la forma o = (a,, o,)(a,, o,)p donde p
es un produno de un numcro par de 24clos ajenos. [Sug~rencio:m u h t m que
(a,, a,, a , ) - ' ~ ( a ,a,.a,b-'esfsen
.
N y calculee paradcducirque a = (a,,a,Xa,,a.)
c& en N. Usando p r primcra v u que n 2 5, mcuCntrcae i E { l , 2 . .. n) fa1 quc
i
a , , a,, a,, a,. Sea /D = ( a , , a,, I). Mufftrcsc que p-'a@a E N y calculese.]
K [Sugerencia: considCresc cl
Homomorflsmos
13.1
4 de un grupo G
en un grupo G' cs un
homomorJismo si
151
( I ) s = q,n
+ r,
= r,
y ry
&to e$ si r ,
+ r,
(2) t = q2n
= r,.
+ r,)
+ r2
Asi,
sy
+ ty
= (r,
= q,n
+ r,
mbdulo n.
+ 1)y
= r,.
'
4 un homomorfismo de G en G'.
Entonces,
133
h"@-I.
Delinimos. asi, la transformation $ en una clase lateral escogiendo un representante a de la clase lateral; primer0 debernos rnostrar que $ esta bien delinida,
a t o es, que cs independiente de nuestra seieccion del representante. Para ello, sea
b E aK. Es necesario mostrar que a4 = b4. Pero b c aK signilica que b = ak,
para k , E K, de modo que o"b = k,. E n t o n ~ s ,
De aqui
La comprension del teorema 13.3 a menudo causa problemas a 10s estudiantes. En realidad afirma que para un homomorfismo 4 del grupo G , la imagen
n,exccpto por 10s nombres de 10s elementm, justamenle CIK, donde K es el
kernel y que el homomorlismo $ cs esencialmente la transformacibn can6nica
y:G -r G j K . En otras palabras, en cierto sentido el teorema 13.1 describe todos
10s homomorfismos.
Diremos aqui, de uno wr y para siempre. que cuando se tenga un homomorjismu. hay das cosas & principul imporranciu: h itnagen y el kernel.
+ isenx
ciclico ( 2 ~ de
) R.
El teorema 13.3 muestra que R j ( 2 n ) es isomorlo a Rq5, que es el grupo
multiplicative de los numeros complejos con valor absoluto 1, esto es, 10s ntimeros complejos sobre el circulo unitario. Este isomorfismo se puede visualizar en
sentido geom6trico. Toda clase lateral de R / ( 2 n ) tiene precisamente un representanle 20 y < 2n. Asi, R/(2n) re puede visualizar como cl intcrvalo 0 2 s c 2n y
si lo doblamos de manera que el exrremo uhierro del interval0 en 271 se coloque
sobre el exfremo cerrado en 0, lormara un circulo. La suma en R i ( 2 x ) visto como
circulo, no es mas que la suma de longitudes de arco (o de angulos centrales) y
cso es lo que sucedc precisamente cuando se mulliplican dos nimeros complejos
sobre el circulo unitario. a
CJMes
simple.
Ny # {M).
Asi, si GJMes simple, de manera que no puede existir dicha Ny; dicha N no puede
existir y M a maximal. a
Notex que un homomorfismo 4 d a un isomofismo del dominio de $ con la
imagen de 6 si y solo si 6 es una transformacibn uno a uno.
&, entonces,
A la luz del teorema 13.5, revisernos la lista de pasos que lor matematicos usan
p r lo comun para exhibir un isomorlismo.
P A S 0 1 Dclinir la transforrnacidn
Probar que la translormaci6n es un homomorlismo.
PAS0 2
a) b:Z
R bajo la suma, &do por IU$ = n
b) +:R -. Z bajo la s u m q dado por 16 = mayor entero S x
C) +:R* -+ R* bajo la mulliplicacibn, &do por x+ .
; 1x1
d) + : Z , Z, dado por q b &duo tic x al dividirlo enve 2, como en el lema 6.1
e) +:Z, -+ Z, dado por xb = residuo de x al dividirlo m v e 2, en el xntido del
lema 6.1
TI32 Sea G un grupo generado por {a,1 i E I], donde I es algun conjunto de indias y
a, E C. Sea 4:C -+ C' un homomortismo dc G en un gmpo C'. MuCslrcde que el valor de @
m fada elemmto de G ats pot compkto ddcrminado por 10s valom ai4. Asi. por
ejcmplo, un homomorlismo de un grupo dclico esti por mrnpleto determinado pot el
valor del homomorlismo en un generador del grupo. [Sugerencia: hisex el korema 9.1 y,
por supucsto, la delinici6n de homomonismo.]
133 iCuQtos homomorlismos hay de Z sobre Z?; ide Z en Z,?; i.de Z sobre Z,?
[Sugerencia: uxse el ejercicio 13.2. V k tambidn el ejercicio L3.11J
13.4 i,Cu&ntos homomorfLeos hay dc Z en Z,?; 'dc Z sobre Z.? [Sugerencio: uxse el
jercicio 13.2. Viase tambiCn el ejercicio 13.1 I.]
135 iCuantos homomofmos hay & Z,, sobre Z,? ide Z,, en Z.?; ide Z,, sobre Z,?;
ide Z,, en Z,,?; 'de Z,, en Z,,? [Su~erencia:uses+ el ejercicio 13.2.1
13.6 iQuc podemos dccir a a r c a de los homomorfismor de un grupo simple?
~ F a l s oo vcrdadero?
a) A. cs un subgrupo normal de S..
b) Todo isomoriismo es lambicn un homomofismo.
C ) Todo homomorlismo es un isomofismo.
d) Un homomorlismo es un ~somoriismodel dominio con la imagen si y solo si el
kernel wnsta dcl grupo con solo el elemento idenlidad.
e) La imagen, bajo algun homomorl~smode un grupo de seis elementos, puede
tener cuatro clcmcntos.
I) La imagen, bajo un homomofismo de un grupo dc scis elemenlor, puede lener
d o n elementos.
g) Existe algun homomorfismo de algun grupo de seis clcmcntos en alglin grupo de
d o a elementos.
h) Existe algun homomofisn~ode alg6n grupo de seis clementos cn algun grupo de
die2 clemcnlos.
i) Todos 10s homomorfismos de un grupo de orden primo son. en alg6n sentido,
triviales.
j) No es posible tener un homomorlismo de a l g h grupo infinito en algtin grupo
finito.
138 'Cuanlos homomoriismos hay de Z, x Z, cn Z,?; ide Z, x 2, sobre Z,?;
idc Z, x Z, cn Z,?; ide Z, x Z, en Z, x Z, x Z,?: ide 2, x Z, en Z, x Z, x Z,?
[Sugerencia: usese el ejercicio 13.2.1
13.9 El dgm de una prmulacMn pares
OMrvcsc que la iranslormacibn sgn.5.
+ 1 y el igno de UM
-r
permutleib implr es - 1 .
(I, - I ) deiinida por
sgn.(s) = signo de a
es un homomofismo de S. sobre el grupo (1, - I ) bajo la multiplication ~ C u a la el
kernel?
13.10 P a n dos grupos G, y G, w n s i d k la translormacion n,:(C, x C,) -r C, dada
por (x,y)x, = x. MuLstrese quc E, cs un homomorfismo. iCuAl a e l kernel? LA qut grupo
a isomodo el kernel?
13.11 Sea C cualquia grupo y ua acualquier elemento de G. Sea $:Z -r G deiinida por
n$ = d . Mubtrcsc que $ es un homomorfismo. Describase la imagen y las posibilidades
para el kernel de 6. [Cornenlario: usando eslc ejercicio y el leorema 13.3 obtenemos la
&?mosrraci6n eleganre de que todo grupo ciclico es isomodo a ZlnZ para algun entcro no
negativo n y ademas, la dernosrracidn e l e g ~ r ede quc todo elemento dc un g u p o genera
un subgrupo ciclico del grupo.
Dctermincsc cuando
9 cs un isomorfismo.
9,9,
Serles
de grupos
14.1 SERIES NORMALES Y SUBNORMALES
Esle capitulo trala del concepto de serie de un grupo G, que pennite comprender
la estructura de G. Los resultados, presentados sin demostrar, valen tanto para
grupos abelianos como para grupos no abelianos. No son muy importantes para
g r u p abelianos finitamenle generados, pues contarnos ya con el poderoso
teonma 9.3. Sin embargo, para facilitar 10s dlculos, casi lodos 10s ejemplos se
tomarin de grupos abelianos. Los resultados x demuestran en el siguiente
capitulo.
Delinieihn Una mi subnormal (o wbimv(vkrre) & un p u p G es una
suasion finita Ho, HI,. ., H. de subgmpos de G tal que H, < H,, y H, es
un subgrupo normal dc H,, w n Ho = {e) y H, = G. Una serie nor~nal(o
Qvariante) de G es una sucesion finita Ho, HI,. . .. H, de subgrupos normales
de G tal que H, < H
Ho = { e ) y H, = G.
,,
,,,,
Notese que para grupos abelianos, coinciden 10s mnceptos de serie subnormal y seric normal, pues todo subgrupo es normal. Una xric normal siempre es
subnormal, pero el reciproco no necesariamente es cierto. Definimos serie subnormal antes que serie normal, pues dicho concepto es m b importante para
nuestro trabajo.
Ejemplo 14.1
Ejemplo 14.2 ConsidCrese el grupo D, de sirnetrias del cuadrado en el ejemplo 4.2. Puede wrroborarse con lacifidad quc
es una serie subnormal. Noes una serie normal, pueslo que { p , , p,} cs no normal
en D,. m
m p l o 143 La serie
es un refinarniento de la serie
{0} < 722 < 82 < 2.
Sc ban insertado dos nuetos tkrninos, 4 2 y 242.
,.
14.2
141
EL TEOREMA DE JORDAN-HOLDER
Notese que, para grupos abelianos, coinciden 10s conceptos de series principales y de composicibn. Adcmas, como loda serie normal es subnormal, toda
serie principal es una serie de composicion para cualquier grupo, sea abeliano o
no.
142
SERIES OE GRUWS
H.-,< H . = Z
es una serie subnormal, H , debe scr de la forma rZ pari alguna r E Zi. Pero,
entonces, H, /H, es isomorfo a rZ. el cual es ciclico infinito con varios subgrupos
normaks propios no triviales, por ejemplo, 2rZ. Asi. Z no tiene series de composicion (ni principales).
,.
,,
143
La serie
(e)
<N <G
144
SERIES DE CRUPOS
'14-3
El centro del grupo D, de simetrias del cuadrado en el ejemplo 4.2 es {p,, p,}.
(~Recuerdanque dijimos que este grupo nos daria bellos ejemplos de casi todo lo
que discutieramos?) Como G;(p, p,} es de orden 4 y, por tanto, abeliano, su
centro es todo G/{p,, p,). Asi, la serie central asandentc de D, es
14.1 Dense rlnamienlos isornorlos de las dos scries normales 10) < 602 < 20Z < Z y
(0) < 2452 < 492 < Z dc Z bajo la suma.
14.2 Encuentrense todas las s r k s de composicion dc Z,. y rnuislrese que, en ekcto, son
todas isomorlas.
14.3 Encuentrense todas las series dc composicibn de 2,
x 2,.
t 145
Z,.
Muktrese que si
H,=
a)
b)
c)
- d)
C)
g)
- h)
i)
j)
14.7 Mu6stme quc un grupo abeliam, infinito no pucde tencr scries dc wmposici6n.
[Sugercncio: h s e el ejercicio 14.5 junto w n el hefho de que un p u p abeliano intinito
sicmpre tiene un subgrupo normal propio.]
146 Encubtrcse una vrie de compasici6n de S, x S,. iEs soluble S, x S,?
14.9
14.10
Teoremas
del isomolYSsmo;
demostraci6n del teorema
de Jordan-H6lder
*I
5.1
Existen varios teoremas acerca de grupos factores isomorfos y se les conoce como
reoremas del isomorjismo de la teoria de grupos. El primer0 de ellos es el teorema
13.3 que reenunciaremos aqui para facilitar su referencia. En la figura 15.1 se
ilustra el teorema con un diagrams.
Teorema 15.1 (Primer teorema &f isomorfum)
Sea 4: G + G' un hornomorfimo con kernel K y sea y, :G -P G/K el homomorfimo canonico. Enronces, exisle un'bornorfirno unico $ :G/K -P G4 la1 que x4 = x(y,$) para coda
G.
147
Sea H un subgrupo de G
H / ( H n N).
148
--
149
alternativa, obskrvese que 2 / 6 2 2, y 22/62 corresponden bajo este isomorfrsmo a1 subgrupo ciclico (2) de 2,. Asi, (2/62)/(22/62)
Z6/(2)
z22. 2/22. 8
*I
5.2
EL LEMA DE ZASSENHAUS
(DE LA MARIPOSA)
150
JORDAN-HOLDER
subgrupo normal de H n K. Hemos denotado esta particular relacion de subgrupos normales mediante una linea gruesa en medio de la figura 15.4. Afirmamos
que las otras dos lineas gruesas tambien indican relaciones de subgrupos normales y que 10s tres grupos factores dados por las tres relaciones de subgrupos
normales son isomorfos. Para mostrarlo, definiremos un homomorfismo
4 :H*(H n K ) + ( H n K ) / L , y mostraremos que 4 es sobre ( H n K ) / L con
kernel H* ( H n K*). De aqui se sigue que N*(H n K*) es normal en H*(H n K )
y que H*(H n K)/H*(H n K*) ( H n K ) / L . Por sirnetria, se deduce un resultado analog0 para 10s grupos que se encuentran en la linea gruesa del lado derecho
de la figura 15.4.
Sea 4 :H*(H n K ) -+( H n K ) / L definida como sigue. Para h E H* y x E H n
n K sea (hx)$ = xL. Mostremos que 4 e s t i bien definida y que es un homomorfismo. Sean h,, h2 E H* y .rl, x2 E H n K. Si h,x, = h2x2, entonces h; ' h , =
= X , X ; ' E H* n ( H n K ) = H* n K c L, demodo que x , L = x,L. Asi, 4 esta
bien definida. Como H* es normal en H, existe h, en H* tal que x1h2 = h,x,.
Entonces,
--
Asi, 4 es un homomorfismo.
Es obvio que 4 es sobre ( H n K ) / L . Por bltimo, si h~ H* y x f H n K,
entonces ( H k ) & = xL = L si y d l o si X E L, o si y s610 si h x H*L
~ =
= H*(H* n K ) ( H n K*) = H*(Hr\ K*). Asi, Ker(4) = H*(H n K*).
Hemos probado el lema siguiente:
Sean H y K subgrupos de un grupo G y sean H * y
K* subgrupos normales & H y K respectivamente. Entonces,
Lema 15.2 (Zassenhuus)
*I
5.3
t icnen
151
Demosrraci6n
< Hn
-.. < K,
[I 5. I]
C15.21
Hi = Hi(Hi+, n K o ) 5 H,(Hi+, n K l ) I
Ho, ,1 I H1.0
I H I , , I H1.2 I ... I H1.m-1 I H2.0
I H2,, I H2,2 I . .. I H2,,- 1 I H3.0
5 .*.
I H n - l , l I H n - l , 2 1 - ~ ~ I H n - l , m - l I H n - l , m [I531
=G.
..-I K0.n-1
I K1.o
I K1,i I K1.2 I
I K1.n-1 5 K2.0
I K2,1 I K2,2 I . . I. K2,n-1 I K3.0
'
I K,-,,l
I Km-1.2 5
Ejerclclos
'15.1 Mutstrese que si H y N son subgrupos de G y si N es normal en G , entonces H n N
es normal en H.
--
A1 usar 10s tres teoremas de isontorfismo, a menudo es necesario conocer la correspondeneia real dada por el isomorfisnto y 110solo el lteclto de que 10s grupos son isomorfos. Los
siguientes seis ejercicios les srruiran de ccerttrenamientonpara ello.
'15.5
a) Encuentrese el kernel K de 4.
b) Listense las clases laterales en Z 1 2 / Kmostrando 10s elementos en cada clase lateral.
c) Dese la correspondencia entre Z , , / K y Z, dada por la transformaci6n Ijl descrita en el
teorema 15.1.
Sea 4 , : Z , , -, Z,, el homomorfismodonde 14, = 10.
a) Encuentrese el kernel K de 4.
b) Listense las clases laterales en 2 ,, / K mostrando 10s elementos en cada clase lateral.
*15.6
EJERCICIOS
153
(4) y N = (6).
a) Listense 10s elementos en H N (que podemos escribir H + N para estos grupos aditivos) y en H n N.
b) Listense las clases Igterales en H N / N mostrando 10s elementos en cada clase lateral.
c) Listense las clases laterales en H / ( H n N ) mostrando 10s elementos en cada clase
lateral.
d) Dtse la correspondencia entre H N / N y H / ( H n N ) descrita en la demostracion del
teorema 15.2.
*:5.8
*15.9 En el grupo G
a) Listense las clases laterales en G / H exhibiendo 10s elementos en cada clase lateral.
b) Listense las clases laterales en G/K exhibiendo 10s elementos en cada clase lateral.
c) Listense las clases laterales en H / K exhibiendo 10s elementos en cada clase lateral.
d) Listense las clases laterales en ( G / K ) / ( H / K )exhibiendo 10s elementos en cada clase
lateral.
e) E s e la correspondencia entre G / H y ( G / K ) / ( H / K )descrita en la demostracion del
teorema 15.3.
*1511 Sea G igual a Z,,. Higase rcferencia a la demostracibn del teorema 15.4.
Sea
(0) < ( I 2 ) < (3) < z 3 6
la serie subnormal CIS.11, y sea
la serie subnormal C15.21. Encukntrese las cadenas C15.31 y [15.4] y exhibanse 10s grupos
factores isomorfos como se describieron en la demostracibn. Escribanse las cadenas C15.31
y 115.41 en el arreglo rectangular mostrado en el texto.
*IS12 Repitase el ejercicio 15.1 1 para el grupo Z,, con la serie subnormal [15.1]
con H = K n Hi y N = H i - , , y que H i - , ( K n H i )
Hi.]
154
*15.14 Sea Ho = { e } < H I < -.. < H, = G una serie de composicion del grupo G. Sea
N un subgrupo normal de G y sup6ngase que N es un grupo simple. Muestrese que 10s
distintos grupos entre Ho, HiN para i = 0,..., n tambiCn forman una sene de composici6n para G. [Sugerencia: por el lema 15.1, HiN es un grupo. Muestrese que Hi-, N es
normal en HiN. Por el teorema 15.2,
11.
definida por
Proctdase via el teorema 15.2 como se mostr6 en la sugerencia del ejercicio 15.14.1
Acci6n
de un grupo
en un conJunto
Ya son familiares las funciones y 10s productos cartesianos, asi que podemos
adoptzr un punto de vista mhs sofisticado del concept0 de operacion binaria en
un conjunto S que aquel que adoptamos en el capitulo 1. Una operaci6n binaria
en S es una funcion que transforma S x S en S. Si denotamos la funcion por *, es
mas convencional expresar (s,, s2)* = s, como s, s2 = s,. La funcion * da una
regla para ccmultiplicar))cualquier elemento de S por un elemento de S para
producir un elemento de S.
En general para cualesquiera conjuntos A, B y C podemos considerar la
transformacion * : A x B + C como definicibn de una ccmultiplicacionn donde
cada elemento a de A por cualquier elemento b de B tiene como valor algun
elemento c de C. Escribimos, por supuesto, a * b = c o simplemente, ab = c. En
este capitulo hablaremos del caso en que X es un conjunto, G un grupo y tenemos
una transformacibn * :X x G +. X. Escribiremos (x, g)* como x * g o xg.
Definicin Sea X un conjunto y G un grupo. Una accibn & G m X es una
transformacion * :X x G + X tal que:
Grupos libres
En este y el siguiente capitulo analizaremos una parte de la teoria de grupos que
es de gran interks, no solo en algebra, sino tambikn en topologia. De hecho, en
son palabras. rn
Hay dos tipos naturales de modificaciona de ciertas palabras: las contracciones
elementales El primer0 consiste en reemplaer fig en una palabra, por @+". El
segundo tip0 consiste en reemplazar a: en una palabra por 1, esto es, quitarla de
la palabra. Mediante un nCmero finito de contracciones elementales, toda palabra se puede cambiar por una pahbra reducida, para la cual no es posible
191
efectuar mis contracciones elemcntales. Notese que estas contracciones elementales equivalen formalmente a las manipulaciones usuales de exponentes enteros.
Ejemplo 21.2
(i$j3(j[
'.
21.2
GRUWS LIBRES
Sea. F[A] el conjunto de todas las palabras reducidas formadas con nuestro
alfabeto A. Sea F[AJ un grupo de manera natural. Para ,I-, y nv2 en F[AJ
definimos IV, . II., como la forma reducida de la palabra obtenida por la yuxtaposicibn avlw, de las dos palabras.
Ejemplo 213
entonces, u.,
Si
M.,
= a:a; 3a3a;'. m
((Paremria obvio que)) esta operation de multiplication en F[AJ esta bien definida y es asociativa. Es obvio que la palabra vacia 1 actua como elemento identidad. ((Pareceria obvio que)), dada una palabra reducida W E FCA], si se forma la
palabra a partir de la primera, escribiendo primero las silabas de n, en el orden
opuesto y despues reemplazando cada 4 por OF", entonces, la palabra resultante
w - ' es tambikn una palabra reducida y
192
GRUPOS LIBRES
Ejernplo 21.4 El unico ejemplo de grupo libre que se ha presentado hasta ahora
es Z, el cual es libre en un generador. Claramente, todo grupo libre es infinite. rn
El lector debera referirse a la literatura respectiva, para las demostraciones de 10s
siguientes tres teoremas. No se usaran estos resultados. Se enuncian s610 para
informar de estos interesantes hechos.
Teorema 21.2 Dos grupos libres son isornorfos si y solo si tienen el mismo
rango.
Teorema 21.3
193
4. Ahora,
para algGn producto finito de 10s generadores a , donde las a,, que aparecen en el
producto, no necesariamente son distintas. Entonces, como 4 es un homomorfismo, debemos tener
Asi, un homomorfismo est6 determinado por completo por sus valores en elementos de un conjunto generador. Esto muestra que hay a lo mas un homomorfismo tal que ai4 = 4.
Ahora, supongase que G es libre en (a,), esto es, que G = F[(ai)].Para
en G, definase $:G
-+
G' por
194
GRUPOS LlBRES
c~lc~r~icriio
(1.
Dc~~rro.siroc~icirr
Sea G' = !(I:) y sea fai} un conjunto con el mismo numero de
clcmcntos que G'. Sea G = F [ ( u i J ] .Entonces, por el teorema 21.4, existe un
homomorfismo II/ quc transforma G en G' tal que a,$ = a:. Claramente, la
imagen de G bajo I// es todo G'.
'21 -4
'
bl
(12(1- 3
h-3 (1 4(
c.'tr
'
21.2 Calculense 10s productos dados en las partes a) y b) del ejercicio 21.1 en el caso de
que {u, b, c ) sea un conjunto de generadores que conforrnan una base de un grupo
abeliano libre. Encutntrense 10s inversos de estos productos.
21.3 iCuantos hornornorfisrnos diferentes hay de un grupo libre de rango 2 en
a) Z,?
b) Z,?
~Cuantoshornornorlisrnos diferentes hay de un grupo libre de rango 2 sobre
21.4
a) Z,?
b) Z,?
c) S3?
a) Z,?
b) Z,?
c) S,?
'21.6
sobre
b) Z,?
a) Z,?
c) S,?
Tbrnese uno de 10s ejernplos de esta seccion donde se haya usado la frase ((Parecia
obvio quen y analicese la reaccion que se tuvo con respecto a ese ejernplo.
"21.7
LFalso o verdadero?
*21.8
'21.9
{ b , ,. . ., b,) genera G y
z=,
mibi = 0 si y
a) Mubtrese que (2, 3) no es una base para Z,. Encutntrese una base para Z,.
b) Mutktrese que tanto (1) corno (2, 3) son bases para Z,. (Esto rnuestra que puede
variar el nurnero de elernentos en una base, para un grupo abeliano G finitamente
generado con torsion; esto es, no por fuerza es un invariante del grupo G.)
c) i,Es una base de un grupo abeiiano libre, segun se definio en el capitulo 20, una base
en el sentido en que se u d en este ejercicio?
d) Mubtrese que todo grupo abeliano finito tiene una base { b , , . . ., b,), donde el orden
de hi divide al orden de hi+ ,. Puede usarse cualquier teorerna del libro, aunque no se
haya demostrado.
Hoy d;u, c8n /us c.rposic.ioncs dP blgebra, se usa con frecuencia (en particular por 10s
di.vcipulos de N. Bourbuki) b siguienie tEcnicu para introducir un nuevo ente algebraico:
I
quo poseera
PSP
cntc algibruico.
Prubbense que cualesquiera dos etnres algebraicos con estas propiedades son isonlorfos,
esto es, que estas propiedades caracreriian a/ ente.
MuPstrese que exisre a1 menos uno de dichos entes.
Los tres ejercicios siguienres ilustran esra tkcnica para tres entes algebraicos, 10s cuates son
conocidos por el estudiante. Para no descubrir sus identidades, usamos nombres jicricios en
10s dos primeros ejercicios. La riltin~aparte de esros dos pritneros ejercicios pide dar el
nonrbre comlin de/ ente en cuesrion.
21.10 Sea G un grupo cualquiera. Un grupo abeliano G* es un grupo blip de G si existe
un hornomorfismo fijo 4 de G sobre G* tal que cada homornorfisrno 1(1 de G en un grupo
abeliano G' se puede factorizar como $ = 46 donde 0 es un homomorfismo de G* en G'
(vease la Fig. 2 1.1).
a) MuCstrese que cualesquiera dos grupos blip de G son isomorfos. [Sugerencia: Sean
G: y Gf dos grupos blip de G. Entonces, cada uno de 10s homomorfismos fijos
4 , : G -, G: y 4,:G -, G: pueden factorizarse via otro grupo blip, de acuerdo con
la definition de un grupo blip; esto a,4 , = 4,6, y 4, = c$,O,. MuCstrese que 0 ,
es un isornortismo de G,* sobre G:. Apliquese el ejercicio 13.16.1
b) Mubtrese que para todo grupo G existe un grupo blip G* de G.
c) iCull de 10s conceptos presentados antes corresponden a la idea de un grupo blip
de G?
*21.11 Sea S un conjunto cualquiera. Un grupo G junto con una funcion fija g:S -, G
constituye un grupo Mop en S si para cada grupo G' y transforrnacionf:S -+ G' existe un
homomortismo unico 4, de G en G' tal que f = gq5, ( v k la Fig. 21.2).
a) Sea S un conjunto fijo. Muestrese que si G,, junto con g,:S -. G I y G,, junto con
g,:S -, G, son grupos blop en S, entonces G I y G, son isomorfos. [Sugerencia:
mutstrese que g , y g, son transformaciones uno a uno y que Sg, y Sg, generan a G I y
a G,, respectivamente. P r k d a s e , despues, de manera analoga a la sugerencia del
ejercicio 2 1.10.1
b) Sea S un conjunto. MuCstrese que existe un grupo blop en S. Puede usarse cualquier
teorema del libro.
c) iCuil de 10s conceptos presentados antes corresponde a esta idea de grupo blop en S?
+21.12 Caractericese, rnediante propiedades, un grupo abeliano libre, de manera similar
al ejercicio 21.1 1.
Presentaciones
de grupos
198
PRESENTACIONES DE GRUPOS
donde las r i j no por fuerza son distintas, tendra que ser igual a 1 en el nuevo
grupo. Es muy facil corroborar que el conjunto de todos estos productos finitos
es un subgrupo normal R de F [ A ] . Asi, cualquier grupo que se parezca lo m h
posi'vle a F [ A ] , sujeto a las condiciones ri = 1, tendra tambien r = 1 para toda
r E R. Pero F [ A ] / R se parece a F [ A ] (recuerdese que multiplicamos clases laterales, escogiendo representantes) except0 en que R ha colapsado y formado la
identidad 1. Asi, el grupo que buscarnos es (a1 menos isomorfo a) F [ A ] / R .
Podemos ver este grupo como el descrito por el conjunto generador A y el
conjunto ( r i ) .
R
a1
para denotar la presentaci6n de grupo. Podemos referirnos a F [ { X ~ ) ] /como
grupo con presentacibn (.% :ri).
"22.2
PRESENTACIONES ISOMORFAS
Ejemplo 22.2
{ r , } = (a6},
199
Mostremos que
(x, y :.y2x = y , yxZy = x )
200
PRESENTACIONES DE CRUPOS
J.
= 1. Al sustituir esto en
y x = 1 obtenemos x = 1.
Ambas tecnicas implican igual trabajo pero, de alguna manera, nos parece
mas natural a muchos de nosotros, trabajar con relaciones. m
'(a, h : a 5 = 1 , h2
1, ha
a2b)
para
(a, b : a5 = 1, b'
1, ha = a3b)
muestra de nuevo que a = a4, asi que tambitn produce un grupo isomorfo a Z2.
Queda solamente
(a, h : a 5 = 1, b2 = 1, ba = a4b)
como candidato para grupo no abeliano de orden 10. En este caso, puede
mostrarse que todos los elementos de S son distintos, asi que esta presentacion si
da un grupo G no abeliano de orden 10.~ C O podemos
~ O
mostrar que todos 10s
elementos en S representan distintos elementos de G? La manera facil es observar
que ya sabemos que hay a1 menos un grupo no abeliano de orden 10, el grupo
ditdrico D,. Como G es el candidato que qukda, debe cumplirse que G 2. D,.
Otra manera es la siguiente: tratemos de convertir S en un grupo def;niendo
( d b ' ) ( d b ucomo
)
db' donde x es el residuo de s + 44') cuando se divide entre 5
y y es el residuo de t + v cuando se divide entre 2, en el sentido del lema 6.1. En
otras palabras, usamos la relaci6n ha = a4b como guia para definir el product0
( d b l ) ( d b " de
) dos elementos de S. Es facil ver que aObOactha como identidad y
que dado d b u podemos determinar t y s sucesivamente haciendo
t
- v (mod 2)
1 (mod 5).
202
PRESENTACIONES DE CRUPOS
22 f 1 (mod 5)
(a, b : a5 = 1, b2 = 1 , ba = a2h)
all
= a3,
*2L1 D& una presentacion de Z4 con un generador; con dos generadores; con tres
generadores.
*222
'223
(a, b : a 4 = 1, b2 = 1 , ba = a3b)
En arnbos casos, escribanse 10s elernentos en el orden 1, a, a2, a', b, ab, a2b, a3b. (N6tese
que no es necesario calcular ~odos10s productos. Ya se sabe que estas presentaciones dan
grupos de orden 8 y apenas se calculen suficientes productos, el resto estin fonados de
rnanera que en cada rcngl6n y en cada columna de la tabla aparezca cada elernento
exactamente una vez.)
204
*22.4
PRESENTACIONES DE GRUPOS
iFalso o verdadero?
C)
--
* 2 2 5 Mubtrese que
(a, b:a3 = 1, b2 = 1, ba = a2b)
da un grupo de orden 6. Prdbese que no es abeliano.
*22.7
Sea
esto es, S consta de todos 10s productos formales dg comenzando con aObOy terminando
con a"- ' b " - ' . Sea r un entero positivo, definase la multiplicacibn en S por
+ v a1 dividirlo
a) Mukstrese que una wndicion necesaria y suficiente para que valga la ley asociativa en
S y sea grupo bajo esta multiplicacibn, es que $ = 1 (mod m).
b) Deduzcase de la parte a) que la presentacibn de grupo(a, b:d" = 1, b" = 1, ba = d b )
da un grupo de orden mn,si y so10 si #'
1 (mod m).
*228 Determinense, salvo isomorfismo, todos 10s grupos de orden 14. [Sugerencia:
sigase el esbozo del ejemplo 22.4 y usese el ejercicio 22.7, parte b).]
*229 Determinense, salvo isomorfismo, todos 10s grupos de orden 21. [Sugerencia:
sigase el esbozo del ejemplo 22.4 y usese el ejercicio 22.7 parte b). Puede parecer que hay
dos presentaciones que dan grupos no abelianos. Mubtrese que son isomorfos.]
*22.10 Muestrese que si n = pq con p y q primos, q > p y q = I (mod p), entonces hay
exactamente un (salvo isomorfismo) grupo no abeliano de orden n. Supongase (como se
probara mas adelante) que 10s q - 1 elementos distintos de cero de Z, forman un grupo
ciclico Z: bajo la multiplicacion modulo q. [S~gerencia:las soluciones de .xp r I (mod q)
forman un subgrupo ciclico de Z: con elementos 1, r, r2, . . ., rp-'. En el grupo con
presentacion (a, b : aq = I, b"
1, ba = d b ) tenemos hub- = d de modo que Pub-' =
= d").Asi, como & genera ( b ) para j = 1. . . ., p - I, esta presentacion es isomorfa a
'
= a'")(&)),
*22.12
PARTE
ANILLOS
Y CAMPOS
Hasta aqui, hemos trabajado con con;?mtos en 10s cuales se ha definido una sola
operacibn binaria. Los ejemplos conocidos de conjuntos de numeros muestran
que debe ser muy importante el estudio de conjuntos, en 10s que se hayan
definido dos operaciones binarias. El sistema mas general de este tipo que estudiaremos aqui, es el de anillo.
Ejemplo 23.1 Hay que estar conscientes de que 10s axiomas W,, W, y W, para
un anillo, se cumplen en cualquier subconjunto de numeros complejos que sea
grupo bajo la suma y sea cerrado bajo la multiplicacion. Por ejemplo, (Z, +, .),
(Q, +, .), (R,
y (C, +, .) son anillos. rn
+,
a )
209
sin parentesis en el lado derecho de la ecuacion. Ademk, debido a una convencion semejante a nuestra notacion en teoria de grupos, nos referiremos, de
manera algo incorrecta, a un anillo R, en lugar de a un anillo (R, +, .) siempre
que no haya confusion. En particular, de ahora en adelante, Z sera (Z, +, .) y
Q, R y C seran, tambiin, 10s anillos obvios. Si es necesario, nos referiremos a
<R, + ) como el grupo aditivo del anillo R.
+,
con n sumandos. Esta suma sera denotada por n - a. Sin embargo, n - a no debe
interpretarse como rnultiplicacibn & n por a en el anillo, pues el entero n puede no
estar en el anillo. Si n < 0, sea
+ 0)a = Oa + Oa
211
Ejemplo 233 Como 10s grupos abelianos, (2. +) y (22, +) son isomorfos
bajo la transformacibn 4: 2 -r 22 con .rcj = 2.r para .r E 2 . Notese que 2 2 s
cerrado bajo la multiplicacibn usual y que (22, +, .) es un anillo. Aqui, 4 no es
un isomofismo de anillo, pues (s!*)4 =
mientras que (.u4)(y4) = 2.~2~9
=
= 4.y.
2 . ~ ~ 7
23.2
+,
a).
Todos 10s anillos que hemos visto hasta ahora tienen una multiplicacibn que es
conmutativa. Muchos de ellos, como Z,Q y R tienen, ademas, identidad multiplicativa I. Sin embargo, 2 2 no tiene elemento identidad para la multiplicacibn.
Hay muchos anillos en 10s cuales la multiplicacibn no es conmutativa. El estudiante que conozca un poco de teoria de matrices, vera que las matrices n x n
cuyos registros son elementos de 2 (o Q, R o C) forman un anillo bajo la suma y
multiplicacibn de matrices, donde la multiplicacibn no es conmutativa si n 2 2.
Estos anillos de matrices si tienen un elemento identidad para la multiplicacibn.
Los trataremos con mayor detalle en el capitulo 25.
Es evidente que (0).con 0 + 0 = 0 y (0)(0)= 0 da un anillo. Aqui, 0 actua
como identidad multiplicativa y como identidad aditiva. Por el teorema 23.1, iste
es el unico caso en que 0 puede actuar como identidad multiplicativa, pues si
Oa = a podemos deducir que a = 0. Cada vez que hablemos de una identidad
multiplicativa en un anillo, excluiremos este caso trivial, esto es, cuando hablemos de una identidad multiplicativa, supondremos que es distinta de cero.
1
Definiciin Un anillo en donde la multiplicacibn es conmutativa es un anillo
eonmutativo. Un anillo R con identidad multiplicativa 1 tal que lx = xl = x
para todas las .r E R es un millo eon unitorio. Una identidad multiplicativa
en un anillo es un elemento unitario.
Teorema 23.2 Si R es un anillo con unitario, entonces este elemento unitario
I es la linica identidad multiplicatiua.
Demostracion Procedemos exactamente como lo hicimos para grupos. Sean 1 y
I' identidades multiplicativas en un anillo R y dejemos que cornpitan. Considerando el I como identidad tenemos
Asi. 1 = 1'. a
Digase para cuales de 10s siguientes conjuntos las operaciones indicadas de suma y
rnultiplicacion estan definidas (el conjunto es cerrado) y dan estructura de anillo. Si el
anillo no se lorma, expliquese por que.
a) nZ con la suma y rnultiplicacion usuales
b) Z' con la suma y rnultiplicacion usuales
c) Z x Z con la surna y multiplicaci6n por componentes
d) 22 x Z con la suma y rnultiplicacion por componentes
e) {a b f i ( a, b E Z J con la surna y rnultiplicacion usuales
f) { a + b f i ( a, b E Q ] con la surna y multiplicaci6n usuales
g) El conjunto de todos 10s nurneros cornplejos irnaginarios puros ri para r E R con la
surna y rnultiplicacion usuales
23.1
23.2 En cada parte del ejercicio 23A en que se forrne un anillo, digase si el anillo es
conmutativo, si tiene unitario y si es un campo.
23.3 Describanse todas las unidades de cada uno de 10s siguientes anillos.
a) Z
b) Z x Z
c) z,
d) Q
e) Z x Q x Z
f) 24
Mutstrese que si U es la c o l ~ o de
n todas las unidades en un anillo ( R , +, .) con
unitario, entonces (U, -) es grupo. [Advertencia: asegurese quc U es cerrado bajo la
rnul tiplicacion.]
'23.4
+, .) es un anillo si definimos
23.8 Muestrese que 10s anillos 2 2 y 3 2 no son isornorfos. Mubtrese que 10s carnpos R y
C no son isornorfos.
23.10 Dkse un ejemplo de un anillo unitario 1 que tenga un subanillo unitario I' # 1.
R. Mubtrese que
23.21 (Para estudiantes que tengan algGn conocimiento sobre las leyes de la teoria de
conjuntos.) Para un conjunto S sea 9(S) la colecci6n de todos 10s subconjuntos de S.
Definanse las operaciones binarias + y . en 9(S)
por
A + B = ( A u B ) - ( A n B ) = { x l x ~ A o x ~ pBe ,r o x $ ( A n B ) )
Y
A-B= A n B
para A, B E
tiene cuatro
a) Dense las tablas para + y - en 9(S) donde S = {o,b). [Sugerencia:
elementos.]
+, .) es un anillo booleano (vtase el
b) Mubtrese que para cualquic.r conjunto S,
ejercicio 23.20).
Dominios
enteros
En esta seccion, para motivar su ktudio, usaremos polinomios de manera intuitiva. Sera hasta el capitlllo 30 cuando se traten con detalle.
Una de las propiedades algebraicas m h importantes de nuestro sistema numkrico usual es que el producto de dos numeros puede ser 0 so10 si a1 menos uno de
10s dos factores es cero. Se suele usar con frecuencia este hecho, incluso de
manera inconsciente. Supongase, por ejemplo, que se pide resolver la ecuacion
Despub se concluye que 10s unicos valores posibles para x son 2 y 3. ~ P o quC?
r
Porque si x se reemplaza por cualquier numero a, el producto (a - 2)(a - 3) de.
10s numeros resultantes es 0, si y so10 si a - 2 = 0 o a - 3 = 0.
6 = 0 en Z,,. Ahora,
Ejemplo 24.1 Resolvamos la ecuacibn x2 - 5x
xZ - 5x
6 = (x - 2)(x - 3) sigue siendo vilido si consideramos x wmo un
numero en Z,,. Pero en Z,, no d l o Oa = aO = 0 para todas las a~ Z,,, sino
adem&
216
DOMlNlOS ENTEROS
Asi, nuestra ecuacion no tiene solo las soluciones 2 y 3, sino tambien 6 y 11 pues
(6 - 2)(6 - 3j = (4)(3) = O y ( l 1 - 2)(11 - 3) = (9)(8) = Oen Z,,. 8
Estas ideas son tan importantes que las formalizaremos en una definition.
217
Todo car?ipo F es
lit1
dominio etitero.
218
DOMlNlOS EMEROS
Pero entonces,
()
0 = - (ab) = [(:)a]b=lb=b.
Hasta ahora, 10s unicos camps que sc han v~stoson Q, R y C. El corolario del
siguiente teorema nos d a d algunos campos de orden finito.
Teorema 24.4 Todo dominio enrero Jnito es un campo.
Demostracibn Sean
. . ., aa,.
Afirmamos que todos estos elements de D son distintos, pues aa, = aq implica
qut a, = a$ por las leyes de cancelacibn que valen en un dominio entero.
Ademis, como D no tiene divisores de 0, ninguno de estos elementos es 0.
Contando, tenemos que al, aa,, . . .,oa, son 10s elementos 1, a,, . . ., a, en algun
orden, de manera que a1 = 1, esto es, a = 1, o bien aa, = 1 para alguna i. Asi, a
.
tiene inverso multiplicative. rn
Coro&uio Si p es primo, entonccs Zpes un campo.
Sea R cualquier anillo. Podemos preguntar si existe algun entero psitivo n tal
q u e n - a = Oparatodas l a s a ~
R,donden.asignificaa + a +
+ aparan
sumandos, tal como se explicb en la seccion 23.1. Por ejemplo, el entero m tiene
esta propiedad para el anillo Z,.
. - a
24.4
TEOREMA DE FERMAT
219
24.4
TEOREMA DE FERMAT
Concluimos esta secci6n con algunas elegantes aplicaciones a la teoria de nCmeros. Es facil ver que para cualquier campo, 10s elementos distintos de cero forman
grupo hajo la multiplicacicin de campo. En particular, para Z p 10s elementos
'
Corolrvio Si a
Z; entonces d
220
DOMlNlOS ENTEROS
Demostracibn Si a f 0 (mod p), la demostracion del corolario resulta del teorema 24.6. Si a = 0 (modp) entonces, ambos lados se reducen a 0 modulo p.
Este corolario sera de gran importancia mas adelante cuando se estudien 10s
campos finitos.
Ejernplo 243 Calculemos el residuo de 813 a1 dividirlo entre 13. Usando el
teorema de Fermat, tenemos
"24.5
GENERALIZACION DE EULER
Notese que la unica propiedad de 2, usada en este ultimo teorema, ademis del
hecho de que era un anillo con unitano, fue que era finito. En 10s teoremas 24.4 y
24.7 hemos empleado (esencialmenteen la misma construccibn) un argument0 de
conteo. Los argunrenros de conteo son, a menudo, sencillos, per0 esfan enfre las
herramientas mas poderosas de todas /as matematicas.
Definamos ~ ( ncomo
)
el numero de enteros positivos menores o iguales a n y
primos relativos con n. Por ejemplo, si n = 12 10s enteros positivos menores o
) 4. Por el
iguales a 12 y primos relativos con 12, son 1, 5, 7 y 1 1 , asi, ~ ( 1 2 =
) el numero de elementos de 2, que no son divisores de 0.
teorema 24.1, ~ ( n es
Esta funcion Q:Z+ -, Z + es la fuocidn fi de Euler. Podemos describir, ahora, la
generalizacihn de Euler del teorema de Fermat.
Teorema 24.8 (filer) Si a es un enlero primo relativo con n, enronces
ad") - 1 es diobible entre n, esro es, &) E 1 (mod n).
y se deduce el teorema.
1 (mod n),
222
OOMlNlOS ENTEROS
b) De la parte a), deduzcase la mitad del feoreniu dl> Wilson que afirma que sip es primo,
entonces (I, - I)! = - I (mod p). (La otra mitad afirma que si (n - I ) E - I (mod n),
entonces, n es primo.)
+ 2x + 2
= 0 en Z,; de .la
a)
b)
c)
d)
24.14
24.15
n3'
Usese el teorema de Fermat para mostrar que para cualquier entero positivo n.
= (37)(19)(13)(7)(3)(2).]
24.16 Este ejercicio muestra que todo anillo R puede agrandarse (si es necesario) a un
anillo S con unitario, con la misrna caracteristica que R. Sea S = R x 2, si R tiene
caracteristica 0, y R x Z , si R tiene caracteristica n. Sea la suma en S, la suma usual-por
componentes y sea la rnultiplicacion definida por
30:
ejemplos
no conmutativos
Debido a la amplitud del tema no profundizaremos sobre 10s anillos no conmutativos y semicampos, asi es que como podran imaginarse, de manera natural, surge
gran cantidad de anillos no conmutativos importantes en algebra; en este capitulo solo daremos algunos ejemplos de ellos.
25.1
donde todas las aij estan en F. El primer subindice i de aij indica el renglbn donde
esd aij en el arreglo cuadrado y el segundo subindicej indica la columna. Asi, a,,
es el elemento de F situado en el primer renglbn y segunda columna del arreglo
cuadrado. Dicho arreglo cuadrado es una matriz de 2 x 2 sobre F. El conjunto
M,(F) de todas las matrices de n x n sobre F se define de manera analoga.
Definimos la surna de matrices en M,(F) por
225
y con
donde
Para mostrar que (M,,(F), +, . ) es un anillo, falta probar las leyes asociativa y
distributiva. Lo ilustramos con la ley asociativa para la multiplicacion de matrices en M,,(F). Usando las propiedades de campo de F y la definicion de multipli-
226
mientras que
227
es el
Como
*-
aO=e
228
-4
definida por
+, -
Como I3 es un homomorfismo,
Asi, (4 + $)0 = (60 + $0. La ley distributiva izquierda no causa dificultad, aun
en AA y resulta de
De nuevo, para mostrar las aplicaciones que puede tener este capitulo,
debemos dar un ejemplo para mostrar que Hom(A) no es por fuerza conmutativo.
Parece razonable esperarlo, pues la composicion de funciones, en general, no es
229
Definir J, por
(0, 01,
mientras que
(n, m)($Q)= (0, m)4 = (m, 0).
De aqui que 4J, # $ 4 .
230
de mod0 que
(a,
a,
*25.3
Es claro que (ai + bi) 0 excepto por un numero finito de indices i, de modo que
zi.
(a, + bi)giesta de nuevo en R(G). Es inmediato que <R(G), + es un grupo
abeliano w n identidad aditiva Xi,, Og,
=
z,#,=,,
231
+, . )
c.s
Xi,
Tabla 25.2
232
( l e + la)(le + la) = ( 1
+ a,i + a j + a,k.
Asi,
(a,
la=al=a
'
-2
-J
a$,
para
.2 = k 2 =
-1
25.4
CUATERNIONES
233
Notese la analogia con 10s llamados productos cruz de vectores. Estas formulas
son faciles de recordar si se piensa en la sucesion
(a,
+ a4k)(al - a2i - a j
a4k) = a:
+ at + a: + a:.
Si hacemos
vemos que
234
1
Demostracibn Consultar la literatura para la demostracion del teorema de Wedderburn.
en Mz(Q).
*=.2
Mubtrese que
a) (2e + 3a
b) (2e 30
c) (3e 3a
para
ui E R.
a) (i + 3j)(4 + 2j - k )
b) izj31ijis
c)
(;+./)-I
d) [(I
+ 3i)(4j+ 3k)]-
*25.9 Mubtrese que M,(F) tiene al menos seis unidades para todo c a m p F. Exhibanse
estas unidades. [Sugerencia: F tiene a1 menos dos elementos, 0 y 1.1
*2111
236
*25.16
Po 2.1
*25.17 Pruebese la ley asociativa para la multiplicacion en 2. (Esto deberia quitarles las
ganas de verificar cualquier otro de 10s axiomas de semicampo para 1.)
*25.18 Encuentrese el centro del grupo (4*, . ) donde 1*es el conjunto de 10s cuaterniones distintos de cero.
El campo de
cocientes de un
26.1
LA CONSTRUCCION
Los pasos 1.2 y 4 son muy interesantes, el paso 3 es rnuy aburrido. Procedernos a
la construccion.
PAS0 I
Se asume quc u n par ordenado (N. h) represents un cocier~teforraal alh. esto es, si
D = Z el piir (2, 3 ) representar& linalmente. 3. El par (2, 0) no representara
ekmento alguno de Q y. tambitn en el caso general, reduciremos un poco D x D .
Sea S el subconjunto de D x D dado por
Ahora, S no seri nuestro campo todavia. debido a que con D = Z, pares dlyeren1e.s de enteros. corno (2. 3) y (4. 6) pueden representar a1 r:iismo numero racional.
A continuacion delinirernos culindo dos elementos de S representan a1 mismo
elemento de F o. corno diremos. cuando dos elernentos en S son equioalentes.
Definici6n Dos elementos ((1, h) y (c, d) en S son equivalentes y lo denota((1. h)
(c. tl). si y &lo si ad = hc.
rnos por
Obskrvese que esta definicion es razonable. puesto que el criterio para que
(c. d). es una ecuacion trd = hc que involucra elementos de D y la multiplicacion conocida en D . Notese tarnbien, que para D = Z el criterio da la
delinicion usual de igircrllnti. por ejemplo. f = 3 porque (2)(6)= (3)(4).El nurnero
racional que usualmente denotamos por 3 puede considerarse la coleccion de
rcwlos 10s cocientes de enteros que sc reducen a. o son equivalentes a f .
((1.
h)
conmutativa.
((I.
h)
(11.
26.1 LA CONSTRUCCION
239
Vale la pcna comparar la dcmostracion anterior con la del ejemplo 0.1. Los pasos
son idcnticos.
Sabcmos ahora, en vista del teoremd 0.1, que
da una pal-ticion de S en
clascs dc equivalcncia. Para evilar colocar
-lineas largas sobre expresiones extensas, escribiremos [(a, b)] en lugar de (a, b) para la clasc de equivalencia de (a, 6)
en S bajo la relacion -. Terminamos el paso 1 definiendo F como el conjunto
de todas las clases de equivalencia [(a, b)] para (a, 6) E S.
PAS0 2 El siguiente lema sine para definir suma y multiplicaci6n en F. Deberia corroborarse que si D = Z y [(a, b)] se considera como ( a / b ) ~ Q estas
,
definiciones aplicadas a Q dan las operaciones usuales.
Lema 26.2
en F, las ecuaciones
Multiplicand0 la primera ecuacion por d,d y la segunda por b,b y sumando las
ecuaciones resultantes, obtenemos la siguiente ecuacion en D:
de mod0 que
con lo cual, (a,d, + b,c,, b,d{),~[(ad + bc, hd)]. Esto por lo que se refiere a la
suma en F. Para la multiplication en E; a1 multiplicar las ecuaciones a,b = b,a y
cld = dlc, obtenemos
241
26.1 LA CONSTRUCCION
La suma en F es conmutativa.
Demostracion Ahora, por definicion, [(a,b)] + [(c, d)] es [(ad bc, bd)j. Ademas, [(c,d ) ] + [(a, b)] es, por definicion, [(cb + da, db)]. Necesitamos mostrar
que (ad + bc, hd) (cb + da, db). Esto es claro, pues ad bc = cb da y
hd = db, por 10s axiomas de D. m
2 La suma es asociativa.
3 [(0, I ) ] es una identidad para la suma en F.
4 [(-a, b)] es un inverso ditivo para [(a, b)] en F.
5 La multiplicaci6n en F es asociativa.
6 La multiplicacion en F es conmutativa.
7 Las leyes distributivas valen en F.
8 [(I, I ) ] es una identidad multiplicativa en F.
9 Si [(a, b)]E F no es la identidad aditiva, entonces a # 0 en D y [(b, a)] es
un inverso multiplicativo para [(a,b)].
Demostracibn
de mod0 que
esto es, [(a,b)] = [(0, I ) ] . Pero, por la parte 3, [(0, l ) ] es la identidad aditiva. Asi,
si [(a,b)] no es la identidad aditiva en F, tenemos a # 0, de manera que tiene
sentido hablar de [(b, a)] en F. Ahora [(a, b)] [(b, a)] = [(ab, ba)]. Pero en D,
tenemos que ab = ba o (ab)l = (ba)l,de mod0 que
(ab, ba)
( 1 , 1).
Asi,
mientras que
Dmiostracion
Hgura 26.1
Un elemento de F es de la forma a/,b donde denota el cociente de a E D
por h E D considerados como elementos de F. Claramente, deseamos transformar
a/,b sobre a/,b donde ,/ denota el cociente dz elementos en L. Esto es tan trivial,
que se podria pensar que hay trampa a1 definir la transformacion $, pero lo
haremos de cualquier manera.
Debemcs definir $ :F -+ L, comenzamos definiendo
4=a
para
a E D.
(bc)$ = (b$)(c$).
Asi,
(a$)/L(b$) = (c$)/L(~JI)
(xYM
Y
(X
= (x$)Cv$)
+ .I.)=$.Y$ + y*
244
de mod0 que
(a*)(d*) = (h*)(c*).
Como II/ es la identidad en D , concluimos que ad = hc, por tantc, alFb = clFd.
Asi, II/ es uno a uno.
Por definicion, a$ = a para a E D . w
Corolario Todo cumpo L que conriene a un dominio entero D , contiene a1
campo de cocientes de D .
Demostrucidn En la demostracion del teorema 26.2, todo elemento del subcampo F+ de L es un cociente en L de elementos de D.
Corolario Cualesquiera dos campos de cocientes de un dominio entero D son
isomorfos.
Demoslracion En el teorema 26.2, supbngase que L es un campo de cocientes de
D , de mod0 que todo elemento x de L puede expresarse en la forma alLb para
a, h E D. Entonces, L es el campo F$ de la demostracion del teorema 26.2 y es,
asi, isomorfo a F. w
26.1
+ miin, ~
E Z }
26.2 Describase (en el sentido del ejercicio 26.1) el c a m p F de cocientes del subdominio
) R.
entero D = { n + m f i ~ n ,~ E Z de
Muestrese, mediante un ejemplo, que un campo F de cocientes de un subdominio
propio D' de un dominio entero D tambien puede ser c a m p de cociente de D.
26.3
fM.4 Pruebese la parte 7 del paso 3. Puede suponerse cualquier parte anterior a1 paso 3.
24.5
~Falsoo verdadero?
- a) Q es un campo de cocientes de 2 .
- b) R es un campo de cocientes de 2 .
- c) R es un campo de cocientes de R.
- d) C es un campo de cocientes de R.
Pruekse la parte 2 de: paso 3. Puede suponerse cualquier parte anterior al paso 3.
26.7
Pruebese la parte 3 del paso 3. Puede suponerse cualquier parte anterior al paso 3.
268 PruCbese la parte 4 del paso 3. Puede suponerse cualquier parte anterior al paso 3.
26.9
PruCbese la parte 5 del paso 3. Puede suponerse cualquier parte anterior al paso 3.
26.10 Pruebese la parte 6 del paso 3. Puede suponerse cualquier parte anterior al paso 3.
26.11 Sea R un anillo wnmutativo y T # {0) un subconjunto no vacio de R cerrado
bajo la multiplicacibn, sin divisores de 0. Comenzando con R x T y siguiendo exactamente la construcci6n dada en este capitulo, podemos mostrar que se puede agrandar el
anillo R hasta un anillo parcial de cocientes Q(R,T). Piensese en ello durante aproximadamente quince minutos; vuklvase sobre la conr;truccion y vkase por que funciona. En
particular, mubtrese lo siguiente:
26.14 Con respecto a1 ejercicio 26.1 1, describase el anillo Q(Z, {2" 1 n E Z + ) ) describiendo
al subanillo de R al cual es isomorfo.
26.15 Con respecto al ejercicio 26.11, describase el anillo Q(32, 16" 1 n E Z + ) ) describiendo el subanillo de R a1 cual es isomorfo.
26.16 Con respecto a1 ejercicio 26.11, sufingase que anulamos la condicion de que T no
tiene divisores de cero y d l o se requiere, que el wnjunto no vacio T # (0) sea cerrado
bajo la multiplicacion. El intento de agrandar R a un anillo conmutativo unitario, en el
cual todo elemento de T distinto de cero sea unidad, puede fallar, si T contiene algun
elemento a que sea divisor de 0, pues un divisor de 0 no puede ser, ademas, unidad.
iD6nde se encuentra la primera dificultad a1 hacer una construction paralela a la del
texto, pero wmenzando con R x T? En particular, para R = Z, y T = {I, 2,4), ilustrese
la primera dificultad encontrada. [Sugerencia: esta en el paso 1.1
Nuestro objetivo
Este capitulo esta diseiiado para exponer una perspectiva adecuada de las partes
no marcadas con asterisco del resto del libro. No hay ejercicios.
Los dos capitulos siguientes tratan temas de la teoria de anillos, analogos a1
material sobre grupos factores y homomorfismos en la teoria de grupos. Sin
embargo, nuestro objetivo, a1 desarrollar estos conceptos, es diferente de nuestros
objetivos en la teoria de grupos. En la twria de grupos usamos (en parte en las
secciones con asterisco) 10s conceptos de grupos factores y homomorfismos para
estudiar la estructura de un grupo dado y para determinar 10s t i p s de estructuras de grupo de ciertos brdenes que podrian existir. Disculpandonos con 10s
matematicos profesionales, explicaremos ahora, en tirminos conocidos y que se
consideran sencillos, nuestro propbsito a1 desarrollar esta construccibn analoga
para 10s anillos.
Todo el material sin asteriscos del resto del libro estti dedicado a encontrar y
estudiar soluciones de ecuaciones polinomiales como
247
maci6n de que todos 10s numeros son racionales, pues si a y b son numeros
racionales, entonces cada uno es un multiplo entero del reciproco del minimo
comun multiplo de sus denominadores. Por ejemplo, si a = & y b =
entonces
a = (35)(&) Y b = (76)(&).
Obviamente, 10s pitagoricos conocian lo que hoy se llama teorema de Pitagoras, esto es, que para un triangulo rectangulo con catetos de longitud a y b e
hipotenusa de longitud c, tenemos que
E,
donde tanto m2 como 2n2 son enteros. Corno m2 y 2n2 son el mismo entero y
como 2 es un factor de 2n2, vemos que 2 debe ser uno de 10s factores de m2. Pero,
por ser un cuadrado, m2 tiene como factores 10s mismos de m repetidos dos veces.
Asi, m2 debe tener dos factores 2. Entonces, 2n2 tiene dos factores 2, asi que n2
debe tener 2 como factor. Pero, por ser un cuadrado, n2 delx tener dos factores 2.
Por lo que 2n2 tiene tres factores 2. Pero entonces, m2 debe tener tres factores 2 y
de aqui, por ser cuadrado, debe tener cuatro factores 2. Pero, entonces, 2n2 debe
tener a1 menos cuatro factores 2 y ' p r tanto.. . Yendo y viniendo asi de m2 a
n2 caemos en una situacion imposible. Hemos demostrado, por contradiccion, que
2 # (m/n)2para m, n~ Z. Se puede hacer la deduction mas concisa y elegante,
per0 no estamos de humor para ello.
Asi, 10s pitagbricos fueron directo a la cuestibn de la solucibn & m a ecuacibn
polinomial, x2 - 2 = 0. Rernitimos a1 estudiante a Shanks [35, capitulo 31 para
un animado y absolutamente delicioso relato de este dilema pitag6rico y su
importancia en matematicas.
En la motivacibn de la definicion de grupo, comentamos la necesidad de
tener numeros negativos, para que ecuaciones como x 2 = 0 tuvieran solution.
248
Por primera vez vieron polinomios en algebra de secundaria. Ahi, lo primer0 fue
aprender a sumar, multiplicar y factorizar polinomios. Desputs, en 10s cursos
posteriores de algebra se pus0 un enfasis considerable en resolver ecuaciones
polinomiales. Estos seran, precisamente, 10s temas que nos ocuparan. La diferencia esta en que, en la secundaria, solo se consideraban polinomios con coeficientes en 10s numeros reales, mientras que aqui trabajaremos con polinomios cuyos
coeficientes forman cualquier campo arbitrario dado.
Como ya dijimos, 10s dos capitulos siguientes tratan de anillos hctores y
homomorfismos de anillos, material analogo, formalmente, a lo que hemos hecho
acerca de grupos factores y homomorfismos de grupo. Ni siquiera se mencionaran 10s polinomios. Desputs, introduciremos polinomios y demostraremos cbmo
puede plantearse la idea de resolver una ecuacibn polinomial, en ttrminos del
lenguaje de homomorfismos. No se asusten con' la terminologia. Recuerden siempre que:
Haremos lo mismo que en algebra de secundaria, pero en un contexto mlis
general.
249
Para concluir, seiialamos que esta maquinaria de anillos factores y homomorfismos de anillos no es estrictamente necesaria para alcanzar nuestro objetivo
jiundamental. Para una dernostracion directa, vtase Artin [26, pig. 291. Sinembargo, 10s anillos factores y 10s homomorfismos de anillos son ideas basicas que
el lector deberia comprender, y nuestro objetivo jiundamental se desprendera
facilmente una vez que las dominen. Ademas, usaremos eficazmente estos conceptos en el estudio de las propiedades de soluciones de ecuaciones polinomiales.
Anlllos cocientes
251
28.2
Demostracibn La demostracibn del teorema 28.2 es inmediata a partir del teorema 11.2, si consideramos s610 (R, + ) como un grupo aditivo y nos olvidamos
de la multiplicaci6n.
Claramente, tambitn se cumple aqui el teorema 11.3, esto es, estas clases laterales
son ajenas. Como la suma es conmutativa, la clase lateral izquierda r + N es la
misma que la clase lateral derecha N + r.
Demostracibn El lema 12.1 muestra que las clases laterales forman grupo bajo la
suma inducida. Los axiomas de anillo que incluyen la multiplicaci6n se cumplen,
puesto que tambitn calculamos 10s productos escogiendo representantes y porque 10s axiomas de anillos valen en R Por ejemplo, la ley distributiva izquierda
252
or
253
28.3
(0 + N)+-+O, ( I
Ejemplo 28.4
+ N)-
1,
(2 + N)++2. w
,.><?
_j..~J
\5
Demostracibn Como todo elemento distinto de cero de un campo es una unidad, se sigue del teorema 28.4, que un ideal de un campo F es {O} o todo F.
Ejerclclos -28.1 Encuentrense todos 10s ideales N de Z,,.En cada caso, calculese Z,,/N,
esto es,
encuentrese un anillo conocido al cual sea isomorfo el anillo cociente.
28.2 Dense las tablas de suma y multiplicacion para 22/82. iSon anillos isomorfos
22/82 y Z,?
28.3 Encuentrese un subanillo del anillo Z x Z que no sea un ideal de Z x Z.
'28.4 Se pide a un estudiante que pruebe que un anillo cociente de un anillo R modulo
un ideal N es conmutativo si y solo si ( r s - s r ) E N para todas las r , S E R. El estudiante
comienza:
Suponpase que R / N es conmutativo. Entonces,
rs = sr
r, s E R/N.
a) iPor que el profesor que lea esto espera encontrar tonterias de aqui en adelante?
b) iQue deberia haber escrito el estudiante?
Pruebese la afirmacion. (Notese el ccsi y solo si)).)
C)
28.5 ~ F ~ I oS verdadero?
O
Q es un ideal en R.
Todo ideal de un anillo es un subanillo del anillo.
Todo subanillo de un anillo es un ideal del anillo.
Todo anillo cociente de un anillo conmutativo es, de nuevo, un anillo conmutativo.
Los anillos 2/42 y Z, son isomorfos.
Un ideal N en un anillo con unitario R es todo R si y solo si 1 E N .
El concepto de ideal es al concepto de anillo lo que el concepto de subgrupo
normal es al concepto de grupo.
Z, es un ideal de 42.
Si un anillo R tiene divisores de 0, entonces todo anillo cociente de R tiene
divisores de 0.
Z es un ideal en Q.
{x E R I a x = 0) es un
fi
Con referencia al ejercicio 28.15, mutstrese, mediante ejemplos, que para ideales
propios N de un anillo conmutativo R,
28.16
f i no necesariamente es igual a N.
b) fi puede ser igual a N.
2817 iCuil es la relacibn del ideal fi del ejercicio 28.15, con el radical RIN (vease el
a)
28.18
a) Mutstrese que A
28.19
+ B es un ideal.
+ B de A y
B se define por
b) Mutstrese que A G A
+ B y B G A + B.
b) Muestrese que AB
G ( A n B).
28.20
(a
Ademas.
+ b)y = ay + by.
+ ) como
(-44
= - (4).
y ( . F ~ Es S~4 ), de
~ mod0 que S 4 es cerrado bajo la rnultiplicacion, y es, entonces,
un subanillo de R'. Si S es un ideal de R, entonces, para .r G S y r E R tenemos
y [(rb)(o4)]
E St, de mod0 que raE S ' 4 - ' . En forma analoga, ar E S ' 4 S ' 4 - es un ideal de R.
Por ultimo, si R tiene unitario 1, entonces, para toda r E R,
'
259
'. Asi,
de mod0 que 1 ' = Id es una identidad multiplicativa para Rd. Si 1' # 0', entonces
1 ' es unitario para R4. rn
En el teorema 29.2 es importante notar que si 4 : R -+ R' es un homomorfismo de
anillo y A es un ideal de R, entonces, A 4 no necesariamente es un ideal de R' sino
solo un ideal de R4. Por ejemplo, sea 4 :Z -, Z x Z definida por n 4 = (n, n).
Ahora bien, 2 2 es un ideal de Z. Sin embargo, ( 2 Z ) 4 = {(2n,2n) ( n E Z ) no es un
ideal de Z x Z puesto que ( I , 2)(4,4) (4, 8 ) 4 (2Z)4.
El teorema 29.2 muestra, en particular, -que para un homomorfismo
4 : R -, R' el kernel K = {O1}4-'es un ideal de R.
Teorema 29.3 (Teorema fundamental del homomorfismo, analogo del teorema 13.3) Sea 4 un homomor/ismo de un anillo R en un anillo R' con kernel
K. Entonces, R 4 es un anillo y e.riste un isomorfismo canonico de R 4 con R/K.
Drmostracion El teorema 29.2 muestra que R4 es un anillo. Sea (a + K) E R/K,
definase la transformation $ : R/K -, R 4 por
El teorema 13.3 muestra que I(/ esta bien definida, es uno a uno y sobre, con
+ (b + K)$.
Ahora bien,
= (ab +
29.2
-, R/K
es la transforma-
{ra
+ m l r ~ R ,EM).
(r,a
Ahora.
+ M = ba + M = ( b + M)(a + M ) ,
de mod0 que b + M es un inverso multiplicativo de a + M.
1
a+N=N
oque
h+N=N.
Ejemplo 29.1 Los ideales de Z son de la forma nZ. Hemos visto que Z / n Z
Z,
y que Z , es un dominio entero si y solo si n es primo. Asi, 10s ideales n Z tales que
ZlnZ es un dominio entero, son de la forma pZ, donde p es primo. Es claro que
Z / p Z es, en realidad, un campo, de mod0 que pZ es un ideal maximal de Z .
Notese que para que un product0 rs de enteros estk en pZ, el primo p debe dividir
r o s. El papel que desempeiian en este ejemplo, 10s enteros primos hacen que el
uso de la palabra primo en la siguiente definition sea razonable. B
+ +. -+
4 :Z + R
para n E Z es un homomorfjsmo de Z en R.
Demostracibn
Es obvio que
l)=(l+ l+...+l)
z-"-L
n sumandos
m sumandos
nm sumandos
Asi,
(nm)q5 = (nm) I = (n . l)(m . 1) = (nd)(mq5). m
29.2 Describanse todos 10s homornorfismos de anillos de Z x Z en Z. [Vease la sugerencia del ejercicio 29.1.1
29.3 Dtse un ejemplo de un homomorfismo de anillo
1, y 1,4 # 0 pero donde I& no sea unitario en S.
29.4
4 : R + S donde
R tiene unitario
'29.6 Pruebese, directamente de las definicionesde ideal maximal y primo, que todo ideal
maximal de un anillo conmutativo R con unitario, es un ideal primo. [Sugerenria: supongase que M es maximal en R, a h E M y a # M. Considerese el ideal de R generado por a y
M.1
29.7
iFalso o verdadero?
El concept0 de homomorfismo de anillo esta intimamente relacionado con la
idea de anillo factor.
Un homomorfismo es a un anillo lo que un isomorfismo es a un grupo.
Un homomorfismo de anillo es una transforrnacion uno a uno si y solo si el
kernel es 0.
En cierto sentido, un campo es a la teoria de anillos conmutativos con unitario,
lo que un grupo simple es a la teoria de grupos.
El kernel de un homomorfismo de anillo es un ideal de todo el anillo.
Todo ideal primo de todo anillo conmutativo con unitario es un ideal maximal.
Todo ideal maximal de todo anillo conmutativo con unitario es un ideal primo.
Q es su propio subcampo primo.
El subcampo primo de C es R.
Todo campo contiene un campo primo como subcampo.
Z en Z
%. f l . . .a
en 0.
Mutstrese que si R, R' y R" son anillos y si 4 : R -+ R' y I(,: R' -, K son homomorfismos, entonces la funcion compuesta &,b:R + R" es un homomorfismo. (Usese el
ejercicio 13.14.)
29.10
29.12
El corolario del teorema 29.6 nos dice que todo anillo unitario conriene un
subanillo isomorfo a Z o a algun Z,. iEs posible que un anillo unitario pueda contener
simultaneamente dos subanillos isomorfos a Z , y Z , para n # m? $S posible que un
anillo unitario pueda contener simultlneamente dos subanillos isomorfos a 10s campos Z p
y Z, para dos primos diferentes p y q? Si es imposible, debe probarse. Si es posible, debe
ilustrarse. (Esto se relaciona con el ejercicio 23.10.)
29.14
29.15 Siguiendo la idea del ejercicio 29.14, jes posible, para un dominio entero, contener
dos subanillos isomorfos a Z, y a Z, para p # q y p y q ambos primos? Dense razones o
ilustrese. (Esto se relaciona con el ejercicio 23.1 1.) -
29.16 Sean R y R' anillos y sean N y N' ideales de R y R', respectivamente. Sea 4
un homomorfismo de R en R'. Mutstrese que 4 induce un homomorfismo ~ a t u r a l
4, : R/N -+ R'/Nf si N4 G N'. (Usese el ejercicio 13.17.)
29.17 Sea 4 un homomorfismo de un anillo R con unitario, sobre un anillo R'. Sea u una
unidad en R. Mutstrese que u@es una unidad en R' si y solo si u no esta en el kernel de 4.
*29.18 (Segundo teorema del isomorfismo para anillos) Sean M y N ideales de un anillo
R y sea
*29.19 (Tercer teorema del isomorfismo para anillos) Sean M y N ideales de un anillo R
tal que M 5 N. Muestrese que existe un isomodismo ~aJuralde R/N con (R/M)/(N/M).
(Usese el teorema 15.3.)
*29.20
Muestrese que
para x E R
Muestrese que p, es un endomorfismo de (R, +).
Mutstrese que R' = {p, 1 a E R ) es un subanillo de Hom((R, +)).
c) Prutbese el analog0 del teorema de Cayley para R, mostrando que R' de b) es
isomorfo a R.
a)
b)
Anillos
de polinomios
SU.1
267
que no incorpora al niiio problerna x. Se podria definir elegantemente un polinornio corno dicha sucesion. iPor que cargar con la x cuando ni siquiera la
necesitarnos? Sencillarnente, porque 10s rnaternaticos se han acosturnbrado a la x.
Tiene antigiiedad, derecho de propiedad, o lo que haya que tener en la FMNM
(Federacion Mundial de Notaciones Matematicas). Si un anillo tiene unitario 1 y
se quiere tener x, la rnanera elegante es definir x corno la sucesion
Pero, entonces, lo mas probable es que la x proteste ante el ComitC de Quejas por
dicho tratarniento. Corno, de cualquier forma, su papel es de exceso de equipaje,
no hagarnos tanto esdndalo acerca de lo que realrnente es. Sirnplernente, acordernos llarnarle una indeterminada. El lector tendra que adrnitir que es un ttrrnino
bastante bueno para algo que resulta dificil de analizar. QuiA seria rnejor
indeterminable. Una cosa es cierta, no es ni 0,ni 2, ni ningun otro numero. Asi, de
ahora en adelante, nunca escribiremos e.~presionestales corno x = 0 o x = 2.
Ya estarnos casi listos para definir un polinornio con coeficientes en un anillo
R, corno una surna formal infinita
Las ai son 10s coeficientes def(x). Si para alguna i > 0 es cierto que ai # 0,
el mayor de dichos valores de i es el grado de f (x).De no existir dicha i > 0,
entonces f ( x ) es de grado cero.
donde c, = a,,
z=,
z=,
donde d,, =
aibn-,. Es claro que, de nuevo, ci y d, ambas son 0 para todos,
salvo un numero finito de valores de i, asi que estas definiciones tienen sentido.
Notese que
no necesariamente es igual a
bia,,-, si R no es
conmutativo. Con estas definiciones de suma y multiplicacion, tenemos el siguiente teorema.
z=,
Teorema 30.1 El conjunto R[x] de todos 10s polinomios en una indeterminada x con coeficientes en un anillo R, es un anillo bajo la suma y multiplicacidn
polinomial. Si R es conmutativo, entonces lo es R[x] y si R tiene unitario 1,
entonces 1 tambiin es unitario en R [ x ] .
Demostracidn Es obvio que (RCx], + ) es un grupo abeliano. La ley asociativa
para la multiplicaci6n y las leyes distributivas, se prueban mediante calculos
directos, pero algo engorrosos. Ilustramos probando la ley asociativa.
269
Todavia en Z 2 [ x ] , obtenemos
l1
Dicha suma finita que representa a f(x) puede rnodificarse sblo por la insertion
eliminacion de tkrminos 0 2 , lo cual, claramente, no afecta el valor de (f(x))4..
Si f(x) = a,
alx
h(x) = f(x) + g(x) = c, + clx
0
mientras que
(AX))$. +
(g(x))$, = (a,
entonces
mientras que
[(f(x))4.][(g(x))4.]
= (a0
+ ala +
+ a,a")(bO + b1a +
4,
E=O
a,b,-,
+ bd").
vemos que
es un homomorfismo.
La definici6n de 4, aplicada a una constante polinomial a E flx], donde
a E F, da a&, = a, de modo que 4, transforma a Fde manera isomorfa, mediante
la transformaci6n identidad. De nuevo, por definici6n de 4, tenernos que x4, =
= (lx)ba = l a = a.
Asi,
(a,
(a,
+ a l x + . . + anx")4, = a, + a12 +
+ anT
N6tese que
(xZ + x - 6 ) 4 , = 2z
Asi, xZ + x - 6 esti en el kernel N de
+2-6
= 0.
y, si se quiere, la raz6n p r la cual ( x Z + x - 6 ) 4 , = 0 es que (x - 2 ) 4 , = 2 - 2 = 0. Veremos mis adelante que N es precisamente eI ideal de todos 10s
polinomios de la forma ( x
2)f ( x ) para f ( x ) E Q [ x ] . Aqui la imagen de Q [ x ]
bajo 4 , es de nuevo Q y, otra vez por el teorema 29.3, Q [ x ] / N es naturalmente
isomorfo a Q.
Ejemplo 30.4
(a,
273
+ 0,x + . . - +
anx")4, = a,
+ u,x + . . . + an7tn.
30.3
EL NUWO ENFOQUE
+x
Hagamos trampa y adelantlmonos un poco para ver como se puede alcanzar nuestro objerioo fundamenral. Si f(.lr) no tiene cero en F, tenemos que consrruir, de alguna manera, un campo E que contenga a F tal que exista a en E con
f ( a ) = ( f ( x ) ) 4 , = 0.~ C o m opodemos construir E? E debe contener a la imagen
( F [ X ] ) ~de
, F [ x ] bajo nuestro homomorfismo de evaluacion 4,. RecuCrdese, por
el teorema 29.3, que ( F [ x ] ) 4 . es isomorfo a F[x]/(kernel de 4 3 . Esto sugiere que
tratemos de formar E construyendo un anillo factor F [ x ] / N para cierto ideal N
en F [ x ] . Sabemos, por el teorema 29.4, que para que F [ x ] / N sea campo, N debe
ser un ideal maximal de F [ x ] . Asi, la tarea para la siguiente seccion, como paso
final para alcanzar nuestro objerioo fundamenral, sera examinar la naturaleza de
10s ideales en F [ x ] . Asi es como entra en juego toda la ccmaquinaria)) desarrollada para anillos factores y homomorfismos. Hay un dicho: ccNo exhiban un caiion
a menos que pretendan dispararlo.,, Ya exhibimos el caiion en 10s capitulos 28 y
29, y lo preparamos para disparar.
+ 4x2 +
3x
2 y.g(x) =
-r
Z,.
a) (-r2 + 314~
C) [(X4 + ~ . Y ) ( X ~3.r2 + 3)]&
b) ( 2 ~ '- X~ + 3x + 2 1 4 ~
d) [(x3 + 2)(4x2 + 3)(x7 + 3x2 + 1114,
-r
R. Encuentrense seis
+ 2x) E Z,[x].
[Sugerencia:
30.7
iFalso o verdadero?
El polinomio (a,?
i = O,l,
..., n.
308
30.12
fl en irreducible en Q[.Y.
Ha!. algunos otros c.oriccptos qrctJ con jiecuencia se consideran de caracter similar a la
cortdit.irin dc la callerla uscen~lmteen ideales err un anillo. Los Ires ejercicios siguientes tratan
algwios dt~estos c.uncc.ptus.
'32.15
Sea R cualquier anillo. La condicibe de In cadem ascedeore (CCA) para ideales se
cumple en R si cada sucesion estrictamente creciente N, c N, c N, c ..-de ideales en R
es de longitud finita. La condiiih del rnPximo (CM) para ideales se cumple en R, si cada
conjunto S no vacio. de ideales en R contiene algun ideal que no esta contenido propiamente en ningun otro ideal del conjunto S. La condicih de In base fiaita (CBF) para
ideales se curnple en R si para cada ideal N en R existe algun conjunto finito BN = {b,,
. . ..h,] G N tal que N es la intersection de todos 10s ideales de R que contienen a B,. El
conjunto BN es una lmae finita para N.
Mubtrese que para todo anillo R las condiciones CCA, CM y CBF son equivalentes.
*32.16 Sea R cualquier anillo. La c w d i dc I.cadem aescendente (CCD) para ideales
se cumpk en R. si cualquier sucesion estrictarnente decreciente N, 3 N, 3 N, 3 . - de
ideales en R es de longitud finita. La condici6n del mlnirno (Cm) para ideales se curnple en
R si. dado cualquier conjunto S de ideales de R. existe algun ideal de S que no wntiene
propiamente a cualquier otro ideal en el conjunto S.
Mubtrese que para todo anillo, las condiciones CCD y Crn son equivalentes.
'32.17
Dkse un ejernplo de un anillo en el cual se cumpla CCA pero no CCD. (Veanse
10s ejercicios 32.15 y 32.1 6.)
Dominios
euclidianos
Hemos seiialado varias veces la importancia de 10s algoritmos de division. Nuestro primer contact0 con ellos fue el algoritmo de divisidn para Z (lema 6.1). Este
algoritmo se u d de inmediato para probar el importante teorema de que un
subgrupo de un grupo ciclico es ciclico, esto es, que tiene un solo generador. El
algoritmo & division para F [ x ] aparecio en el teorema 31.1 y se uso de manera
anlloga para mostrar que F [ x ] es un DIP, esto es, que todo ideal en F [ x ] tiene
un solo generador. Ahora bien, una tecnica moderna en matematicas es tomar
varias situaciones claramente relacionadas y tratar de reunirlas abstrayendo las
ideas importantes que tienen en comun. El estudiante se dara cuenta como la
siguiente definition ilustra esta tecnica. Veamos que podemos desarrollar, comenzando con la existencia de un algoritmo de la division bastante general en un
dominio entero.
Defiici6n Una evoluwibn euchiiana en un domi& entero D es una funcion
v que transforma a 10s elementos distintos de cero de D, en 10s enteros no
negativos tal que se satisfacen las condiciones siguientes:
1 Para todos 10s a, b E D con b # 0 existen q y r en D tales que a = bq + r,
donde r = 0 o v(r) < v(b).
2 Para todos 10s a, b E D, donde ni a ni b es 0, v(a) Iv(ab).
Un dominio entero D es un hdnio
euclidiana en D.
Por ultimo, mientras que, por el teorema 33.1, un dominio euclidiano es un DIP,
no todo DIP es un dominio euclidiano. Sin embargo, no es facil encontrar un
DIP que no sea euclidiano.
Investigaremos ahora algunas propiedades de 10s dominios euclidianos relacionados con su estructura multiplicativa. Debe aclararse que la estructura aritmetica
de un dominio euclidiano es inrrinseca a1 dominio y no se afecta de mod0 alguno
por una evaluacibn euclidiana v en el dominio. La evaluacibn euclidiana es
simplemente una herramienta para arrojar posiblemente, alguna luz sobre esta
estructura aritmetica del dominio. La estructura aritmetica de un dominio D esti
por wmpleto determinada por el conjunto D y las dos operaciones binarias + y .
en D.
Sea D un dominio euclidiano con evaluacion euclidiana v. Podemos usar la
propiedad 2 de una evaluacion euclidiana para caracterizar las unidades de D.
Teorem 33.2 Para un dominio euclidiano con evaluacion euclidiana v, v(1) es
minimal entre todas las v(a) para a E D distinta de cero y u E D es unidad si y
so10 si v(u) = v(1).
donde r = 0 o v(r) < v(u). Pero wmo v(u) = v(1) es minimal entre todas las v(6;)
para d~ D distinto de cero, es imposible que v(r) < v(u). De aqui, r = 0 y 1 = u ,
de mod0 que u es unidad.
Ejemplo 333 Para Z con v(n) = Inl, el minimo de v(n) para n E Z distinto dk
cero, es 1. Es claro que 1 y - 1 son 10s unicos elementos de Z con v(n) = 1. Po
supuesto, el 1 y el - 1 son las unidades de Z.
Ejemplo 33.4 Para F[x] con v(f(x)) = (grado de f(x)) para f(x) # 0, el valor
minimo de v(f(x)) para todos 10sf(x) E F[x] distintos de cero es 0. Los polin
mios distintos de cero de grado 0 son precisamente 10s elementos distintos d
cero de F y son btos, las unidades de F[x].
.a 3 d "(OWID
~ m qd
d + uy m ~ o DI
/ ua asl~saldxa
apand q X D ap p3ur t p 3 ' ~ Z sD g q -q X D ap p3ur @ID aiqxa sa3uoiua
'a ap o m ap soiu~iqpsoiudluala uos q X D X d I a un sa a !S rff mua~oaj
.eJeluasqo JO)%I la anb eue]sn%son 1en3 q ' U O ~ E K Z ~ im
O ) ~o!s
~
' d ~ sol
a e ~ e duope~)somapenaq eon LVH - d ~ un
a ua p m sol oe)s!xa u?!qmw
anb o ~ e sa
p anb opom ap ' n d a un sa d I a o p o (-salqpnpau!
~
ua s a o o p ~ ~ ~ p o ) ~ e j
ap J ! I . I ~ e~ p m oqxp ~ ! n ~ ~ apand
s u m as orup anmap qru uo3 eJ)sanmP'ZE emal
lap uopei)somap e~ ' n d a un ap soluamala ap oJarunu ~a!nblen3wed p m un
a)s!xa'pep!leaiuq) -salqpnpaJi!oa q L D opuezuoi3q p r u on uaua!)n d a un ua
q 6 D eia!nbsalen3anb ~ei)som
apand as ' F E Eoldmafa lap qndsap 03!pu!as omQ
' [ x ]ua
~ sapep!un
s e ~ ! u n ~ ~ u oA ~
s s~a-n d ' ( 1- x ) - 6 1 - x u o s ~- x + , x 6 1 + q - ,x
ap p m so3!y sol ' [ x ]ua
~ 'o%~eqma
u ! '(1
~ - X ) ( E I / S I ) sa q m oil0 -[XI() ua
pep!un eun sa 2 sand '(1 - x ) sa~ 0 ~ 1 0 -1 - x sa 2 - x + ,x 6 1 + q - $
ap p m on '[x]Oug '9- sa 0110 '9 sa gp 6 81 a p p m un '2 uq s y oldm$3
~
-q 6 D uepplp anb
J SO] SOPOI end p 1 3 'semape 6 q 1 p 'D Ip !s a us q b D soanmap sol sp ( p m )
~oqnfp
q w o a ouqxpur un sa a 3p o~uamalau n - n d a un a eaS u9!3!ugaa
-?z![eueas uapa~anb o)dmuo3 oms!m la aqu3sap u?p!ugap q s a
' n d a un aied anb o ! ~ q g~e~)uo3ua
o
opal lq ' n d a un ua p3m un ap 'a1ueSala
saw 'u?!3!ugap alua!n%!sel J B P e~qmn)so3eas -q 6 D ap 'p3m (([a))ap J d n ~ua
p3m ccunn soupap anb olsa ~ o dsq -pep!un~ o ) 3 un
q ayes p m un asJ!ugap aqap
uarqmai ' n d a un ua anb somaA 'peppn J O P ~un oqes augap as u?pezuo]3ej
eun ua a~uasard alqpnpa~~!
un om03 .sodni% ap euoa) ua 'Z ua oidmum
la a)uamarq!lsomesn eA xap! el ?!pua~dmo3~o)3a[
la s ~ n olad
b 'ad.101 eJauetu
a p oqxp eq as olsg 'q om03 v o)uei a p p p len3 el e ~ e della sgm epualod el
e opeAala alqpnpa~~!
epm opuemo) 'sauo!3ez!~o)3ej
seqme ua ua3a~edeanb salq
- p n p a ~sol
~ ! sopo) I S aJ)ua opue3!qdylnm q 6 D a p p m un somaua1qo 'smuo)ug
-sopepose sns ap oun ma~ede'~eSnlns ua 'sa olsa 'sauo!3ez!~o)3q
sel a p eun%u!u
ua a%~edeou o 'sopepose sns a p ounSu!u ma~edeou 6 sauo!3ezuopq seqme
ua ma~edeo 'anb apmns 'q o w m D oolue~appip aIqpnpaiJ! un%p!s anb opom
a = bq,
+ r,,
Demostracibn Como v(rJ < v(r,- ,) y v(rJ es un entero no negativo, es claro que
llegaremos a alguna r, = 0 despub de un nirmero finito de pasos.
Si rl = 0, entonces a = bq, y, obviamente, b es un rncd de a y b. Supbngase
que r, # 0. Entonces, si d 1 a y dl b, tenemos
309
,. 8
*33.1 lndiquese cuales de las funciones dadas v son evaluacionei euclidianas para lo!
dominios enteros dados.
a) La funcion v para Z dada por v(n) = n2 para n E Z distinto de cero.
~
distinto dc
b) La funcion v para Z[x] dada por v(.f(x)) = (grado f(x)) para f ( x ) Z[x]
cero.
La funcion v para Z[x] dada por v( f(x)) = (valorabsoluto del coeficiente del terminc
C)
de mayor grado distinto de cero de f(x)) para f ( x ) 21x1
~
distinto de cero.
d) La funcion v para Q dada por v(a) = a2 para a Q distinto de cero.
e) La funcion v para Q dada por v(a) = 50 para a Q distinto de cero.
*33.2 Encuentrese un mcd de 49 349 y 15 555 en Z.
*333 Encuentrese un rncd de
*33.4 Con referencia al ejemplo 33.7 del libro. exprkac. realmente. el mcd 23 en la
fonna 4 2 2 471) + ~(3266)para A, p E Z. [Sugerencia: a partir de la penhltima linea del
diculo en el ejemplo 33.7, 23 = (138)3 - 391. Del rcngl6n anterior a esc, 138 = 3266 - (391)8, asi. por sustituci6n. obtenemos 23 = [3266 - (391)8]3 - 391 y asi sucesivamente. Esto es, se trabaja hacia atras hasta encontrar rcalmente 10s valores de rl y p.]
*335 Considerese Z[.r].
a) jEs Z[.r] un DFU? jPor quk?
b) Mubtrese que {a + .rf(.v) I a E 2 Z f(x) E Z[x]} es un ideal en Z[x].
c) ~ E Z[.r]
s
un DIP? (Considerese la parte b).)
d) jEs Z[x] un dominio euclidiano? jPor qui?
'*33.6 Sea D un dominio euclidiano y sea v una evaluacion euclidiana en D. Muestrese
que si a y b son asociados en D,entonces v(a) = v(b).
*33.7 jFalso o verdadero?
Todo dominio euclidiano es un DIP.
Todo DIP es un dominio euclidiano.
Todo dominio euclidiano es un DFU.
Todo DFU es un dominio euclidiano.
Un rncd de 2 y 3 en Q es 4.
El algoritmo euclidiano proporciona un metodo constructivo para encontrar un
rncd de dos enteros.
Si v es una evaluaci6n euclidiana en un dominio euclidiano D, entonces v(1) I
I v(a) para todas las a E D distintas de cero.
Si v es una evaluacion euclidiana en un dominio euclidiano D, entonces v(l) <
< v(a) para todas las U E D, a # 1, distintas de cero.
Si v es una evaluacion euclidiana en un dominio euclidiano D, entonces v(1) <
< v(a) para todas las unidades a D distintas de cero.
Para cualquier campo F, F[.r] es un dominio euclidiano.
*33.13
a) Muktrese que si S E Z tal que s + v(1) > 0, entonces q:D* + Z definida por q(a) =
= v(a) s para a E D distinta de m o , es una evaluacion euclidiana en D. Como es
costumbre, D* es el conjunto de los elementos de D distintos de cero.
b) Mutstrese que para r e Z', L:D* -+ Z dados por I(a) = r(v(a))para a E D distinta de
cero, es una evaluaci6n euclidiana en D.
c) Muistree que existe una evaluacibn euclidiana p en D tal que p(1) = 1 y p(a) > 100
para todas las no unidades a ED distintm de cero.
*33.16 Usando la ultima afirmaci6n del teorema 33.2, mutstrese que para a, b, n E Z
distintos de cero, la congruencia ax = b (mod n) tiene solucion en Z si y d l o si a y n son
primos relativos.
*33.17 Gcneraliase el ejercicio 33.16, mostrando que para a, b, n E Z distintos de cero, la
congruencia er = b (mod n) tiene soluci6n en Z si y d l o si el mcd positivo de a y n en Z
divide a b. InterprCtese este resultado en el anillo Z,.
Enteros
gaussianos
y normas
Deberemos dar
UII
Si hacemos a = a , + a,i y j? = b,
b,i todos estos resultados
son o bien obvios o bien product0 de un dlculo directo. Dejamos como ejercicio
la demostracion de estas propiedades (vkase el ejercicio 34.8).
Demostracibn
Lema 34.2
Z [ i ] es un dominio entero.
313
Demostracion Es obvio que Z [ i ] es un anillo conmutativo con unitario. Mostremos que no hay divisores de 0. Sean a, /IE Z [ i ] . Usando el lema -34.1, si
a/? = 0,entonces
Asi, aj? = 0 implica que N(a) = 0 o N(j?) = 0.De nuevo, por el lema 34.1, esto
implica que a = 0 o j? = 0.Asi, Z [ i ] no tiene divisiones de 0,de mod0 que Z [ i ]
es un dominio entero.
Por supuesto que, como Z [ i ] es un subanillo de C donde C es el campo de 10s
numeros complejos, es realmente obvio que Z [ i ] no tiene divisores de 0. El
argumento, en el lema 34.2, ilustro el uso de la propiedad multiplicativa 3 de la
funcion norma N y evito salir de Z [ i ] durante la deduccion.
314
es el cuadrado de la distancia d' de (q,, q,) a la recta 1' con ecuacion a, - b2X
- b, Y = 0.N6tese que 1es perpendicular a 1'. Sea P el punto de interseccion de
estas dos rectas, seghn se muestra en la figura 34.1. De la figura, se ve que d 2 +
+
es el cuadrado de la distancia de (q,, q,) a P. Asi, debemos mostrar que
existe un punto (q,, q2) con coordenadas enteras y tal que el cuadrado de la
distancia a P es menor que 1. Como P esta contenido en el interior o en la
frontera de algun cuadrado de lado unitario, tal que ambas coodernadas de cada
vtrtice son enteros, esta claro que si se escoge (q,, q,) como el punto con coordenadas enteras mcis cercano a P, su distancia a P podrh ser a lo mas, la mitad de la
longitud de una diagonal del cuadrado, esto es, a lo m h J2/2 (vQse la Fig. 34.2).
Asi, el cuadrado de esta distancia a P es a lo m h lo cual es menor que 1. r
Ejemplo 34.1 Podemos aplicar ahora a Z[i], 10s resultados del capitulo 33. dn
particular, como N(1) = 1, las unidades de Z[ll son exactamente las a = a,
a2icon N(a) = a: + aZ, = 1. Del hecho que a, y a, son enteros, se sigue q
las unicas posibilidades son a, = 1 con a, = 0,o a, = 0
las unidades de Z[i] son + 1 y + i. Tambitn podemos usar el
no para calcular el mcd de dos elementos Qistintos de cero.
dlculos para 10s ejercicios. Por ultimo, notese que mientras 5 es
Z, 5 ya no es irreducible en Z[i], pues 5 = (1 2i)(l - 2i) y ni
es unidad.
315
Teorana 34.2 Si D es un dominio entero con norma multiplicativa N, entonces N(1) = 1 y N(u) = 1 para toda unidad u en D. Si, ademcis, toda a tal que
N(a) = 1 es una midad en D, entonces un elemento R en D con N(R) = p p a
p E Z prirno, es un irreducible & D.
Demostracibn Sea D un dominio entero con norma multiplicativa N. Entonces,
316
p es unidad de
z[P]
z[G]
J-5
= i$.)
Es claro que N(a) 2 0 y N(a) = 0 si y solo si a =
(Aqui,
= a + h-=
0. Que N(ap) = N(a)N(B)es un dlculo direct0 que dejamos
para 10s ejercicios (vtase el ejercicio 34.9). Encontremos todos 10s candidatos a
con N(a) = 1.
unidadcs en Z C J - ? ~ buscando todos 10s elementos a en z[-1
Si a = a + by N(a) = 1 debemos tener a2 5b2 = 1 para enreros a y
h. Esto d l o cs posible si b = 0 y a = f I . Por tanto, f l son 10s unicos
I son unidades, son entonces, todas las
candidatos para unidades. Como
unidades en
Ahora, en
tenemos 21' = (3)(7)y tambitn
z[-].
~[a
+ 2-
~ [ f sabremos
l ] , entonces que Z [J-]
es igual a f( I
+2
G ) .
y 1 -2
0 son todos irreducibles en
no puede ser un DFU, pues ni 3 ni 7
de mod0 que N(y) = 1 , 3 , 7 6 21. Hemos visto que no hay elemento de z[-]
de norma 3 6 7. Asi, o N(y) = 1 y y es unidad, o N(y) = 21 de modo que N(6) = 1
y 6 es unidad. Por tanto, 1 + 2es un irreducible en z[-1.
En resumen, hemos mostrado que
+2
0 ) ( 1- 2 , p )
318
'*345 Sea D un dominio entero con una norma multiplicativa N, tal que N(a) = 1 p
a E D si y solo si a es una unidad de D. Sea n tal que N(n) es minimal de entre todos
N(B) > 1 para B E D . Muktrese que n es un irreducible de D.
iFa1~0o verdadero?
*34.6
=.
Z [ i ] es un DIP.
Z [ i ] es un dominio euclidiano.
Todo entero en Z es un entero gaussiano.
Todo numero complejo es un entero gaussiano.
En Z [ i ] se cumple un algoritmo euclidiano.
Una noma multiplicativa en un dominio entero a veces es util para encont ar
irreducibles del dominio.
Si N es una norma multiplicativa en
para toda unidad u de D.
Si F es un camp, e n t o m la funci6n N ddinida por N( f(x)) = (grado de
es una norma multiplicativa en F [ x ] .
Si Fes un camp, entonces la funci6n ddinida por
f ( x ) # 0 y N(0) = 0 es una noma
nuestra definici6n.
Z [ ~ es Jun dominio entero pero no un DFU.
*348
Pru6bese que N, del ejemplo 34.3, es multiplicativa, esto es, que N(aS) = N(a)
para EI, B E ZC-.
*34.9
*34.10 Sea D un dominio entero con norma multiplicativa N tal que N(a) = 1 para
si y d l o si a es una unidad de D. Mukstrese que toda no unidad distinta de cero de D
factorizacibn en irreducibles en D.
*34.11
10
*34.13
ii) Z [ i ] / ( l
+ i)
iii) Z [ i ] / ( l
+ 2i)
*34.14 Sea n E Z + libre de cuadrado, esto es, no es divisible entre el cuadrado de ninglin
entero primo. Sea z[&]
= {a + ib& 1 a, b E Z } .
a) Muktrese que la norma N definida por N(a) = a2 + nb2 para a = a + ib& es una
norma multiplicativa en z[&].
si y s61o si a es una unidad de z[&].
b) Mukststrese que N(a) = 1 para a E z[&]
distinto de cero que no sea unidad, tiene factorizaC) Mubtrese que todo a E z[&]
ci6n en irreducibles en ~ [ f i ][Sugerencia:
.
usese b).]
*34.15 Repitase el ejercicio 34.14 para z[&]
= {a
N(a) = la2 - nb21 para a = a + b& en z[&.
+ b&/a,
lntroduccidn
a 10s campos
de extensidn
321
Demostracibn Por el teorerna 31.8, f(x) tiene factorizacion en F[x] en polinomios que son irreducibles en F. Sea p(x) un polinomio irreducible presente en
dicha factorizacibn. Es claro que basta encontrar un c a m p de extension E de F
que contenga algun elernento a, tal que p(a) = 0.
Por el teorema 31.6, (p(x)) es un ideal maximal en F[x] de modo que
F[.~]/(p(x)) es un c a m p . Aseguramos que F puede identificarse con un subcarnpo de F[x]/(p(x)) de manera natural, rnediante la transformacibn
:F -, F[x]/(p(x)) dada por
en E = F[x]/(p(x)). Pero podemos calcular en F[x]/<p(x)) escogiendo representantes y x es un representante de la Clare lateral a = x + <p(x)). Por tanto,
p(a) = (a,
..
.-
. r ' .. -,..
I..
322
llustramos la construction incluida en la demostracion del teorema 35.1, mediaqte dos ejemplos.
Ejemplo 35.1 Sean F = R y f(x) = x2 + 1, del cual se sabe que no tiene ceras
en R y, por el teorema 31.2, es irreducible en R. Entonces, <x2 + 1) es un idedl
maximal en R[x] de mod0 que R[x]/(x2 + 1) es un campo. ldentificando r E k
con r + <x2 + 1) en R[x]/<x2 1) podemos considerar R como subcampo de
E = R[x]/<x2 + 1). Sea
a =x
Calculando en R[x]/(x2
Asi, a es un cero de A?
con C. w
+ 1).
+ <x2 +
I).
encontramos que
Como ya dijimos, en el resto del libro, las secciones no marcadas con asteriw
tratan del estudio de ceros de polinomios. Comencemos este estudio colocando
un elemento de un campo de extensibn E de un c a m p F en una de dos
categorias.
Defmicin Un elemento a de un c a m p de extensibn E de un campo F 4s
algebraico sobre F si f(a) = 0 para algun f(x) E F[x] distinto de cero. Si a no
es algebraico sobre F, entonces a es troscendente sobre F.
fi
es un cero de
Ejemplo 353 C es un campo de extensibn de Q. Como
x2 - 2,
es un elemento algebraico sobre Q. Ademis, i es un elemento
algebraico sobre Q, pues es un cero de x2 1. w
fi
323
Ejemplo 35.4 Es bien conocido (aunque no es facil probarlo), que 10s numeros
reales n y e son trascendentes sobre Q. Aqui, e es la base de 10s logaritmos
naturales.
Asi como no podemos hablar de un polinomio irreducible ((a secas)), sino de un
polinomio irreducible sobre F, analogamente, no hablamos de un elemento algebraic~(<aseas),, sino de un elemento algebraico sobre F. La siguiente ilustracion
muestra la razon.
Para conectar estas ideas con las de teoria de numeros, damos la siguiente
definicibn.
D e f m Un elemento de C que sea algebraico sobre Q es un &ro
dgebroico. Un iuimero trascendcnte es un elemento de C que es trascendente
sobre Q.
4,: F[x]
324
35.3
EL POLlNOMlO IRREDUCIBLE
DE a SOBRE F
fi
fi
325
Asi,
Sea E un c a m p de extension de un campo F y sea a E E. Sea 4, el homomorfismo de evaluaci6n de F [ x ] en E con a 4 , = a para a E F y x4, = a como en el
teorema 30.2. Considerernos dos casos.
CASO I Supbngase que a es algebraico sobre F. Entonces, como en el teorema
35.3, el kernel de 4, es (irr(a, F ) ) y, por el teorema 31.6, (irr(a, F ) ) es un ideal
maximal de F [ x ] . Por tanto, F[x]/(irr(a, F ) ) es un campo y es isomorfo a la
imagen (F[x])q5, en E. Este subcampo ( F [ x ] ) 4 , de E es, claramente, el menor
subcampo de E que contiene a F y a a. Denotaremos este campo por F(a).
CASO I1 Supbngase que a es trascendente sobre F. Entonces, por el teorema
35.2,4, es un isomorfismo que transforma q x ] en E. Asi, en este caso, ( F [ x ] ) 4 ,
no es un campo sino un dominio entero que denotaremos por FLU]. Por el
corolario 1 del teorema 26.2, E contiene un c a m p de cocientes de n a ] el cud es,
claramente, el menor subcampo de E que contiene F y a. Como en el caso I,
denotamos este campo por q a ) .
Ejemplo 35.8 Como a es trascendente sobre Q, el campo Q(a) es isomorfo a1
campo Q(x) de funciones rationales sobre Q con indeterminada x. Asi, desde un
punto de vista estructural, un elemento trascendente sobre un campo F se comports como si fuera una indetermianda sobre F.
326
donde l a bi estan en F.
Demostracibn
Sea
irr(a, F ) = d x ) = x"
Esta ecuacion en F(a) se puede usar para expresar cualquier monomio am par
m = n en terminos de potencias de a que son menores que n. Por ejemplo,
= & = -a,-,a"
= -a,-l(-a,-la"-l
Asi, si
fi
- aoa.
Para la unicidad, si
bo
+ bla + - - .+ b,-,a"-'
= bh
para b; E F, entonces
(bo - No)
+ (bl - b ; ) ~+
q.7
+ (b,-, - b:-l)x"-l
g(x)
327
bi = bf,
con lo cual se demuestra la unicidad de las bi.
Daremos un ejemplo impresionante que ilustra el teorema 35.4.
Por tanto,
328
Por ultimo podemos usar el teorema 35.4 para cumplir nuestra promesa del
ejemplo 35.1 y mostrar que R [ x ] / ( x 2
1) es isomorfo a1 campo C de numeros
complejos. Vimos en el ejemplo 35.1, que podemos considerar R [ x ] / ( x 2
1)
como un campo de extension de R. Sea
1
Para cada uno de los numeros dados a E C, muktrtse que a es algebraico sobre Q,
encontrando/ ( x ) E Q [ x ] tal quefla) = 0
353 Para cada uno de 10s numeros algebraicos dados a E C, encukntrense irr(a, Q ) y grad
(a, Q). El lector debe estar preparado para demostrar que sus polinomios son irreducibles
sobre Q en caso de que alguien lo rete a hacerlo.
35.3 Clasifiquese cada uno de 10s a E C dados, como algebraicos o trascendentes sobre el
c a m p F dado. Si a es algebraico sobre F, encukntrese gra(a, F ) .
+ +
35.4
3511 ~ F a l s oo verdadero?
para a i = O , l .
Dividase x3 + x2
1 entre x - a. Muistrese que el cociente tambitn tiene un cero
en Z2(a), simplemente probando 10s ocho elementos posibles. Despuks, wmplttese la
factorizaci6n.l
35.15 Mubtrese que {a + b
+c
1 a, b, c E Q) es un subcampo de R, usando
las ideas de esta seccion, en lugar de una verifcacibn formal de 10s axiomas de camp.
[Sugerencia: h s e el teorema 35.4.1
330
Usense 10s ejercicios 35.6 y 35.18 para mostrar que tudo campo finito es de ordc
la potencia de un primo, esto es, que su numero de elementos es la potencia de un prim
35.19
Espacios
vectoriales
+ (ba).
+ (as).
332
ESPACIOS VECTORIALES
333
(Oa) = (0
aO
concluimos que a0
a(0
0. Entonces,
Oa = ( a
+ 0) = aO + aO,
+ (-a))a
= aa
+ (-a)a,
36.2
a(-a)
+ (-a))
= aa
+ a(-a),
-(aa).
Definici6n Sea V un espacio vectorial sobre F. Los vectores en un subconjunto S = {ai I i~ I) de V generan V, si para toda fl E V tenemos
. . ., n.
Un vector
x=,
aJai, es una
+ a,(O,
1,..., 0)
334
ESPACIOS VECTORIALES
Ejernplo 36.6 El ejemplo 36.4 muestra que R" es de dimension finita. El espacio
vectorial F [ x ] sobre F no es de dimension finita, pues 10s polinomios de grad6
arbitrariamente grande, por supuesto, no pueden ser combinaciones lineales de
elementos de cualquier conjunto finito de polinomios. m
Ejemplo 36.7 Si F IE y a E E es algebraico sobre el campo F, el ejemplo 36.5
muestra que q a ) es un espacio vectorial sobre F de dimension finita. Este es el
ejemplo mhs importanre para nosorros. m
La siguiente definicion contiene la idea mas importante de esta seccion.
z=,
z=l
Ejernplo 3fi.S Es claro que 10s vectores del conjunto de vectores que generan el
espacio Rn dados en el ejemplo 36.4 son linealmente independientes sobre R. Asi
mismo, 10s vectores en {A?" ( m 2 0) son vectores linealmente independientes Qe
a x ] sobre F. N6tese que (1, - I), (2, 1) y (- 3,2) son linealmente dependientes en
R2 sobre R, pues
Ejemplo 36.9 Sea E un campo de extension de un c a m p F y sea a E E algebrqico sobre F. Si grad(a, F) = n, entonces, por el teorema 35.4, todo elemento (je
F(a) puede expresarse unicamenre en la forma
36.3 DIMENSION
335
36.3
DIMENSION
Los demas resultados que deseamos probar acerca de espacios vectoriales son
que todo espacio vectorial de dimension finita tiene base y que dos bases de un
espacio vectorial de dimension finita ticnen el mismo numero de elementos. Estos
dos hechos son ciertos, sin la hipbtesis de que el espacio vectorial sea de dimension finita, per0 las demostraciones requieren mayor conocimiento de teoria de
conjuntos del que estamos suponiendo y todo lo que necesitamos es el caso de
dimensibn finita. Daremos primer0 un lema sencillo.
Lema 36.1 Sea V un espacio vectorial sobre un campo F y sea a E V. Si a es
combinacibn lineal de 10s vectores pi para i = 1, . . ., m y cada pi es combinacidn lineal de 10s vectores y j para j = 1, . . ., n entonces, a es combinacidn lineal
de las yi.
Demostracibn Sea a =
Entonces,
z=
bijyjdonde ai y bijesthn en F.
336
ESPACIOS VECTORIALES
muestra que cualquier vector que sea combinacion lineal de la coleccion original
de las ai sigue siendo combinacion lineal de nuestro conjunto reducido y quiza
menor, cn donde ninguna ai es combinacion lineal de sus predecesores. Asi, 10s
vectores en el conjunto reducido de xi de nuevo generan V.
Supongase que, para el conjunto reducido,
para i , < i, < . . . < i, y alguna a j # 0. Podemos suponer, por el teorema 36.1,
que a, # 0, si no, podriamos quitar u p i r del lado izquierdo de la ecuacion.
Entonces, usando de nuevo el teorema 36.1, obtenemos
Demostracibn
8.)
a,, . . ., a,
{b,, . . . .,
819. . .,8.-
36.3 DIMENSION
337
pucs las
36.4
11
Reunamos 10s resultados de teoria de 10s campos contenidos en 10s ejemplos 36.-,
36.5, 36.7, 36.9 y 36.10 e incorporemoslos en un teorema. La tiltima frase de est
teorema da una elegante aplicacion adicional de estas ideas de espacios vectoria
les a la teoria de campos.
Demostracibn En 10s ejemplos anteriores ya mostramos todo, except0 el resulrddo muy importante enunciado en la Cltima frase del teorema anterior. Sea P E F(4)
donde a es algebraic0 sobre F de grado n. Considirense 10s elementos
1
4;
Encuentrense tres bases para R2 sobre R donde no haya dos que tengan alg5n
vector en comun.
36.3
36.2 Determinese cualcs de 10s conjuntos dados de vectores son una base de R3 sobre R.
363 De acuerdo con el teorema 36.4 el elemento 1 + a de &(a) del ejemplo 35.9 ps
algebraico sobre 2,. Encuentrese el polinomio irreducible para 1 + a en Z 2 [ x ] .
36.4 Obttngase una base para cada uno de 10s siguientes espacios vectoriales sobre 10s
campos indicados.
a)
~ (sobre
3 Q)
Q($)
sobre Q
e) Q ( i )sobre Q
C)
b) R($) sobre R
dl C sobre R
f ) ~ ( $ 6 sobre
)
Q
36.6
LFalso o verdadero?
La suma de dos vectores es un vector.
La suma de dos escalares es un vector.
El producto de dos escalares es un escalar.
El producto de un escalar y un vector es un vector.
Todo espacio vectorial tiene base finita.
Los vectores en una base son linealmente dependientes.
El O-vector puede ser parte de una base.
Si F I E y (I E E es algebraico sobre el c a m p F, entonczs a2 es algebraico sobre
F.
Si F I E y a E E es algebraico sobre el c a m p F, entones a + a2 es algebraico
sobre F.
Todo espacio vectorial tiene una base.
Los ejercicios que siguen se refieren a1 esrudio ulterior de 10s espacios vecroriales. En
muchos casos, se pide definir para espacios vecroriales algun concepro analogo a orro que yo
esrudiamos para orras estrucruras algebraicas. Esros ejercicios mejoraran su habilidad para
reconocer siruaciones paralelas y relacionadas en algebra. Los ejercicios pueden suponer el
conocimienro & conceptos definidos en ejercicios anreriores.
36.8
36.9
directa
36.10 Generalicese el ejemplo 36.1 para obtener el espacio vectorial F" de n-adas ordenadas de elementos de F sobre el campo F para cualquier ca-mp F. LCuiI es una base para
F"?
340
ESPACIOS VECTORIALES
neas en n incognitas))
a,,X,
b,,
donde a,,., b, E F.
a) Muestrese que el ccsistema tiene solucionn si y solo si el vector fi = (b,, . . ., b,) de F m
esta en el subespacio de Fmgenerado por 10s vectores a j = (a,? . . ., amj). (Este
resultado es trivial de demostrar, practicamente es la definition de solucion, pero, en
realidad, debe contemplarse como el tzorema fundamental de la esistencia de una
solucidn simult6nea de un sistema de ecuaciones lineales.)
a) Si
b)
4: V -r V' esta por completo determinada por 10s vectores Pi# E V'.
Sea {Bi I I E I} una base para V y sea {& I i E I } cualquier wnjunto de vectores, no por
fuerza distintos, de V'. Mukstrese que existe procisamente una transfomacion lineal
4 : V -r V' tal que Bi4 = &
Sean V y V' espacios vectoriales sobre el mismo c a m p F y sea
transfomacion lineal.
36.15
4 :V -r V' una
*36.18
'36.19 Sea V un espacio vectorial de dimension linita sobre un campo F y sea dim( b') la
dimension de V sobre F. Muestrese que si S y T son subespacios de V sobre F. entonces,
teorema 36.3 para escoger bases convenientes, de modo que la demostracion sea 8cil.
Primero elijase cualquier base {xi! para S n T y despues, extiendase con vectores /Ij de
modo que (ai,b,} sea una base para S. Repitase el proceso de modo que {z,.
sea una
base para T. Muestrese que fa,, P(j.;,). es una base para S v T.]
Otras
estructuras
algebraicas
Esta es una seccion destinada a dar una idea de algunas otras estructurz
algebraicas importantes y su relacion con las estructuras estudiadas.
*37.1
= (aa)(Ba).
343
Ejemplo 37.1 Todo grupo abeliano G da lugar a un grupo natural con operadores. Escribamos de manera multiplicativa la operation de grupo de G. Sea O = Z,
para a E G y n E Z, definase an = an. Como G es abeliano, tenemos
Asi, fodo grupo abeliano se puede considerar como un Z-grupo. Aqui, Z tiene una
estructura natural de anillo.
Ejemplo 37.2 Si V es un espacio vectorial sobre un campo F, V se puede
considerar, de manera natural, como un F-grupo (izquierdo). Aqui, F tiene una
estructura de campo.
Sea G cualquier grupo y sea 9 el conjunto de todos 10s automorfismos internos de G. Como en el ejemplo 37.3, G es un 9-grupo de manera
natural. Un subgrupo (admisible) H de G debe tener, entonces la propiedad de
que ai, = g- lag estd en H para todas las a E H y todas las g E G. Asi, 10s
f-subgrupos H del 9-grupo G son esencialmente 10s subgrupos normales de
G.
Ejemplo 37.4
344
C~/uk~.sq~ric.ru
dos .scric.r ck contposicihn LIP un
I
2
3
4
(ra)~M.
+
+
r(a
p) = ra
(r
.~)a = ra
(r.s)a = r(sa).
+ rp.
+ sa.
37.3 ALGEBRAS
345
*37.3
ALGEBRAS
para toda
a, p, y
V.
346
Teorema 37.3 Los ntimeros reales, 10s nlimeros complejos y 10s cuaternion s
son las ~inicas(salvo isomorf~~mo)
lilgebras de divisibn asociariuas sobre I s
numeros reales (Frobenius, 1878). L.a unica otra cilgebra de divisibn sobre I s
nlimeros reales es el algebra & Cayley, que es un espacio vectorial de dime sibn 8 sobre R (Borr y Milnor, 1957).
*37.1
*373
I
I
"37.7
*378
para t o d a a ~ M y~ E R .
W.9 Sea M un R-mbdulo izquierdo y sea a E M. Muestrese que La = { a E R I oa = 0 } es
w ideal izquierdo de R.
9.10
97.11
(izquierdo) M'.
BXBdt) = (8,BdSt
Para cada una de las n3 ternas ordenadas (8, B, 8,) de vectores de la base B.
*37.15 Sea V un espacio vectorial de dimension finita, sobre un c a m p F,con una base
B = {Bit i = 1, . . .. n ) sobre F. Sea {c,, 1 r, s, t = 1, . . ., n ) cualquier coleccion de n3
gcalares en F. Mutstrese que existe exactamente una operacibn binaria de multiplicaci6n
m V tal que V es un algebra sobre F bajo esta multiplicaci6n y tai que
para todo par odenado (8,8,) de vectores de la base B. Los escalares c , son las constantes
abacturales del hlgebra.
ExtensioneS
algebraicas
donde no todas las ui = 0. Entonces, f ( x ) = a,xn + . . . + a,x + a, es un polinomio distinto de cero en F [ x ] y f(a) = 0. Por tanto, a es algebraic0 sobrc F.
camp
[ K : F ] = [ K : E ] [ E :F ] .
Sea { a i ( i = 1, . . ., n ) una base para E como espacio vectorial
sobre F y sea {flj 1 j = 1, . . ., m ) una base para Kcomo espacio vectorial sobre E.
El teorema quedara probado si podemos mostrar que 10s mn elemenlos aiSj
f o m a n una base para K considerado como espacio vectorial sobre F.
Sea y cualquier elemento de K. Como las #Ij forman una base para K sobre E,
tenemos
Demosrracion
350
EXTENS~ONESALGEBRAICAS
Falta mostrar que lor mn elementos aipi son independientes sobre F. supbl/gase que xi.jci,(aibj) = 0, con cijF. Entonces,
(x7=,ci,ai)
y
tener
pj son
para toda las j. Pero ahora las ai son independientes sobre F, de mod0 q
ci,a, = implica que cij = 0 para todas las i y j. Asi, las aibj no sblo genera
K sobre F, sino, ademas, son independientes sobre F, Asi, forrnan una base para
sobre F. w
z=, 0
1
I
.-
[F, :F,].
351
~(8)
fi)
fi)
3)
3)
es una base para Q(21f2,PI3) sobre Q. Es claro que como 2716= (2)2lI6,tenemos
2'16 E Q(21/2,2lI3). Ahora, 2'16 es un cero de x6 - 2, el cual, por el criterio de
Eisenstein, es irreducible sobre Q, con p = 2. Asi,
352
EXTENSIONES ALGEBRAICAS
38.2
. . ., a,)
= E. rn
353
Esto se sigue facilrnente del teorema 38.3 y esta incluido, ademas, en el teorema
siguiente.
Teorema 38.4 Sea E un cunlpn dc. rstawiun de F. Enlonccs
Es bien sabido que 10s nbmeros complejos tienen la propiedad de que todo
polinomio no constante en C [ x ] tiene un cero en C. Esto se conoce como el
teorema fundamenrol del algebra. Mis adelante en este capitulo, en un parrafo
con asterisco, daremos una demostracion analitica de este teorema. Por ahora,
damos una definicibn para generalizar este importante concepto a otros campos.
Definicibn Un campo F esta algebraicmente cerrado si todo polinornio no
constante en n x ] tiene algun cero en F.
354
EXTENSIONES ALGEBRAICAS
En la seccion 38.3, con asterisco, mostraremos que asi como existe una extension
algebraicamente cerrada C de 10s numeros reales R, para cualquier campo F
existe analogamente una extension algebraica F de F con la propiedad de que F
esta algebraicamente cerrada. En el capitulo 41 se mostrara que dicha extension
Fes unica, salvo isomorfismo, por supuesto. De manera intuitiva, para encontrar
F se procede como sigue. Si no todo polinomio f ( x ) en F [ x ] tiene un cero,
entonces agregar a F u n cero a de dicho f ( x ) , obteniendo asi, el campo F(a). Por
supuesto, .ye us0 aqui el teorema 35.1 de Kronecker. Si F(a) aun no es algebraicamente cerrado se continua el proceso. El problema es que, a diferencia de la
situacion para la cerradura algebraica C de R, podemos seguir un numero
infinito (posiblemente grande) de veces. Se puede mostrar con facilidad (veanse
10s ejercicios 38.13 y 38.16) quc Q es isomorfo a1 campo de todos 10s numeros
algebraicos y que no podemos obtener Q de Q agregando un numero finito de
numeros algebraicos. Primero, tendremos que analizar algun material de teqria
de conjuntos, el lema de Zorn, para poder manejar dicha situacion. Este material
es algo complejo, asi que lo ponemos en un parrafo con asterisco. Sin embargd, el
teorema de existencia para F es muy importante y lo enunciamos aqui, de mydo
que se comprenda la necesidad de wnocerlo. No hay problema si se asumd su
validez.
1
Teorema 38.5 Todo c a m p F tiene una cerradura algebraica, esto es, tcna
I
extensibn algebraica F que esth algebraicamente cerrada.
"38.3
Probaremos que todo campo tiene una extension algebraica que esti algebraicamente cerrada. Creemos que al final de un curso de algebra, deben tene la
oportunidad de ver alguna demostracion que incluya el axioma de seleccibn. ste
es el lugar natural para dicha demostracion. Usaremos una forma equivalenteldel
axioma de seleccion, el lema de Zorn. Para enunciarlo requerimos una defini on
'
de teoria de conjuntos.
'f
355
356
EXTENSIONES ALGEBRAICAS
[;starnos listos ahora para rcalizar la demostracion del teorema 38.6, que
rcc.nunci:~mosaqui.
0,. . ., (grado f )}
= ( E , IJ E
~j
357
en F [ x ] con ai E F y , por tanto, ai es algebraico sobre F. Entonces, por el teorema 38.3, F(ao, . . ., a,) es una extension finita de F, y como /3 es algebraico sobre
F(ao, . . ., a,), vemos, ademas, que F(ao. . . ., z,, /3) es una extension finita
sobre F(zo,.. .,a,). Entonces, el teorema 38.2, muestra que F(a,, . . ., a,, P ) es una
extension finita de F, de mod0 que, por el teorema 38.1, fl es algebraico sobre F.
De aqui que qo)E S y F< flo)lo cual contradice la seleccion de Fcomo maximal
en S. Asi, f(x) debe tener algun cero en F, de mod0 que F' esta cerrado
algebraicamente. rn
Para el matematico profesional, la mecanica de la dernostracion anterior es
cuestion de rutina. Debido a que q u i d s lsta sea la primera demostracion que se
haya visto en donde se usa el lema de Zorn, la escribimos con todo detalle. Sin
embargo, la construcci6n y 10s razonamientos empleados deben considerarse
faciles y rutinarios.
Es bien conocido que C es un carnpo cerrado algebraicamente. Aunque hay
mas demostraciones algebraicas de este hecho, darnos una dernostracion analitica
corno la miis accesible para el estudiante que haya llevado un curso de funciones
de variable compleja.
Teorema 38.7 (Teorema fundtunental &I algebra) EI campo C de numeros
complejos es un campo algebraicamente cerrado.
Demostracidn Sea f ( z ) E C [ z ] el polinomio que no tenga cero en C. Entonces
l / f ( z )da una funcion entera, esto es, l / f es analitica en todas partes. Adernh, si
f # C, limlrl+ml
f (c)I = m, de mod0 que limlCl+,ll/f (c)l = 0. Asi, llf debe ser
acotada en el piano. Entonces, por el teorema de Liouville de la teoria de
funciones de variable compleja, l / f es constante y asi f es constante. Por tanto, un
polinomio no constante en C[z] debe tener un cero en C, de mod0 que C esta
cerrado algebraicamente.
38.1
a)
Encuintrese el grado y una base para cada uno de 10s camp& de extension dados.
~ ( $ 1 sobre Q
Vj)
b) Q($, &)sobre Q
d) q(V2, &) sobre Q
e)
g)
a$ + &)sobre Q
a$,
fi)sobre Q
a $ , ,.b)sobre ah)
a$, &)sobre Q (fi+ J3)
a$, &)sobre Q
$,@) sobre Q
+ fi)sobre Q(,/j)
afi,
f i + a)
sobre afi + &)
b)
d) a*,
f)
h)
38.3 Encuintrese una base para cada uno de 10s c a m p s de extension dados del e) al h)
del ejercicio 38.2.
38.4 Muestme, mediante un ejemplo, que para un c a m p de extension propio E de un
c a m p F, la cerradura algebraica de Fen E no es necesariamente cerrada algebraicamente.
385 Sea (a
t38.6
primo, entonccs E es una extension simple de F y, en efecto, E = F(cr) para toda cr E E que
no a t i en F.
~Falsoo verdadero?
a) Toda extension finita de un campo es una extension algebraica.
b) Toda extension algebraica de un c a m p es una extension finita.
C) El campo situado arriba de una torre finita de extensiones finitas de campos es
una extension finita del campo situado abajo.
d) R esti algebraicamente cerrado.
e) Q es su propia cerradura algebraica en R, esto es, Q es algebraicameote cerrado
eoR
f) C es algebraicamente cerrado en C(x), donde x es una indeterminada.
g) 4 x ) es algebraicamente cerrado, donde x es una indeterminada.
h) El campo C(x) no tkne cerradura algcbraica, pues C ya contiene a todos 10s
nlimeros algebraicos.
i) Un campo algebraicamente cerrado debe tener wacteristica 0.
j) Si E es un campo de extension algebraicamente cerrado de F, entonces E es una
extension algebraica de F.
38.10 Sea E un campo de extension finita de F. Sea D un dominio entero tal que
F s D 5 E. Mutstrese que D es un campo.
Q(fi
-t fi)= ~ ( ffi).
i,
38.12 Generalizando el ejercicio 38.1 1, muestrese que si & + & # 0,entonces Q(Ju +
+ &)= Q(&, A),para todas las a y h en Q [Sugerencia: Calcirlese (& + A ) ' . ]
38.11 PruCbese en detalle que
38.13 Sea E una extension finita de un campo F y sea p(x)E F [ x ] irreducible sobre F y de
grado que no es divisor de [E: F]. Muestrese que p(x) no tiene ceros en E.
38.14 Sea E un campo de extension de F. Sea a E E algebraico de grado impar sobre F.
MuCstrese que a2 es algebraico de grado impar sobre F y que F(a) = F(aZ).
Muestrese que si F, E y K son campos con F I E I K, entonces K es algebraico
sobre F si y solo si E es algebraico sobre F y K es algebraico sobre E. (No debe suponerse
que las extensiones son finitas.)
38.15
38.20
'3821
a C.
'3822 Usese el lema de Zorn para mostrar que todo ideal propio de un anillo R con
unitario esta contcnido en al@n ideal maximal.
En este capitulo, hacemos una breve disgresibn para dar una aplicacion que
demuestre la fuerza del teorema 38.2. Para un estudio mas detallado de construcciones geomitricas, viase Courant y Robbins [43, capitulo 1111.
Estamos interesados en 10s t i p s de figuras que pueden construirst c m regla
y compis, en el sentido de la geometria plana euclidiana clisica. Sin duda, el
lector habri escuchado que {{es imposible trisecar el angulo>>.Analizaremos esta y
otras cuestiones clasicas.
Imaginemos que hay un solo segment0 de recta que definiremos como de longitud una unidad. Un numero real a es construibk si podemos construir un segmento de recta de longitud la1 en un numero finito de pasos, a partir de este segmento
dado de longitud unitaria, usando una regla y un compas. Recuirdese que con
regla y compas es posible, entre otras cosas, levantar una perpendicular a una
recta dada en un punto conocido de la recta y trazar una recta que pase por un
punto dado y sea paralela a una recta dada. Nuestro primer resultado es el
siguiente teorema.
Teorema 39.1
Si a y
fl
+ B, a - B, aS y alp si B # 0.
361
In(
es de longitud lafll.
mod0 que
Por bltimo, la figura 39.3 muestra que alfl es construible si fl # 0. Sea 02 de
longitud la1 y encontrar 1 que pase por 0 y no contenga CGf. Despues, hallar B y
P en I tales que OB sea de longitud JflI y DP sea de longitud 1. Trazar BA y
construii.4' que yase par yTCa p a a e x a ~ T G i t e r ~ q u e m
8 2Q. De nuevo,
por triingulos semejantes, tenemos
Qe
de m&
que
es de longitud la//3I.
Agura 39.2
.
Fl~uh
39.3
ma 39.1.
Es claro que el campo F de todos 10s numeros reales construibles contiene Q, el
campo de 10s numeros racionales, pues Q es el menor subcampo de R.
De ahora en adelante procederemos en forma analitica. Podemos construir
cualquier numero racional. Si consideramos nuestro segment0 dado
--
-2-
I como intersecci6n de dos rectas, cada una de las cuales pasa por dos puntos
- c
0
n
s
n
/-
2 como interscxcion de una recta que pasa por dos puntos con coordenadas
4
by
tieRe CQOFQBwdits~ a c i o n a ky el cuadrado de su radio es racional;
3 como interseccibn de dos circulos cuyos centros tienen coordenadas racionales y 10s cuadrados de sus radios son racionales.
363
es claro que el caso 3 se puede reducir al caso 2. Para el caso 1, una solucion
simultanea de dos ecuaciones lineales con coeficientes racionales solo puede dar
valores racionales de x y y, con lo cual no se obtienen puntos nuevos. Sin
embargo, la busqueda de una solucion simultanea de una ecuacion lineal con
coeficientes racionales y una ecuacion cuadratica con coeficientes racionales,
como en el caso 2, conduce, mediante sustitucion, a una ecuacion cuadratica.
Dicha ecuacion, resuelta mediante la formula cuadratica, puede tener soluciones
con raices cuadradas de numeros que no Sean cuadrados en Q.
En el razonamiento anterior, en realidad no se us6 Q except0 por 10s
axiomas de campo. Si H es el menor campo que contiene esos numeros reales
construidos hasta ahora, el razonamiento muestra que el ccnuevo numero siguiente)) construido est6 en un campo H(&) para alguna a E H, donde a > 0. Hemos
probado la mitad del siguiente teorema
..
Teorema 39.2 El carnpo F de Cos ntimeros reales construibles, consra, precisamenre, de todos 10s nlimeros reales que podemos obtener de Q, tomando raices
cuadradas de numeros positivos un nlimero finito de veces y aplicando un
numero fmito & operaciones de campo.
&
..-.
.//
loQl
--
loAl -
lm12
lop1
my
= la = a. Asi, OQ es de longitud
numeros construibles son construibles.
El teorema 39.1 mostro que las operaciones de campo son posibles por
construccion.
Corolario Si .i es corrsrruihle y p 4 Q, enfonccn.sexLsre una nrcesirin jinirrr
de numeros reales a,, . . ., a, = y ral que Q(a,, . . ., ai) es una esterisibn
de Q(a . . .,ai- ,) de grado 2. En particular, [Q4) : Q] = 2' para algljn rrifero
r 2 0.
,,
s.
fi
El corolario del teorema 39.2 muestra que para doblar este cub0 de volumen 1,
necesitariamos que para algun entero r, 3 = 2'. Es claro que no existe dicha r.
Teorema 39.4 ((Es imposible cuadrar el circulow esto es, dado un circulo, no
siempre es posible construir con regla I! compas un cuadrado que tenga area
igual a1 area del circulo dado.
365
Sea el circulo dado de radio I y, por tanto, de area n. Necesitariamos construir un cuadrado de Iado ,/%. Pero n es trascendente sobre Q, de
mod0 que tambikn
es trascendcnte sobre Q.
Demostracion
&
cos 38
=
=
=
=
cos (28 + 8)
cos 28 cos 8 - sen 28 sen 8
(2 cos2 8 - 1) cos 8 - 2 sen 8 cos 8 sen 8
(2 c0s2 e - 1) cos e - 2 cos e(1 - COS~O)
4 C O S ~8 - 3 cos e.
Sea 8 = 20" de mod0 que cos 30 = 3 y sea z = cos 20". De nuestra identidad
4 cos3 8 - 3 cos 8 = cos 38 vemos que
+a,
de mod0 que, por el corolario del teorema 39.2, a no es conswuible. Por tanto,
'39.1
'39.4 Usando 10s resultados del ejercicio 39.3 donde sea necesario, muestrese que lo
siguiente es cierto.
a)
b)
c)
d)
El
El
El
El
+395 ~ F ~ I os overdadero?
- a) Es imposible doblar, con regla y compis, ningun cub0 de arista construible.
- b) Es imposible doblar, con regla y compas, cualquier cub0 de arista construible.
Automorfismos
de campos
40.1.
Recuerdese que estarnos en el estudio de ceros de polinomios. En la terminologia del capitulo 38, estudiar ceros de polinomios en F[x] significa estudiar la
estructura de extensiones algebraicas de F y de elernentos algebraicos sobre F.
Mostraremos que si E es una extension algebraica de F con a, @ E E, entonces a y
p tienen las rnismas propiedades algebraicas si y solo si irr(a, F ) = irr(8, F).
Reescribirernos este hecho en ttrminos de transforrnaciones, coino lo hernos
hecho con la teoria de carnpos. Lograremos esto rnostrando la existencia de un
isomorfisrno I//,,6 de F(a) sobre F(@)que transforrne a cada elernento de F sobre
si misrno y transforme a en B, en el caso de que irr(a, F ) = irr(A F). El siguiente
Estos isornorfisrnos seran nuestras herrateorerna exhibe este isomorfismo
rnienlas fundamentales para el estudio de extensiones algebraicas; sustituiran a
10s homomorfi.c.mo.s(k. c~vuluuc-irin4, del capitulo 30, que haran su ultirna colaboracion a1 definir estos isornorfismos. Por esta razon, nos referiremos a1 isornorfisrno I//,.,, como un isamarfisma hasica de la tearia de 10s campos algehraicos. Antes
de enunciar y probar este teorema, veamos un poco mas de terminologia.
40.1
369
fl .corr
Demostrocion Sup6ngase que $,,B:F(a) -, F(B), segun se defini6 en el enunciado del teorema, es un isomorfismo. Sea irr(a, F ) = a,
a,x +
+ 'I,.\".
Entonces, a,
ala
.
a,an = 0 de modo que
(a,
+
+ + +
+ a,a + . - -+ anan)$,,8 = a, + a l p + ... + a,,/3"
= 0.
Por la ultima afirmacion del enunciado del teorema 35.3, esto implica que
irr(j?, F) divide irr(a, F). Un razonamiento anilogo, usando el isomofismo
= $4,a muestra que irr(a, F) divide irr(B, F). Por tanto, como ambos
polinomios son monicos, irr(a, F ) = irr(8, F), de mcL3 que a y /? son conjugados
sobre F.
En forma reciproca, supongase que irr(a, F ) = irr(B, F) = p(x). Entonces,
10s homomofismos de evaluacion 4,:F[x]
F(a) y 48:F[x]
F(B) tienen,
ambos, el mismo kernel (p(x)). Por el teorema 29.3, existe un isomorfismo
natural $, correspondiente a 4,: F[x] -,F(a), que transforma F[x]/(p(x)) sobre
(F[x])#, = F(a). De manera aniloga, c$c da lugar a un isomorfismo $, que
Estas transformaciotransforma F[x]/(p(x)) sobre F(B). Sea $a,8 =
nes estan diagramadas en la figura 40.1, donde las lineas punteadas indican
elementos correspondientes bajo las transformaciones. Como composition de dos
isomorfismos, $a,B es de nuevo un isomorfismo y transfonna F(r) sobre F(P).
Ademis, para (c, + cla + - - . + c,-,an-') E F(a), tenemos que
-+
Asi,
$a,B
-+
370
.AUTOMORFISMOS DE CAMPOS
________I\
ycanonica
= transformation
de clases
F(a)
I
4xl/(p(x))
+n
residuales
x+ ( ~ ( 1 ) )
F(D)
I
81
de modo que
0 = (a,
y p = a+ es un conjugado de a.
En forma reciproca, para cada conjugado /3 de a sobre F, el isomorfismo
sea el
del teorema 40.1, es un isomorfismo con las propiedades deseadas. Que
Cnico de dichos isomorfismos, se sigue del hecho de que un isomorfismo de F(a)
esti por wmpleto determinado por sus valores en 10s elementos de F y su valo~
en a. rn
Como segundo corolario del teorema 40.1, podemos probar un resultado que con
seguridad el lector ya conoce.
371
Demostracion Hemos visto que C = R(i) y que, por supuesto, tambien C = R(- i).
Ahora,
de modo que i y - i son conjugados sobre R. Por el teorema 40.1, la transformacion $, -i:C -+ C dada por (a + hi)$,, - i = a - bi es un isomorfismo. Asi, si
para ai E R,
f(a
en t onces
O = (f(a
+ bi))J/i,- i
- bi)
= a,
= f(a
+ al(a - bi) + . . -
+ a,(a - bj)"
- hi),
= 0.
d,
fi
40.2
372
AUTOMORFISMOS DE CAMPOS
Si { a , 1 i~ I } es una coleccion de automorfismos de un campo E, 10s elementos de E acerca de 10s cuales {a, 1 i I ) da la menor informacibn, son aquellos
a E E que quedan fijos bajo toda a, para i E I. El primer0 de 10s tres teoremas
contiene casi todo lo que puede decidirse acerca de estos elementos Iijos de E.
Teorema 40.2 Sea {a, I i~ I ) una coleccibn de automorfismos de un campo E.
Entonces, el conjunto Eiailde todos 10s a E E que quedan fijos hajo toda a, para
i E I, ,forma un suhcan~pode E.
Demostracibn
Si aa,
+b
(ah)ai = (aa,)(h,) = ah
373
y u - h$
= u
+ h,,h
si y solo si h
-\
5 de ~ ( 4 dado
2 ) en el ejem-
IC/\
?,
..\
j es
Q.
Notese que un automorfismo de un campo E es, en particular, una transformacion uno a uno de E sobre E, esto es, una permu~aciontie E. Si a y T son
automorfismos de E, entonces la permutacibn a7 es, de nuevo. un automorfismo
de E, puesto que, en general, la composicion de homomorfismos es un homoniorfismo. Es asi como hace su entrada la teoria de grupos.
Teorema 40.3 El conjunro de rodos 10s auromorfisr?~osde un canlpo E rs lo1
grupo hujo la composicibn de funciones.
Demosrrucirin La multiplication de automorfismos de E se define por la composici6n de funciones y, por tanto, es asociativa (es mulriplicacion de permulaciones~.
La permutacibn idtntica r:E -, E dada por mr = a para a E E es obviamente. un
automorfismo de E. Si a es un automorfismo, entonces la permutacion G-'.
obviamente, tambitn es un automorfismo. Asi, todos 10s automorfismos de E
forman un subgrupo de S,, el grupo de todas las permutaciones de E dado por el
teorema 4.1. rn
,,.
Demosrrucion
Para a,
7E
G ( E / F ) y a E F, tenemos
No hay que pensar que E/F denota alglin tipo de espacio cociente, sino que
significa que E es el campo de extension de algun campo F.
374
AUTOMORFISMOS DE CAMPOS
~ ( f3).
i , Si considerarnos ~(fi, fi)
$a.- ~2 del teorema 40.1, definido
Par
(a + bfi)$Ji,-Ji
= a
- bfi
~(fi,
~(3)
~ ( f3)
i.
-a$&,
fl,
= autornorfismo identidad,
fi)
&,
fi)
fi
fi
375
fi.
automorfismo s de Q($,
transforma
sobre alguno de f
De
manera aniloga, s transforma
sobre alguno de f
Pero como ( 1 , 3 ,
fi}
es una base para Q(&
sobre Q, un automorfismo deTQ($,
que deje fijo Q esth determinado por sus valores en
y
Es claro que r,
a,, a, y a, dan, entonces, todas las posibles combinaciones de 10s valores en
y
y, por tanto, son todos 10s automorfismos posibles de
J3).
Notese que G(Q(*,
fi)/Q)
tiene orden 4, y que [~(fi, fi): Q] = 4. Esto
no es un accidente, sino un ejemplo de una situation bastante general, como lo
veremos mas adelante.
8,
fi)
fi,
40.3
fi.
fi f i .
fi
~(fi,
fi)
EL AUTOMORFISMO DE FROBENIUS
Teorema 40.5 Sea F un campo Jinito de caracteristica p. Enronces, la transformacibn ap:F+ F definida por ao, = ap para a E F es un automorfismo, el
automorfismo de Frobenius de F. Ademis, F{,p) Z,.
Tenemos, asi,
(a
Por supuesto,
-
+ b)',
tenemos
376
AUTOMORFlSMOS DE CAMPOS
Z P = F{,pl.
lncluso en 10s primeros aiios de universidad, hay estudiantes que cometen el error
de decir que (a h)" = 6 6". Vemos, aqui, que esta exponenciacion esrudianril
(a
by = d
bP con exponente p es valida, en realidad, en un campo F de
caracteristica p.
+
+
Encutntrense todos 10s conjugados de cada uno de 10s numeros dados sobre 10s
camps dados.
40.1
fi
a)
sobre Q
c) 3 +
sobre Q
e) $ + i sobre Q
sobre Q
g)
b) JZ sobre R
d) $ sobre Q
f)
+ i sobre R
h)
sobre Q ( d )
fi
fi
fi,
Considerese el c a m p E = Q($,
&). En la notacion del teorema 40.1,
tenemos 10s siguientes isomorfismos bbicos (que son aqui 10s automorfismos de E):
40.2
= $j3.-j3 y
a) f i r 2
b)
c)
e)
(JZ + 3&)(~2~3)
(JZ + fi)(r2r,r:)
d)
0
y Q(3
a) Encuentrese un conjugado
+ $)
(fi+
r5
$Js. - JS.Calculese lo
$1~2
J i - 3 3
2Jj
- JZ
( ~ 3 ~ 5 )
~ ( f- iJj)r5
fi0(~5~2)1~3
# a de a sobre Q.
de Q($)
b) Con respecto a a), compirese el autornorfismo basico $J,. _,
automorfismo basico $,. B.
+ &.
con el
40.4
J3.
a)
C':n,n,:
b) E:,,;
C)
E:ni.o.,;
Con respecto a1 ejercicio 40.2. encuentrese el carnpo lijo de cada uno de 10s siguientes automorfisrnos o conjuntos de autornorfisrnos de E.
40.5
t40.6 Sea z algebraic0 de grado n sobre f . Muestrese, del corolario 1 del teorema 40.1,
que hay a lo m b n isornorfismos diferentes de f ( a ) en F.
40.7
iFa1~0o verdadero?
Para todas las n, E E hay siernpre un automorfismo de E que transforma cr
sobre p.
Para z. algebraicos sobre un campo F, hay siempre un isomorfismo de F(z)
sobre F(P).
Para a. /Y algebraicos y conjugados sobre un campo F, hay siempre un isomorfismo de F(z) sobre F(P).
Todo automorfismo de todo campo deja fijo a todo elemento del subcampo
primo de E.
Todo automorfismo de todo c a m p E deja fio a un numero inlinito de elementos de E.
Todo automorfismo de todo campo E deja fijo al menos dos elementos de E.
Todo automorfismo de todo c a m p E de caracteristica 0, deja fijo un numero
infinito de elementos de E.
Todos 10s automorfismos de un campo E forman grupo bajo la compsicion de
funciones.
El conjunto de todos 10s elernentos de un campo E que queda fijo bajo un solo
automorfismo de E, forma un subcampo de E.
Para 10s campos F I E I K, G(K/E) I G(K/F).
40.9
40.10
378
AUTOMORFISMOS DE CAMPOS
+ .VP-~+
...
+ .r +
es irreducible sobre Q para todo prirno p. Sea un cero de @Ax), considkrese el carnpo
Q(I).
a) Mubtrese que 1, i 2 , . . ., Cp-' son ceros distintos de Op(.r)y concluyase que son todos
10s ceros de @,,(.r).
b) Dedkcase, del corolario 1 del teorema 40.1 y la parte a) de este ejercicio, que
G(Q(O/Q) es abeliano de orden p - 1.
Mubtrese que el c a m p fijo de G(Q(I)/Q)es Q. [Sugerencia: mutstrese que
C)
{I, i 2 , . . ., (P-
11
es una base para Q(I) sobre Q y considkrese las cornbinaciones lineales de 1, I*, . . .,
40.16
40.17
40.18
El teorema
380
sea
/I un cero en F de
381
Corolario I Si E
F es una extension algebraica dc F, y a, fl E E son
conjugadas sohre F, rnrorrccs el isomorfi.vmo hasico
F(a) -+ F( p) dado por
el reorenla 40.1 pueh rsrrnderse a uit isomorfisnto de E en F.
Como otro corolario podemos demostrar, como lo prornetirnos, que una cerradura algebraica de F es tinica, salvo un isornorfisrno que deje fijo F.
Corolario 2
isomorfo a
F'
F es
41.2
fi):
382
Teoremo 41.2 Sea E una e.vten.~icin.finita de un campo F. Sea o un isomorfi.4ma de F sohre un campo F' j. sea F' una cerradura algebraica de F'.
el nurnero de exrensiones de u a UII isomor-smo T de E en F' es .finit0
it~dependientede F', F' y o. Esto (3,esre nritliero de estensiones esta
mente deterniinado por 10s dos carnpos E F: es intrinseco a ellos.
Demosrracibn El diagrarna de la figura 41.4 puede ayudarles a seguir la condtruccion que harernos. El diagrarna se construye de la siguiente manera.
I
F';
Extiende a;'a,
FT
o,:F-F;,
sobre
o,:F-F;,
mbrc
383
esto es, dando la vuelta por el otro lado del diagrama, muestra que la correspondencia entre r , :E -+ F,' y r,: E -+ F; es uno a uno. En vista de esta correspondencia uno a uno, el numero de r que extiende a a es independiente de F', F' y a.
Que el numero de transformaciones a es finita, se sigue del hecho de que
como E es una extension finita de F, por el teorema 38.3 E = F(a,, . . ., 3,) para
algunos a , , . . ., a, en E. Hay solo un numero finito de candidatos posibles para
las imigenes air en F', pues si
donde a,
Definicih Sea E una extensi6n finita de un campo F. El numero de isomorfismos de E en F que dejan fijo F es el indice { E : F ) de E sobre F.
Corolario Si F 5 E 5 K donde K es un carnpo de extensibnfinita del campo
F, entonces { K : F ) = { K : E ) { E : F ) .
Del teorema 41.2, se sigue que cada uno de 10s { E :F ) isomofisFque dejan fijo F tiene { K : E ) extensiones a un isomorlismo de Ken
Demostracibn
mos ri:E
F.
-+
rn
384
*41.3
Demostracion Considerense todos 10s pares ( L , i.) donde L es un campo tal que
F I L I E y i. es un isomorfismo de L en F' tal que ai. = aa para a F.
El conjunto S de dichos pares ( L , i.)es no vacio, pues (F, a) es uno de ellos.
Definase un orden parcial en S mediante ( L , , 2 , ) 5 (L,, i.,) si L , 5 L , y ai., =
= ui, para a E L,. Se verifica facilmente que esta relacibn 5 da un orden parcial
de S.
Sea T = ((Hi,i.,)( i~ I ) una cadena de S. Afirmamos que H =
Hi es un
subcampo de E. Sea a, b E H donde a E H I y b E H,; entonces, H , s H , o
H, 5 H,, puesto que T es una cadena. Si, digamos, H , 5 H,, entonces, a, b E H ,
de mod0 que a
b, ab y alb para b # 0 estan en H , y, por tanto, en H. Como
para cada i E I, F G Hi E E, tenemos F E H G E. Asi, H es un subcampo de E.
Definase I : H -+ F' como sigue. Sea c E H. Entonces, c E Hi para alguna
i~Iysea
Vie,
(a
= a?.
+ 61..
41.3
385
If,
considerese
q ( ~ =)
ffoT
+ u ,.\. +
...
K ( r ) . Si
+ u,,.vn.
+ (0,s).r + . - . + (U,T).\-"
Y/? \-fj
71.
ax1
Canonico
K(a)
K[xl/(~ ( 4 )
Kf[xl
Canonico
7 = Y-'rl.Yf
Kf[xl/(q(x))
h'
K'(a3
386
EJerclclos
C-
ti
fi,f i )
f i ) ~ ( f i fi),
.
donde es la transformaci6n identica
fi) ~ ( f ,)ifi , donde f i a = f i y $a = -fi
a) l : ~ ( f i b) a : ~ ( f i ,
C)
*JM,
41.2
- d f ~ : ~~(( f$ 6i )~ )
+
Es un hecho que se puede verilicar elevando al cubo, el que 10s ceros de .r3 - 2 dn Q
son
a,=$,
donde
a 2 = f i -
+ ifi
2
a,=fi-
1-ifi
'
I
!
l
a) Describanse todas las extensiones de la transformaci6n identidad de Q a un isomdrfismos que transforme ~ ( f i )en, Q.
b) Describanse todas las extensiones de la transformacibn identica de Q a un isom
mo que transforme Q(@, f i ) en Q.
.
de ~ ( f ai un
) isohorC) Describanse todas las extensiones del automorfismo $ ~ j -Jj
fismo que transforme Q(i,
f i ) en Q.
&,
I
i
41.7
mostraron, para una extension algebraica simple F(a) de F. Usese el hecho de que una
extension finita es una torre de extensiones simples, junto con las propiedades rnultiplicativas del indice y del grado.]
42 CAMPOS DE DESCOMPOSICION
389
para una a j lija, F(aj) tiene como elementos todas las expresiones de la forma
390
CAMPOS DE DESCOMPOSICION
{ E :F ) = IG(E/F)I.
Demostracibn Todo isomorfismo a que transforme E en F y deje fijo F, puede
extenderse a un automorfismo T de 8 debido a1 teorema 41.1, junto con el
argument0 que prueba que es sobre de la segunda mitad de la demostracion del
teorema 42.1. Si E es un campo de descomposicion sobre F, entonces,
teorema 4.2.1, T restringido a E, esto es, a es un automorfismo de E. Asi,
c a m p de descomposicion E sobre F, toda-transforrnacibn isomorfa de
que deje fijo F es un automorfismo de E.
42 CAMPOS DE DESCOMPOSICION
391
Ejemplo 42.1
fi)
~(a,
~ ( f Entonces,
i).
: Q] = (2)(3) = 6.
392
CAMPOS DE DESCOMPOSICION
fi),
id).
42.1 Para cada uno de 10s polinornios dados en Q[.r], encuentrese el grado sobre Q del
carnpo de descornposicion sobre Q del polinornio.
ifi)/Q(.@))?
42.4 Sea a un cero de .r3 + .r2 + 1 sobre Z,. MuOstrese que .r3 + .r2 + 1 se descornpone en Z2(a). [Sugerencia: hay ocho elernentos en Z2(a). Exhibanse dos ceros mas de
.r3 + .r2 + 1, adernas de a, de entre estos elernentos.]
'4L5 Mubtrese que si una extension finita E de un carnpo F es un c a m p de descornposicion sobre F, entonces E es un carnpo de descomposicion de algun polinomio en F[x].
42.6 ~ F ~ I os overdadero?
Sea a, B E E donde E 5 F es un campo de descornposicion sobre F. Entonces,
existe un autornorfisrno de E que deja fijo F y transforma a sobre B si y solo si
irr(a, F) = irr(B, F).
R es un c a m p de descornposicion sobre Q.
R es un campo de descomposicion sobre R.
C es un c a m p de descornposicion sobre R.
Q(i) es un carnpo de descornposicion sobre Q.
Q(n) es un c a m p de descornposicion sobre Q(n2).
Para todo carnpo de descornposicion E sobre F, donde E I F, toda transformacion isornorfa de E en F es un autornorfismo de E.
Para todo carnpo de descornposicion E sobre F, donde E I F,todo isomorfismo
que transforrna E en F es un autornorfismo de E.
Para todo c a m p de descomposicion E sobre F. donde E IF,todo isomorfisrno
que lleva E en F y deja fijo F es un automorfisrno de E.
Toda cerradura algebraica F de un campo F es un carnpo de descomposicion
sobre F.
42.7 Muestrese, mediante un ejernplo, que el corolario 1 del teorerna 42.1 no se curnple, si
se quita la palabra irreducible.
42.8 a) i,Es (G(E/I.')Imultiplicative para torres linitas de extensiones finitas, esto es.
42.10
~ ( $ 5tiene
) solo el automorfismo identidad.
42.11
Muestrese que
42.12
42.13
42.14
42.15
42.16
Extensiones
separables
: un
con
a de
bs de
+,,
395
lo cual muestra que la multiplicidad de p en f ( x ) es mayor o igual a la multiplicidad de a. Un razonamiento anilogo da la desiguladad reciproca, de mod0 que la
multiplicidad de a es igual a la de 8.
Corolario Si f ( x )es irreducible en F [ x ] , entonces f ( x )tiene una factorizacihn
en F [ x ] de la forma
F y a E F.
396
EXTENSIONES SEPARABLES
tcorcma 40.1 y su corolario muestran que para una extension algebraica simple
F(z) dc F, cxiste. para todo cero distinto, de irr(a, F), una extension del isomorfismo idcntidad I de F en F, y que estas son las unicas extensiones de I. Asi,
( F(z) : F ) cs el numero dc. 10s distintos ceros dc irr(a, F).
De nuestro trabajo con el teorema de Lagrange y del teorema 38.2, deberia
reconocerse la fuerza potencial de un teorema como el siguiente.
Teorema 43.2
[E : F].
.. ., a,,), donde ai E i?
43.2
EXl'ENSlONEs SEPARABLES
397
Se tiene,
E E.
Entonces,
F12, . . . . , a,).
398
EXTENSIONES SEPARABLES
43.3
F(a,
tendi9
CAMPOS PERFECTOS
Pasemos ahora a la tarea de probar que a puede no ser separable sobre A 610 si
F es un c a m p infinito de caracteristica p # 0. Un mttodo es introduci: :rivadas formales de polinomios. Aunque esta tecnica es elegante y util, en a] de la
brevedad usaremos el lema siguiente. Las derivadas formales se desarroll; :n 10s
ejercicios 43.8 a1 43.15.
Lema 43.1 Sea
F[x] y m - 1 #
Pues (f(x))"
en F,
n r, a
,,
,,
,-,,
. .,k.
an-L.
uevo,
lstrar
Estamos ahora en posicion de manejar campos F de caracteristica cero y
que, para una extension finita E de F, tenemos que {E:F} = [ E : I Por
defmicibn, esto equivale a probar que toda extension finita de un ca o de
caracteristica cero es una extension separabk. Primero daremos una del cion.
399
Hi
Como f(x) es irreducible y de grado minimal en F[x] con a como cero, vemos
entonces que I* = i. Por tanto, a es separable sobre F para todas las a E E. Por el
corolario del teorema 43.3, esto significa que E es una extension separable de
F. 8
El lema 43.1 tambien nos servira para el caso de un c a m p finito, aunque la
demostracion sea un poco dificil. No hay que pensar que no se puede entender el
significado de un teorema, s610 porque uno se pierde en la demostracion.
Teorema 43.5
ni
ni
400
EXTENSlONES SEPARABLES
"43.4
Pi -
Haciendo a =
fi
+ a;,
para todas las i y todas las j # 1. Sea f(x) = irr(P, F), considerese
h(.r) = f (a - ax) E (F(a))[x].
Ahora, h(y) = f(P) = 0. Sin embargo, por construccion. /1(yj) # 0 para j # 1,
pues las Pi fueron 10s Gnicos ceros de f(x). Por tanto, h(x) y g(x) = irr(y, F) tienen
un factor comun en (F(a))[x], a saber, irr(y, F(a)) que debe ser lineal, pues ;,es el
unico cero comun de g(x) y h(x). Asi, y E F(a) y, por tanto, = a - ay esta en
F(a). De aqui, F(P, y) = F(a).
Corolorio Una extensibn jinita de un campo de caracterktica cero es una
extensibn simple.
43.1 Dkse un ejemplo de un/(x) E Q[x] que no tenga ceros en Q, pero cuyos ceros en C
Sean todos de multiplicidad 2. Expliquese en qut medida esto es consistente con el teorema
a)
b)
c)
d)
402
EXTENSIONES SEPARABLES
Muestrese que (1, y, . . .,y " - ' ) es una base para Zp(y)sobre Z&yP),donde y cs una
indeterminada. Con referencia al ejemplo 43.1, concluyase, mediante un razonamierto de
grado, que xP - I es irreducible sobre Zp(t)donde I = yP.
43.4
435
43.6
438
un
a) D(a/(x)) = aD(f(x)) para todos 10s f(x) E F[x] y a E Fb) D(f (x)g(x))= f(x)gf(x) + f'(x)g(x) para todos 10sf(x), g(x)E F[x]. [Sugerencia:~
la parte a) de este ejercicio y el ejercicio anterior y prockdase por induction? el
grad0 de f (xlg(x).l
C) D((/(x)~)= (m - l)/(x)"- 'f'(x) para todas las /(x) E F[x]. [Sugerencia: bese .I
4110 Sea f(x) E F[x] y a E Fun cero de f(x) de multiplicidad v. Mukstrese que v > si y
solo si a es, ademb, un cero def'(x). [Sugerencia: apliquese b) y c) del ejercicio 43.1 la
factorizacibn f(x) = (x - a)'g(x) de f(x) en F[x].]
4111 Mutstrese, del ejercicio 43.10, que todo polinomio irreducible sobre un campide
43.12 MuCstrese, del ejercicio 43.10. que un polinomio irreducible q(x)sobre un campo F
de caracteristica p f 0 no es separable si y solo si cada exponente de cada termino de q(.r)
es divisible entre p.
43.13 Generalicese el ejercicio 43.10. mostrando que f(.r) E F[.r] no tiene ceros de
multiplicidad > 1 si y solo si f ( s ) y f'(.r) no tienen factor comun no constante en F[.r].
*43.14 Con algo mas de trabajo que en el ejercicio 43.13, muestrese que./(x) E FIX] no
tiene cero de multiplicidad > 1 si y solo si f ( x ) y f'(x) no tienen factor comun no constante
en F [ x ] . [Sugerencia: usese el teorema 33.3 para mostrar que si 1 es un mcd de f ( x ) y f'(.r)
en F [ x ] , tambien es un mcd de estos polinomios en F [ x ] . ]
*43.15 Describase un procedimiento factible de calculo para determinar en que casos
f(.r) E F [ x ] tiene un cero de multiplicidad > 1, sin tener que encontrar, en realidad, 10s
ceros de f ( x ) . [Sugerencia: usese el ejercicio 43.14.1
3)
fi 8
+43.17 Obkrvese d6nde se usaron, en el teorema 43.6, las hipbtesis de que F era infinito.
Muktrese que si F es finito con s elementos y si B y y son algebraicos sobre F y de grados
n y m, respectivarnente, entonces existe a tal q w F(B, y) = F(a)siernpre que s > mn. (Este
resultado seri desplazado por el trabajo del capitulo 45.)
Extensiones
totalmente
inseparables
44.1
Demoslracion Como F < E < K, tenemos [ K : El > 1 y [ E : F ] > 1 . Supongase que K es totalmente inseparable sobre F. Entonces, {K: F } = 1 y
dr ~ o d que
o debemos tener
405
- ..
-2.:
Es c+io que hasta ahora hemos seguido un camino paralel~a1 trabajo del
capitlio 43, tanto es asi que bien pudimos haber manejado juntas estas ideas.
406
* 44.2
CERRADURAS SEPARABLES
Ey a
9 F,
a)d,
y (xd - ad) E F[x], lo cual muestra que irr(a, F) divide (x - a)d. Asi, 'rr(a, F )
tiene a como unico cero y este cero es de multiplicidad > 1, de mod0 ue a es
totalmente inseparable sobre F.
Para la segunda parte del teorema, sea E = F(al, . . ., a,). Entonce , si
Bil es un(cen,de
=
=
y12 y
y12 y
y 2 ~ 1 8Describase
.
la cerradura
Z,(u,
*44.6
0)
408
f)
g)
- h)
.
i)
- j)
Campos finitos
El propbsito de este capitulo es determinar la estructura de todos 10s campos
finitos. Mostraremos que para todo primo p y entero positivo n, hay exactamente
un campo Bnito (salvo isomorfismo) de orden p". Por lo comun, nos referimos a
este c a m p CG@') como a1 campo de Galois de orden pa. Usaremos buena parte
de nuestro material de grupos ciclicos. Las demostraciones son sencillas y elegantes.
45.1
Es facil ver que todos 10s campos finitos deben tener orden igual a la potencia de
un primo.
Entonces, toda
para hiE F. Como cada h, puede ser alguno de 10s q elementos de F, entonces el
n6mero total de dichas combi%aciones lineales distintas de las aies g". rn
Corolario
410
CAMPOS FlNlTOS
,.
n;=,
45.2 LA EXISTENCIA DE C G ( m
411
Corolario 2
simple a%
F.
Demosrracion Sea a un generador para el grupo ciclico E* de elementos distintos de cero de E. Entonces, obviamente E = F(a).
,.
,*
,*,
Las raices quintas primitivas del unitario en Z,, son de la forma 2" donde el mcd
de m y 10 es 2, esto es,
45.2
LA EXISTENCIA DE CG(P")
Asi,
g(a) = [(p" - 1 ) .
1
a
1
a
11 - = --.
EncGntrense todos 10s generadores de cada uno de 10s siguientes grupos ciclicos.
(Recutrdese la teoria de 10s grupos ciclicos.)
45.1
>
b) <Z,7*, . >
a) <Z7*?.
45.2
a)
b)
c)
d)
C)
<223*: .
>
numero de
numero de
numero de
numero de
- j)
45.9
Mubtrese que dos campos finitos del mismo orden son isomorfos.
45.11
> 1 en 2
, (Vkase la demostracion del lerna 45.1.)
45.12
Teoria de Galois
Quizas este capitulo sea el climax de la elegancia del tema tratado en este libro.
La teoria de Galois da una bella interrelacion entre la teoria de grupos y la de
camps. Desde el capitulo 40, hemos dirigido nuestro trabajo para alcanzar este
objetivo. Comenzaremos recordando 10s principales resultados desarrollados.
1 Sean F I E I
2
3
En vista de 10s numeros 4 y 5 del resumen, &as son las extensiones finitas de F
que son campos de descomposicion separables sobre F.
Definicibn Una extension linita K de F es una extensibn norrnalfinita de F,
si K cs un campo de dcscomposicion separable sobre F.
417
El teorema anterior muestra que existe una correspondencia uno a uno entre
clases laterales derecha de G ( K / E )en G ( K / F )y 10s isomorfismos de E que dejan
fijo F. Notese que no podemos decir que estas clases laterales derechas correspondan a auromorfismos de E sobre F, pues entonces, E no seria un campo de
de F, entonces estos
descomposicion sobre F. Ahora, si E es una extension norr~~al
isomorfismos seran automorfismos de E sobre F. Quizas el lector piense que esto
sucedera si y solo si G ( K / E )es un subgrupo normal de G ( K / F )y, en efecto, asi es;
esto es, 10s dos usos diferentes de la palabra normal estan, en realidad, intimamente relacionados. Asi, si E es una extension normal de F, entonces las clases
laterales derechas de G ( K / E )en G ( K / F )pueden considerarse elementos del grupo
) es, entonces, un grupo de automorfismos actuando en
factor G ( K / F ) / G ( K / Eque
E y que deja lijo F. Mostraremos que este grupo factor es isomorfo a G(E/F).
46.3
EL TEOREMA PRINCIPAL
El teorema principal de la teoria de Galois afirma que para una extension normal
finita K de un campo F, existe una correspondencia uno a uno entre 10s subgrupos de G ( K / F ) y 10s campos intermedios E, donde F 5 E 5 K. Esta correspondencia asocia a cada campo intermedio E, el subgrupo G(K/E). Por supuesto,
podemos ir en la otra direccibn y comenzar con un subgrupo H de G ( K / F )y asociar
a H su campofijo KH.Ilustraremos esto con un ejemplo facil y despuks enunciaremos el teorema y analizaremos su demostracibn.
Ejernplo 46.1 Sea K = Q($,
$). Ahora, K es una extension normal de Q,
y en el ejemplo 40.4 se mostr6 que hay cuatro automorfismos de K que dejan
lijo Q. Los recordaremos dando sus valores en la base (1, $, $, ,/%) para K
sobre Q.
I:
a,:
a,:
a,:
La transformacion identidad.
$ sobre
Transforma $ sobre
Transforma $ sobre -$,,/% sobre
Transforma
sobre
$ sobre
-8,
fi
-fi,
Vimos que {I, a,, a,, 0,) es isomorfo a1 Cgrupo de Klein. La lista completa de
10s subgrupos, con cada subgrupo apareado con el campo intermedio correspon-
Todos 10s subgrupos del grupo abeliano {I, a,, a,, a,} son subgrupos norm iles y,
clararnente, todos 10s carnpos intermedios son extensiones normales de Q. i Vo es
elegante?
Nbrese que si un subgrupo esrti conrenido en orro, enronces el mayor de 1 IS dos
suhgrupos corresponde a1 menor de 10s dos campos fijos correspondienres. La -azon
es clara. Cuanto mayor sea el subgrupo, esto es, cuantos mas automori smos
haya, tanto menor sera el campo fijo, esto es, tantos rnenos elernentos q ledan
fijos. En la figura 46.1 se dan 10s diagramas reticulares correspondientes a 10s
subgrupos y a 10s carnpos intermedios. Nbrese, nuevamenre, que 10s grupo : mas
arriha corresponden a 10s campos mas abajo. Esto es, un reticulo se ve co no el
otro, pero inverrido, o con la parte de arriba hacia abajo. Como aqui, en rea lidad,
cada reticulo se ve corno es, pero invertido; este no es un buen ejernplo para
ilustrar este principio de inversibn reticular. Si se observa la figura 47.2, se teran
diagramas cuyos reticulos no se parecen a sus propias figuras invertidas. I
Rg. 46.1
a
46.3 EL TEOREMA PRINCIPAL
419
es una iransformacion uno a uno del conjunto de todos estos campos intermedios E sobre el corljunto de -todos 10s subgrupos de G ( K / F ) .Se cumplen las
siguientes propiedades para 2:
1 Ei. = G ( K / E ) .
2 E = KG,KIE)
= KE-.
3 Para H 5 G ( K / F ) ,KHi. = H .
4 [ K : El = IEi.1; [ E : Fl = { G ( K / F ) :Ei.), el nzimero de clases laterales de
EA en G(K/F).
5 E es una extension normal de F si y solo si Ei. es un subgrupo nornlal de
G(K/F).Cuando Ei. es un subgrupo normal de G(K/F),entonces
46.4
Sea K una extension finita de un cutttpo finiro F. Hemos visto que K es una
cxtcnsion separable de F(un campo finito es perfecto). Supbngase que el orden de
Fes pr y [K: fl = n de mod0 que el orden de K es prn. Entonces, hemos visto que
K cs el campo de descomposicion de x"" - x sobre F. Por tanto, K es una
extcnsion normal de F.
Ahora, o, es un automorfismo de K que deja Iijo F. donde para a E K, ao,. =
= a'. Notese que a(o,,)'.= a"'. Como un polinomio de grado p" puede tener a lo
mis pri ceros en un campo, vemos que la menor potencia de o, que podria dejar
fijos todos 10s p'" elementos de K es la n-ksima potencia. Esto es, el orden del
clement0 o,, en G(K/F)es por lo menos n. Por tanto, como IG(K/F)( = [K: F] =
= n, tenemos que G(K/F) es ciclico y generado por o., Resumimos estos argumentos en un teorema.
Teorema 46.3 Sea K unu e-urensionfinira de grado n de un campo finiro F de
pr elumenros. Enroncus, G(K/F) es ciclico de orden n y esra generado por o,
dondc. pura a E K, ao,, = a".
Usamos esie teorema para dar otra ilustracibn del teorema principal de la
teoria de Galois.
Ejemplo 46.2 Sea F = 2, y sea K = CG(pI2),de modo que [K: fl = 12. Entonces, G(K/F) es isomorfo al grupo ciclico (2, + ). En la figura 46.2 se da el
diagrama reticular para 10s subgrupos y para 10s campos intermedios. De nuevo,
cada reticulo no solo es la inversion del otro sin0 que, desafortunadamente,
tambitn se ve como la inversion de si mismo. En la seccion siguiente (con
astcrisco), se dan ejemplos en donde 10s reticulos no se parecen a sus propias
inversiones. Describimos 10s subgrupos ciclicos de G(K/F) = (0,) dando 10s
gcncradores. por ejemplo,
,,
421
/ \
U
,(,p2
I ,
,a/,:'
/ \GF(pt;)=
k',,o,,~,
==GF(pi)
K.,,:,
\
/ \G F(p:')
K(0p2;=G F(/$)
=K
(a,,')
-,.
\ /
'
F - ZP=G F i p ) =
<L,
Fig. 46.2 (a) Diagrama reticular de grupos. (b) Dlagrama reticular de campos.
'46.5
FINAL DE LA DEMOSTRACION
DEL TEOREMA PRINCIPAL
Vimos que todo lo que falta probar en el teorema principal de la teoria de Galois
son las propiedades 3 y 5.
Volviendo a la propiedad 3, debemos rnostrar que para
H IG(K/F),KHI. = H. Sabernos que H IK H i IG(K/F).Asi, lo que realmente
debernos mostrar es que es imposible que H sea un subgrupo propio de K H i .
Supondremos que
Dt~t?iostrc.ibn
H < KHi., .
y deduciremos una contradiccion. Si KH es infinito, entonces, por ser una extension separable finita de un campo infinito, K = KH(a)para alguna a E K, por el
teorema 43.6. Por otro lado, si KH es finito, entonces tendremos aun que
K = KH(a)para alguna a E K, por el corolario 2 del teorema 45.3. Sea
n = [ K : K H ] = { K :K H ) = IG(K/KH)I.
para todas las a E E, o E G(K/F)y T E G(K/E).Pero esto significa que para todas
las o E G(K/F)y T E G(K/E),era-l deja fijo todo elemento de E, esto es,
para o E G(K/F)es, obviamente, un homomorfismo. Por el teorema de la extension de isomorfismos, todo automorfismo de E que deje fijo F puede extenderse a
algun automorfismo de K, esto es, es T , para alguna T E G(K/F).Asi, t$ es sobre
G(E/F). Es claro que el kernel de t$ es G(K/E). Por tanto, por el teorema
fundamental del isomorfismo, G(E/F) G(K/F)/G(K/E).Mas aGn, este ilsomorI
fismo es el natural.
fi,A)
El c a m p K = Q($,
es una extension normal tinita de Q. Lltnense 10s
espacios en blanco. La notacion es la del teorema 46.2.
46.1
46.2
iFalso o verdadero?
Dos subgrupos diferentes de un grupo de Galois pueden tener el mismo campo
fijo.
En la notacion del teorema 46.2, si F < E < L 5 K, entonces El. < LA.
Si K es una extension normal finita de F, entonces K es una extension normal de
E, donde F 5 E 5 K.
Si dos extensiones normales finitas E y L de un c a m p F tienen grupos de
Galois isomorfos, entonces [E: fl = [ L :fl.
Si E a una extension normal finita de F y H es un subgrupo normal de G(E/F),
entonces En es una extension normal de F.
Si E es cualquier extension simple normal finita de un c a m p F, entonces el
p p o de Galois G(E/F) es un grupo simple.
Ninghn grupo de Galois es simple.
El grupo dc Galois de una extensi6n finita de un c a m p finito, es abeliano.
Una extension E de grado 2 sobre un c a m p F es siempre una extension normal
de F.
Una extension E de grado 2 sobre un c a m p F es siempre una extension normal
de F si la caracteristica de F no es 2.
424
46.8
TEORIA DE GALOIS
son elementos de F.
46.9 Considtrese K =
(vease el ejemplo 46.1).
()(a,
fi).
46.11
F donde la
a.
46.17
a)
b)
esta en f l . ~ ] .
C o n referencia a a), muestrese que,/(.r) es una potencia de irr(z, F ) y/(.r) = irdt. f 1 5 1
y solo si E = F(rr).
llustraciones de la
teoria de Galois
paraf(y,,. . .;Y,), g ( y , , . . . , y , ) f l y , , . . ., y,l con ~ ( Y I .,.,. Y.) + 0-Es inmediato que 5 es un automorfismo de f l y , , . . .,y,) que deja fijo F. Los eletnentos
de fly,, . . ., y,) que quedaron fijos bajo todas las 5,para todas las U E
son
aquellas funcioncs rationales que son simitricas en las indeterminadas y , , . . ., y,.
p,,
.,
Asi, 10s coeficientes de f ( x ) estan en K; son funciones simktricas en las y,, . . ., y,.
Como ilustracion, notese que el tkrmino constante de f ( x ) es
n7=
1(X
-~ i ) .
. ..,y,
es
13
1
.
= (S,I = n!,
tenemos ademas
n? 5 { f l y , , . . ., y,): K ) I[ f l y , , .
e . 9
Y,):KI.
dc rnodo quc
Entonces, todo el grupo de Galois de F(y,, . . .,y,) sobre E es S,.El hecho de que
K = E , muestra que toda funcion simetrica puede expresarse como funcion racional de las funciones simetricas elementales s , , . . ., s,. Resumimos estos resultados
en un teorema.
Teorema 47.1 Sean s,, . . ., s, las funciones simhfricas elemenrales en las
inderernrittudas y,, . . ., p,. Enronces, roda funcion simkrrica de y,, . . ., y, sohre F es una funcibn racional de las funciones simirricus elemenrales. Ademas,
F(y,, .. ., y,) es una exrensibn normalfinira de grado n! de F(s,, . . ., s,), y el
grupo de Galois de esra exrensibn es naruralmenre isomorfo a S,.
En vista del teorema de Cayley, podemos deducir del teorema 47.1, que
cualquier grupo finito puede presentarse como un grupo de Galois (salvo isomorfismo). (Vease el ejercicio 47.13.)
"47.2
EJEMPLOS
Demos ahora el ejemplo prometido de una extension normal finita que tenga
grupo de Galois cuyo reticulo de subgrupos no se vea como su propia invertida.
fl
entonces
Tabla 47.2
y aa = 1, vemos que G(K/Q) es isomorfo a1 grupo (1, 3, 5, 7) bajo la multiplicacion mbdulo 8. Este es el grupo G, del teorema 24.7. Como af = a,, la identidad,
para todas las j, G(K/Q) debe ser isomorfo a1 Cgrupo de Klein. Los diagramas
reticulares estan dados en la figura 47.3.
(b)
Fig. 47.3
De manera analoga,
aa,
+ aa,
=a
+ z7 = t'lj
queda fijo bajo {a,, a,}. Esta ticnica no es util para encontrar E,,,.a,I,pues
ao,
+ aaS = a + z5 = 0,
a,, Y
(aa,)(aa,) = aa' = - i .
Asi, Q( - i) = Q(i) es el campo que buscarnos. rn
*47.1
*473 Verifiquese que 10s carnpos intermedios dados en el diagrama reticular de carnpos,
en la figura 47.3, son 10s correctos. (Algunos se verificaronen el texto. Verifiquese el resto.)
*47S Describase el grupo del polinornio (x5 - ?k(Q(I))[x] sobre Q(C) don& 4 es una
raiz quinta prirnitiva del unitario.
*47.6
*47.7
Encuentrese el campo de descomposicion K en C del polinomio (x4 - 4x2 I ) E Q [ x ] . Calculese el grupo del polinomio sobre Q y exhibase la wrrespondencia
entre 10s subgrupos de G ( K / Q ) y los campos intermedios. En otras palabras, higase todo
*47.8
el trabajo.
'47.9 Exprksese cada una de las siguientes funciones simktricas en y , , y,, y, sobre Q
como una funcion racional de las funciones elementales simetricas s,, s,, s,.
*40.10
(a,
- a,)'.
(a,
*47.11 Sea f ( x ) E R x ] un polinomio m6nico de grado n con todos sus factores irreducibles separables sobre F. Sea K < F el c a m p de descomposici6n de f ( x ) sobre F, y
supbngase que f ( x ) se factoriza en fix] en
Sea
el product0 ( A W es el discriminante de f ( x ) .
a) Mubtrese que A ( A = 0 si y solo si f ( x ) tiene como factor el cuadrado de alg~in
polinomio irreducible en a x ] .
b) Mubtresc que (&A)' E F.
c) G ( K / F ) puede considerarse un subgrupo de S, donde S, es el grupo de todas las
permutaciones de {ai ( i = 1, . . ., n } . MuCstrese que G ( K / F ) , wnsiderado de esta manera, es un subgrupo de Am el grupo formado por todas las permutaciones pares de
{ a i l i = 1, ..., n } s i y d l o s i A ( f ) ~ F .
*47.12 Un elemento de C es un eatero algebrrico si es un cero de algun polinomio mdnico
en Z [ x ] . Muestrese que el wnjunto de todos 10s enteros algebraicos forma un subanillo
de C.
Mubtrese que todo grupo finito es isomorfo a algun grupo de Galois G((K/F)
para alguna extension normal finita K de algun c a m p F.
1
*47.13
Definici6n El polinomio
F, es el n a i m o
+ i sen B,)(cos 0, + i sen 8,) = cos (8, + 8,) + i sen (8, + 8,).
= cos 271
+ i sen 2n = I,
de modo que cos (2nln) + i sen (2xln) es una raiz n-isima del unitario. La figura
48.1 puede ayudar a visualizar todo esto. Es bastante obvio, a partir de la figu-
437
ra, que cl menor enter0 m tal que ((cos 2nln) + i sen (2nln))" = 1 rs n. Asi,
cos (2nln) + i sen (2nln) e.7 una raiz nCsima primitiva del unitario. un wro de -
Ejemplo 48.1
211
211
cos - + i sen 8
8
cos
R
-
+ i sen R4
Por la teoria de 10s grupos ciclicos, en particular por el corolario del teorema 6.4,
de modo que
todas las raices octavas primitivas en Q son C, C3, CS y
c7,
@,(.Y)
de mod0 que C es una raiz ntsima primitiva del unitario. Kotese que ( es un
generador del grupo ciclico multiplicative de orden n formado por todas las
raices ntsimas del unitario. Todas las raices n-bimas primitivas del unitario, esto
es, todos 10s generadores de este grupo son de la forma Cm para 1 Im 5 n y m
primo relativo con n. El c a m p Q(C) es el c a m p de descomposicion de x" - 1
sobre Q. Sea K = Q(0.Si Cm es otra raiz n-esima primitiva del unitario, entonces,
como C y Cm son conjugados sobre Q, existe un automorfismo T, en G(K/Q) que
Sea r, el automorfismo analog0 en G(K/QIcorrespondiente a
transforma C en
Entonces
la raiz nCsima primitiva del unitario
r.
r.
Esto muestra que el grupo de Galois G(K/Q) es isomorfo a1 grupo G, del teorema
24.7, formado por 10s elementos de Z, primos relativos con n bajo la multiplicacion modulo n. Este grupo tiene q(n) elementos y es, por supuesto, abeliano.
438
EXTENSIONES CICLOTOMICAS
Ejemplo 48.2 El ejemplo 47.2 ilustra este teorema, pues es facil ver que el c a m p
de descomposicion de x4 + 1 es igual a1 campo de descomposicion de x8 - 1
sobre Q. Esto se sigue del hecho de que @,(x) = x4 + 1 (veanse el ejemplo 48.1 y
el ejercicio 48.1).
Corolario El grupo de Galois de la p-esima extension ciclotomica de
un primo p es ciclico de orden p - 1.
a para
Concluimos con una aplicacibn para determinar cuiles n-gonos regulares son
construibles con regla y compb. Vimos en el capitulo 39 que el n-gono regular es
construible si y so10 si w s (2aln) es un numero real construible. Sea ahora
Entonces,
439
Pero entonces,
Asi, el corolario del teorema 39.2 muestra que el n-gono regular es construible
solo si C + 1/[ genera una extension de Q de grado una potencia de 2.
Si K es el c a m p de descomposicion de xf - 1 sobre Q , entonces [ K : Q ] =
= d n ) , por el teorema 48.1. Si o E G(K/Q) y Co = CI, entonces
1
(i+ $7
r+
f;
I
= 2 cos
2nr
-.
De aqui que el n-gono regular es construible s61o si (p(n)/2,y por tanto tarnbien ~ ( n ) ,
es una potencia de 2.
Se puede mostrar, mediante argumentos elementales en teoria de numeros,
que si
entonces 2" + 1 = (2')q + 1 es divisible entre 2" + 1. Por tanto, para que
pi = 2" + 1 sea primo, debe tenerse que m sea divisible solaentre 2, de mod0 que
pi tiene que ser de la forma
un primo de Fermat. Fermat conjeturo que estos numeros 2'2k' + 1 eran primos
para todos 10s enteros k no negativos. Euler mostro que mientras k = 0, 1, 2, 3
y 4 dan 10s primos 3, 5, 17, 257 y 65 537, para k = 5 encontramos que 2(2" + 1
es divisible entre 641. Se ha mostrado que para 5 < k 5 16, todos 10s nCmeros
+ 1 son compuestos. El caso k = 17 no se ha resuelto, a1 menos hasta que
este libro fue a la imprenta. No se sabe si el numero de primos de Fermat es finito
o infinito.
Hemos demostrado, entonces, que 10s unicos n-gonos regulares que pueden
construirse son aquCllos en que 10s primos impares que dividen n son primos de
Fermat cuyo cuadrado no divide n. En particular, 10s unicos p-gonos regulares
que pueden ser construibles para p primo mayor que 2, son aquCllos donde p es
un primo de Fermat.
r2''
Es un hecho, que se demostrara ahora, que todos estos n-gonos regulares que son
candidates a ser construibles, en efecto, son construibles. Sea nuevamente C la
raiz n-ksima primitiva del unitario cos (21c/n) + isen (2nln). Vimos antes que
Supongase ahora que (p(n)es una potencia 2' de 2. Sea E = Q(C+ I/(). Vimos
antes que Q(C + 1/C) es el subcampo de K = Q(C)que queda fijo bajo H I= {I,r}
donde I es el elemento identidad de G(K/Q) y Cr = I/(. Por la teoria de Sylow,
existen subgrupos adicionales Hjde orden 2j de G(Q(()/Q) para j = 0,2,3, . . ., s
tales que
*48.1 Con referencia al ejcmplo 48.1, complttense 10s calculos indicados para mostrar
que @,(x) = x4 + 1. [Sugerencia: calculese el producto en terminos de 5 y despub usese el
hecho de que CB = 1 y = - 1 para simplificar 10s coeficientes.]
c4
b) 441000)
c) 48100)
*48.4 Dense 10s primeros 30 valores de n 2 3 para 10s cuales el n-gono regular
construible con regla y cornph.
ts
~Falsoo verdadero?
a) @,(x) es irreducible sobre todo c a m p de caracteristica 0.
442
EXTENSIONES CICLOTOMICAS
'488 Encuentrese el menor angulo de grado entero, esto es, lo, 2", 3" y
mente, construible con regla y wmpas. [Sugerencia: construir un ingulo de
wnstruir el 360-gono regular, y asi suasivamente.]
'48.9
- 1 sobre Q .
a) Encutntrese [ K : Q I
b) Mubttcsc que para a 6 G(K/Q), a2 es el automorfismo identidad. Clasifiquese G KIQ)
de acucrdo con el tcorcma fundamental de los grupos abclianos finitamente g nerados.
I
sobre Z,.
'48.10
'48.11
'48.12
- 1 sobre $?!,
'48.13 Muestrese que en Q [ x ] , al,,(x) = @,,(-X) para enteros impares n > 1. [~ukerencia: k s e el ejercicio 48.5 y la factorization x2" - 1 = -(x" - I)((-x)" - 1). Prockdase
por induction.]
'48.14 Sean n, rn E Z + primos relativos. Muestrese que el c a m p de descomposici6n en C
de Y"' - 1 sobre Q es el mismo que el campo de descomposici6n en C de (3- 1 ) ( P - 1)
sobre Q .
lnsolubilidad
de la quintica
49.2
Entonces, un polinomiof(x)~fix] es soluble por radicales sobre F si podemos obtener todo cero de f(x) usando una sucesion finita de operaciones de
suma, resta, multiplication, division y extraccion de raices ni-ksimas, comenzando
con elementos de F. Ahora bien, decir que la quintica no es soluble en el caso
cllisico, esto es, caracteristica 0,no es decir que ninguna quintica es soluble, como
lo rnuestra el ejemplo siguiente.
Ejernplo 49.1 El polinomio .u5 - 1 es soluble por radicales sobre Q. El campo
de descomposicion K de .r5 - 1 estL generado sobre Q por una raiz quinta
primitiva ( del unitario. Entonces, C5 = I y K = Q(0. De manera analoga,
"s
2 es soluble por radicales sobre Q, pues su campo de descomposici6n sobre
Q esta generado por
y [, donde
es el cero real de x5 - 2. rn
fi
v2
Decir que la quintica es insoluble en el caso clLsico, signilice qttc existe atgljn
polinomio de grado 5, con coeficienks r d , que no es soluble por radicales.
Mostraremos esto. En este capifulo supondremos que rodos 10s campos mencionado.7 f ienen caraclcrisfica 0.
El esbozo del argument0 es muy facil de dar y vale la pena tratar de recordarlo.
I
Si B E F es un cero de (.?' - a ) E
445
pues
ri
E F.
De rnanera analoga,
y, en forma analoga,
es una serie normal y, por tanto, una serie subnormal de grupos. La primera
parte de la demostracibn muestra que G ( K / F )es abeliano, y la teoria de Galois
afirma que G(K/F)I(G(KJF)
es isomorfo a G(F/F),el cual es abeliano. Es facil ver
que si un grupo tiene una serie subnormal de subgrupos con grupos cociente
abelianos, entonces, cualquier refinamiento de esta serie tambitn tiene grupos
cociente abelianos. (Vtase el ejercicio 49.6.) Asi, una serie de composici6n de
G(K/F)debe tener grupos cociente abelianos, de mod0 que G(K/F)es soluble. m
El siguiente teorerna muestra que si K es una extensibn normal de F por radicales, entonces G(K/F) es soluble. El ejercicio 49.8 muestra, entonces, que si
f(x) E f i x ] es soluble por radicales y tiene c a m p de descomposicion E, G(E/F)es
soluble. Esto completarh la parte 1 de nuestro programa.
,.
tiene grupos cociente solubles. El ejercicio 49.7 muestra que esta serie, tiene,
entonces, un refinamiento que es una serie de composici6n con cocientes pbelianos, de modo que G(K,/F) es soluble. Como G(K/F) G(K,/F)/G(K,/K),el ejerci. .
cio 15.16 muestra que G(K/F)es soluble.
-.-
Nos falta mostrar que existe un subcampo F de 10s numeros realcs y un holinomiof (x)E
de grado 5 tal que el c a m p de descomposici6n E de f ( x )
tiene grupo de Galois isomorfo a S;
Sea y , E R trascendente sobre Q, y, E R trascendente sobre
sucesivamente, hasta obtener y , E R trascendente sobre Q ( y , , . . .,
facil mostrar, mediante un razonamiento de conteo, que existen
reales trascendentes. Los trascendentes hallados de esta
- --hscendeotes iadependieotes sobre Q. Sea E = Q ( y l ,. . ., y5), y sea
ax]
-1
---
Asi, A T ) E ax=j:-dEf
( x ) estan, excepto q u i d por el sign~,
entre las llamadas funciones simktricas elernentales en las y , a saber,
1
niS,,
as,,
s,, . . ., s5);
p a n cada i, de mod0 que d deja fijo F y, por tanto, d E G(E/F). Ahora, S, tiene
orden 5! de moda quc _
-Asi
- ME/m = 5! y 10s automorfismos d forman todo el grupo de Galois G(E/F).
Por tanto, G(E/F) 1: S,, de mod0 que G(E/F) no es soluble. Por 10s comentarios
anteriores al teorema 49.1, f(x) no es soluble por radicales sobre F. Resumimos
esto en un teorema.
Teorema 49.2 Sean y,, . . .,y , nrimeros reales trascen&ntes independientes
sobre Q. El polinomio
Es evidente que una generalizacibn de estos argumentos muestra que (objetivofinal) un polinomio de grado n no necesariamente es soluble por radicales para
n 2 5.
En conclusibn, comentamos que existen polinomios de grado 5 en Q[x] que
no son solubles por radicales sobre Q . La demostracibn se deja para 10s ejercicios
(vkase el ejercicio 49.9).
+ +
+ bx6 +
495 ~ F ~ I o
s overdadero?
Sea F un c a m p de caracteristica 0. Un polinomio en n x ] es soluble por
radicales si y solo si su campo & descomposici6n en F estl contenido en una
extensibn por radicales de F.
Sea F un c a m p de caracteristica 0. Un polinomio en n x ] es soluble por
radicales si y solo si su campo de descomposicion en F tiene grupo de Galois
soluble sobre F.
El c a m p de descom sicion de xl' - 5 sobre Q tiene grupo d t Galois soluble.
LOS numeros x y O
/,, x son numeros trascendentes indepcndientes sobre Q.
El grupo de Galois de una extension finita de un c a m p finito es soluble.
Ningun polinomio quintico es soluble por radicales sobre cualquier campo.
Todo polinomio de grado 4 sobre un c a m p de caracteristica 0 es soluble por
radicales.
Los ceros de un polinomio cubico sobre un campo F de caracteristica 0 siempre
pueden alcanzarse mediante una suasion finita de operaciones de suma, resta,
multiplicaci6n, division y extraction de raices cuadradas, comenzando con elementos en F.
Los a r o s de un polinomio cubico sobre un c a m p F de caracteristica 0 nunca
pueden alcanzam mediante una sucesi6n finita de opcraciones de suma, mta,
multiplicacion, division y extraccibn de raices cuadradas, comenzando con elementos en F.
La teoria de series normales de grupos descmpcfia un papel importante en las
aplicaciones de la teoria de Galois.
*49.6 Mdstrese que, para un grupo finito, todo refinamiento de una scrie subnormal con
cocientes abelianos tambitn tiene cocientes abelianos, completando asi la demostracion
del lema 49.1. [Sugerencia: usese el teorema 15.3.1
*49.7 Mubtrese que, para un grupo finito, una sene subnormal con grupos cociente
solubles se puede refinar hasta una serie de composition w n cocientes abelianos, completando asi la demostracion del teorema 49.1. [Sugerencia: usese el teorema 15.3.1
*498
*49.9
Inducci6n
matematica
1ESy
si k E S, entonces (k
1 ) E S.
Entonces, S = Z +
De este axioma obtenemos, de inmediato, el mCtodo de induccibn matematica.
Induccibn matenuftica Sea P(n) una afirmacibn acerca del entero n. Supbpga-
se que
P ( l ) es cierto y
si P(k) es cierto, entonces P(k
+ 1 ) es cierto.
Z+.
Casi siempre se quiere mostrar que P(n) vale para todos 10s n E Z+. Si se
desea mostrar que vale s610 para r, r + 1, r + 2, . . ., s - 1, s, entonces se
muestra que P(r) es cierto y que P(k) implica P(k
1 ) para r 5 k I s - 1.
N6tese que r puede ser cualquier entero en 5 positivo, negativo o cero.
451
Entonces,
LA21
452
+ .Y")
> 1
+ n.u
+ 2x.
+ 2x
Como k . ~ 0,
b vemos que P(k
Z+.
nE
# 0. Mostremos que ( 1
Y
.
- 1.
1 ) es cierto
k, entonces P(k
1 ) es cierto.
De nuevo sr: Irilta de mostrar que P(k + 1 ) es cierto, sabiendo que P(k) es cierto.
Pero si ya se alcanzo el paso de induccion donde se ha probado P(k), entonce se
sabe que P(uI)es cicrto si 1 j m 5 k, de mod0 que la hipbtesis reforzada de la
segunda afirn~iiciones permisible.
+ 2' + 32 + ... + n2
Al
Muestrescque 1'
A2
Muestreseque I - ' +
ZJ +
3'+
... +
n3 =
n(n
1)(2n
6
n2(n
+
4
I jZ
I)
para n E Z+
para n E Zt
+ 3 + 5 + . . . + (2n -
A3
Muestrese que 1
A4
1
1
I
Muestrese que - + - + - + . . .
1.2
2.3
3.4
A5
+ ar" = a(l
1) =
11'
para n
Z'
I
n
+- -para n~
n(n
1)
453
Z*.
+ ar + ar2 + . .. +
A8 En realidad, nunca hemos podido encontrar una falla en a). El lector debera probar
su suerte y despues responder b).
a) Un asesino recibe la sentencia de ser ejecutado; pide al juez que no se le diga el dia de
la ejecuci6n. El juez dice: <<Losentencio a ser ejecutado a las 10 a.m. de algun dia del
proximo enero, pero le prometo quc no se dara cuenta de que sera ejecutado ese dia,
sin0 hasta que vayan por usted a las 8 a.m.>>El criminal va a su celda y procede a
demostrar que no puede ser ejecutado en enero, de la siguiente manera:
Sea P(n) la afinnacion de que no puedo ser ejecutado en enero (31 - n). Quiero
probar P(n) para 0 < n < 30. Ahora bien, no puedo scr cjecutado el 31 de encro, pues
es el ultimo dia del mes y como serC ejecutado ese mes, sabria que kse es el dia, antes
de las 8 am., lo cual contradice la sentencia del juez Asi P(0) es cierto. Supbngase que
P(m) es cierto para 0
m < k donde k < 29. Esto es, supbngase que no puedo ser
ejecutado de enero (31 - k) a encro 31. Entonces, mero (31 - k - 1) debe ser el
ultimo dia posible para la ejecuci6n y lo sabria antes de las 8 a.m., lo cual contradice
la sentencia del juez Asi, no puedo ser ejecutado en enero (31 - (k + I)), de modo
que P(k + 1) es cierto. Por tanto, no puedo ser ejecutado en enero.
(Por supuesto, el criminal fue ejecutado el 17 de enero.)
b) Una profesora imparte una clase cinco dias a la semana, de lunes a viernes. Le
comunica a sus alumnos que hari un examen m h , algun dia de la ultima semana de
clases, pero que 10s alumnos no sabrin si el examen sera ese dia, sino hasta llegar a1
aula. iCuPl es el ultimo dia de la semana en-que puede h a ~ el
r examen, para
satisfacer estas condiciones?
OBRAS CLASICAS
I.
Hermann, 1942-58.
2. Jacobson, N, Lectures in Abstract Algebra; Princeton, Nueva Jersey, Van Nostrand,
TEORIA DE GRUPOS
16. Burnside, W., Theory of Groups of Finire Order, 2.a ed., Nueva York, Dover. 1955.
17. Coxeter, H. S. M., y Moser, W. O., Generarors and Relarions for Discrere Grnups,
2.' ed., Berlin, Springer, 1965.
18. Hall, M. J. (Jr.), The Theory of Groups, Nueva York, Macmillan, 1959.
19. Kurosh, A. G , The Theory of Groups (version inglesa), Nueva York, Chelsea, vols. 1.
1955, y 11, 1956.
20. Ludermann, W., Introduction to the Theory of Finite Groups, 4.' ed., revisada, Nueva
York, Interscience, 1961.
21. Thompson, J. G., y Feit, W., {{Solvabilityof Groups of Odd Order)). Pac. J . Marh.,
13 (1963), 775-1029.
22. Rabin, M. A., {{RecursiveUnsolvability of Group Theoretic Problems)), Ann. Math.,
67 (1958), 192-194.
TEORIA DE ANILLOS
23. Artin, E;Ncsbitt, C J, y ThraII, R. M., Rings with Minimum Condition, Ann Arbor,
University of Michigan Press, 1944.
24. McCoy, N. H.,Rings and Ideals (Carus Monograph, nbm. 8), Bbfalo, The Mathematical Association of America; LaSalle, Illinois, Open Court, 1948.
, The Theory of Rings, Nueva York, Macmillan, 1964.
25. -
TEORIA DE CAMPOS
26. Artin, E, Galois Theory (Notre Dame Mathematical Lecture, num. 2), 2.' ed., Notre
Dame, Indiana, University of Notre Dame Press, 1944.
27. Zariski, 0, y %mael, P, Commutative Algebra; Princeton, Nueva Jersey, Van
Nostrand, vol. I, 1958.
TEORIA DE NUMEROS
Hudy, C. H, y Wright E M., An Introduction to the Theory of Numbers, 4'. ed.,
Oxford, Clarendon Press, 1960.
hng, S, Algebraic Numbers; Reading, Massachusetts. Addison-Wesley, 1964.
LeVeque, W. J, Elementary Theory of Nwnbers; Reading, Massachusetts, AddisonWesley, 1962.
, Topics in Number Theory; Reading, Massachusetts, Addison-Wesley, 2 vols.,
1956.
Nagell, T, Introduction to Number Theory, Nueva York, Wiley, 1951.
Nivin, I, y Zuckerman, H. S, An Introduction to the Theory of Numbers, Nueva
York, Wiley. 1960.
Pollard, H, The Theory of Algebraic Numbers (Carus Monograph, num. 9), Bufalo,
The Mathematical Association of America, Nueva York, Wiley, 1950.
Shanks, D, Solved and Unsolved Problems in .Number Theory, Washington, Spartan
Books, vol. 1; 1962.
'
36. Stewart, B. M., Theory of Numbers, 2.' ed. Nueva York. Macmillan, 1964.
37. Uspensky, J. V, y Heaslet, M. H., Elementary Number Theory, Nueva York.
McGraw-Hill. 1939.
38. Weiss, E., Algebraic Number Theory, Nueva York, McGraw-Hill, 1963.
ALGEBRA HOMOLOGICA
39. Jans, J. P, Rings and Homology, Nueva York, Holt, 1964.
Mac Lane, S
, Homology, Berlin, Springer, 1963.
40.
OTRAS REFERENCIAS
41. Albert, A. A. (editor), Studies in Modern Algebra (MAA Studies in Mathematics,
vol. 2). Bufalo, The Mathematical Association of America; Englewood Cliffs, Nueva
Jersey. Prentia-Hall, 1963.
42. Artin, E., Geometric Algebra, Nueva York, Intersciena, 1957.
43. Courant, R, y Robbbs, R, What Is Marhematics?, Oxford, Oxford University Press,
1941.
44. Coxeter, H. S. M, Introduction to Geometry, Nueva York, Wiley, 1961.
45. Crowell, R H., y Fox, R H., Introduction to Knot Theory, Nueva York, Ginn, 1963.
Respuestas
y comentarios
05
0.7
Conjunto 0.
0.9
Conjunto Q.
0.11
0.13
0.15
0.17
= (1, 2,
. . ., 91, m
= (10".
10"
0.19
0.21
0.23
15
1.1
458
RESPUESTAS Y COMENTARIOS
1.7
F V F F F V V V V F
1.1 1
CAPITULO 2
21
a) No, falla 3,. b) No, falla 3,. c) Si. d) No, falla 3, en a = 0. e) Si. f) Si.
23
%
b
CAPrruLo 3
3.1
33
3.7
V F V F F V F F V F
d) Un grupo {e} de un solo elemento s61o tiene un subgrupo (impropio).
3.19
RESPUESTAS Y COMENTARIOS
459
CAPITULO 4
4.1
a)
C)
43
1 2 3 4 5 6
1 2 3 6 5 4
1 2 3 4 5 6
1 2 3 4 5 6
1 2 3 4 5 6
3 4 1 6 2 5
5 1 6 2 4 3
2 6 1 5 4 3
a) ( P I ) = ( ~ 2 =
)
( P , ) = {Po.
b,
1 2 3 4 5 6
2 4 1 5 6 3
{Po,
PI, ~
PI}
(41. PI.
(Po. P I )
P2)
s3
47
49
IDml=2n
4.13
CAPITULO 5
55
6.3
a) 6
65
Z6: 1, 2, 3, 6
Z,: 1, 2, 4, 8
Z 1 2 :1, 2, 3, 4, 6, 12
Z6& 1, 2, 3.4, 5,6, 10, 12, 15, 20, 30, 60
Z I T : 1, 17
67
S, da un contraejemplo.
69
Considtrese (xax-
b) 7
c) 4
d) 8
460
RESPUESTAS Y COMENTARIOS
7.1
7.5
VVFVFVVVFV
CAPITULO 8
El grupo no es ciclico.
8.5
z,, xz,,z,,
8.7
VVFVFFFFFV
89
8.15
XZ,,Z,2
xZ5.Z5 x z 3 x z 4
CAPITULO 9
9.1
Z,,,,
z2 x z8 x z9 x z5 % z2 x
Z4 x Z4 x Z9 x
Z4
z360,
Zleo,
z, x z2 X z4 x z9 x z5 = z2 x 22 x Zl80,
z,xz,xz,xz,xz,xz5-z,xZ,xz,xZ,o,
z16x z3 x z3 x z5 z3 x 2240.
Z5
z2xz,xz3xz3xz5-z,xZ,,,
z4 x z4 x z3 x z3 x z5 212 z 6 0 ~
z2 x z2 x z4 x z3 x z) x z5 5. 22 x z6
z60?
z 2 x z 2 x z 2 x z 2 x z 3 x z 3 x z , - Z 2 x Z 2 x z 6 x z 3 , ,
Para 1089: Z, x Z,,, r ZlO8,,
z3 x z3 zl2l z3
z363,
z, x z,, x Z,, 5. 211 x z99,
z, x z3 x z,, x z,, r z j 3 X Z,)
93
{2, 3) genera Z,,. {4, 6) genera (2). (8, 6, 10) genera (2).
9.7
Hay tres de orden 24. Hay dos de orden 25. Hay seis de orden (24)(25).
9.9
49
9.13
RESPUESTAS Y COMENTARIOS
9.17
"
461
4:G
CAPITULO
-+
lo").
10
105
10.7
c) 432
d) (HI = 6: H
S,
CAPITULO 11
11.1
a)18
b)8
c)6
11.3
CAPITULO 12
12.1
12.9
VVVVVFVFVF
f) Z es libre de torsion, pero Z/nZ 2. Z,, un grupo de torsion.
Z,, y Z, es abeliano.
h) Para n > 2, S, es no abeliano, per0 S,/A,
j) nR = R, de modo que RjnR es de orden 1.
CAPITULO
13
13.1
13.3
13.5
0 de Z,, sobre 2,; 6 de Z,, en 2,; 2 de Z,, sobre Z,; 2 de Z,, en ZI4; 4 de Z,,
en Z,,.
13.7
VVFVFFVVVF
e) Si 4 es un homomorfismo de G, entonces IG4l = IGl/l(Kernel &I.
f) Vease e).
g) Una transfonnacion de todo elemento de un grupo G sobre la identidad de
cualquier grupo siempre es un homomorfismo.
h) Vease g). i) Vkse el ejercicio 13.6. j) Vease el ejemplo 13.1.
13.1 1
2 no
13.13 b) Respuesta parcial: Si r no es primo relativo con IGl. (kernel 4,) # {e} y 4, no
es una transforrnacion sobre G. Asi, para algun a E G, x' = a no tiene solucion.
En el caso extremo de que lGl divida r, x' = a no tiene solucion para ningun
a~ G,a # e.
13.15
14.1
Los rcfinarnientos {0} < 29402 < 602 < 202 < 4 2 < 2 de {0}< 602 < 202 < 2
y {0} < 29402 < 9802 < 2452 < 492 < 2 de {0} < 2452 < 492 < 2 son isomorfos.
143
Todos son de la forma {(0, 0)) < H < Z, x Z,, donde H p u d e ser cualquiera
de 10s subgrupos ((0. I)), ((1.0)). ((1. 1)). ((1.2)). <(1.3)), Y ((1.4)) de 2, x 2,.
Asi, hay seis en total.
1S7
15.9
a) 0
2
+H
+H
=
=
b)O+K={O,8,16},1+K={1,9,17},2+K={2,10,18},3+K={3,11,~9},
4 + K = {4,12,20}, 5 K = {5, 13,21},6 K = {6,14,22}, 7 K = {7,15,23}
c) 0 + K = (0, 8, 161, 4
K = {4, 12, 201
1
RESPUESTAS Y COMENTARIOS
15.11
Cadena (3)
Cadena ( 4 )
16.1
X,,
= X, X,,
X,
463
Isomor/ismos
4, C ) , Xa2 =
{SZ,
(1, 3, d l , dz, C )
16.5
16.7
a) No.
b) (1, 2, 3,4), {s,, s,,
s3, s4),
c) El subgrupo ciclico ( 2 ~ de
) G = R.
16.15 a) K = g i l H g ,
b) Conjetura: H y K deben ser subgrupos conjugados de G.
16.17
X
Y
464
RESPUESTAS Y COMENTARIOS
CAPITULO 17
17.1
17.3
17.5
1 1 712
17.7
a) 45
b) 231
17.9
a) 90
b) 6426
18.7
V V V F V F V V F F
CAPITULO 19
193
V V F V V V V V F F
e) Es cuesti6n de opinion.
i) Un grupo de orden 42 no puede tener ninghn subgrupo de orden 8, pues 8 no
divide a 42.
CAPITLJLO 20
20.3
20.5
(ad-bcl= 1
20.7
V V V V V F F V V F
CAPITULO 21
21.1
a) a2b2a3c3b-', b2c-3a-3b-2a-2
213
a) 16 b) 36
c) 36
21.5
a)16
c)18
21.9
21.11
b)36
b) a-'b3a4c6a-', ~ c - ~ a - ~ b - ~ a
c) Si.
CAPITLJLO 22
22.1
465
RESPUESTAS Y COMENTARIOS
223
Grupo octal:
1
a'
a'
a'
a ' '
a'
a'
-----
'
'
ab
ab
ab
a'
a'
a3b
a'
a3
.-
ab
ab
a'b
a'b
a3b
a3b
o'b
ab
a2b
ab j
ah
--
a'
a'
a'b
b
a'
aJb
a3b
ab
a2b
a3b
a3b
a2b
'
a2b I a3b
a'
a3b
a2b
.-I
'
r--+
i~
a'
I
i
a2h
a'
--C---A---
ab
a'
a3
---
- 2 -
a2b
/
I
a
'r2
a'
j 1
a 2 i ; 2 i
I ;aJ
a'
22.9
22.1 1
z,,. z2 x
a2
Z6
(a, b, c:a2 = b2 = c3 = 1, ab = ba, ca = bc, cb = abc, cab = ac)
(s, r:s3 = 1, r2 = 1, (st)' = 1 )
D6 1. (a, b:a6 = 1 , b2 = 1, ba = a5b)
(a, b:a3 = 1, b4 = 1, ba = a2b)
(Vease Dean [7, pag. 2461 para una soluci6n completa.)
A,
I
:
CAPITULO
23
23.1
a) Si. b ) No. Z + no tiene identidad para la suma. c) Si. d ) Si. e) Si. f) Si.
g) No. La multiplication no es cerrada en {ri 1 r E R}.
23.3
a
1
b ) ( l l ) ( l- 1 - 1 1 - 1
-1)
c)1,2,3,4
d ) Todas las q E Q distintas de cero.
e) (1, q, 11, (1, q, - I ) , (- 1, q, l ) , (- 1, q, - 1) para todas las q E Q distintas de cero.
f) 1, 3
{a)
{bJ
0
0
I4
{b)
{a)
{a)
Ib)
Ib)
{b)
{a)
IbJ
{a)
--
466
RESPUESTAS Y COMENTARIOS
24.1
0. 3. 5. 8, 9, 1 I
243
a)O
24.7
b)O
c)O
d)3
e)I2
Q30
25.9
25.13
25.15
(A :). (y A). (I
f), (f
.)I (A
:) (:
y
CAPITULO
26
26.1
I ~ +I qzilq,, 426 Q l
263
D = Q y D' = Z da un ejemplo.
2625
V F V F V V F V V V
26.13
28.3
A)
= 0.
+ ).
RESPUESTAS Y COMENTARIOS
467
285
F V F V V V V F F F
2815
28.17
29.1
29.3
295
29.7
V F V V V F V V F V
d ) Un campo no tiene ideales propios y un grupo simple no tiene subgrupos
normales propios. En ambos casos todas las estructuras cocientes son triviales o
bien isomorfas a la estructura original.
29.15
30-7
= 1.
4, tal que
1 4 2 = 0.
t1q5
(ti.
0)para
n E Z.
V V V V F F V V F V
1) En Z,[.v]. (2.r3)(3.rJ)
= 0.
E n m.....
l ~
. . . .\?)411.....1- =
, S I ~ '
( z ~ ~ , . .. . . .\?I
Cam
,.....ml
17' . . .
E F[.r,, . . ., .GI
0.
468
RESPUESTAS Y COMENTARIOS
CAPITULO 31
31.1
q(x)=x4+xx'+x2+x-2,r(x)=4.r+3
315
31.9
VVVFVFVVVF
+ 2.
maximal de Q[x].
CAPITULO 32
321
32.3
En Z[x]: (2)(2)(2 - x
2).
En Q[x]: 4x2 - 4x + 8.
En Z, [x]: (4x
2)(x 4).
329
+
+
CAPITULO 33
33.1
335
33.7
VFVFVVVFVV
33.17
CAPITULO 34
34.1
a) 5 = (1
2i)(l - 2i) b) 7 es irreducible en Z[i].
c)4
3i = (1 +2i)(2 - i) d ) 6 - 7i = (1 - 2i)(4
+ i)
Z,
RESPUESTAS Y COMENTARIOS
469
34.13
35.3
35.9
l).
I?
c) ~ ~ ' r a ~ : ~ c c r ~ ~ I ~ : , , i
Tro~~sccndctitc.
470
RESPUESTAS Y COMENTARIOS
CAPITUI.0
36
36.1
((0. I), (1, 0)). {(I, I). ( - 1, I)}, ((2, 1). (2, 1 )). (Son posibles otras respuestas.)
36.3
x2+x+1
36.7
a) Un subconjunto W de un espacio vectorial V sobre un campo F es u n subespacio de V sobre F si las operaciones inducidas de suma vectorial y multiplicaci6n por un escalar estan cerradas en W, y W es un espacio vectorial sobre F bajo
estas operaciones.
36.9
+ ( f i l l . ... B.)
(aI
PI.. . .. a.
+ B.)
4 y a E F.
36.15 a) Un homomorfismo.
b) Respuesta parcial: el kernel (o espcio sulo) de 4 es {a E V 1 a 4 = 0).
c) 4 es un isomorlismo de V con V' si (kernel 4) = {Oj y 4 transforma a V
sobre V'.
CAPITULO 37
37.1
373
37.5
37.7
RESPUESTAS Y COMENTARIOS
38.7
V F V F F V F F F F
38.9
471
CAPITULO 39
39.5
V V V F V F V V V F
403
a) 3
40.7
F F V V F V V V V V
40.9
b, = 0, l a , = I,cxa, = 1
40.11
- fi
+ a , ( l + a)a, = cx.Z,(~)(~,,
= Z,
41.1
a) La transformacibn identica de E en 0.
T dada por J ~ T = fi, f i ~
=
f i ~=
b) T I dada por f i r , = X
Z f i r , = fi, f i r , =
1, dada por J;T,=
f i ~ =, - f i , f i r 2 =
c) T I dada por f i r l = ,
h&f i r l = f i ~ =,
T , dada por f i r , =
f i r , = -&,fir,
=
T , dada por f i r , = -XZ f i r , =
fir, =
T , dada por f i r , =
f i r , = -f i , f i ~ =
,
-$,
'
fi,
d,
-&
-&
a.
fi,
-3;
fi.
-&,
fi
- fi.
&, = -i&.
413
41.5
F V F V F V V V V F
e) Q y Q(*) no son isornorfos, pero tienen cerraduras algebraicas isomorfas.
T,
dada por
472
RESPUESTAS Y COMENTARIOS
CAPITULO 42
42.1
a)2
h)2
c)4
423
a) I
b) 6
c) 2
42.7
Sean
).' =
d)6
e)2
012
Q y E = ~ ( , b ) .Entonces
,/'(s)= .uJ -
433
F V V F F V V V V V
43.15
CAPITULO 44
44.1
z,(J'. 19)
44s
Z,(?", ?)
45.5
V F V F V F V V F V
45.9
b) Es irreducible.
CAPITULO 46
b) 8
c) 8
d) 2
e) 4
9 4 g) 2 h) 1
46.1
a) 8
463
donde p, es la
donde a l p l =
donde a l p , =
donde a l p l =
donde a l p , =
donde a l p , =
transfonnacion idkntica;
a, y i d p , = i d ,
a , y i a p , = i$;
a , y i d p 1 = -i$;
a, Y i d p , = - i A
a , y i$p,
'= - i d .
?r E
CG(729).
RESPUESTAS Y COMENTARIOS
473
FFVVVFFVFV
46.9
a)4
46.11
b)l
c)36
d)16
e)O
0 0
g)O
h)8
46.19
CAPITULO 47
473
fi
Q(@, i):
+ i, x" + 4x6 + 2x4 + 28x2
~(fl): $, x4 - 2;
Q(i(fl)): 4*), x4 - 2;
Q(JZ, i):
+ i, x4 - h2 9;
Q(*
i(3)):
+ i(fi), x4 8;
Q($
- i ( 3 ) ) : $ - i($), x4 + 8;
~ ( 8 ) : x2 - L
Q(i):i, x + 1;
~ ( i f i )iJ& : x 2 + 2;
Q:l,x- l
JZ
1;
p,
47.5
donde
$1,
y el grupo
474
RESPUESTAS Y COMENTARIOS
47.7
47.9
a) s: - 2s2
I ~ . T , . T ~s ~ 27s:
CAPITULO 48
48.3
a)16
b)400
c)2160
48.7
V V F V V F V V F V
48.9
a) 4
(Z, x Z,,
+ ).
CAPITULO 49
495
V V V F V F V F F V
i) x3 - Zr sobre Q es un contraejemplo.
APENDICE
A7
Notaciones
r,a
= h (mod n)
*,a*h
(G. *)
Y,,g2,9,
e
a-', -a
IS1
B S A
B c A
HSG;K<L
pertenencia, 3
conjunto vacio. 2
no pertenencia, 3
conjunto de todas las .u tales que P(x), 3
enteros, 3
grupo aditivo de 10s enteros, 60
anillo de 10s enteros, 209
enteros positivos, 3
numeros racionales, 3
campo de 10s numeros racionales, 208
numeros racionales positivos, 3
numeros reales, 3
campo de 10s numeros reales, 208
numeros reales positivos, 3
numeros complejos, 3c a m p de 10s numeros complejos, 208
congruencia, 7, 120
operation binaria, 1 1
grupo, 19
axiomas de grupo, 19
elemento identidad, 19
inverso de a, 30
orden de S, 30
contencion de conjuntos; inclusion, 30
subconjunto B # A, 30
inclusion de subgrupos, 31; inclusion de subestructura, 212
subgrupo H # G, 31; subestructura K # L, 212
subgrupo ciclico generado por a, 34, 57
ideal principal generado por a, 285
-, G
mcd
G'
s*
[I;=,
H V K
aH, a
H
Ha, H
a
(G:H)
'4
iff
GIN. RIN
+
+
conjunto de productos, 83
ensamble de subgrupos, 84
clase lateral izquierda, 108
clase lateral derecha, 108
indice de H en G, 113
funcion fi de Euler, 115, 221
.
conjugation por g, 118
grupo factor, 120; anillo factor, 253
subgrupo conmutador, 124
transformaci6n canbnica de clases residuales, 131,
257
conjunto de automorfismos internos de G, 138
centro de G, 144
subconjunto de elementos de x que quedan fijos
bajo g, 157
subgrupo de isotropia de elementos de G que dejan
fija x, 158
orbita de x bajo G, 158
subgrupo de G que deja fijo cada elemento de Y,
160
subconjunto de elementos de X que quedan fijos
bajo G, 168
normalizador de H,170
NOTACIONES
4a
f (a)
alb
DFU
DIP
U i e I Ai
CCA
477
de matrims. 226
de plinomios. 268
factor, 253
homomorfismo de. 257
isomorfisrno dc, 2 l l
isolllorfos. 2 10
produeto d~rcctode. 212
r;~dic;~l
de un. 255
simple. 256
aritlnktica
en dominios euclidi;~nos.305
tcorernil fulid;~rnent;~l
de 1;1. 145. 296
Artin. E., 239
Aschbacher. M.. 123
asociados. 29 1
automorfisrno(s). 37 1
de Frobenius. 375
del camp). 37 1
del prupo. 76. l l R
internos. 1 I 8
axioma de selection. 354
hi~se
filiita para idei~les.303
para un espncio vectorial. 335
para un grupo a k l i a n o finiti~rnentegenerado. 19.5
piIra un grupo aheliano librc. 182
hiycccii~n.40
Boll. R. .H..346
~our5;lhri.N.. 40. 195
en un con.j~tnloparci;clnlcntc ordcn;~
(lo, 755
c ; c l l l p ~ ~212
~~j,
algchr;ticamcntc ccrrado. 353
aulomorfixmo dc. 371
ccrr;~ducr irlgcbraica dc un, 353. 354
dc ccxicnlcs, 242
dc dcscomposicii>n. 3XX
dc cxtcnsirin. 320
tlc funcioncb raclonrtlch, 270
dc Galois, 409
fi.10. 372
pcrrccto, 308
primos. 263
torrc d c 320
cinimica. 131
C'auchy. tcorcrna dc, 168
('aylcy. tcorcma dc. 72
=Ida, 4, 106
cxntro dc un grupo, 13X. 144
aro.
dc un polinornio, 273
divisor dc, 216
rnultiplicidad dcl, 394
ccrradura
algcbraica, 352. 354
scprablc. 407
tolalrncnlc inscparablc. 407
ciclc~s),49
ajcnos, 50
c1a.d~)
conjugada, 175
conjugada dc cquivalcncia, 6
conjugada residual. 7, 120
dc cquivalcncia, 6
latcrales. IOU
dcrcvhas. I08
izquicrdi~s.IOX
rcsidualcs rnixlulo N, 120, 253
ct~icnlc(s).217
c;trnp> dc. 242
codorninio. 40
ccdicicnlcs dc torsibn, 91, 93
cocficicnlcs dc un polinomio. 268
colincacihn. 104
cornbinacibn lincal. 333
condici6n
dc base finitit. 303
dc la citdcna axcndcntc. 293. 303
dcsccndcntc. 303
dc 1i1 ci~dcn;~
dcl rn~xirno.303
dcl rninirno. 303
C;I~CII;I.
corlcclor. I Y X
congruct~ciam0dulo I / , !09
congrucntc mbdulo tt. 7. 61. I20
conjug;lcii)n en un grupo. Il X
conjunto($).
accihn dc grupo en un. 155
;rJcno5. 4
bicn dclinido. 3
ccrrado hajo una opcracion, 14. 20. 31
G-. 155
inlcrsccci6n dc. 82
partici6n dc. 4
prtducto carrcsiano dc, 78
sub-G-, 160
transrormacion de, 97
union dc, 293
vacio. 2
cwnrnensurahlcs. distancias, 246
conmutador. 124
consccucncia dc concctores, 198
constantes atructuralcs. 347
contcnido de un polinomio, 297
conlracciones elerncnlalcs. 190
cola superior. 355
Coxc~cr,H. S. M.. 99
Crowell, R. H.. 190
cuadratura del circulo, 364
cualerniona, 232
c u b , grupo dc rnovirnientos rigidos de un. 46
d c ~ n d e n c i alincal, 334
derivadas. 402
diagrama
conmutativo. 76, 134
reticular, 32. 320
dirncnsion dc un espacio vectorial, 337
discriminante de un polinornio, 434
division, 287, 291
sinlktica, 281
divisores dc cero, 2 16
dorninio
dc raclorizacion unioc, 292
dc idcalcs principales, 292
de una lrinsrorrnaci6n, 40
cnlcro, 2 17
cuclidiano, 304
duplicaci6n dcl c u b , 364
principal. 285
propio, 254
radical de un. 256
trivial. 254
idempotente, 27. 222
identidad izquierda, 23
imagcn
b j o una ttansformacion. 38, 40. 132
inversa. 132
independencia lineal, 334
indeterminada. 267
indice
de una extension de campo, 383
de un subgrupo, 1 13
induction,
axioma de, 450
matematica, 450
interseadon de conjuntos, 82
inverso
izquierdo, 23
multiplicative, 212
inyeccion, 40
irreducible en un dominio, 292
isornetria, 98
isomorfismo(s).
k i c o s , 369
de anillos, 210
de G-conjuntos, 160
de WPM 66
primer teorcma del. 146
segundo teorema del, 147
t e a r teorema del, 148
Jordan-Holder, teorema de, 14z 150, 344
kernel de un homomorfismo, 131, 258
Klein. F., 97
egrupo dc, 31
Kronedrer, L,321
Lagrange, teorema de, 112
INDICE DE MATERJAS
medida
de Haar, 104
invariante derecha, 104
invariante izquierda, 104
Milnor, J.. 346
rninirno cornun rnultiplo (rncrnj, 31 1
rnonornorlismo. 136
rnultiplicacion de permutaciones, 40
rnultiplicacion mcidulo n, 209
multiplicidad del cero. 394
mMulo, 344
ciclico. 345
unitario. 344
modulo n,
congruencia, 7. 6 1, 120
multiplicacion. 209
suma. 61
mkiulo N.
anillo ccjciente. 253
anillo de clases residuales. 253
anillo factor, 253
gmpo factor. 120
nCsima raiz prirnitiva del unitario, 410
n-gono regular construible. 441
norma
de un ekn~entode c a m p , 424
de un entero gaussiano, 3 12
multiplicativa, 3 15
normalizador, 170
notacion ciclica, 48
numero
algebraiw, 323
complejo conjugado, 369
construible, 354
de betti, 91. 93
trascendente. 323
objetivo fundamental, 248.274. 320
operaci6n(es),
asociativa, 12
bien dclinida, 107
binaria, 11. 155
conmutativa, 12
inducida en las clases laterales, 107
inducida en un subconjunto, 31
tablas para, 13
operadoreg 342
orbit* 47, 158
orden
de un conjunto, 30
de un elemento, 55, 81
de un gmpo. 30
parcial, 354
rgrupo. 167
rsubgrupo. 16X
rsubgrupo dc Sylow. I 7i
palahra. 190
reducida, 190
vacia. 190
particiones
de 11. 180
de un conjunto, 4
permutacion(a), 40
impares. 53
Pares. 53
signo de una. 137
transiliva. 47
Pitagoras. 247
pitagoricos. 246
plano proyectivo, 101
polinomio(s). 268
cero de un, 273
ciclotomico. 284, 436
coelicienta de, 268
con n indeterminadas. 269
constantes, 268
wntenido de un. 297
dcrivada de un, 402
discriminante de un, 434
general, 427
grado de un. 268
grupo de, 420
irreducible, 28 I
para a sobre F. 324
minimal, 329
para a, 329
mbnico, 324
primitive, 297
que se descompone, 390
separable, 396
presentacion(a), 198
Bnita, 198
isomorfas, 198
primo. 291,295
de Fermaf 440
relativo, 62, 31 1
problema dc la palabra, 199
producto cartesiano. 78
producto d i m t o de grupos
externo, 79
interno, 83, 125
programa de Erlanger, 97
propiedad estructural, 70
proyeccion, 101
Rabin, M..199
radical(es),
d e un anillo. 255
483
dc un idcal. 256
cxtcnsibn por. 443
bolublc por. 443
raix dcl unitario. 410
n-csima prirnitiva, 410
rango
dc un grupo abeliano libre, 184
dc un grupo librc, 192
rilzbn cruzada. 101
rccta al infinito. 101
refinarnicnlo de una scric, 140
rcflexioncs, 99. I I1
rclacion
dc cquivalcncia. 6
cn una prescntacion, 198
rcpresentacibn regular,
derecha, 74
izquierda. 74
representante de la celda, 106
rotaciones, 98, 1 I1
serids),
central asandente, 144
de wrnposici6n. 141
invariantes, 139
isornodas, 140
normala, I39
principal, 141
refinamiento de una, 140
subinvariante, 139
subnormal, 139
Shanks, D., 247
Shapiro, N., 355
silaba. 190
signo de una pennutacion, 137
solubilidad por radicaks. 443
subanillo, 212
generado por a, 214
subcarnpo, 212
subconjunto, 30
irnpropio. 31
propio, 3 1
subestructura, 212
sub-G-conjunto, 160
subgrupo(s), 3 1
admisible, 343
caracteristiw. 346
conjugados. 119
conmutador, 124
ciclico, 34, 57
de torsion, 90
cnsamblc dc. 84
gcnerado por ai. 89
irnpropio. 31
indicc de un, 1 13
rnvariantc. 119
iso~rop~cos.
158
normal. 1 19
norrnalizador de un. 170
normal maximal. 135
C-. 342
p-. 168
de Sylow. 171
propio, 31
trivial, 31
surna directa
de anillos, 212
de grupos, 79
surna m a u l 0 n, 61
suprayeccion, 40
Sylow. teorernas de. 169-72
ta blas
de grupo, 23
para una opzracion. 13
teorernals)
de Cauchy, 168
de Cayley, 72
de Euler. 221
de Jordan-Holder, 142. 150, 344
de la extension de isornorfisrnos, 380, 384
de Schreier, 141, 1%
de Sylow, 169-72
de Wedderburn, 234
de Wilson, 222
pequeiio de Ferrnat, 220
principal de la teoria de Galois, 41 8
teorerna de factorization linica
en un dorninio euclidiano, 305
Pam 4 x 1 , 300
para q x ] . 287
para un DIP,296
para Z,296
twrema fundamental,
de la aritmetiq 145, 2%
del Algebra. 357
de 10s grupos abelianos finitamente generados. 92 184
teoria de Galois, teorerna principal de la, 418
Thompson, J. G., 123, 176
topologia, 102
torre de camps, 320
transformacibn(cs), 38
biyectiva, 40
cododorninio de una, 40
cornpuesta, 39
cc'.r!:lrlua, 102
11~.UI conjttnto, 97
domlnlo dc una. JO
cxtcn*ii)n dc una. 779
imngcn bajo una. 38. 40, 131
invcru dc una, 47
~n)ccliva.40
I~ncal.340
proycctiva. 10 1
\ohrc. 39
huprayectiva. 40
uno a uno. 39
1 ransposicii'n. 5 I
trasccndcntch indcpcndicntcs. 446
traslacion, 98
dcrccha, 104
izquierda, 104
traza, 424
trisccci8n dcl inpulo. 365
vcctortcs). 332
lincalmcntc dcpendicntcs. 334
I~nealmcnteindependientcs, 334
vcrsi6n abclianizada dc un grupo. 124
r icrgrrrppc,, 3 1