Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Fraleigh, J. - Algebra Abstracta-3aEd PDF
Fraleigh, J. - Algebra Abstracta-3aEd PDF
Eslo
nos da un crilerio mas eficaz para resolver nueslro problema, a sabet,
-
Denotemos por a h el hecho de que a esli en la misma celda-que h para
una particion dada de un conjunto que contenga tanto a a como a h . Es claro que
siempre se satisfacen las propiedades siguientes:
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.
El siguiente teorema es lundamental; afirma que una relacion -
entre elemenlos
de un conjunto que satislace las tres propiedades recien descritas. produce una
particibn natural del conjunto. Muchas veces, exhibir una relacion con estas
propiedades, es la Iorma mas concisa de describir una particion de un conjunto, y
es por esla razon que analizamos ahora este material.
I (Reflexividad)a
2 (Simerria) Si a -- -
3 (Transirividad) Si a
a para rodas 10s a E S.
by b --
b, enronres b a.
c, enronces a c.-
-
Enronces, produce una parricibn natural de S , donde
--
es la celda que conriene a a pora roah las a E S. Reciprocamenle, -ada
parricibn de S & lugar a una relacidn norural que sarisface las propiedades
reflexha, simdrrica y rransiriua si se define a b como a E 6.
- -
elemento de 6 esta en o'. Sea x E ii. Entonces, x a. Pero a E 6, luego a b;-
- -
de 6. Sea ahora y e 6. Entonces y b. Pero a 6, de manera que a b y, por -
entonces, por la condicion transitiva (3),x b de modo que x E 5. Asi, ci es parte
-
simetria (2), b a. Entonces, pot transitividad, y a, de modo que y E i. De aqui
Operaclones
binarias
alumnos se confundiran. La regla ata delinida solo para pares dr rlenientos dcl
mismo mnjunto.
Ejemplo 13 Lklinase en Z' una operilcion binaria *' mediante 11 r ' h = u. Asi,
2*'3=2;25*'10=25y 5*'5=5.
Quizi les par- que estos ejemplos no son imporlantes, p r o pienxnlo hien.
Supngamos que van a una tienda a comprar una deliciosa barra dc chocvlnte.
Supngamos que ven dos bsrrarj idknticas, la eliqueta de una dicc 996 y la
etiqueta dc la otra d i a 94C. Por supuesto, toman la de 94$. St1 c:~pacid:ld para
saber cuil quieren depende del hecho dc que alguna vez en su viJa :~prcndicronI;I
operacion binaria del ejemplo 1 .I. Er una operucii,n nrll!, i n r ~ r n r r o ~Asi
~ r ~~nismo,
~.
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 multiplica-
cion 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
mientras que
1.3 TABLAS
Tabla 1.1
$#
c c b o
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 *.
Qmplo 1.6 En Q
nes 1 y 2 y r es una operacibn binaria en Q+.
.
.
' definasc r por o b = a/h. Aqui se satisfamn las condicio-
Ejcmplo 1.8 Sea S el wnjunto de tcdas las funciones w n valores reales defini-
-
das para todos 10s nimeros reales. Dzlinase r corno la surna usual de dos
+
funciona, esto es,f g h donde h(x) = f ( x ) g(.r) para l; g E S y x E R. Esta
ddinicibn de r satisfaa las condiciom 1 y 2 y nos da una operacibn binaria en
S.
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.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
. .
1.1 Sea la opcradbn binaria
a) CakGlac b 4 c c y [(a c)
ddinida en S = {a, b, c, d, c} mediante h tabla 1.2.
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
b b c a
b b a
d b c b d
e d b a c
1.2 Complktese la labla 1.3 de manera quc sc ddina una opcracibn binaria wnmutati-
va en S = {a, b, c. d l .
T a w 1.3
1.3 .
La tabla 1.4 puede complelarse para definir una operacion binaria asociativa en
t;:
S= h. 1.. 11.). Suponpase quc eslo es posihle y llcnensc 10s lugares vados.
{(I.
Tabla 1.4
h h u i,
c d ~ t Icd
En Zf,d@inase
.
En Z', definase por a b = c, dondc c es el mcnor entcro mayor quc a y que b.
por a * h =?, dondc E cs al mcnos 5 unidadcs mayor quc a + b.
r) En Z', ddinase p o r n b = c, dondc c es el mayor cntero menor quc el product0 dc
a y b.
.
'13 Pruebcx quc si es una operacion binaria en un wnjunto S, asociativa y conmuta-
tiva, c n t o n a s
( a * b ) . ( r * d ) = [(drc).a]*b
1.6 Para toda operacion bioaria dcfinida a continuacidn, dctcrminese cual r a wnmu-
tativa y cull cs asociativa.
a) EnZ,ddnax.pora*b=a-b.
b) En Q,delinasc r por a r b = a b + I
C) En Q.delinaw par a r b = 0612.
d) En Z', d d n a x por a r b = Yb.
c) En Z', detinase por a . b = 6.
. .'
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 conjun-
to. Asegurcsc que d conjunto este bien dermido. .
. .
.
1 9 Sea S un conjunto con exactamente un demmto. iCuPntas bpcradones binarias
dilerentes pueden definirse en S? Rcspbndasc a la prcgunta si S lienc 2 elementos; si ticne
3 elernentos; s i liene n elernentos.
1.10 jCu8ntas opcraciones binarias wnrnutativas difercntcs pueden dcfinirse en un con-
junto dc 2 elerncntos?; Len un conjunto de 3 clemcntos?; Len un conjunlo de n elementofl
1.11 Obshvesc que Ias operacionca binarias + y +' en41 wnjunto {a, b ] dadas por las
tablaa
b o b
es wrno la de
a)
d o que l m papcles de a y b estan intcrcambiada.
.
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 opcracio-
ncs binarias difermta posibles, cn un conjunto dc 2 elemmtosl
Continuernos el anilisis dc necstra cxpcricncia con el Algebra. Una vcz quc
dominamos 10s problemas de calcular sumas y muitiplicaciones de nhmeros
mtuvimos m condicionm dc aplicar atas operaciones binarias a la solucion de
problemas. A menudo lor problemas llevaban a ecuaciones quc contcnian algun
numero desconocido x quc era ncaario determinar. Las ccuacioncs mis scnci-
Uas son las lineales dc las formas a + x = b para la operacibn de suma y ax = b
para la multiplicacibn. La ecuaci6n lineal aditiva sicmpn tiene solucibn numtri-
ca; tambib la multiplicativa, siemm que a f 0. En efecto, la nccesidad de
+
soluciones de las ccuaciona lineales aditivas como 5 x = 2 a una magnlfica
motivacibn para 10s nirmeros negntivos Dc manera similar, la nemidad de
nhmeros rationales sc muestra mediante ecuaciones como Zx = 3, y La ncccsidad
del numero mmplejo i sc muestra mcdiante la ccuaci6n x' = - 1.
QuisiCramos ser capaces de m d v e r &uacioncs lineales que contengan ope-
raciona binarias. Sin embargo, a t o no cs poaible para toda operacibn binaria.
Por ejemplo, la a u a c i b a x = a no ticne soluci6n m S = {a, b, c ) para la
operaci6n dcl ejemplo 1.4. Vcamos c u i k s son h propiedada de la operacion
+
de suma de los enteros Z que nos pcrmiten resolver la ecuacion 5 x = 2 en 2.
No debcmos ncurrir a la resta, p u a lo que nos ocupa es la soluci6n en tirminos
de una sola operacion binaria, en es(c caso, la suma. Los pasos para la solucion
son 10s siguientes:
5 + x = 2 cs(4 dado
-5+(5+x)= - S t 2 sumando-5
(-5 + +
5) x = -5 2 + kyasociativa
2.2 DEFlNlClON Y PROPIEDAOES ELEMENTALES 19
0 + x = -5+2 calculando-5+5
x = -5 2 + propiedad del 0
x = -3 calculando -5 + 2
Estrictamente. no hemos mostrado aqui que -3 es una solucion. sino que es la
unica posibilidad de solucion. Para mostrar que -3 es una soluci6n. basta
calcular 5 + (-3). Puede bacersc un analisis similar para la ecuacibn 2x = 3 en
10s ndmeros rationales:
Zx = 3 esta dado
f(2x) = f{3) multiplicando por f
( 1 . 2 ) ~= f .3 b y asociativa
I.x=t.3 calculandof~2
x =f.3 propiedad del 1
x=j calculando i . 3
Vcamos qu6 propiedads deben tencr un conjunto S y una operacibn binaria
+ en S para pcrmitir la imitacibn de este procadimiento en una ecuacibn a x = b
para a, b e S. Es b&sii para el procedimiento la existencia de un elemento e en S
mn la propiedad de que e * x = x para toda XES.En el ejemplo aditivo, 0
dacmpe~ibelpapel de e. y el I en el ejemplo multiplicativo. Despub, narsitamos
un clemmto d en S que tenga la propiedad de que d a = e.. En el ejemplo
aditivo - 5 dcscmpeao e! papel de d, y en el ejemplo multiplicativo lo hiio f. Por
ultimo, neasitamos la k y asociativa. El m t o cs cucstibn de dlculos. Se puede
observar Wlmente que para m l v e r la ecuacibn x a = b (hay que m r d a r
que a x no neccsariarnente es igual a x a ) nos gustaria tener un elemento e en
S t a l q u e x s e = XparatodaslasxcSy u n a d e n S t a l q u e r * Z = e.Contodas
estas propiedada de en S stariamos seguros de pcder resolver ecuaciones
lineala. Estas son pruisamente laa propiedada dc un grupo.
' R d l d e u quc IM4- indicln qus ic sli ddinicndo un itmino. V k s l inllirno piirralo ds la
mxibn 0.1. h r tanlq un &mulo M e d a d pm UM opracib binaria en un mnjunto S a
cualquiu s b l o r quc salidaga e. r = x r = r p r a lodas Isr raS.
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 nota-
cion. 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 nota-
ci6n 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, cons-
tituyendo gmpos diferentes. Algunas v m s emplearemos la notacibn (C. *) por
razones de claridad en nuestros analisis
(d r a) b = (a' a) l c.
Por la definition de e en Y,
b=c
.
En forma aniloga, de b o = c a podemos deducir que b = c multiplican-
do 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,
es una solucion de ?. u = b.
.
Por tanto, I = d h es una solution de a .Y = h. De manera analoga. !- = h r 11'
Claro que para probar la unicidad en el ultimo teorema pudimos haber seguido
.
el misrno procedimiento empleado para molivar la definicibn de grupo que
mueslra que si N .v = h entoncs .r = a' r h. Sin crnbargo, prelerimos ilustrar la
manera usual de probar que un objeto es unico. Supongamos que se tienen dos
de dichos objelos, y que es necesario probar que deben ser el misrno. Nolese que
las soluciones .\- = o' r h y !. = b r d no son necesariamente iguales a rnenos que
r sea conmutativa.
+
Ejemplo 2 3 El conjunto Z con la operaci6n es un grupo. Se satidacen todas
las condiciones de la definicion. El grupo es abeliano.
Existe otro resultado acerca de gmpos que desearnos probar en esta scccibn.
Teorema 2.3 En un grupo G con operacibn r huy una solo identidad e ral q u ~
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 asociati-
va. 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
apa- en 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-
2.3 CRUPOS FlNlTOS Y TABLA5 DE CRUPO 25
Tabla 2.2
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 isomor-
Jiis. Algunas veces esle concepto parece algo dilicil a 10s estudiantes. N o se
lratara aqui, rnPs adelanle l o harernos de rnanera prccisa.
Tabla 2.5
.
- g Todo p p o finito de t r e elemmtos como mkirno ca abeliano.
- h) Una scuacibn de la fonna a . x b = c siempre tienc solucibn unim cn un
Vpo.
- i) El conjunto vacio pucde consideram como grupo.
- j) Hasta ahom, cn el libm no x ban pracntado jemplos de grupos no abelianm
.
a) MuWrrrt quc & una operocibn binarin en S.
b) Mvtstrac quc (S. * ) a un grupo.
c) b c u t o l m c la rducibn de la auacibn 2 r x r 3 = 7 m S.
2.10 Sea R* el wnjunto de todos los n6mcros m a l a exapto d 0. Ddinase r cn R* por
a . b = Mb.
a) MuQtrrsc que r & UM opcracibn binaria asociativa en R*.
b) Mubtrac quc site una identidad iquierda para y un inverso dcrecho para d a
dcmento en I*.
c) Con au opem56n binaria, ~sR* un gmpo?
d) Eapllqust la impoluncia de estt ejcrcicio.
2.11 Si s UM opcracib binaria en un wnjunto S, un ekmcnto x de S es idernpateme
pn r si x . x = x. Rutbcsc quc un grupo time exsctamente un elemento idempotcnte.
(Pucden usarsc los teomnas quc ya sc han dcmostrado en el terio.)
1 1 2 MuCItrtse que lodo grupo G con identidad e lal que x x = P para tadas las x s G,
es ateliano. [Sugerencia: considerese (ob)'.]
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 en G tal
que las ecuaciones
e x = x r e = x = identidad.
b b O a
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 opera-
cibn & 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.
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.
(a) (b)
Rg. 3.1 la1 Dlagrama reticular para L (bl Dlagrama reticular para V
Es facil ver que se cumple la ley usual de 10s exponentes a'"d = a"*" para m,
n E 2. Es claro para m, n E Z'. Podmos ilustrar otro tipo de caso con un
ejemplo:
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
* Sc wdr8 distinmir cntrc lor tenminor minimal Y -or cuando se adi~ucna aubconivnlom de un
mnjUnlc S quc &an alguru proplsdad. Un &conjunto H dr S minimal con a la
pmpedad u H time la propredrd y ninpun subwnjunro K c H. K f H bcnc la pmp~sdui.So H ticne
la propicdad y H E K para mdo subeonjunlo K w n la propicdad, enlonos H cs el ~ u b n j u n l o
mcnor mn la prop*drd. Purdc haber muchm rubmnjunlos minimales, pem d l o un aubnjunlo
mcnor. Para ilutnr. (r,a). (e. b) y (c, c ) son lodm los rubgrvpoa no triyialcs minimale, dcl grvpo V.
(V& la Cgura 3.1.) Sin cmbnrgo. V no conlicnc un rubgrvpo no lrivial menor.
i o n Verifiquese si re cumplen las tres condiciones dadas en el teore-
ma 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.
Ejemplo 3.4 El grupo Z bajo la suma es un grupo ciclico. Tanto I como - 1 son
gencradores del grupo. '\
Tabla 3.5
3.8 Encucntrese cl error en el siguiente argumento: nLa condition 2 dcl leorema 3.1 es
y. por I, on-' -
redundante, ya que puede derivarv dc I y 3. para cllo sea a~ H. Entonces, a - ' E H por 3
e en un dernento de H,lo cual prucba 2a
H. I (xoCIxa=ur)
es un subgrupo de C.
3.16 Generalizando el cjemicio 3.15, sea S cualquicr submnjrnto de un grupo C.
a) Mutstrese que Hs = { x E C I xs = sx para toda s o S J es un subgrupo de C.
b) Con refercncia a la parle a), cl subgmpo H, es el m t r o de G. Muklrese que H, es un
grupo abeliano.
Mubtrest que -
3.17 Sea H un subgrupo de un grupo C. Para a. b o C sea a
s una r d r c i ~de equivalcncia en C .
- b si y s610 si ab-' E H.
S
in cmbargo, con fracuencia usamos la notacibn
-
Muchos algebristas prefieren las notaciones a$ = h y d = h por la siguiente
r d n : si 4 y (I w n luncioncs con 4 : A B y (I: B 4 C,entonces existe una
funci6n natural que Ueva A en C como se ilustra en la ligura 4.4. Esto es, x puedc
ir de A a C via B, usando las funciones 4 y (I. Esta funcion que lleva A en C
es la fwibn carnpwst. constituida por 4 xguida de (I.En la notacion clbica
&a) = b y (I(b)= c luego,
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
4.2 CRUPOS DE PERMUTACIONES 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.
entonas,
Por ejemplo,
I(o7) = (1a)r = 41 = 2.
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 permu-
rociones.
tenemos que mostrar que cada lunci6n wmpuesta lleva a toda a s A en la misma
imagen en A. Esto es, debmos mostrar que
para toda a E A. Tcnernos
y tambib quc
dr = d = ao-i = (doh-' = ~'(06'l
de mancra quc a-'a y nu-' son, ambas, la permutacibn r. Asi, se satisfafnctY,
.
DcTricib. Si A es cl conjunto finito {I. Z . ., nJ, entonccs el grupo de
todas l a pwnutacioaes& A es el br*p rWhieo dr n h w y se dcnou por
S".
Ndtcse que S. tiene n! elcmcntaq dondc
una letra griega con subndice. Ms adelante se aclararn las razones para
asignar los nombres y para sombrear la tabla. Sea
1 2 3 1 2 3
0 = , 1 = ,
1 2 3 1 3 2
1 2 3 1 2 3
1 = , 2 = ,
2 3 1 3 2 1
1 2 3 1 2 3
2 = , 3 = ,
3 1 2 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
1 2 3 4 1 2 3 4
0 = , 1 = ,
1 2 3 4 2 1 4 3
1 2 3 4 1 2 3 4
1 = , 2 = ,
2 3 4 1 4 3 2 1
1 2 3 4 1 2 3 4
2 = , 3 = ,
3 4 1 2 3 2 1 4
1 2 3 4 1 2 3 4
3 = , 4 = .
4 1 2 3 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
RO. 4.7 Dlagfama reticular para 0,.
Por ultimo, en la figura 4.7 se muestra el diagrama reticular para 10s subgru-
pos d e D,. Verifiquese si es wrreclo.
-
C) jl: R
d) f,: R R dddiida por /Ax) = e'
C) f,: R R ddinida por f,(x) = x3 - x' - 21
4.3 Considhcsc cl grupo S3del ejcmplo 4.1.
a) EncuCntrcnr los s u b g r u p ciclicar ( p , ) , ( p , ) y ( p , ) de S,
b) Encuhtrenr to& los subgrupos, propios c impropios, de S, y elabbrtu el diagrarna
reticular wrrcspondienle.
4.4 Obtdngase la tabla de multiplicaci6n para el subgrupo cklico de S, gcnerado por
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 permuta-
cioncs 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?
- a) Tcda pcrmutaci6n a una funcibn uno a uno.
- b) Toda funcibn cs una permut.cl6n si y db ri cs uno a uno.
- c) To& f W b n de un wnjunto linito wkc sl miamo dcbc rer uno a uno.
- d) Hasta ahora no sc ha dado m cl libm un cjemplo dc un grupo que no sca
abcliano.
- e) Tcdo subgrupo dc un grupo abcliano a abcliano.
- I) Tcdo elcmcnto de un grupo g n c n un subgrupo cicliw dcl grupo.
- g) El grupo simttrim S,o tinre 10 elcmenloa
- h) El grupo aimttrim S, a dcliw.
- i) S. no a Eicliw p a n cualquisr n.
- j) Todo grupo cs isomodo a aslgbn grupo dc pcrmutacioncs.
-
4 7 Muktrac, medinntc un cjemplo, quc todo subgupo propio de un grupo no abcliano
puedc r r abeliano.
4.8 P a n lsd peimutaciona a, r y fl dcl jercicio 4.1, cncuhtrssc
~npok-
..
wrrapondcn a cicrto grupo de pcrmutacioncs dc bs M a s dcl c u b . E3te grupo cs el
a rIg&u &I clbo. (No debc amfundim w n cl grvpo de sitnelrfnr &1
c u h quc u a n a l i B en 10s ejercicios dcl capitulo 10.) ~Crdntosclcmentos ticm cste
grupo? Roporcibncnac argummtos gemifrims para pobar quc a t e gmpo ticnc al
mcnm t m subgmpos difcrcntes dc ordcn 4 y d mcnos m t r o subgrupos difcrentcs dc
ordcn 3.
411 Mubstrese quc S. a un grupo no abcliano para n 2 3.
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.
4.13 S u n A un wnjunto, B un subconjunro dc A. y b un clemento fijo de B. iCu61 dc lor
siguicntcr cr un subgrupo de S,?
a) { a ~ S ~ l b u = b ] b) ( o E S ~ I ~ ~ E B )
U BJ
c) { U E S ~ I B E d) ( O E S ~ I B=O B)
4.14 Sea A un conjunto y a < S,. Para un a e A fijo. el wnjunto
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,,
.
4.16 Si A a un wnjunto, rnlonar un subgrupo H d~ S, a mnsisiliio u A si para tDda a,
~ E aA h a e H tal que ao = b. M U b t l g ~que ai A-m YO wnjunto no v d o linilo,
cntonm existc un subgrupo ciclico tinito H dc S, w n IH(= 1.41 que w lransitivo m A.
Con respecto a 10s jcrricios 4.14 y 4.16, rnuktlec quc para a~ S., ( a ) a lransitivo
4.17
~nAriydosi0~,=Apara.Islnea~A.
.-
Obstrvese que
Puesto quc 10s cidos son tipos particulam de permutaciones, pueden multipli-
came wrno cualesquiera dm perrnutaciones. Sin embargo, el product0 de dos
cidm no nmsariamente cs un ciclo.
Como A sfinito, no pueden ser distintos todos estos elementos. Sea Id el primer
tCrmino en la sucrsibn que sc rcpita. Entonces, I d = 1 porque si I d = la' con
-
0 < s < r. tendrjamos Id-' = 1 con r s < r contradicicndo la selcccibn de r.
Sea
r , = ( I , la, lua, ...* Id-').
5.2 PERMUTACIONB PARES E IMPARES 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
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
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
' William I.Miller, *Even and Odd Permulations~~.Malhmorics Assorioriom ~,'Two-Yr.r Colleges
Journol5(1971):32.
5.3 CRUPOS ACTERNANTES 53
1,:A. -. B"
mediante
ad. = 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
y como S. es grupo, tenemos n = p. Asi, i..
es una funcion uno a uno. Por ultimo,
5.7 MuQtrcsc quc para todo subgrupo H dc S . para n 2 2, todor Las pcrmutacioncs en
H son pares o exaclamcnte la mitad son pares.
%8 SCP o una pamutacibn de un conjunto A. Dirernos quc ua mlnrrc a A r si m Z a. Si
A s un mnjunto finito, icdntos clementon mucve un ciclo U E S , ,dc longitud n?
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 SCP A un conjunto infinito. Sea K el conjunto de todaa las O E S, quc mueven a lo
mas SO clcmentos de A (vCas ejcrcicio 5.8). iEs K un subgrupo dc S,? iPor qub?
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 si-
guienle con una condicibn que incluya n y r de tal manem que el enunciado resultanle sea
un learema
Si a s un ciclo de longitud n, entonces d l a m b ~ na un ciclo si y 5610 si ..
5.15
I.: G -
Sea G un grupo ). sea a un elemento fijo de G, muglrese que la transformacibn
G dada por gl. = ag para g E G, es una permulaci6n del conjunlo C.
5.16 Con refemncia al ejercicio 5.15. mutslrcrc quc H = ( 1 . J a e G )es un subgrupo de
S,: el grupo de todas las pcrmutaciones de G.
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
Si G cs un grupo y a c G, entonas
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.
G= (a) = {m"ln~Z).
Sea G un grupo ciclico con generador o. Consideremos dos casos
CASO 1 G tiene un nlimero infini~ode elenten~os,esfo es, elorden de G es infiito.
En esre caso afirmamos que dos exponenles distintos h y k no pueden dar
elemenros iguaies d y d de G.Supbngase que d = d y que, digamos, h > k.
Ent onces.
da-' = 2-' = c,
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 exacta-
mente 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
cualquier grupo cicliw infinito. De ahora en adelante, en la pane I, nel grupo Zn
sera siempre ~1 g ~ p Zo b j o la suma~.
Ejempb 6.1 Podra pancer extrafio que Z y 32 ambos grupos ciclicos infinitos
bajo la suma, sean estructuralmente idknticos a pear de que 3 2 < 2.Podria
decirx que 1 E Z per0 1 # 32,asi que j&mo pueden scr strueturalmente iguales?
Los nombres no importan, y si al 1 lo nombramos 3, al 2 lo nombramos 6 y e n
general a1 n lo numbramos 3n, habrernos wnvertido Z en 32 wmo grupo
aditivo.
CASO I1 G liene orden fmito. En este caso, no todas las potencias positivas de
un generador a de G son distintas, asi que para alguna h y k tendremos d = 6.
Siguiendo la argumentaci6n del caso I, existe un entero m tal que 8 = e y
ninguna potencia positiva menor de a es e. Entonas, el grupo G consta de 10s
distintos elementos e, a, a2, . . ., a m - I ,
Como suele usarse n para el orden de un gmpo ciclico finito en general,
cambiamos la notacibn para lo siguiente, esiableciendo rn = n.
6.2 CLASIFICACION DE CRUPOS CICUCOS 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 para O s r t n
s la s u m & h y k mddvlo n.
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.
6.8 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 alga-
ritmo 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 9 Sea G un grupo, supbngase que a c G g m a a un subgrupo ciclim de orden 2 y
ademis a cl Lnico elemento w n ma propiedad. Mutstrcsc quc ax = xa para todas las
K E G .(Cmnrario: Quizi se haya obrervado quc puede x r dilicil enwntrar una demos-
tracibn en ilgcbra, nun cuando cxistan demostncioncs faales Por lo general, m, se
puedcn dibujar dgurasn que ayuden a vi6ualizar la dnnostracibn. A mmudo sc ticne quc
inventar el atrumw adecundo. Para enmntrar los mcos adecuados haw falta expericncia,
intuicibn y a vcacs d o ruertc. Uno de lor principales algcbristas dc catc liglo obsmii
alguna v a quc la rnancra dc haccr i n v c s t i g d n en ilgebrs cs pmsar cn algbn truw y
dcspuhs enmnlrar un problema quc sc pueda d v e r w n ex truw. cn l u p r de trntar de
cnmntrar el modo dc r a o l v n un probkma espci6co. Bicn, intCntesc m l v e r a l e ejerci-
cia; si w preMtan dificultade$ consullesc el mruco)] que csts en la esci6n dc mpucslas.)
610 Ses G = (a) un grupo cicliw finitddc orden n.
a) M u k t r s e que todo subgrupo H 5 G tieae la forma (8).dondc m z 0 es algun
divisor de n y mutstrcse quc, para mteros pmitivos m y m' que dividan a n, lcnemos
<am)= (8') si y solo 6i m = m'.
b) Sea fin) el wnjunto dc lor enteros positives divisorcs dc n y sea S(G) el conjunlo de
los subgrupos de G. Traduzcase el resultado de la parte a) como un enunciado acerca
dc quc cicrta transformacibn de D(n) a S(G) a uno a uno y sobrt. .
c) Mutstrcze quc ei d m subgrupos dcl grupo ciclico finito G tienen el mirmo ordcn,
entonas son iguala. iQuC mleros son brdcnes de 10s subgrupos de GI
d) Proporcibncsc un cjemplo para mostrar quc para grupos finitos no clclicos G, la
wnclusibn de la parte c) no es ncaaariamcnte cicrta.
6 1 1 Sean p y g nimeros primos. Encuhtreu el numero dc gcncradotes dcl grupo dclico
2,.
6.12 Sea p un n6mero primo. Encubntrese cl nhrnero de gencradorcr del grupo cicliw 2
,
donde r a un entero 2 1.
6.13 Mublrese que en un grupo dclico finilo G dc ordcn n. la suacion 1L = e liene
cractamcna m soluciones x en G para cada cntero positivo m quc divida a n.
614 Con respccto al cjercicio 6.13, jcual a la situacibn si I < m < n y m no divide a n?
6.15 Mubstrese quc 2, no tiene subgrupos propior si p cr un numcro primo.
6.16 Sea G un grupo abeliano y scan H y K subgrupos ciclicos linitos con /HI= r y
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 DEFlNlClON Y PROPIEDADES ELEMENTALES
Nos ocupanmos ahora de prccisar, en h i n o s mam6ticor, la idea de que dos
grupos C y G' son estructuralmente iguales o isomor/or. Hemos tratado de dar la
idea de que 10s grupos G y G' son isomodos, si son idhticos salvo por el nombre
de 10s elementos y las operaciones. Dc a t e modo, podanos obtener G' a partir de
Gcambiando el nombre de un elemento x en G por el nombn de cieno elemento
x' en G'. Eslo es, a cada x E G se le asigqa una contrapane x' E C'. En realidad, no
cs m6s que una funcibn 6 con dominio c. Es claro quc dosekmcntos diferentes x
y y en C deben tener contrapartes diferentes a' = x 4 y y' = y 4 en G', es decir, la
funcion 4 debe ser uno a uno. AdemAs, cada elemento dc C' debe ser la contra-
parte de algen elemenlo de G. o sea quc la funci6n 4 debe ser sobre C'. Esto
cambia el nombn de 10s elmentos. Por ultimo, si 10s gmpos mPn estructural-
mentc el mismo y si, por el momento, denotamos la opracibn dcl grupo de G por
y la dc C' por *', entonoes la wntraparte de x y dcberia ser x' *')/, o ( x 8 y)$
debcria scr (x4)*'@4). Por lo comun, se omiten la8 notaciones y *' para las
operaciones y se usa la notacibn multiplicativa, esto es,
( X Y ) ~= (~4)(~4).
Nbtcse que la multiplicaci6n xy del lado izquierdo en (xyM = (x4)(y4) es la
multiplicacibn en G, mientras que la multiplicacibn (x$)(y4) del lado derecho es
la dc G'. Reunimos estas ideas en una delinicibn.
DePnici6n Un isomorfismo entre un ~ r u p oG y un p a p C' a una funcion 6
uno a uno, que lleva a G sobre G' y tal quc para todas las x y y en G.
(XY* = (X~)(Y+).
Los grupos G y G' son isomor/os. La notaci6n usual es G E G'.
Probemos ahora un teorema que resulta muy obvio, si consideramos que un
isomorfismo es un cambio de nombre de un grupo de mod0 que sea como otro.
Desde luego, lo probarcmos a partir de nucstra definicibn de isomorfismo.
Demostracibn Sea iE G'. Como $ es sobre. existe x s G la1 que x@ = x'. Enton-
ces
e$ = (on-'j$ = (a$)(a-'4).
En el pasado, algunos alumnos del autor han tenido dificultades para comprcn-
der 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
seguiria un maternitico para mostrar. a pardr de la delinicion, que dos grupos. G
y G'. son isornorfos.
PAS0 1 D ~ f i n i r/u fincibn 4 que (lo e/ isomorJi.smo dc G con G'. Esto significa
describir, de alguna manera, cual seria s+ en G' para toda x E G .
PAS0 2 Mn.rfror yue 4 cs unofuncion uno o uno.
Ejemplo 7.1 Mostrernos que R bajo la suma es isomorfo a R' hajo la multipli-
cation.
+
PAS0 4 Ahora. (4d"M =a"'"$ = n m. (Notese que la operairon binana estah
en el grupo G . ) Falta calcular (on$) + (urn$),se usa + porque la opcracion en Z
es la suma. Pero (a"$) + ( S 4 )tamhien esn + m. Por tanto, la"S)$= (d'$)+ (uV'$).
La demostracion anterior rue muy lacil, hay que ascgurarsc de habcr entendido
10s pasos,
Es inmediato que cada grupo G es isomorlo a si mismo: la luncidn identi-
dad I deiinida por X I = K para todas las p e G lo muestra. Si G es isomorlo a
G ' , entones ti' es isomorio a G ; la luncion 4 ' : G' + G para un isomorfismo
4 : C -' G ' lo muestra (viase el ejercicio 7.6). Por ultimo, si G es isomorlo a G' y
ti' es isomorlo a ti", entonces G es isonlorlo a C"; si 4 :G -. G' y I/, : G ' -' G " son
isomorfismos, entonces la luncihn compuesta & lo muestra (veasc el ejercicio
7.7). Debe reconocerse que hemos demostrado que la propiedad de isomoriismo
es una relacion de equivalcncia en una coleccion de grupos. Por el teorema 0.1,
esto signiiica que dudu una c~~leccion no uociu de grupos, sremprc se purdeporrir la
~olesque cuole,vqu~rrudos Xrupns en Irr
colecriun en reldus (c1usr.s dc eyuiuol~~nciu)
mi.smo celdu son Bomorfi).~y no hay Krupos en celdas distintas yue sean i,romor/os.
Hemos visto que cualesquiera dos grupos de orden 3 son isomorlos. L o
r.rpresamos diciendo que sdlo hay un prupo de ordrn 3, salvo ~.somorfi.rmo.
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,.
iComo .se drmuerlra que do.s grupo.r C y G' no son rso~norfov, dr ser cse el
cu.so?
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.
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.
-
porque 17s Z y 17$32. Estas no son propiedades estructurales, sino que e s t h
relacionadas con 10s nombres de 10s elementos.En realidad 2 y 3 2 son isomorfos
bajo la transformaci6n $:2 32, donde n 4 = 3n.
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.
.
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*.
Tcorcmo 7.3 (& CayIcy) Todo grupa es iromorfo a un gnqm & permura-
ciones.
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,
ep# = epb,
-
permulaciones iormarian un subgrupo C" de S,, de nuevo isomorfo a G, p r o
ahora bajo la iransformaci6n +: G G" delinida por
a$ = A,.,.
Ejemplo 7.10 Calculemos la represenlacibn regular derecha del grupo dado por
la tabla 7.1. Por <calcularnquercmos d a i r dar 10s elementos de la representation
rcgular derecha y la tabla del grupo. Los elementos son
e a b
c a b e a b e a b
( a
e)(b e a ) 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.
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 8 Sea G un grupo abeliano. PruCbcse quc vr abeliano cs una propiedad cstructural de
G mostrando que s i G' es isomorfo a G, entonccs C' tambiin es abeliano.
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 cjer-
cicio 7.4.1
7.11 Sea ( G , . ) un grupo. Considerese la operacion binaria en el conjunto G, definida
POT
Cambiese nombre
(x, Y) ~ X + . Y + )
Calculese el
producta en C
1
XY
Chbiesc nombre _ I
(xy)+= (Wj[?+j
Calclilcrr cl
product0 en C'
.<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 .p-
o ~ 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 subgru-
pos 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 numc-
ros 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 constructi-
vo 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 defini-
ci6n 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 S, x... x s.
0 por
-n
Tambien se puede deinir el producto cartesiano de un numero inlinito dc
wnjuntos, pero la dcfinicidn cs wnsiderablernentc m b solisticada y no se ne-
cesita.
Ahora bien, sean l a grupos G,, G,. . . ., G.; usaremos la notation multiplica-
tiva para todas las operationes de grupo. Considerando las G, como conjuntos,
podemor formar
n;-, n;.,
G,. Mostrarema que puede formarse un grupo de
G, mediante una operacidn binaria de muhiplicacion por componenres. Quc-
rcmos seiialar nucstro descuido al usar la misma notacidn para un grupo y para
el conjunto de elementos del grupo.
Teorema 8.1 S e m 10s grvpos G I , G,. . . ., G.. Para (a,. a,, . . ., a,) y
.
(b,,. b,, . ., b.) e~ n:-, .
G, definase (a,, a,, . .,a.)(b,, b,, . . , b,) como
(a,b,, a,b,, . . ., a&.) Entonces, n:,,
G, es un grupo, el prodveto &recto
externo k Ios g r v p r G,. bajo esra operackin b i m i a .
nente:
La Icy asociativa en m,,
GI depende de la ley asociativa en cada wmpo-
.
..
por wmponentes, (el. e,, ., e.) a una identidad en n:,,
G,. Un inverso de
(a1.a,, . ., a") a (a;', a; l , . . ., a;lX basta calcular el producto por componen-
t& Por tanto, n;, ,
G, u un grupo.
.
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,.
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,,.
entonces Z, es isomorlo a
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 n;. ,
G, TambiCn s claro quc cstc
subgrupo Cl es naturalmentc isomorlo a Gi bajo la wrnspondencia dada por la
proyecci6n que transforma n,,donde
=nidh Sca {S, 1 i s I ] una coleccibn & wnjuntos Aqui I puede scr
cualquier conjunto dc i n d i m La interse& n,,,
S, de lor coajrrlos S, a el
wnjunto de todos los el-tm quc a t & nen todos 108 wnjuntos S, s t o es,
-
Demostracidn Usamos notaci6n multiplicativa. Sean a y b elementos de T.
Entonas, existen enteros positivos m y n tales quc h = 6" e. Como G es
abeliano.
entonces,
(ob)"= hb" = ( h f l b ' r = 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
.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
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. mantc-
niendo 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* observa-
ciones antenora al ejemplo.
1 z, x 2, x z,, 2 x Z60
.
556
5 z3xzl10 6 2360 - 1
El teorcma principal es resultado inmediato de 10slemas anteriores, except0 por
el hecho de que un subgrupo de un grupo abeliano Bnitammte gencrado es, a su
vu, finitarnente generado, lo cual se demucstra en el capitulo 20.
es sin descomposicion, p u a si Z
.
Raiprocamenle, sra p un primo. El material del capitulo 8 muestra que Z
+
, fuera isomorfo a Z x Z,,,,donde i j = r,
entonces todo eklnento tendria a lo sumo ordcn ~ $ 1 <) f .
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.
9.2 Endntrcnsc los d c i c n t e s dc torsi6n y d numcro & betti dcl grupo
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.
es una rotacion en sentido contrario a1 que giran las manecillas del reloj, en 47113
radianes, y
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
1 2 3 4
1 3 2 4
10.1 CRUPOS EN CEOMETRIA 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 tetrae-
dro 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.
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 invarian-
tes 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 transfor-
macion 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 ctsalvavi-
das,, 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.
11
Grupos
de clases
laterales
11.1 INTRODUCCIN
BB = 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
11.2 CLASES LATERALES 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.
debe estar contenido en B.. Esto sugiere que estas rrasiaciones o clasrs lareroles
aB, de un subgrupo B, pueden ser importanles.
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
b E Be. Esto muestra que
asi que
H = 0, 3,
1 + H = 1, 4,
1 + H = 2, 5.
0, 3|1, 4|2, 5,
sombreando de nuevo los cuadrados segn la clase lateral a que pertenece el elemento,
se da en la tabla 11.3. Funciona! No es bello? Tan delicioso despliegue de simetra
debera producir estremecimientos de felicidad subiendo y bajando por la columna
vertebral de cualquiera que tenga algo de sensibilidad matemtica.
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
es un isomorlismo.
126 SUECRUPOS NORMALES Y GRUPOS FACTORES
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.]
.
'122.3 Encuentrese el subgrupo conmutador G'del grupo D, de simetrias del cuadrado
dcl ejernplo 4.2.
- I
*I124 a) Mublrew quc si N es un subgrupo normal de G y H es cualquier subgrupo
dc G, enton.cn HN = NH = N v H.
b) Mukstrese quc si N y M son subgrupos normalcs dc G,cntonces NM tambien s un
subgrupo normal de G.
*I235 MuCtnsc que si H y K son subgrupos norrnalcs dc un grupo G tal quc
H n K = {e), e n t o m hk = kh para todas las h E H y k E K [Sugerencia: considCresc cl
wnmutador h k h - I k - ' = (hkhK'*-' = h(khKLk-')]
Homomorflsmos
(s + 1)y = r,.
-
identidad de G'.
-
El teorema 13.2 muestra. en particular, que para un homornorjisn~n4 : G G', el
kernel K = ( e ' ) $ - ' es un suhgrupo 11ornio1de G. Estamos ahora en condicion dc
probar e l tcorema principal.
macion $ : G / K-
particular dc un subgrupo de G. Sea aK E G/K, lratemos de delinir una transfor-
GO mediante
De aqui
Ny # GIM Y Ny # {M).
Asi, si GJMes simple, de manera que no puede existir dicha Ny; dicha N no puede
existir y M a maximal. a
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
PAS0 2 Probar que la translormaci6n es un homomorlismo.
PAS0 3 Probar q u c el kernel de la transfonnacion es {el. Se sabe entonces q u e
la transfonnaci6n es un isomofismo dcl dominio con l a imagen.
a) b:Z -
dacribnnsc la imagen y el kernel.
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
sgn.(s) = signo de a
a) Si $:Z x Z -
13.12 Sea C un grupo.
G cs un homomorlismo y (I, 0)# = h micntras que (0. 1)9 k.
encuintrere (m, n)$.
-
b) Sean h. k E C y sea +:Z x Z + C delinido por (m, n)$ = h-k". Dese una wndicibn
-ria y suficientq incluyendo a h y k para que j, sea un homomofismo. Prutbese
la condicibn.
c) Enckntrsc una wndicion ncasaria y suliciente en G tal que la translormaci6n
descrita en la parte b) sea un homomorfismo para cuo14uier selcccion dc h, k E G.
13.13 L a G un grupo abeliano finito dc ordcn n y sea r un cntcro posilivo, primo
relalivo con n.
a) Muhtrcse que la translomaci6n 9,:G - G dada por 09, = 'a n un isomofismo de
G sabre si mismo. (Sigase el esbozo que apse d a p & dcl teorcma 13.1)
b) Deduzcav que la auacion A' = a siempre liene una solucion unica en un grupo
akliano tinilo G, si r cs primo rclalivo con el ordcn de C. iQuC sunde si r y el ordcn
d e G no son primos rclativos?
13.14 Muktrese que si G. G' y G" son grupos y si 9:G -
G' y $:G' G" son
homomorlismos, cntonccs, la funcion compuesta 9$:G + G" cs un homomorfismo.
-
13.15 Sea G un grupo y x a I, cl grupo & 10s automorlismos interns de G dado cn cl
cjcrcicio 12.18. Muistrwe quc la translonnacibn +:G + 1, dada por g 9 = i, es un
homomofismo de G sabre I.. MuCslnsc quc cl kernel (el cmtm & G) a
+.$G/H)
hies.)
-
Sea 9 un homomorfismo dc G en G'. Mu&lrcsc quc 9 induce un homornorlismo natural
(C'IW) ni H+ s H'. (Este hacho se usa m n k u t n c i a en topologia alge-
Serles
de grupos
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
Notese que, para grupos abelianos, coinciden 10s conceptos de series princi-
pales 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
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 compo-
sicion (ni principales).
Deniostraci6n La serie
Definicih La serie
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
I
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,.
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 Mutstme que un producto d i r s t o h i t o dc pupor solublcs es soluble.
14.10 iEs soluble el grupo D, de simetrias del cuadrado dcl ejcmplo 4.2?
*14.11 Encuentrese el centro dc S, x Z,.
'IAI2 Prukbnc que el a n t r o de un grupo cs un subgrupo normal del grupo. [Adrerten-
cia; No se olvide la neccaidad dc probar que cs un subgrupo, antes dc probar quc cs
normal.]
'1413 Encubtrese la serie central ascmdente de S, x 2,.
Teoremas
del isomolYSsmo;
demostraci6n del teorema
de Jordan-H6lder
5.1
*I TEOREMAS DEL ISOMORFISMO
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 horno-
morfimo con kernel K y sea y, :G -P G/K el homomorfimo canonico. Enron-
ces, exisle un'bornorfirno unico $ :G/K -P G4 la1 que x4 = x(y,$) para coda
x E G.
-
este kernel es ( H n N ) N . Es claro que, ( H n N ) N = N. Asi, 4 es un hornomorfis-
rno sobre H / ( H n N ) con kernel N, de modo que, por el teorema 15.1,
H N / N H / ( H n N). rn
- -
Ejemplo I l l Sea G = Z x Z x Z, H = Z x Z x (0), y N = (0) x Z x Z.
Entonces, es claro que H N = Z x Z x Z y H n N = (0) x Z x (0). Tenemos
( H N ) / N Z y, adernb, H / ( H n N ) Z. rn
G/H = 2 / 2 2 -
Ejemplo 15.2 Considirese K = 6 2 < H = 2 2 < G = 2. Entonces,
2,. Ahora bien, G / K = 2 / 6 2 tiene como elementos
I +
De estas seis clases laterales, 6 2 , 2 6 2 y 4 -k 6 2 estan en 22/62. Es claro que
( 2 / 6 2 ) / ( 2 2 / 6 2 )tiene dos elementos y ademas es isomorfo a 2,. De manera
I
-
15.2 EL LEMA DE ZASSENHAUS (DE LA MARIPOSA) 149
-
mo a1 subgrupo ciclico (2) de 2,. Asi, (2/62)/(22/62)
z22. 2/22. 8
Z6/(2) -
alternativa, obskrvese que 2 / 6 2 2, y 22/62 corresponden bajo este isomorfrs-
5.2
*I EL LEMA DE ZASSENHAUS
(DE LA MARIPOSA)
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:
-
2 K*(H* n K ) es un subgrupo normal & K*(H n K).
3 H*(H n K)/H*(H n K*) h K*(H n K)/K*(H* n K )
( H n K)K(H* n K ) ( H n K*)].
*I
5.3 DEMOSTRACION DEl TEOREMA
DE SCHREIER
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.
* 15.2 Sean H * , H y K subgrupos de G con H* normal en H. Mubtrese que H* n K es
normal en H n K.
*153 Sean H, K y L subgrupos normales de G con H < K < L. Sean A = GIH,
B = K I H y C = LIH.
a) Mubtrese que B y C son subgrupos normales de A, y que B < C.
b) LA qut grupo es isomorfo ( A ]B)/(C/B)?
"15.4 Sean K y L subgrupos normales de G con K v L = G y K n L = { e ) . Muestrese
que GIK 1 L y GIL 5. K.
-- --
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]
*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 composi-
ci6n 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,
definida por
,
es un homomon?smo con kernel Hi - N. Por el teorema 15.1,
Proctdase via el teorema 15.2 como se mostr6 en la sugerencia del ejercicio 15.14.1
*I516 Prutbese que la i m a p n homomorfa de un grupo soluble es soluble. [Sugerencia:
apliquese el ejercicio 15.15 para obtener ma serie de composicion para la imagen homo-
morfa. Entonoes, lrms sugerencias de 10s ejacicics 15.14 y 15.15 muestran como st ven, en la
imagen, 10s grupos factores de esta serie & wmposici6n.]
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.
son palabras. rn
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 yuxtapo-
sicibn avlw, de las dos palabras.
Ejemplo 213 Si
((Paremria obvio que)) esta operation de multiplication en F[AJ esta bien defini-
da y es asociativa. Es obvio que la palabra vacia 1 actua como elemento identi-
dad. ((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
Teorema 21.2 Dos grupos libres son isornorfos si y solo si tienen el mismo
rango.
Teorema 21.4 Sea G generado por {a,( i E I } y sea G' un grupo cualquiera. Si
a: para i E I son elementos cualesquiera en G', no necesariamente distintos,
entonces exisre a lo mas un homomorfismo 4: G -+ G' tal que ai4 = a:. Si G es
libre en ( a i } entonces existe precisamente uno de dichos homomorfismos.
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 homomorfis-
mo, debemos tener
Asi, un homomorfismo est6 determinado por completo por sus valores en ele-
mentos de un conjunto generador. Esto muestra que hay a lo mas un homomor-
fismo tal que ai4 = 4.
Ahora, supongase que G es libre en (a,), esto es, que G = F[(ai)].Para
(1.
c~lc~r~icriio rrri c.or!itcn/o gcric~ruOor.Esto es bastante obvio y podria haberse
mcncionado inmcdiatamente despues de la delinicion de homomorfismo. En
particular, un homomorlismo dc un grupo ciclico estli completamente determina-
do por su valor en uno cualquiera dc 10s generadores del grupo.
'21.9 Sea G un grupo abeliano finitamente generado con identidad 0. Un conjunto finito
.
( h , , . .,h,; donde hi G es una base para G si
solo si mihi = 0 donde mi E Z.
{ 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 Describunsc 10s propidutk~scrl&ruitm quo poseera PSP cntc algibruico.
2 Prubbense que cualesquiera dos etnres algebraicos con estas propiedades son isonlorfos,
esto es, que estas propiedades caracreriian a/ ente.
3 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
El ejemplo anterior ilustra la situation general. Sea F[A] un grupo libre, supon-
gase que se desea formar un nuevo grupo lo mas parecido posible a F [ A ] , sujeto
a ciertas ecuaciones que se deben satisfacer. Cualquier ecuacibn se puede escribir
de forma tal que el lado derecho sea 1. Asi, podemos considerar las ecuaciones
como ri = 1, donde ri E F[A]. Claramente, si se requiere que r i = 1, entonces se
debera tener que
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 latera-
les, 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 ) .
A = (a) y { r , } = (a6},
Ejernplo 22.4 Determinemos todos ios grupos de orden 10, salvo isomorfismo.
Por el leorema 9.3, sabemos que todo grupo abeliano de orden 10 es isomorfo a
Z,,. Supongase que G es no abeliano de orden 10. Por la teoria de Sylow, G
contiene un subgrupo normal H de orden 5 y H debe ser ciclico. Sea a un
generador de H. Entonces, GIH es de orden 2 y, por tanto, isomorfo a Z,. Si
h E G y h 4 H debemos tener que h2 E H. Como todo elemento de H, except0 el 1,
tiene orden 5, entonces, si h2 no fuera igual a 1 , tendria orden 5, de mod0 que b
tendria orden 10. Esto significaria que G seria ciclico contradiciendo nuestra
hipotesis de que G no es abeliano. Asi, h2 = 1. Por ultimo, como H es un
subgrupo normal de G, hHh-' = H, en particular, hah-' E H. Como la conjuga-
cion por h-' es un automorfismo de H, hah-' debe ser otro elemento de H de
orden 5, de aqui cjue hah-' es igual a a, a2, a3, o a4. Pero si bab-I = a esto daria
ha = ah y entonces, claramente, G seria abeliano, puesto que a y b generan G.
Asi, las posibilidades para presentaciones de G son:
1 ( a , h : a 5 = 1,h2 = 1,ha = a2h),
2 ( a , h : u 5 = l , h 2 = 1,ha = a3h),
3 (a, h : a 5 = I, hz = I , ha = a4h).
Notese que las tres presentaciones pueden dar grupos de orden a lo mas 10,
ya que la Cltima relaci6n ha = aih nos permite expresar todo producto de las a y
las h en G en la forma dh'. Entonces, as = 1 y h2 = 1 muestran que el conjunto
(a, h : a 5 = I, h2 = 1, ha = a2b)
para
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)
42 = 1 (mod 5).
202 PRESENTACIONES DE CRUPOS
(a, b : a5 = 1, b2 = 1 , ba = a2h)
*2L1 D& una presentacion de Z4 con un generador; con dos generadores; con tres
generadores.
*222 Ese una presentacion de S3 que lleve tres generadores.
'223 Dense las tablas del grupo octal
(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 PRESENTACIONES DE GRUPOS
* 2 2 5 Mubtrese que
(a, b:a3 = 1, b2 = 1, ba = a2b)
(a, b: a3 = 1, b2 = 1, ba = a2b)
del ejercicio 22.5 da a1 hnico (salvo isomorfismo) grupo no abeliano de orden 6 y, pcr
tanto, da un grupo isomorfo a S,.
*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
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 estu-
diaremos aqui, es el de anillo.
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
Oa = (0 + 0)a = Oa + Oa
implica que Oa = 0. Esto prueba la condicion 1.
Para entender la demostracion de la condicion 2, hay que recordar que, por
definicibn, -(ah) es el elemento que, surnado a ah, da 0. Asi, para mostrar que
a( -h) = -(ah), debe mostrarse precisarnente que a( -h) + ab = 0. Por la ley
distributiva izquierda,
.
Entonces, 10s anillos R y R' son isomorfos.
23.2 CUESTIONES MULTIPLICATIVAS; CAMPOS 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
= 4.y. .
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
2 . ~ ~ 7
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 multipli-
cativa I. Sin embargo, 2 2 no tiene elemento identidad para la multiplicacibn.
Hay muchos anillos en 10s cuales la multiplicacibn no es conmutativa. El estu-
diante 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 hable-
mos 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.
S tales que
+
( S , ) es un grupo.
(SC. .) es un grupo, donde S esta lormado por todcs 10s elementos de S except0 la
identidad aditiva.
4h + c) = ((ah)+ (ac) y (a + +
b)c = (ac) (bc) para todas las a, b, c E S.
Mubtrese que (S. +. -) es un anillo de divisi6n. [Sugerencia: apliquense las leyes
distributivas a (1 + 1Xu + b) para probar la conmutatividad de la suma.]
23.20 Un anillo R es un anillo boolearn, si a2 = a para todas las a E R. Mubtrese que
todo anillo booleano es conmutativo.
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
a) Dense las tablas para + y - en 9(S) donde S = {o,b). [Sugerencia: tiene cuatro
elementos.]
b) Mubtrese que para cualquic.r conjunto S, +, .) es un anillo booleano (vtase el
ejercicio 23.20).
Dominios
enteros
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.
Ejemplo 24.1 Resolvamos la ecuacibn x2 - 5x + 6 = 0 en Z,,. Ahora,
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.
Definici6n Si a y b son dos elementos distintos de cero de un anillo R tal
que ab = 0, entonces a y b son divisores & 0. En particular, a es un divisor
iquierdo & 0 y b es un divisor Lrecho & 0.
Pero entonces,
()
0 = - (ab) = [(:)a]b=lb=b.
Demostracibn Sean
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
. - a
sumandos, tal como se explicb en la seccion 23.1. Por ejemplo, el entero m tiene
esta propiedad para el anillo Z,.
24.4 TEOREMA DE FERMAT 219
Este corolario sera de gran importancia mas adelante cuando se estudien 10s
campos finitos.
son todos diferentes, pues si aa, = aa, entonces a(ai - a]) = 0 y como a E G, y,
por tanto, no es un divisor de 0, debemos tener ai - a j = 0 o ai = a? En
consecuencia, contando, encontramos que a1 = 1 o alguna aai debe ser 1, de
mod0 que a tiene inverso multiplicative. -
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
iguales a 12 y primos relativos con 12, son 1, 5, 7 y 1 1 , asi, ~ ( 1 2 =
) 4. Por el
teorema 24.1, ~ ( n es
) el numero de elementos de 2, que no son divisores de 0.
Esta funcion Q:Z+ -, Z + es la fuocidn fi de Euler. Podemos describir, ahora, la
generalizacihn de Euler del teorema de Fermat.
y se deduce el teorema. 8
24.4 Usando el teorema de Fennat, encukntrese el residuo de 347 al dividirlo entre 23.
'245 a) Mubtrese que 1 y p - 1 son 10s unicos elementos del campo Z, que son sus
propios inversos multiplicativos. [Sugerencia: considkrese la 6cuacion x2 - 1 = 0.1
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.)
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
25.1 MATRICES SOBRE UN CAMP0 225
y con
(aij)(bij)= (cij)-
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 matri-
ces en M,,(F). Usando las propiedades de campo de F y la definicion de multipli-
226 ALGUNOS EJEMPLOS NO CONMUTATIVOS
mientras que
Como
-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
25.2 ANILLOS DE ENDOMORFISMOS 229
Definir J, por
mientras que
Es claro que (ai + bi) 0 excepto por un numero finito de indices i, de modo que
=
zi. I(a, + bi)giesta de nuevo en R(G). Es inmediato que <R(G), + es un grupo
abeliano w n identidad aditiva Xi,, Og,
)
Notese la analogia con 10s llamados productos cruz de vectores. Estas formulas
son faciles de recordar si se piensa en la sucesion
vemos que
en Mz(Q).
*=.2 Mubtrese que
a) (i + 3j)(4 + 2j - k )
b) izj31ijis
c) (;+./)-I
26.1 LA CONSTRUCCION
D x D = ((a. h) ( a. h e D } .
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 dlyeren-
1e.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.
((1. h) -
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 multi-
plicacion 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 .
Rqllc.viri(krtl
conmutativa.
((I. h) - (11. h) pues ah = hlr. porque la rnultiplicacion en D es
- -
Sirlic~rri(r Si (cr. h) ((.. tl). entonces (re/ = hc. Corno la multiplicacion en D
es conrnutativa. deducirnos que (ah = cilr y. portanto. (c. t l ) (a. h).
26.1 LA CONSTRUCCION 239
- -
Trunsirividud Si (u, h) (c, d) y (c, d) (r, s), entonces ud = he y cs = dr.
Usando estas relaciones y el hecho de que la multiplication en D es conmu-
tativa, tenemos que
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
-lineas largas sobre expresiones exten-
clascs dc equivalcncia. Para evilar colocar
sas, 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.
Demostracibn Nbtese, primero, que si [(a, 6) y [(c, d)] estan en F, entoncts (a, b)
y (c, d) estan en S, de modo que b # 0 y d # 0. Como D es un dominio entero,
hd # 0 asi que (ad + hc, bd) y (ac, bd) estin en S. (Nbtese aqui, el uso fundamen-
tal que se da a que D no tiene divisores de 0.) Esto muestfa.-que 10s lados
y.
derechos de las definiciones estin, al:..menos,en F.
Nos falta mostrar que estas operaciones de suma y multiplicaci6n estln bien
definidas. Esto es, se definieron mediante representantes en S de elementos,de F.
Debernos mostrar que si se escogen diferentes representantes en S, resultara el
mismo elemento de F. Para ello, supongamos que (a,, b,)~[(a,h)] y
(cl, dl ) E [(c, 41. Debemos mostrar que
Ahora bien, (a,, b, ) E [(a, b)] significa que (a,, b, ) - (a, b), esto es,
De manera aniloga, (c,, dl) E [(c, d)] implica que
Multiplicand0 la primera ecuacion por d,d y la segunda por b,b y sumando las
ecuaciones resultantes, obtenemos la siguiente ecuacion en D:
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
I La suma en F es conmutativa.
Demostracion Ahora, por definicion, [(a,b)] + [(c, d)] es [(ad bc, bd)j. Ade- +
mas, [(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)].
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
Asi,
PAS0 4 Nos falta mostrar que F se puede considerar conteniendo D. Para ello,
mostramos que existe un isomorfismo i de D con un subdominio de F. A
continuacibn, cambiamos 10s nombres de la imagen de D bajo i usando 10s
nombres de 10s elementos de D y habremos terminado. El lema siguiente nos da
este isomorfismo.
Lema 26.3 La rransjbrmacicin i : D F dada por ai = [(a, I ) ] es un isomor-
fismo de D con un subdominio de F.
mientras que
a = b.
Como claramente se cumple en F que [(a,b)] = [(a,1 )-J[ ( I , b)]= [(a, l)]/[(b,I ) ] =
=ai/bi, hemos probado el siguiente teorema.
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.
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
26.6 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 exacta-
mente 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 aproximada-
mente quince minutos; vuklvase sobre la conr;truccion y vkase por que funciona. En
particular, mubtrese lo siguiente:
a) Q(R. T ) tiene unitario aunque R no lo tenga.
b) En Q(R, T ) todo elemento de T distinto de cero es una unidad.
26.12 Prukbese, a partir del ejercicio 26.11, que todo anillo wnmutativo que contenga
algun elemento a que no sea divisor de 3 puede agrandarse hasta un anillo conmutativo
con unitario. Compirese con el ejercicio 24.16.
26.13 Con respecto al ejercicio 26.11. icuantos-elementos hay en el anillo Q(Z,, {I, 3))?
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 + ) ) describien-
do 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 estructu-
ras 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
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 = E,
entonces
a = (35)(&) Y b = (76)(&).
Obviamente, 10s pitagoricos conocian lo que hoy se llama teorema de Pitago-
ras, esto es, que para un triangulo rectangulo con catetos de longitud a y b e
hipotenusa de longitud c, tenemos que
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.
Las partvs sin asterisco del resto del libro se dedican a encontrar y estudiar
soluciones de ccuaciones polinomiales.
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 diferen-
cia esta en que, en la secundaria, solo se consideraban polinomios con coeficien-
tes 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 menciona-
ran 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 siem-
pre que:
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 por-
que 10s axiomas de anillos valen en R Por ejemplo, la ley distributiva izquierda
252 ANILLOS COCIENTES E IDEALES
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:
a) iPor que el profesor que lea esto espera encontrar tonterias de aqui en adelante?
b) iQue deberia haber escrito el estudiante?
C) Pruebese la afirmacion. (Notese el ccsi y solo si)).)
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 conmuta-
tivo.
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.
2817 iCuil es la relacibn del ideal fi del ejercicio 28.15, con el radical RIN (vease el
ejercicio 28.1 I)? Formulese cuidadosamente la respuesta.
Hay una especie de aritmktica dc ideales en un aniIIo conmurarivo. Los tres ejercicios
siguientes defir--.ti suma, producto y cociente de ideales. -
(a + b)y = ay + by.
Ademas.
Definicibn (Antilogo de la definicibn del kernel de un homomorfismo de
grupo) El kernel de un homomor/ismo 4 de un anillo R en un anillo R' es el
conjunto de todos 10s elementos de R que van a dar a la identidad 0' de R'
bajo 4.
y [(rb)(o4)] E St, de mod0 que raE S ' 4 - ' . En forma analoga, ar E S ' 4 - '. Asi,
'
S ' 4 - es un ideal de R.
Por ultimo, si R tiene unitario 1, entonces, para toda r E R,
de mod0 que 1 ' = Id es una identidad multiplicativa para Rd. Si 1' # 0', entonces
1 ' es unitario para R4. rn
-
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 teore-
ma 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.
El teorema 13.3 muestra que I(/ esta bien definida, es uno a uno y sobre, con
N = {ra + m l r ~ R ,EM).
Entonces, ( N , + ) es un grupo, pues
Ahora.
+
muestra que r,(ra m ) E N para rl E R y, como R es un anillo conmutativo
tambitn, (ra + m)r, E N. Asi, N es un ideal. Pero,
+ M = ba + M = ( b + M)(a + M ) ,
1
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
+ +. -+
Sea R cualquier anillo con unitario 1. Recutrdese que n . 1 significa 1 1 . 1
con n sumandos para n > 0, y (- 1) + (- 1) + ... + (- 1) para In( sumandos
para n < 0, mientras que n . 1 = 0 para n = 0.
para n E Z es un homomorfjsmo de Z en R.
Asi,
+
Muestrese que M N es un ideal de R y que (M + N)/N es isomorfo, de manera natural,
a M/(M n N). (Usese el teorema 15.2.)
*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 4 :C -. M,(R) dado por
para x E R
a) Muestrese que p, es un endomorfismo de (R, +).
b) 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.
Anillos
de polinomios
+
donde ai E R, nos veremos en dificultades. Ciertamente, 0 + a , x y 0 + a,x Ox2
son diferentcs como sumas formales, per0 queremos considerarlas como el mismo
polinomio. Quiza la mejor manera es definir un polinomio como una suma
formal infinita
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, acorde-
rnos 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
donde d,, = z=, 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 z=, no necesariamente es igual a z=, bia,,-, si R no es
conmutativo. Con estas definiciones de suma y multiplicacion, tenemos el si-
guiente teorema.
Todavia en Z 2 [ x ] , obtenemos
Teorema 30.2 (Los homomorfismos & ev&wn & h teoria & 10s
campos) Sea Fun subcampo de un campo E, sea a cualquier elemento de E y
sea x una indeterminada. La transformacibn $,:F[x] + E &finida por
para (a, + -
alx + - . + a n y ) E F[x] es un homomorfwmo de F[x] en E.
Ademcis, x$, = a, y 4, transforma, & manera isomorfa, a F, mediante la
transformacwn &ntico, esto es, a$, = a para a E F. El homomorfwmo $, es
la evaltracibn en a.
l1
Demostracidn El diagmna reticular y de transformaciones, en la figura 30.1,
puede ayudar a visualizar esta situation. Las lineas punteadas indican un elemen-
to del conjunto. En realidad, el teorema es una consecuencia inmediata de
nutstras defmiciones de suma y rnultiplicacion en F[x]. Esta claro que la trans-
formation $, esti bien definida, esto es, es independiente de nuestra representa
cibn de f ( x ) E F[x] como una suma finita.
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 + + 0 . . + anY,g(x) = bo + blx + ... + bmx",y
h(x) = f(x) + g(x) = c, + clx + .. - + cry, entonces,
mientras que
entonces
mientras que
[(f(x))4.][(g(x))4.] = (a0 + ala + + a,a")(bO + b1a + - a - + bd").
Como por definici6n de multiplicaci6n polinomial, dj = E=O
a,b,-, vemos que
Asi, 4,
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.
Seiialamos que este teorema es valido con una demostracion idkntica, si F y E
fueran solo anillos conmutativos con unitarios, en lugar de campos. Sin embargo,
estamos interesados solo en el caso de que Sean campos.
Es dificil sobreestimar la importancia de este sencillo teorema. Es la base
principal de todo nuestro trabajo posterior en teoria de campos. Es tan sencillo,
que podria llamarse observacibn en lugar de teorema. Quiza no debimos haber
escrito la demostracion. La notacion polinomial lo hace parecer tan complicada,
que podria pensarse que se trata de un teorema dificil.
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.
Asi,
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. 9
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 = bq, + r,,
donde r, = 0 o v(r,) < v(b). Si r, = 0, sea r, tal que
,
don& r, = 0 o v(r,) < v(r,). En general, sea r,+ tal que
,
donde ri + = 0 o v(ri+ ,) < v(ri). Entonces, la sucesibn r, ,r,, . . . &be rerminar
con al& r, = 0. S i r , = 0, entonces b es un rncd & a y b. S i r , # 0 y r, es el
,
primer ri = 0, entonces, r,- es un rncd & a y b.
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
*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 sucesiva-
mente. 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.8 La selection de una evaluacion euclidiana v particular en un dominio euclidiano
D, dnfluye de alguna forma en la estructura aritmetica de D? Expliquese.
*33.9 Siguiendo la idea del ejercicio 33.4 y refirikndonos al ejercicio 33.2, expresese el
mcd positivo de 49 349 y 15 555 en Z , en la fonna 1(49 349) + p(15 555) para 2, p E Z .
*33.10 Sea D un dominio euclidiano y sea v una evaluacion euclidiana en D. Muestrese
que para a, b E D distintos de cero, tenemos v(a) < v(ab)si y solo si b no es unidad de D.
[Sugerencia: del ejercicio 33.6, dedhcase que v(a) < v(ab) implica que b no es unidad de
D. Usando el algoritmo euclidiano, mutstrese que v(a) = v(ab) implica ( a ) = ( a b ) .
Concluyase que si h no es unidad, entonces v(a) < v(ab).]
*33.11 Apruebese o rechacese el siguiente enunciado: si v es una evaluacion eaclidiana en
un dominio euclidiano D, entonces { a E D I v(a) > v(1)) es un ideal de D.
'33.12 Muestrese que todo c a m p es un dominio euclidiano.
*33.13 Sea v una evaluacion euclidiana en un dominio euclidiano D.
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.14 Sea D un DFU. Un elemento c en D es un mlnimo comia m6ltiplo (man) de dos
elementos a y b en D si a I c, b I c y si c divide a todo elemento de D que sea divisible entre a
y entre b. MuCstrese que todos dos elementos distintos de cero a y b de un dominio
euclidiano D tienen algirn man en D. [Sugerencia: mubtrese que todos 10s multiplos
comunes, en el sentido obvio, de a y b, forman un ideal de D.]
*33.15 Usese la ultima afirmaci6n del teorema 33.3, para mostrar que dos elementos
+
distintos de cero r, s E Z generan a1 grupo (Z, ) si y &lo si r y s, vistos como enteros en
el dominio Z, son prima relativos, esto es, tienen un mcd igual a 1.
*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,.
*33.18 Siguiendo la idea de los ejercicios 33.4 y 33.17, es- un mbtodo constructive
para encontrar una solucion en Z de la congruencia ax E b (mod n) para a, b, n E Z
distintos de cero, si es que la congruencia tiene solucion. Usese este metodo para encontrar
una solucion de la congruencia 22x = 18 (mod 42).
Enteros
gaussianos
y normas
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.
-
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 coorde-
nadas 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
asi que N(a) = 1 o N(p) = I . Por hip6tesis. esto significa que a o p es unidad de
D. Asi, a es un irreducible de D.
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 + 2- es un irreducible en z[-1.
En resumen, hemos mostrado que
21 = 3 . 7 = ( 1 +2 0 ) ( 1- 2 , p )
'*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.
*34.6 iFa1~0o verdadero? =.
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.
r
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.
I
a) Mubtrese que Z [ i ] / < a ) es un anillo finito. [Sugerencia: imese el algoritmo de d vi-
si6n.I
b) Mubtrese que si n es un irreducible de Z [ i ] , entonces Z [ i ] / ( n ) es un c a m p .
c) Con respecto a b), encutntrese el orden y caracteristica de cada uno de 10s c a m p s
siguientes.
i) ZCiIl(3) 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[&].
b) Mukststrese que N(a) = 1 para a E z[&] si y s61o si a es una unidad de z[&].
C) Mubtrese que todo a E z[&] distinto de cero que no sea unidad, tiene factoriza-
ci6n en irreducibles en ~ [ f i ][Sugerencia:
. usese b).]
*34.15 Repitase el ejercicio 34.14 para z[&] = {a + b&/a, b E Z } con N definida por
N(a) = la2 - nb21 para a = a + b& en z[&.
*34.16 M k t r e s e , mediante una c o n s t d o n analoga a la dada en la sugerencia del
ejercicio 34.11, que el algoritmo de la divisi6n se cumple en 10s dominios entcros
z[-1. J?/,[z y z[$] para "(a) = N(a) para a distinta de cero en uno de estos
dominios (vbnse 10s ejercicios 34.14 y 34.15). (Asi, tstos dominios son euclidianos. V&
Hardy and Wright 1281 para un analisis acerca de cu8lcs de 10s dominios z[&] y
z [ G ] son euclidianbs.)
lntroduccidn
a 10s campos
de extensidn
*
carnpo de F[x]/(p(x)) de manera natural, rnediante la transformacibn
:F -, F[x]/(p(x)) dada por
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.
.
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.
Para conectar estas ideas con las de teoria de numeros, damos la siguiente
definicibn.
Ejemplo 35.7 Es claro que irr($, Q ) = .r2 - 2. Con referencia a1 ejemplo 35.6
vemos que a = J T J 5 en R a es un cero de r4 - 2.v2 - 2 el cual estl en
35.4 EXTENSIONES SIMPLES 325
donde l a bi estan en F.
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
- a,-,Cf-' - -.. - aoa
- . - -- ao) - a,-,a"-' - - aoa.
1
Asi, si fi = F(a) es posible expresar /3 en la forma requerida
Para la unicidad, si
I
bo + bla + - - .+ b,-,a"-' = bh + b;a + .-. + 4-,a"-l
para b; E F, entonces
Por tanto,
I
328 INTRoOUCClON A 10s CAMPOS DE EXTENSION
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 ) .
extension de F.
- j) Si x es una indeterminada, Q[x] -
- i) Todo polinomio no constante en F[x] tiene alglin cero en todo campo de
Q[x].
VjTIaaE V.
*r, u(ba) = (ab)a.
+
"v, (a b)a = (aa) + (ba).
"v, 44 + B) = (aa) + (as).
6 la=a.
332 ESPACIOS VECTORIALES
aO = a(0 + 0) = aO + aO,
concluimos que a0 = 0. Entonces,
0 = Oa = ( a + (-a))a = aa + (-a)a,
de mod0 que (-a)a = -(aa). Del mismo modo, de
Ejernplo 36.4 En el espacio vectorial Rn sobre R del ejemplo 36.1, 10s vectores
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
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
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 dimen-
sion 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.
Demostracibn Sea a =
Entonces,
Cy=fli/Ii y sea /Ii = z= bijyjdonde ai y bijesthn en F.
aj+, y dedrtese la siguiente a, que sea alguna combinacibn lineal de 10s restan-
tes predecesores, y asi sucesivamente. Llegaremos a a, despuis de un numero
finito de pasos, las ai que queden en nuestra lista son tales, que ninguna es
combinacibn lineal de las ai anteriores en esta lista reducida. El lema 36.1
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 Por el corolario del teorema 36.2, existe una base B = {b,, . . . .,
8.) de V sobre F. Considerese la sucesibn finita de vectores
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.
11
1
Teorema 36.4 Sea E un campo de exrensibn de F y sea a E E algebraico sobr
F. Si grad(a, F ) = n, enronces F(a) es un espacio vecrorial n-dimensional sobr
aun, todo clenzenro p de F(a) es algebraic
F con base ( 1 , a, . . ., an-' }. MU.T
sobre F y grad@, F) grad(a, F).
36.3 Encuentrense tres bases para R2 sobre R donde no haya dos que tengan alg5n
vector en comun.
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) b) R($) sobre R
C) Q($) sobre Q dl C sobre R
e) Q ( i )sobre Q f ) ~ ( $ 6 sobre
) Q
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.
a) Si {Bi1 i E I ) es una base para V sobre F, muktrese que una transformaci6n lineal
4: V -r V' esta por completo determinada por 10s vectores Pi# E V'.
b) 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 = &
36.15 Sean V y V' espacios vectoriales sobre el mismo c a m p F y sea 4 :V -r V' una
transfomacion lineal.
a) LA cual concept0 que ya estudiamos para estructuras de grupos y anillos, wrrespnde
el wncepto de transformacibn linear!
b) Definase el kernel (o espacio nulo) de 4 y muCstrese que es un subespacio de V.
c) Describase cuando 4 es un isomorfismo de V en V'.
36.16 Sea V un espacio vectorial sobre un c a m p F y sea S un subespacio de V. Definase
el espacio cociente V / S y demukstme que es un espacio vectorial sobre F.
36.17 Sean V y V' espacios vectoriales sobre el mismo c a m p F y sea V de dimension
finita sobre F. Sea dim(V) la dimension del espacio vectorial V sobre F. Sea 4 : V + V' una
transfomaci6n lineal.
a) Muestrese que V+ es un subespacio de V'.
b) MuQtrese que dim (V4) = dim(V) - dim(kerne1 4). [Sugerencia: elijase una base
conveniente para V, usando el teorema 36.3.-Por ejemplo, extiendase una base para
(kernel 4) a una base para V.]
*36.18 Sean S y T subespacios de un espacio vectorial V sobre un campo F.
a) Definase el ensamhlr S v T de S y T y muestrese que S v T tambien es un subespacio
de V sobre F. (Comparese con la seccion 8.2. En la literatura, se denota S v T por
S +
T.)
b) Describanse 10s elementos en S v T e n terminos de 10s de S y 10s de 7.
'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,
Esta es una seccion destinada a dar una idea de algunas otras estructurz
algebraicas importantes y su relacion con las estructuras estudiadas.
1 (aa)E G.
2 = (aa)(Ba).
Ejemplo 37.1 Todo grupo abeliano G da lugar a un grupo natural con operado-
res. 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.4 Sea G cualquier grupo y sea 9 el conjunto de todos 10s automor-
fismos 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.
*37.3 ALGEBRAS
i
plicacion de elementos de V son la suma y rnultiplicacion del campo en E y la
multiplicaci6n por un escalar por elementos de F es, de nuevo, la multiplicaci n
del campo en E.
i
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).
I
*37A Mubtrese pue la interseccibn de subgrupos admisibles de un 8-grupo G es, ge
nuevo, un subgrupo admisibie de G.
I
*375 Sea G cualquier grupo y sea I el conjunto de rodos 10s automorfismos de G.
ejemplo 37.3, G puede considerarse un I-grupo. Un I-grupo de G es un subgru
umcterktico de G.
Todo subgrupo de todo grupo abeliano es un subgrupo normal, esto es,
9-subgrupo, pero dkse un ejemplo para mostrar que no todo subgrupo de todo
abeliano es un subgrupo caracteristico.
"37.6 Mutstrese que el grupo factor de un b-grupo, C modulo un subgrupo normal
admisible, puede considerarse, de nuevo, un b-grupo de manera natural. Esto es, definase
la multiplicacion externa en las clases laterales, mutstrese que esta bien definida y verifi-
quense 10s axiomas para un 0-grupo.
"37.7 Definase el concept0 de O-hornornorfisrno de un O-grupo C en un 6-grupo G'.
Mutstrese que el kernel es un O-subgrupo de G .
*378 Prutbese que para un R-mMulo izquierdo M
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 Definase un subm6dulo 0% un R-mddulo (izquierdo) M y un m6dulo cociente de un
R-mddulo (izquierdo) M, m a l o un submbdulo N.
97.11 Definase un R-homomorjismo de un R-mddulo (izquierdo) M en un R-m6dulo
(izquierdo) M'.
T . 1 2 MuQtrese que el anillo (M,(F), +, .) de la seccion 25.1, se convierte en un
ilgebra de dimension n2 sobre Fsi definimos la multiplicacion por un escalar por b(oij) =
= (bo,,) para (aij)E MAF) y b E F.
*37.13 Sea V un algebra de dimeniion finita con una base
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 polino-
mio distinto de cero en F [ x ] y f(a) = 0. Por tanto, a es algebraic0 sobrc F.
[ K : F ] = [ K : E ] [ E :F ] .
y (x7=,ci,ai)
tener
E E. Como 10s elementos pj son independientes sobre E, debem
para toda las j. Pero ahora las ai son independientes sobre F, de mod0 q
z=, 0ci,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
,
[F, : F,] = [F, :F,- ,][F, - :F,- ,I .- [F, :F,]. 1
Ejemplo 38.1 Por el corolario 2 del teorema 38.2, no hay elemento de ~(8)
que sea un cero de x3 - 2. N6tese que Q) = 2 mientras que un cero de
x3 - 2 es de grado 3 sobre Q, p r o 3 no divide a 2. rn
Ejemplo 38.2 Considtrese ~($1. El teorema 36.4 muestra que 11, $1 es una
base para Q($) sobre Q. Calculando,encontramos que irr($ + fi, Q) = x4 -
- lox2 + 1, de modo que [Q($ + fi) :Q] = 4. Asi, (fi fi) a$),
+ 9 de
mod0 que f i ~ Q ( f i ) . Por tanto, (1, $1 es una base para Q(& = 3)
= (a$))(@) sobre Q($). Entonces, la demostracion del teorema 38.2 (vkse
el comentario que sigue a1 teorema) muestra que {I, $, 3)
es una base para
a*, fi) sobre Q. rn
Ejemplo 383 Sea la raiz cubica real de 2 y 21f2 la raiz cuadrada positi-
va de 2. Entonces, como vimos en el ejemplo 38.1, 4Q(2'I2). Asi,
[Q(2'I2, 2lJ3):Q(21f2)] = 3. Entonces, {l, 21f2}es una base para Q(21f2)sobre
Q y {I, 2'13, 2,13} es una base para Q(21f2,2lI3) sobre Q(2'I2). Mas a h , por el
teorema 38.2 (vtase el comentario que sigue a1 teorema),
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
= Q(2'I6). .
de mod0 que, por el comentario anterior a1 teorema 38.1, Q(2'I2, 2lI3) =
El ejemplo 38.3 muestra que es posible que una extension F(a,, . . ., a,) de un
c a m p F sea, en realidad, una extension simple, aunque n > 1.
Caractericemos las extensiones de F de la forma F(a,, . . ., a,) en el caso en
que todas las ai Sean algebraicas sobre F.
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
.
una extensi6n finita de F y, por el teorema 38.1, todo elemento de F(a, p) es
algebraic0 sobre F,esto es. flu, P ) c FE Asi F, contiene a a + z/?,a - /? y
tarnbikn a alp para B # O , de mod0 que FE es un subcampo de E.
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.
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 algebraica-
mente 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
extensibn algebraica F que esth algebraicamente cerrada. I
Probaremos que todo campo tiene una extension algebraica que esti algebraica-
mente 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
4
axioma de seleccion, el lema de Zorn. Para enunciarlo requerimos una defini on
de teoria de conjuntos. ' 'f
Definiciin Un ordcn parcid en un conjunto S esth dado por una relacio I
definida para ciertos pares ordenados de elementos de S tales que se sat$fa-
cen las siguientes condiciones
I
1 a I a para todos 10s a E S (Icy reflexiva).
2 Si a I b y b I a, entones a = b (ley antisimltrica).
3 Si a I h y h I c, entonces a I c '(ley transitiva).
38.3 EXISTENCIA DE U N A CERRADURA ALGEBRAlCA 355
[;starnos listos ahora para rcalizar la demostracion del teorema 38.6, que
rcc.nunci:~mosaqui.
Imaginemos que hay un solo segment0 de recta que definiremos como de longi-
tud una unidad. Un numero real a es construibk si podemos construir un segmen-
to 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.
--
en una de las tres maneras siguientes:
-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 cuadra-
do de su radio es racional;
3 como interseccibn de dos circulos cuyos centros tienen coordenadas raciona-
les y 10s cuadrados de sus radios son racionales.
Las ecuaciones de las rectas y circulos de 10s t i p s discutidos en 1,2 y 3 son
de la forma
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 siguien-
te)) 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, precisa-
.. - menre, 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.
Demostracibn Hemos mostrado que F no puede contener m k nbmeros que
aqdllos obtenidos de Q, tomando un numero finito de raices cuadradas de
numeros psitivos y aplicando un numero finito de operaciones de c a m p . Sin
embargo, si a > 0 es construible, entonces la figura 39.4 muestra que &
tambitn
es construible. Sea 07 de longitud a, localicese P en la extension de 02 de modo
que tenga longitud 1. Encuentrese el punto medio de El y tracese un
semicirculo con diametro El. Levintese una perpendicular a El en 0 que
interseque a1 semicirculo e n Q. Entonces, 10s triingulos OPQ y OQA son seme-
jantes, de mod0 que
, .//
..-.
loQl lop1
--
loAl - my
y lm12
= la = a. Asi, OQ es de longitud &.Por tanto, las raices cuadradas de
numeros construibles son construibles.
El teorema 39.1 mostro que las operaciones de campo son posibles por
construccion.
Esperamos que se comprenda que las ideas anteriores, aunque algo complicadas
para escribir en detalle, son en realidad muy sencillas.
Teorema 9.3 ((Es imposible duplicar el cube)), esto es, dado el lado de un
cubo, no siempre es posible construir con regla y compcis el lado de un cubo que
tenga el doble del oolumen del cub0 original.
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.
39.2 IMPOSlBlLlDAD DE CIERTAS CONSTRUCCIONES 365
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
de mod0 que, por el corolario del teorema 39.2, a no es conswuible. Por tanto,
60" no se puede trisecar.
Notese que el n-gono regular es construible para n 2 3, si y solo si el angulo 2n/n
es construible, lo cual es el caso si y solo si es construible un segment0 de recta de
longitud cos (2nln). En el capitulo 48, regresaremos a1 estudio de la constructibili-
dad de ciertos n-gonos regulares.
'39.4 Usando 10s resultados del ejercicio 39.3 donde sea necesario, muestrese que lo
siguiente es cierto.
a) El 20-gono regular es construible.
b) El %gono regular es construible.
c) El angulo 72" se puede trisecar.
d) El 15-gono regular se puede wnstruir.
+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.
- Es imposible cuadrar, con regla y compk ninghn circulo de radio wnstruibly
c)
- Ninghn ingulo construible puede trisecarse con regla y compb.
d)
- Todo nhmero construible es de grado 2' sobre Q para algun entero r 2 0. 1
e)
- f)
Hemos demostrado que todo ndmero real de grado 2' sobre Q para algun
entero r 2 0, es construible. 1
- g) El hecho de que Z es un DFU se us6 fuertemente en la conclusion de 10s
teoremas 39.3 y 39.5. 1
- h) Los razonamientos de conteo son herramientas matematicas muy poderosas.
- i) Es posible encontrar cualquier numero construible en un numero linito de
pasos, comenzando con un segmento dado de longitud unitaria y usando regla y
compas.
- j) Es posible encontrar la totalidad de todos 10s numeros construibles en un
numero finito de pasos, comenzando con un segmento dado de longitud unitaria
y usando regla y compas.
Automorfismos
de campos
.
meros complejos conjugados significa que son canjugados sohre R. Si a, h E H !
h # 0,los numeros complejos conjugados a +
hi y a - hi son, ambos, ceror Jc
.r2 - 2ax + a2 + h2 que es irreducible en R[s].
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,
-+
________I\ = transformation
ycanonica de clases
F(a)
I
a
- +n
4xl/(p(x))
I
I
1
x+ ( ~ ( 1 ) )
residuales
h
F(D)
I
81
de modo que
Como segundo corolario del teorema 40.1, podemos probar un resultado que con
seguridad el lector ya conoce.
Demostracion Hemos visto que C = R(i) y que, por supuesto, tambien C = R(- i).
Ahora,
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
i = autornorfismo identidad,
Tenemos, asi,
40.1Encutntrense todos 10s conjugados de cada uno de 10s numeros dados sobre 10s
camps dados.
a) fi
sobre Q b) JZ sobre R
c) 3 + sobre Q d) $ - fi
sobre Q
e) $ + i sobre Q f) fi
+ i sobre R
g) sobre Q h) sobre Q ( d )
40.2 Considerese el c a m p E = Q($, fi,&). En la notacion del teorema 40.1,
tenemos 10s siguientes isomorfismos bbicos (que son aqui 10s automorfismos de E):
403 Los campos Q($) y Q(3 + $) son 10s mismos, desde luego. Sea a = 3 + &.
a) Encuentrese un conjugado # a de a sobre Q.
b) Con respecto a a), compirese el autornorfismo basico $J,. _,
de Q($) , con el
automorfismo basico $,. B.
40.4 Con respecto al ejemplo 40.4, encutntrense 10s siguientes carnpos en E = Q($,
J3.
a) C':n,n,: b) E:,,; C) E:ni.o.,;
40.5 Con respecto a1 ejercicio 40.2. encuentrese el carnpo lijo de cada uno de 10s siguien-
tes automorfisrnos o conjuntos de autornorfisrnos de E.
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.
rP - I
= -= .rP-'
@,(s)
x - l
+ .VP-~+ ... + .r + 1
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.
C) Mubtrese que el c a m p fijo de G(Q(I)/Q)es Q. [Sugerencia: mutstrese que
{I, i 2 , . . ., (P- 11
es una base para Q(I) sobre Q y considkrese las cornbinaciones lineales de 1, I*, . . .,
IP-' quedan fijas bajo todos 10s elernentos de G(Q(O/Q).]
40.16 En el teorema 40.1 se describieron 10s isornorfisrnos basicos para el caso donde a y
B fueran elementos conjugados algebraicos sobre F. iExiste alghn isornorfismo sernejante
de F(a) con F(B) en el caso en que a y B Sean ambos trascendentes sobre F?
40.17 Sea Fun c a m p y .r una indeterrninada sobre F. Deterrninense todos 10s autornorl
fisrnos de F(.r) que dejan fijo F describiendo sus valores en .r.
40.18 Pruebese la siguiente sucesion de teoremas.
a) Un automorfismo de un c a m p E lleva a 10s elernentos que son cuadrados de
elernentos en E sobre 10s elementos que son cuadrados de 10s elementos de E.
b) Un automorfisrno del c a m p R de 10s numeros reales lleva n h e r o s positivos sobre
numeros positivos.
c) Si a es un automorfisrno de R y a < b, donde a, be R, entonces aa < ba.
d) Un automorfisrno de R esta por cornpleto determinado por sus valores en elementos
de Q.
e) El unico autornorfisrno de R es el automorfisrno identidad.
El teorema
sea /I un cero en F de
Teorema 41.1 (Teorema & la extemibn & isomorfismos) Sea E una exten-
si6n algebraica de un campo F. Sea o un isomorf~mode F sobre un campo F'.
Sea F' una cerradura algebraica de F'. Entonces, a se puede extender a un
isomorf~mor de E en F' tal que ar = aa para todas las a E F.
Como otro corolario podemos demostrar, como lo prornetirnos, que una cerradu-
ra algebraica de F es tinica, salvo un isornorfisrno que deje fijo F.
F';
A
Extiende a;'a,
- FT
I I
sobrc sobre
o,:F-F;, o,:F-F;, I
esto es, dando la vuelta por el otro lado del diagrama, muestra que la correspon-
dencia entre r , :E -+ F,' y r,: E -+ F; es uno a uno. En vista de esta corresponden-
cia 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
Demostracibn Del teorema 41.2, se sigue que cada uno de 10s { E :F ) isomofis-
mos ri:E -+ Fque dejan fijo F tiene { K : E ) extensiones a un isomorlismo de Ken
F. rn
por 10s isomorfismos basicos $a,P para cada conjugado en F de a sobre F. Asi,
si irr(a, F ) tiene n ceros distintos en F,tenemos { E : F) = n. Mostraremos mas
adelante que a menos de que F sea infinito y de caracteristica p # 0, el numero de
ceros distintos de irr(a, F ) es grad(% F ) = [ F ( a ) :F ] .
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 = Vie,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
-
Y/? \-fj
Canonico
ax1
71.
7
Kf[xl
Canonico
K(a) - h
K[xl/(~ ( 4 )
-
7
7 = Y-'rl.Yf
- Kf[xl/(q(x)) - h'
K'(a3
EJerclclos C-
41.1 Sea E = ~ ( f fi,i , $1. Para cada transformacion isomorfa del subcampo e E
dado a continuation, obtenganse todas las extensiones de la transformation a una t r ns-
formacion isomorfa de E en Q.Describanse las extensiones dando valores en el conjjnto
ti
generador { f i , fi,f i )
para E sobre Q. I
a) l : ~ ( f i - f i ) ~ ( f i fi),
+ . donde es la transformaci6n identica
I I
C) *JM, - d f ~ : ~~(( f$ 6i )~ )
+
41.2 Es un hecho que se puede verilicar elevando al cubo, el que 10s ceros de .r3 - 2 dn Q
son
a,=$, a 2 = f i -
1 + ifi y a,=fi-
1-ifi
'
I
!
2 2
41.6 Sea E una extension algebraica de un carnpo F. Muestrese que todo isornorfisrno de
E en F que deja fijo F puede extenderse a un automorfisrno de F.
41.7 Pruebese que si E es una extension algebraica de un carnpo F, entonces dos
cerraduras algebraicas F y E de F y E, respectivarnente, son isornorfas.
41.8 Pruebese que la cerradura algebraica de Q(,/;;) en C es isornorfa a cualquier
cerradura algebraica de Q(s) donde Q es el carnpo de n~irnerosalgebraicos y .r es una
indeterrninada.
41.9 Pruebese que si E es una extension finita de un carnpo F, entonces { E :F } I
I [ E : F]. [Sugerencia: las observaciones anteriores al ejernplo 41.1 esencialrnente lo
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 rnultiplicati-
vas del indice y del grado.]
Nos interesaran, principalmente, 10s auromor-smos de un c a m p E m h que las
meras transformaciones isomorfas de E. Son 10s auromorfismos de un c a m p 10s
que forman grupo. Nos preguntamos si para algtin campo de extension de un
campo F,roda transformacion isomorfa de E en F que deje fijo F es, en realidad,
un automorfismo de E.
Sujxjngase que E es una extension algebraica de un campo F. Si a E E y jl IS F
es un conjugado de a sobre F, entonces existe un isomorfismo basico
{ E :F ) = IG(E/F)I.
.
campo de descomposicion E de grado finito sobre F, pues { E :F )- se definio como
el numero de las diferentes transformaciones isomorfas de E en F que dejan fijo
F.
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.
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.
Dcmostracirin Se tiene,
. . ., a,) es separable sobre F(a,, . . ., a,-,), entonces, por el teorema 43.3, tendi-
do por induccion, E es separable sobre F.
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: :riva-
das 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.
,, ,,
donde gk+,(a,- a, - , . . .,a, - ,) es un polinomio formal en a,- a, - , . an-L.
Por la hipbtesis de induccion, g,+,(a ,-,,a,-,, . . ., a,-,) E F, asi que, dc uevo,
a,-(,+,, E F pues me 1 # 0 en F.
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
Teorema 43.6 (Teorema &l elemento primitivo) Sea E una extensibn separa-
ble fmita de un campo infiniro F. Entonces, existe a E E tal que E = F(a).
(Dicho elemenro a es un ekmento primitivo.) Esto es, una extensibn separable
finita de un campo infinito es una extensibn simple.
para todas las i y todas las j # 1. Sea f(x) = irr(P, F), considerese
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
43.4, el c,ual muestra que Q es perfecto.
743.2 Mubtrese que si a, fl E F son ambos separables sobre F, entonax, a f B, aB Y alB
si fl # 0, son, todos, separable sobre F. [Sugerencia: usese el teorema 43.3 y su corolario.]
433 ~Falsoo verdadero?
- a)
Toda extension finita de todo c a m p F es separable sobre F.
- b)
Toda extension finita de todo c a m p finito F es separable sobre F.
- c)
Todo c a m p de caracteristica 0 es perfecto.
- d)
Todo polinomio de grado n sobre todo c a m p F siempre tiene n ceros distintos
en F.
- e) Todo polinomio de grado n sobre todo campo perfecto F siempre tiene n ceros
distintos en F.
- f) Todo polinomio irreducible de grado n sobre todo c a m p perfecto F siempre
tiene n ceros distintos en F.
- g) Todo campo algebraicamente cerrado es perfecto.
402 EXTENSIONES SEPARABLES 1
- h) Todo campo F tiene alguna extensibn algebraica E, perfects.
- i) Si E es un campo de extension de descomposicion de F separable finito,entonces
IC(E/F)I = [E: F].
- j) Si E es un campo de extension de descomposicion finito de F, entonces IG:E/F)I
divide a [E: F].
43.4 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.
435 Pruebese que si E es una extension algebraica de un campo perfecto F, entonm E es
perfecto.
43.6 Una extensi6n algebraica (quizh infinita) E de un c a m p F es una extrsi6n
separable de F si para toda a E, /(a) es una extension separable de F, en el satido
definido en el texto. Mubtrese que si E es una extension separable (quids infinita) e F y
K es una extension separable (quids infinita) de E, entonces K es una extension sepable
de F.
43.7 Sea E una extension algebraica de un campo F. Muestrese que el conjunto de odos
10s elementos en E que son separables sobre F forman un subcampo de E, la cemdurn
separable de .F en E. [Sugerencia: usese el ejercicio 43.2.1
Los ejercicios 43.8 a1 43.15 presentan las derivadasformales en F[x].
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
caracteristica 0 es separable. [Sugerencia: usese el hecho de que irr(u, F) es el polimio
minimal para a sobre F.]
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
*43.16 Encuimtrese a E Q($, f i ) tal que Q($, 3)
= Q(a). Verifiquese, rnediante
cilculo directo, que fi 8
y pueden, en efecto, expresarse como polinomios formales en
dicha a,con coeficientes en Q.
+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
-
dr ~ o d que
o debemos tener
- ..
-2.: F] < 1. Asi, K es totalmente insep~rzblesobre F.
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 EXTENSIONES TOTALMENTE INSEPARABLES
f
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
con ail = a. sea 8, = acl. Tenemos F(B1,, BZ1,. . .. Bnl) S E y Bil es un(cen,de
I
dondefix) E FCx]. Ahora bien, como elevar a la potencia p es un isomo lsmo a,
de E en E, elevar a la potencia # es la transfonnacibn isomorfa (a,)' de E en E.
Luego, como las aij son todas distintas para i fija, tambikn lo son las B para i
fija. Por tanto, Bij es separable sobre F porque es un cero de un polinomi Ax) en
FIX]con ceros de multiplicidad 1. Entonces, por la demostracibn del c rolario
del teorema 43.3,
I
Es facil ver que todos 10s campos finitos deben tener orden igual a la potencia de
un primo.
Demostracion Sea { a , , . . ., a,} una base para E como espacio vectorial sobre F.
Entonces, toda E E puede escribirse de munera linica en la forma
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
(ab)" = d b " = 1,
,.
Ejemplo 45.1 Considlrese el campo finito Z , Por el corolario 1 del teorema
, ,
45.3, (Z, *, . ) es ciclico. Tratemos de encontrar un generador de Z, * mediante
fuerza bruta e ignorancia. Cornencernos por 2. Como IZ, ,*I = 10, 2 debe ser un
,*
elernento de Z , de orden que divida a 10, esto es, 2, 5 6 10. Ahora,
Las raices quintas primitivas del unitario en Z,, son de la forma 2" donde el mcd
de m y 10 es 2, esto es,
Asi,
1 1
g(a) = [(p" - 1 ) . 11 - = --.
a a
.
contiene 10s ceros de xJ'"- X , vemos que se debe tener K = F. Por tanto, K es el
campo deseado de pn elementos, ya que en el lema 45.1 se mostr6 que xPn - x
tiene pn ceros distintos en 2,
Corolario S i F es rualyuier campo jinito, entonces para todo entero positioo n
e-xiste un polit~omioirretlucihle en q . x ] de grado n.
45.1 EncGntrense todos 10s generadores de cada uno de 10s siguientes grupos ciclicos.
(Recutrdese la teoria de 10s grupos ciclicos.)
a) <Z7*?. > b) <Z,7*, . > C) <223*: . >
45.2 (Recutrdese la teoria de 10s grupos ciclicos.)
a) Encutntrese el numero de raices octavas primitivas del unitario en CG(9).
b) Encutntrese el numero de raices 18-tsimas primitivas del unitario en CG(19).
c) Encutntrese el numero de raices 15-bimas primitivas del unitario en CG(31).
d) Encuentrese el numero de raices dtcimas primitivas del unitario en CG(23).
453 Sea 2, una cerradura algebraica de Z2 y Sean a, B E 2, ceros de x3 + x2 1 y +
x3 + x + 1, respectivamente. Usando 10s resultados de esta seccion, mubtrese que
z2(a) = Z2(B).
'45.4 Mubtrese que todo polinomio irreducible en Z,[x] es un divisor de xP" - x para
alguna n.
455 iFalso o verdadero?
Los elementos distintos de cero de todo c a m p finito forman un grupo ciclico
bajo la rnultiplicacion.
Los elementos de todo c a m p finito forman un grupo ciclico bajo la suma.
Los ceros en C de ( x -~ 1)~
E Q[x] forman grupo ciclico bajo la rnultiplicacion.
Existe un campo finito de 60 elementos.
Existe un campo finito de 125 elementos.
Existe un campo finito de 36 elementos.
El numero complejo i es una raiz cuarta primitiva del unitario.
Existe un polinomio irreducible de grado 58 en Z,[x].
Los elementos distintos de cero de Q forman un grupo dclico Q* bajo la
rnultiplicacion del campo.
- j) Si F es un c a m p finito, entonces todo isomorfismo que transforma F en una
cerradura algebraica F de F. es un automorfismo de F.
45.6 Sea F un campo finito de p" elementos que contiene el subcampo primo Z p .
Muistrese que si a E Fes un generador del grupo ciclico (F*, . ) de elementos distintos de
cero de F, entonces grad(a, Z , ) = n.
45.7 Mutstrese que un c a m p 6nito de p" elementos tiene, exactamente, un subcampo de
p" elementos para vada divisor m de n.
4511 Muestrese que x p - x es el product0 de todos 10s plinomios monicos irreducibles
en Z , [ x ] de grado d que divide a n.
45.9 Sea p un primo impar.
a) Mubtrese que para a E Z, donde a f 0 (mod p), la congruencia x2 = a (mod p) tiene
soluciirn en Z si y d l o si a"-')12r l (modp). [Sugerencia: formulese un enunciado
equivalente en el c a m p finito Z, y isese la tcoria de 10s grupos ciclicos.]
b) Usando la parte a), determinese si el polinomio x 2 - 6 es irreducible o no en Z , , [ x ] .
4510 Mubtrese que dos campos finitos del mismo orden son isomorfos.
45.11 Usese el ejercicio 43.10 para mostrar que P - x no tiene ceros de multiplicidad
> 1 en 2
, (Vkase la demostracion del lerna 45.1.)
45.12 Sea E un campo finito de orden p".
a) Muistrese que el automorfismo de Frobenius a, tiene orden n.
b) DedCzcase de a) que C(E/Z,) es ciclico de orden n con generador a, [Sugerencia:
recukrdese que
IC(E/F)I = {E: F ) = [ E : q
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 F, a E E y B un conjugado de a sobre F, esto es, B es tambikn
un cero de irr(a, F). Entonces, existe un isomorfismo que transforma
F(a) sobre F(B), deja fijo F y transforma a en B.
2 Si F I E I F y a E E, entonces, un automorfismo a de Fque deje fijo F &be
transformar a sobre algun conjugado de a sobre F.
3 Si F I E, la coleccion de todos 10s automorfismos de E que dejan fijo F
forman un grupo G(E/F). Para cualquier subconjunto S de G(E/F), el
conjunto de todos 10s elementos de E que quedan fijos bajo todos 10s ele-
mentos de S, es un campo E,. AdemL, F I EaEIFv
4 Un campo E, F 5 E I F es un campo de descomposicion sobre F si y solo
si todo isomorfismo de E en F que deje fijo F es un automorfismo de E. Si E
es una extension finita,y un campo de descomposicion sobre F, entonces,
JG(E/F)J= ( E : F ) .
5 Si E es una extension finita de F, entonces ( E :F ) divide [ E : F ] . Si, ademas,
F es separable sobre F, entonces ( E :F ) = [ E : F ] . Ademas, E es separable
sobre F si y solo si irr(a, F ) tiene todos 10s ceros de multiplicidad 1 para toda
a E.
6 Si E es una extensibn finita de F y es un campo de descomposicion separable
sobre F, entonks IG(E/F)I = (E: F ) = [ E : F ] .
46.2 EXTENSIONES NORMALES
Eslaremos intcrcsados cn extensiones finitas K de F tales que todo isomorfismo
dc K quc dcjc fijo F sea un automorfismo dc k' y tal que
[ K : F ] = { K :F ) .
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.
Supongase que K es una extension normal finita de F, donde, como es usual,
K I p. Entonces, por el resultado 4, todo automorfismo de F que deja fijo F
induce un automorfismo de K. Como antes, hacemos G ( K / F )el grupo de todos
10s automorfismos de K que dejan fijo F. DespuCs de un resultado mas, estaremos
listos para ilustrar el teorema principal.
Teorerna 46.1 Sea K una extension norrnaljinita de F y sea E una extension
de F, don& F I E r; K _< F. Entonces, K es una extension normal fmita & E
y G ( K / E )es, precisamente, el subgrupo de G(K/F)formado por todos aquellos
automorfismos que dejan jijo E. Mhs aun, dos automorfismos a y T en G ( K / F )
indueen el mismo isomorjismo de E en F si y solo si estan en la misma clase
lateral derecha de G ( K / E )en G(K/F).
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 correspon-
dan a auromorfismos de E sobre F, pues entonces, E no seria un campo de
descomposicion sobre F. Ahora, si E es una extension norr~~al de F, entonces estos
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, intima-
mente 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
factor G ( K / F ) / G ( K / Eque
) es, entonces, un grupo de automorfismos actuando en
E y que deja lijo F. Mostraremos que este grupo factor es isomorfo a G(E/F).
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 subgru-
pos de G ( K / F ) y 10s campos intermedios E, donde F 5 E 5 K. Esta correspon-
dencia 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 enunciare-
mos el teorema y analizaremos su demostracibn.
Rg. 46.1 (a) Magrama retlcular de grupos. (b)Magrama reticular de carr pos.
es una iransformacion uno a uno del conjunto de todos estos campos inter-
medios 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
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 argu-
mentos en un teorema.
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. En-
,,
tonces, 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,
46.5 FINAL DE LA DEMOSTRACION DEL TEOREMA PRINCIPAL 421
U
,(,p2
/ \
I , ,a/,:' i
/ \GF(pt;)=
==GF(pi)
k',,o,,~, K.,,:,
(a,,')
\ / \G F(p:')
K(0p2;=G F(/$) =K -,.
\ d
<L,
L ' \ /
F - ZP=G F i p ) =
Fig. 46.2 (a) Diagrama reticular de grupos. (b) Dlagrama reticular de campos.
Vimos que todo lo que falta probar en el teorema principal de la teoria de Galois
son las propiedades 3 y 5.
n = [ K : K H ] = { K :K H ) = IG(K/KH)I.
(aa)E E.
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,
-
Falta mostrar que cuando E es una extensi6n normal de F,
G(E/F) G(K/F)/G(K/E).Para a E G(K/F),sea a, el automorfumo de E inducido
por a (suponiendo que E es una extensi6n normal de F).Asi, oEE G(E/F). La
transfomaci6n t$ :G(K/F)-r G(E/F)dada por
-
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 ilsomor-
fismo es el natural. I
46.1 El c a m p K = Q($, fi,A) es una extension normal tinita de Q. Lltnense 10s .
espacios en blanco. La notacion es la del teorema 46.2.
46.8 Sea K una extension normal finita de un c a m p F. Pruebese que para toda a E K la
norma de cr sobre F dada por
son elementos de F.
46.9 Considtrese K =
(vease el ejemplo 46.1).
()(a,
fi). Con referencia al ejercicio 46.8, calcilese lo siguiente
esta en f l . ~ ] .
b) 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).
46.18 Sea K una extension normal finita de u n c a m p F y Sean E y L extensiones de F
contenidas en K, como se muestra en l a figura 46.3. Describase G { K / ( E v L ) } en terminos
de G(K/E) y G(K/L).
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
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 racio-
nal de las funciones simetricas elementales s , , . . ., s,. Resumimos estos resultados
en un teorema.
En vista del teorema de Cayley, podemos deducir del teorema 47.1, que
cualquier grupo finito puede presentarse como un grupo de Galois (salvo isomor-
fismo). (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.
Tabla 47.2
(b)
Fig. 47.3 (a) Diagrama reticular de grupos: cb) Diagrama reticular de campos.
,
Para encontrar K,,,. solo es necesario encontrar un elemento de K que no
este en Q y quede fijo bajo {a,, a,}. pues [K ,,., I :Q] = 2. Claramente
2"l + aa, queda fijo bajo a , y bajo a,, pues {a,, a,) es un grupo. Tenemos
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,
y 0 E Q. Pero, por un razonamiento analogo, (za,)(za,) queda fijo bajo a , y bajo
a,, Y
(aa,)(aa,) = aa' = - i .
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 ma-
nera, 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.
i
*47.13 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
*48.1 E l GRUPO DE GALO1S
DE UNA EXTENSION CICLOTOMiCA
(cos 8, + i sen B,)(cos 0, + i sen 8,) = cos (8, + 8,) + i sen (8, + 8,).
Entonces es inmediato, por induccibn, que
n
= 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-
48.1 EL GRUPO DE GALOIS DE U N A EXTENSION ClCLOTOMlCA 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 -
211 211
5 = cos - + i sen -
8 8
R
= cos -
4
+ i sen R4
-
Por la teoria de 10s grupos ciclicos, en particular por el corolario del teorema 6.4,
todas las raices octavas primitivas en Q son C, C3, CS y c7, de modo que
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
transforma C en r. Sea r, el automorfismo analog0 en G(K/QIcorrespondiente a
la raiz nCsima primitiva del unitario r.
Entonces
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 multiplica-
cion 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).
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,
48.2 POLIGONOS CONSTRUIBLES 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
2nr
= 2 cos -.
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
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
r2'' + 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.
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
c4
hecho de que CB = 1 y = - 1 para simplificar 10s coeficientes.]
* a . 2 Clasifiquese el grupo del polinomio (xZ0- 1 ) ~ Q [ x ]sobre Q de acuerdo con el
teorema fundamental de 10s grupos abeiianos finitamente generados. [Sugerencia: usese el
teorema 48.1.]
*48.3 Usese la formula para cp(n)en tkrminos de la factorization de n como se dio en la
ecuaci6n C48.11 de la seccion 48.2, para calcular lo siguiente:
a) d60) b) 441000) c) 48100)
*48.4 Dense 10s primeros 30 valores de n 2 3 para 10s cuales el n-gono regular ts
construible con regla y cornph.
MuQtrese que si F es un c a m p de caracteristica que no divide n, entonces,
'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.]
!
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 nera-
dos. I
'48.10 EncuCntrese @,(x) sobre Z,. EncuCntrese sobre Z,. I
!
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 menciona-
do.7 f ienen caraclcrisfica 0.
El esbozo del argument0 es muy facil de dar y vale la pena tratar de recor-
darlo.
I Mostrarr~nlosquc un polinomio .f(.lr) E F [ x ] es soluble por radicales sobre F (si
y ) solo si su canrpo de desconrposicion E sobre F riene un grupo de Galois
soluble. Recuerdese que un grupo soluble es aqutl que tiene una serie de
composicion con coeficienks ubclianos. Aunque este teorema vaya en 10s dos
sentidos, no probaremos la parte ctsib):- -- -
2 Mosfraremos que exisre un suhcatnpo F de 10s ntjm&os rerzks - w o l i n o m i o
.fix) E F [ x ] de grado 5 corl un carplpo de descomposicibn E sobre F rat UP --
G(E/F) S,, el grupo sirnkfrico en 5 lerras. Recuerdese que una serie de
composicibn para S5 es { I ) < A , < S,. Como A , no es abeliano, habremos
terminado.
El lema siguiente hace la mayor parte del trabajo para el paso 1.
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
-
tiene grupos cociente solubles. El ejercicio 49.7 muestra que esta serie, tiene,
entonces, un refinamiento que es una serie de composici6n con cocientes pbelia-
nos, 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 holino-
miof (x)E ax] 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
-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
-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.
*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, comple-
tando asi la demostracion del teorema 49.1. [Sugerencia: usese el teorema 15.3.1
*498 Sea K una extension normal por radicales de un campo F de caracteristica 0 y sea
E una extension normal de F, F 5 E c K. Muestrese que G(E/F)es soluble. [Sugerencia:
usese la teoria de Galois, el twrerna 49.1 y el ejercicio 15.16.1
*49.9 Este ejercicio exhibe un polinomio de grado 5 en Q[.r] que no es soluble por
radicales sobre Q.
a) Mubtrese que si un subgrupo H de S, contiene un ciclo de longitud 5 y una
transposition r, entonces H = S,. [Sugerencia: muestrese que H contiene toda trans-
position de S, y apliquese el corolario del teorema 5.1. Vease el ejercicio 9.15.1
b) Muestrese que si f(x) es un polinomio irreducible en Q[x] de grado 5 con exacta-
mente dos ceros complejos y tres reales en C, entonces el grupo de f (x) sobre Q es S,.
[Sugerencia: usese la teoria de Sylow para mostrar que el grupo tiene un elemento de
orden 5. Usese el hecho de que f(x) tiene exactamente dos ceros complejos para
mostrar que el grupo tiene un elemento de orden 2. Despub, apliquese a).]
c) El polinomiof(x) = 2x5 - 5x4 + 5 es irreducible en Q[x], por el criterio de Eisens-
tein, con p = 5. Usense tknicas de d c u l o para encontrar 10s maximos y minimos
relativos y para ccgraficar la funcibn polinornialf,, lo suficientepara ver que f(.r) debe
tener exactamente tres ceros reales en C. Concluyase, a partir de b) y del teorema 49.1,
quef(x) no es soluble por radicales sobre Q.
Inducci6n
matematica
f
En ocasiones queremos probar que una afirmaci6n acerca de enteros positiv s se
cumple para todos 10s enteros positives, o quid para alguna sucesi6n finita o
infinita de enteros wnsecutivos. Dichas demostraciones se hacen usando in!uc-
~
ci6n matematica. La validez del mktodo se basa en un axioma de 10s entieros
positives.
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.
Entonces, P(n) es cierto para todos 10s n E 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.
APENDICE. INDUCCION MATEMATICA 451
Entonces,
.
de mod0 que se cumple P(k
flZ+.
+ 1). Asi, la fbrmula [All es cierta para todos 10s
nE Z+. .
Como k . ~ 0,
b vemos que P(k + 1 ) es cierto. Asi, P(n) es cierto para n 2 2,
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 Mathema-
tical Association of America; LaSalle, Illinois, Open Court, 1948.
25. - , The Theory of Rings, Nueva York, Macmillan, 1964.
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, Addison-
Wesley, 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
OTRAS REFERENCIAS
1.7 F V F F F V V V V F
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 Respuesta parcial: (a + b' + c)' = c' + b + a'
%b b e e
(Son posibles otras respuestas.)
CAPrruLo 3
3.1 a) Si. b) No. c) Si. d) Si. e) Si. f) No.
33 a)0.25,50, -25, -50 b) l , t , 2 , 4 , t
c) 1, n, n2, 1/71,l/rr2.(Son posibles otras respuestas.)
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 Un ejemplo es el 4-grupo V de Klein. -
RESPUESTAS Y COMENTARIOS 459
CAPITULO 4
4.1 a) ( 1 2 3 4 5 6
1 2 3 6 5 4
1 2 3 4 5 6
2 4 1 5 6 3
1 2 3 4 5 6 1 2 3 4 5 6 1 2 3 4 5 6
C) ( 3 4 1 6 2 5 ) 5 1 6 2 4 3 ) 2 6 1 5 4 3
43 a) ( P I ) = ( ~ 2 =
) {Po, PI, ~ 2 1
( P , ) = {Po. PI}
b, /
(41. PI. P2) (Po. P I ) s3 \
47 S, es un ejemplo. V h e el ejercicio 4.3b).
49 IDml=2n
4.13 a) Si. b) No (no es cerrado). c) No (no hay inverso). d) Si.
CAPITULO 5
CAPITULO 8
El grupo no es ciclico.
8.5 z,, xz,,z,, XZ,,Z,2 xZ5.Z5 x z 3 x z 4
8.7 VVFVFFFFFV
89 Respuesta parrial: Hay siete de ellos.
CAPITULO 9
9.1 Para 720: Z,, x Z, x Z5
Z4 x Z4 x Z9 x
- Z5
Z,,,,
z2 x z8 x z9 x z5 % z2 x
Zleo,Z4 X
z360,
-
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.
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 Los nlimeros son 10s mismos.
RESPUESTAS Y COMENTARIOS 461
9.17
C)
CAPITULO
4:G
10
-+
(
Z x I , donde (a. b)4 = a
, "
Un subgrupo de S, no puede ser generado por dos elementos.
-
lo").
CAPITULO 11
11.1 a)18 b)8 c)6
11.3 Respuesrrr parcial: Las clases laterales izquierdas son
e = (0. 0) + ((1. 2)) = ((0. 0). (1, 211,
a = (1, 0) + ((1, 2)) = ((1, 0). (0, 2)).
b = (0, 1) + ((1, 2)) = {(O. 11, (1. 3)).
c = (1. 1) + ((1, 2)) = {(I, 1). (0, 3)).
La operacion inducida en las clases laterales izquierdas esta bien definida, y
si forman grupo. Este grupo de clases laterales es isomorfo a Z,.
CAPITULO 12
12.1 a) Al trabajar con un grupo factor G / H , a y b se harian elementos de G , no de
GIH. Q u i d s el estudiante no entiende c6mo se ven 10s elementos de G / H y no
p d r a escribir algo sensato acerca de ellos.
b) Debemos demostrar que G / H es abeliano. Sean aH y bH dos elementos de G / H .
12.9 VVVVVFVFVF
-
f) Z es libre de torsion, pero Z/nZ 2. Z,, un grupo de torsion.
h) Para n > 2, S, es no abeliano, per0 S,/A,
j) nR = R, de modo que RjnR es de orden 1.
Z,, y Z, es abeliano.
CAPITULO 13
13.1 a) Si. (Imagen 4) = Z. (Kernel 4) = (0).
b) No. 2 = ($14 + (+)+ # 3 4 = 3.
c) Si. (Imagen 4 ) = R'. (Kernel 4) = (1, - 1).
d) Si. (Imagen 4) = Z,. (Kernel 4 ) = (0, 2, 4).
e) No. En Z,, 0 = 1 + 1 = 5 4 + 54 # (5. + 5)4 = 14 = 1.
13.3 2 de Z sobre Z; 2 de Z en Z,; 1 de Z sobre Z,.
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 Respuesta parcial: (Imagen 4) = (a). (Kernel 4) = nZ para algun n E 2 no
negativo (incluyendo n = 0, 1).
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 Respuesta parcial: 4 es un isomorfismo si (kernel 4 ) = {e}, esto es, si el
a n t r o de G es el grupo trivial {e}.
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 iso-
morfos.
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 a) HN = {O, 2.4.6, 8, 10, 12, 14. 16, 18.20,22}, H n N = {0, 12)
b)O + N = IO.6, 12, 181.2 + N = (2.8, 14,20},4 + N = {4, 10, 16,221,
C)0 + (H n N) = {O, 12), 4 + ( H n N) = {4, 161, 8 + (H n N) = (18, 20)
d)(O+ N ) J I = O + ( H n N ) , ( 2 + N ) J I = 8 + ( H n N ) , ( 4 + N ) J I = 4 + ( H n N )
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 463
16.7 a) No.
b) (1, 2, 3,4), {s,, s,, s3, s4), {PI, P2, P39 P4I
16.15 a) K = g i l H g ,
b) Conjetura: H y K deben ser subgrupos conjugados de G.
CAPITULO 17
17.1 5
17.3 2
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 Respuesta parcial: Si.
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 b) a-'b3a4c6a-', ~ c - ~ a - ~ b - ~ a
213 a) 16 b) 36 c) 36
21.5 a)16 b)36 c)18
21.9 a) Respuesta parcial: (1) es una base para 2,. c) Si.
21.11 c) Un grupo blop en S es isomorfo a1 grupo libre FCS] en S.
CAPITLJLO 22
22.1 (a:a4 = 1).(a,b:a4 = 1, b = a2).(a,b,c:a =_1,b4 = 1 , c = l).(Son posibles
otras respuestas.)
RESPUESTAS Y COMENTARIOS 465
.
a a a' ; a'
----- i
I 1 ab I
r--+
a2b I a3b b
---
I
i~
i
- 2 -
b b a3b I o'b
I
ab I a' j a' / a
I
-
a' a2
22.9 Z,,. (a, b:a7 = 1, b3 = 1 , ba = a2b)
22.1 1 z,,. z2 x
A,
-
I
:
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.)
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
+ 0 {a) {bJ S
0 0 I4 {b) S
{a)
--
{a) 0 S Ib)
Ib) {b) S 0 {a)
s s , IbJ {a) 0
466 RESPUESTAS Y COMENTARIOS
24.1 0. 3. 5. 8, 9, 1 I
243 a)O b)O c)O d)3 e)I2 Q30
24.7 No hay soluciones de .rZ + 2x + 2 = 0. 2 es una solucion de x2 + 2.r + 4 = 0.
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 4, pues I y 3 ya son unidades en Z4.
285 F V F V V V V F F F
2815 Re~puc,sfupurcicll: Por la definicion en el ejercicio 28.IS,,J R = R para todo anillo
R. Sin embargo, d e acuerdo con la definicion del ejercicio 28.1 1, el radical de R no
siempre es todo R. Asi. esta terminolopia es inconsistente si N = R.
28.17 Si &NIN se considera como un subanillo de R/N, entonces es el radical d e R/N en
el sentido de la definicion del ejercicio 28.1 1 .
30-7 V V V V F F V V F V
1) En Z,[.v]. (2.r3)(3.rJ)
= 0.
CAPITULO 31
31.1 q(x)=x4+xx'+x2+x-2,r(x)=4.r+3
CAPITULO 32
321 a) Si. b) Si. c) No. d) Si. e) No. f) Si. g) Si. h) Si.
32.3 En Z[x]: (2)(2)(2 - x +
2).
En Q[x]: 4x2 - 4x + 8.
,
En Z, [x]: (4x + +
2)(x 4).
329 Respuesta parcial: D* - U no cs un grupo bajo la multiplicaci6n, pues 1# (D* - U).
3211 No toda no unidad # 0 d t Z x Z tiene una factorizacibn en irreducibles. Por
ejemplo, (1, 0 ) no es unidad y toda factorizacibn de (1, 0) tiene un factor de la
forma (+ 1, O), el cual no es irreducible. pues (+ I, 0) = (+ 1, 0)(1, 50). Los unicos
+
irreducibles de Z x Z son (f1, p) y (q, I), donde p y q son irreducibles en Z.
CAPITULO 33
33.1 a) Si. b) No. Se viola (1). c) No. Se viola (1).
d) No. Se viola (2). e) Si.
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)
RESPUESTAS Y COMENTARIOS 469
34.13 c.1 (;! c>r111:il c;iracteristicn 3. (ii) ordcr 2, c;~ractcristic;~2. (iii) orrlcn 5. ~,lr-;~rtu-
l).
!.it1lL.;l
35.3 a) :Ilpchr;iico. gr:~d(z. k') = 7. !'! Al::cbr;~iit . gmrl(s. I-\ :?. c) ~ ~ ' r a ~ : ~ c c r ~ ~ I ~ : , , i
r l l .Algcbraico. grad(x, FI = I. ! . r id 1 - 2 n Tro~~sccndctitc.
Algchraiccl. grad(2, F) = 1. 111 .\ig:i>i.:~ic<. p.rad(r/. 1.') = 3.
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 sub-
espacio de V sobre F si las operaciones inducidas de suma vectorial y multiplica-
ci6n por un escalar estan cerradas en W, y W es un espacio vectorial sobre F bajo
estas operaciones.
36.9 Respuesta parcial: Ls surna directa V, @ . - - @ V, de espacios veclorinles es el
conjunto V, x . . - x V, de vectores, junto con las operaciones de suma vectorial
y multiplication por un escalar, definidas por
(al,. . ., 2,) + ( f i l l . ... B.) = (aI + PI.. . .. a. + B.)
y a(alr . . ., 5,) = (am1, . . ., (12,) para ai, Pi E 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
38.7 V F V F F V F F F F
38.9 Respuestu porciol: se obtienen extensiones de grado 2" para n G Z'.
CAPITULO 39
39.5 V V V F V F V V V F
40.7 F F V V F V V V V V
40.9 b, = 0, l a , = I,cxa, = 1 + a , ( l + a)a, = cx.Z,(~)(~,,
= Z,
40.11 Sea F = Z h x ) donde x es una indeterminada. Entonces, la irnagen de F bajo a,
es Z,,(xP), un subcamp propio de Z,,(x). Mientras a, es una transformacibn iso-
rnorfa para todos 10s carnpos E de caracteristica p, a, no necesariamente es sobre E,
de mod0 que no necesariamente es un autornorfisrno.
40.17 Todo automorfismo de F(x) transforma x sobre algun y = (ax + b)/(cx + d ) ,
donde a, b, c, d E F y ad - bc # 0. En fonna reciproca, cada una de dichas
y E F(x)da lugar a un automorfismo de F(x)que transforma x sobre y y deja fijo F.
CAPITULO 42
42.1 a)2 h)2 c)4 d)6 e)2 012
423 a) I b) 6 c) 2
42.7 Sean ).' = Q y E = ~ ( , b ) .Entonces
,/'(s)= .uJ - 5.u2 + 6 = (x2 - 2)(.r2 - 3)
tiene un cero en E pero no se descompone en E.
CAPITULO 43
43.1 ./'(.r) = .u4 - 4.u2 + 4 = (.rZ - 2)'. Aqui, f(.r) no es un polinomio irreducible.
Todo factor irreducible de,f(.r) tiene solo ceros de multiplicidad 1.
433 F V V F F V V V V V
43.15 Calculese un mcd de f(.r) y f'(.r) usando el algoritmo euclidiano. Entonces, f(.r)
tiene un cero de multiplicidad > 1 si y d l o si este mcd es de grado >O.
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
46.1 a) 8 b) 8 c) 8 d) 2 e) 4 9 4 g) 2 h) 1
463 El orden es 3. Un generador del grupo es a,. donde ao9 = a9 para ?r E CG(729).
46.7 FFVVVFFVFV
46.9 a)4 b)l c)36 d)16 e)O 0 0 g)O h)8
46.11 El campo de descornposicion de (x4 - 5x2 + 6) E Q[x] es Q(& $1, y el grupo
es el del ejemplo 40.4.
46.19 G(K/(E n L)) = G(K/E) v G(K/L)
CAPITULO 47
473 Q(@, i): fi + i, x" + 4x6 + 2x4 + 28x2 + 1;
~(fl): $, x4 - 2;
Q(i(fl)): 4*), x4 - 2;
Q(JZ, i): JZ +
+ i, x4 - h2 9;
Q(* + 3
i(3)): + i(fi), x4 8;+
Q($ - i ( 3 ) ) : $ - i($), x4 + 8;
p,
~ ( 8 ) : x2 - L
Q(i):i, x + 1;
~ ( i f i )iJ& : x 2 + 2;
Q:l,x- l
47.5 El grupo es ciclico d e orden 5 y sus elementos son
CAPITULO 48
48.3 a)16 b)400 c)2160
48.7
48.9
V V F V V F V V F V
a) 4 b) Respuesta parcial: G(K/Q)
48.1 1 . -3;_& es el c a m p de descomposici6n.
- (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 El concept0 de ccpropiedad interesante,, no se ha precisado; no esta bien definido.
Ademh, trabajarnos en matematicas con logica de dos valores; una afirmacion es
verdadera o falsa, pero no ambas cosas. La afirmacion de que no tener una
propiedad interesante seria una propiedad interesante parece wntradecir esta Iogi-
ca bivalente. Estariamos diciendo que el entero tiene y no tiene una propiedad
interesante.
Notaciones
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, 3-
c a m p de 10s numeros complejos, 208
r,a = h (mod n) congruencia, 7, 120
*,a*h operation binaria, 1 1
(G. *) grupo, 19
Y,,g2,9, axiomas de grupo, 19
e elemento identidad, 19
a-', -a inverso de a, 30
IS1 orden de S, 30
B S A contencion de conjuntos; inclusion, 30
B c A subconjunto B # A, 30
HSG;K<L inclusion de subgrupos, 31; inclusion de subestruc-
tura, 212
subgrupo H # G, 31; subestructura K # L, 212
subgrupo ciclico generado por a, 34, 57
ideal principal generado por a, 285
subgrupo dc I, gcncrado por n, 34
subanillo (ideal) de Z gcnerado por. ti. 212
i~nagendc t i bajo (I), 38 39
transformacii>n dc .,I sn 13,38
funci0n compucsla. 39
grupo de permukicioncs de A. 41
transformation idenlidad o idcntica. 42
grupo simttrico dc ri lelras, 42
11 fidclorial, 42
n-esimo grupo dicdrico. 43, 44
grupo alternanlc dc n letras, 54
yrupo ciclico 10. 1. . . .. 11 - 1 I bajo la suma
modulo w. 61
grupo de clases residuales modulo n, 120
anillo (0. I , . . ., 11 - 1 : bajo la suma y multiplica-
cion modulo n, 209
anillo de clases residuales modulo n, 253
mcd miximo comun divisor., 62.. 307
-
-, G 1 G' grupos isomorfos, 66
s* elementos de S distinlos de cero, 71
producto cartesiano de conjunto, 78
conjunto de productos, 83
H V K ensamble de subgrupos, 84
aH, a + H clase lateral izquierda, 108
Ha, H + a clase lateral derecha, 108
(G:H) indice de H en G, 113
'4 funcion fi de Euler, 115, 221 .
iff conjugation por g, 118
GIN. RIN 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 477