Sanchez Dario - Teoria de Grupos Y Anillos

Teora de Grupos y Anillos
Jos Daro Snchez Hernndez
Bogot-Colombia, Junio del 2005
danojuanos@hotmail.com
danojuanos@tutopia.com
El objeto de estas notas es brindar al lector un modelo de aprendizaje. A continuacin

encontrar ms de cien resultados bsicos, entre los cuales se hallan definiciones, teoremas,
corolarios y algunos ejemplos, es posible que encuentre la manera de volver a redactar algunos,
entonces hgalo de forma que los pueda recordar despus. Para las demostraciones es
indispensable el uso de una biblioteca con un buen nmero de textos de lgebra abstracta, en
esta forma el estudiante utiliza tcticas de investigacin y emplear la biblioteca. Luego
encontrar resultados en donde se ha dado una posible demostracin, la cual se supone es
correcta, sin descartar la posibilidad de que haya algunos errores; el lector deber revisarlas
analizando cual de los resultados bsicos se han utilizado en la prueba.
1. RESULTADOS BASICOS
1. Una
ley de composicin interna u operacin binaria sobre un conjunto

I , es una funcin X I I I
Las propiedades de una ley de composicin son: Conmutatividad,
asociatividad, existencia de un mdulo o elemento unidad y existencia de
inversos, cuando hay mdulo.
2.Un
grupo es una pareja ordenada K tal que K es un conjunto y es

una operacin binaria asociativa en K y b/ K tal que
3 Si + K, entonces + / +
33 Si + K, entonces b+" K tal que + +" /.
Un semigrupo o monoide es una pareja W donde W es un conjunto y
es una operacin binaria asociativa, esto es,
+ , - + , - a+ , - W .
Un semigrupo K es un grupo si y slo si las ecuaciones +B , C+ ,
tienen solucin para todo + , K.
3.Un grupo se dice finito, si el conjunto K tiene un nmero finito de elementos, es
frecuente llamar orden de un grupo al nmero de sus elementos y se usa la

notacin K para indicar el orden del grupo, esto es, K # K.
Un semigrupo finito K, en el cual valen las leyes cancelativas, es un grupo.
Todo grupo de orden & es abeliano.
4. Todo grupo de orden primo es conmutativo.
Con el fin de mostrar que existen grupos de orden 6 que no son conmutativos,
consideramos el conjunto Q " # $ y sea
Daro Snchez H.
XQ 5 " # $ " # $5 es inyectiva

es claro que XQ es un grupo para la ley de composicin de funciones as
"#$
"#$
"#$
"#$
"#$
XQ 5" "#$
"#$ 5# #"$ 5$ "$# 5% $#" 5& $"# 5' #$" W$
W$ no es abeliano, pues
"#$
"#$
5# 5$ "#$
#"$
"$# #$" 5'
"#$
"#$
5$ 5# "#$
"$#
#"$ $"# 5&
entonces 5# 5$ 5$ 5# .
5.Un subgrupo de un grupo K es un subconjunto el cual es un grupo bajo la

operacion binaria de K Ms exactamente un subgrupo de un grupo K es un
grupo L tal que L es un subconjunto de K y es la restriccin de a L L .
Esto indica que la operacin binaria en L es la misma operacin en K
Sea L un subconjunto no vaco de K. Entonces las siguientes condiciones son
equivalentes:
+ L es un subgrupo de K.
, L es una parte estable de K tal que si + L entonces +" L .
- +,, L entonces +, " L
Sea L un subconjunto no vaco de K. Entonces las siguientes afirmaciones son
equivalentes:
+ L es un subgrupo no vaco de K.
"
, LL
L y L
L.
6.Si L
es un subgrupo de un grupo K, entonces una clase lateral a derecha de L

es un conjunto W de K tal que bB K para el cual W LB Una clase a izquierda se
define en forma anloga bB KW BO . Si L y O son subgrupos de K, entonces
una clase bilateral de L y O es un subconjunto W de K tal que existe B K tal que
W LBO.
Si L K O K B K, y C K entonces LBO y LCO son iguales o disyuntas.
Si L K B K y C K, entonces LB y LC son iguales o disyuntas y por analoga
BL y CL son iguales o disyuntas.
LB LC si y slo si BC" L . Por otra parte BL CL si y slo si C" B L
Si B LBO , entonces B LB y B BL .
7.Si L
es un subgrupo de un grupo K, entonces el ndice a derecha de L en K

es el nmero de clases a derecha de L .
Si L es un subgrupo de un grupo K entonces el ndice a derecha de L en K es
igual al ndice a izquierda de L en K.
No hay distincin entre el ndice a derecha y el ndice a izquierda. Por lo tanto se
define el ndice K L de L en K como siendo el nmero de clases a derecha.
Si W es un subconjunto de un grupo K y B K, entonces WB W BW,
donde W es el nmero de elementos de W o el orden de W .
Sea K un grupo y L un subgrupo. Entonces cualquier clase lateral a la derecha
(respectivamente a la izquierda) de L relativamente a K tienen la misma potencia
de L . Adems el conjunto [ de las clases laterales a derecha definidas por L tiene
Daro Snchez H.
la misma potencia que el conjunto [w de las clases laterales a izquierda definidas

por L .
8.Teorema
de Lagrange " : Si K es un grupo finito y L es un subgrupo, el orden

de L es un divisor del orden de K.
Teorema de Lagrange # Si L es un subgrupo de un grupo K, entonces
K LK L.
Si L3 3W es una familia de subgrupos de un grupo K, entonces
K L3 C K L3
3W
3W
Teorema de Poincare: La interseccin de un nmero finito de subgrupos de

ndice finito es de ndice finito.
Si O L K, de un grupo K, entonces K O K LL O.
9.Un homomorfismo de un grupo K en un grupo Kw es una aplicacin ) K
Kw que
preserva la ley de composicin, esto es, tal que ) + , ) + ) , .

Si adems, ) es una biyeccin se dice que ) es un isomorfismo.
Un endomorfismo es un homomorfismo de K en s mismo y un automorfismo es
un isomorfismo de un grupo K en s mismo.
Si K y L son grupos sea L97 K L , I8. K , y E?> K denotan al conjunto de
homomorfismos de K en L , al conjunto de endomorfismos de K, y al conjunto de
automorfismos de K, respectivamente.
Si K y L son grupos y X L97 K L , entonces 3 X /K /L , 33 X 1" X 1 "
Si K es un grupo, X L97K, 0 es una palabra en B" B# B8 y 13 K para
" 3 8, entonces 0 X 1" 1# 18 0 X 1" X 1# X 18 .
El producto de homomorfismos es un homomorfismo. Si K L y O son grupos
X L97K L y Y L97L O entonces Y X L97K O.
Si X L97K L, entonces X K L .
Si X L97K L y O K, entonces X lO L97O L
El homomorfismo X lO ser denotado simplemente por X . Si K y L son grupos y
X L97K L, entonces el "ncleo" de X es el conjunto ker X X B /L .
Si K es un grupo y X L97K, entonces 3 ker X K y 33 B K entonces
B" ker X B ker X
10.Sea
R un subgrupo de K. Entonces, R es nomal si y slo si +" R +

R para
todo + K y escribimos L K.
El ncleo de un homomorfismo es un subgrupo normal.
Si K es un grupo y X L97K, entonces X M=9K si y slo si ker X I /
como subgrupo.
Si K y L son grupos, X L97K L y O K, entonces X O L . Si adems
O K, entonces X O X K .
Si K y L son grupos, X L97K L y C X K, entonces X " C es una clase
lateral de ker X .
Si K y L son grupos, O L y X L97K L, entonces X " O K; si O L ,
entonces X " O K.
Daro Snchez H.
11.Si K es un grupo, entonces el conjunto P+> K de los subgrupos de K,

parcialmente ordenado por inclusin, es una red completa.
Una red P se dice completa si para cada subconjunto no vaco X de P existen el
infX y el supX . As cada red completa tiene un elemento maximal y un elemento
minimal.
Teorema de la red. Si K y L son grupos, X L97K L y X K L , entonces
X induce un isomorfismo de la red de subgrupos entre ker X y K, sobre la red
P+> L de subgrupos de L . X tambin induce un isomorfismo de la red de
subgrupos normales de K entre ker X y K, sobre la red de subgrupos normales
de L (If K and L are groups, X L97 K L and X K L then X induces an
isomorphism of the lattice of subgroups between ker X and K onto the lattice
P+> L of subgroups of L . X also induces an isomorphism of the lattice of normal
subgroups of K between ker X and K onto the lattice of normal subgroups of L )
12.Si
P K y Q L son grupos de permutaciones, entonces un isomorfismo de

P K sobre Q L es una pareja ordenada X Y tal que X es una funcin uno a
uno de P sobre Q Y es un isomorfismo de K sobre L y si + P y 1 K entonces
X +1 X + Y 1 . Si hay un isomorfismo de P K sobre Q L , entonces P K
Q L .
es isomorfo a Q L escribindose P K
La relacin "es isomorfo a" es una relacin de equivalencia en la clase del grupo
de permutaciones.
El grupo simtrico de grado 8. Si P y Q son conjuntos tales que
Q WC7 Q .
P Q entonces P WC7 P
Aqu WC7 Q WC7Q Q indica el grupo de las permutaciones de Q .

Si W es un conjunto, K es un grupo y X es una funcin uno a uno de W sobre K,
entonces existe un grupo L conteniendo a W como subconjunto y un isomorfismo
Y de L sobre K tal que Y lW X .
13.Un subgrupo normal R
de K determina una nica relacin de equivalencia en K.

, R para indicar que los elementos + , K son
Utilizaremos la notacin +
equivalentes. Diremos tambin, + y , son equivalentes mdulo R +, " R .
Sea R un subgrupo normal de un grupo K. Entonces, el conjunto de las clases
laterales de K en relacin a R constituyen un grupo relativamente al producto de
partes de K.
Sean L3 3M una coleccin de subgrupos de K, entonces L L3 tambin es
3M
un subgrupo de K.
Dado un subconjunto W de K denotaremos por W el subgrupo interseccin de
todos los subgrupos de K que contienen a W .
14.El
subgrupo W contiene a W y est contenido en cualquier subgrupo de K que

contiene a W , esto es, W es el menor subgrupo de K que contiene a W Llamamos
W el subgrupo generado por el subconjunto W .
Daro Snchez H.
Sea W un subconjunto de K. Entonces, W consiste de todos los elementos de la

forma +" +# +8 donde los +3 o son elementos de W o inversos de los elementos
de W
Sean L y O subgrupos de un grupo K Entonces LO es un subgrupo de K si y
slo si L O O L . En este caso LO es un subgrupo de K generado por L O .
Sea L un subgrupo de K y R un subgrupo normal de K. Entonces L R R L
es un subgrupo de K. Adems si L es normal entonces L R tambin es normal.
15.Grupos
cclicos: Un grupo K es cclico cuando existe un elemento +

perteneciente a K tal que K +. Un tal elemento + es llamado un generador. En
un grupo cclico o bien +8 " para algn 8 ! y en ese caso el grupo tiene orden
finito, o bien +8 " para todo 8 ! y en este caso todas las potencias de + son
distintas y + tiene orden infinito. Es claro que todo grupo cclico es abeliano.
7 " 7
es cclico infinito, / 7 es cclico de orden 7, / 7
Todo grupo K de orden primo es cclico.
Todo subgrupo de un grupo cclico es cclico.
Sea K + un grupo cclico de orden 8. Entonces para cada divisor . de 8 existe
uno y solamente uno de los subgrupos L de K cuyo orden es .. El subgrupo de
orden . es +8. .
Todo grupo cclico es una imagen homomorfa de mediante el homomorfismo
:+
K + :+ 5 +5 .
Si todos los subgrupos propios de un grupo son cclicos entonces el grupo no

necesariamente es cclico. Tome como ejemplo Z% .
16.Si 8 es un entero positivo indicaremos por 9 8 el nmero de enteros positivos
menores que 8 y primos con 8. Si 8 es primo 9 8 8 ". La funcin 9 es llamada
el indicador de Euler (muchas veces se usa la letra griega : para indicarla)
Si K es un grupo cclico de orden 8 entonces K tiene 9 8 generadores.
Si los nicos subgrupos de un grupo K son K y " entonces K " o K es
cclico de orden primo.
Sea K un grupo conmutativo de orden 8 y : un nmero primo que divide 8.
Entonces K contiene un elemento de orden :
Un enunciado equivalente es el siguiente: K un grupo cclico de orden 8. Sea
7 ; tales que 8 7; , entonces existe un nico subgrupo L de K tal que
L 7
KL ;
" 8
Lema Euler . 5 y 5 8 " 5 98
98
" 8
5 8
" 8 5 98 8 " 8 5 98
:"
En particular 9: : " +
" : .
17.Homomorfismo e Isomorfismos: Un homomorfismo de un grupo K en un
grupo Kw es una aplicacin ) K Kw que preserva la ley de composicin, esto es,
tal que
) +, ) + ) ,
a+ , K
Si ) es biunvoca decimos que ) es un isomorfismo de K en Kw .
Teorema de Cayley. Todo grupo es isomorfo a un grupo de transformaciones.
Daro Snchez H.
Sea ) un homomorfismo de K en Kw , el conjunto )" " de los elementos de K

que son llevados en la unidad de Kw es llamado el ncleo del homomorfismo ). Es
claro que un homomorfismo es biunvoco si y slo si su ncleo es reducido a la
unidad. Adems )" " 5/<) y ) K M7) son subgrupos de K y Kw
respectivamente )" " K .
18.Teorema
fundamental de los homomorfismos: Si ) es un homomorfismo de

KR donde R es el ncleo del
un grupo K en un grupo Kw entonces ) K
homomorfismo ).
Si ) es un homomorfismo de un grupo K sobre un grupo Kw y R es el ncleo de )
entonces KR es isomorfo a Kw mediante la correspondencia ) R+ ) + .
Si ) es un homomorfismo de un grupo K en un grupo Kw y L es un subgrupo de
K entonces, ) L es un subgrupo de Kw . Si ) es sobre y R es un subgrupo de K
entonces ) R es un subgrupo normal de Kw .
Si ) es un homomorfismo de un grupo K en un grupo Kw y L w es un subgrupo
de Kw entonces )" L w es un subgrupo de K. Adems, si L w es normal )" L w
tambin lo es.
Sea ) un homomorfismo de un grupo K sobre un grupo Kw y L la coleccin de
los subgrupos de K que contienen el ncleo R de ). Entonces, la aplicacin
L ) L es biunvoca de L sobre el conjunto de los subgrupos de Kw . Adems, L
es normal si y slo si ) L es normal en Kw .
Sea K un grupo y R un subgrupo normal de K. Entonces los subgrupos de KR
son de la forma LR donde L es un subgrupo de K que contiene R . As, LR es
normal en KR si y slo si L es normal en K.
19.Primer
teorema de isomorfismo: Sea ) K Kw un homomorfismo sobre, R el

ncleo de ), L un subgrupo normal de K que contiene R y L w ) L entonces
Kw L w
KL
Sean R y L dos subgrupos normales de un grupo K, R
L . Entonces
KL K R LR .
Segundo teorema de isomorfismos: Sean L un subgrupo y R un subgrupo
normal de un grupo de K. Entonces L R es un subgrupo normal de L y
LR R
L L R
20.Productos
directos: Sean L y O dos grupos y K el producto cartesino de L

y O , esto es, K 2 5 2 L y 5 O. Definiendo la ley de composicin
2 5 2 w 5 w 22 w 55 w , K es un grupo denominado producto directo de los
grupos L y O , y se denota L O .
Sean ahora K un grupo y L O dos subgrupos normales de K. Decimos que K es
descompuesto en producto directo de L y O , y se nota K L O , cuando
" K L O
# L O " siendo " la unidad de K
Si un grupo K es descompuesto en el producto directo de dos subgrupos
L O.
normales L y O entonces K
Sea K el producto directo de dos subgrupos L y O . Entonces si
Daro Snchez H.
L w 2 "O 2 L
O w "L 5 5 O
se tiene que L w y O w son subgrupos normales de K y K se descompone en el
Lw y O
O w.
producto directo de L w y O w Adems, L
21.Sean ahora K
un grupo y K" K# K8 subgrupos normales de K. Decimos que

K es descompuesto en el producto directo de los subgrupos K3 y notamos
K K" K# K8
cuando
" K K" K# K8
# K3 K" K# K3" K3" K8 ",
a3 " # 8
Si un grupo K es descompuesto en el producto directo de subgrupos normales
K" K# K 8 .
K" K# K8 , entonces K
Sea K el producto directo de los grupos K" K# K8 , si
K3w "" "3" 13 "3" "8 K13 K3
K3w es un subgrupo normal de K y K es descompuesto en el producto directo de los
Kw , a3 " # 8.
K3w . Adems K3
3
22.
Sea K3 3M una familia de grupos y sea K
definimos
K3,
3M
si
+3
3M ,
,3
3M
+3 ,3 +3 ,3 3M
con esta ley de composicin K3 es un grupo.
3M
Si a3 M K3 es abeliano, entonces
K3 es abeliano.
3M
Si a3 M K3 es cclico, eso implica que
K3 es cclico.
3M
Para cada 5 M , definimos

K3
385 K5
y
:5< K3
K5
3M
3M
+5 " " +5 "
+3 3M +5
+ Para todo 5 M , 385 es un homomorfismo inyectivo y adems Im 385
donde L3
"3 si 3 5
K5 si 3 5
, Para todo 5 M , :5< es un homomorfismo sobreyectivo y adems ker:5<
L3
3M
O3
3M
K si 3 5
donde O3 3
"3 si 3 5
una familia de homomorfismos entonces a03 K K3 existe un
23.Sea K 03 K3
3M
nico homomorfismo 0 K
conmutativo:3< 0 03 .
Para todo 5 M , se tiene

+ Im 385 K3
3M
K3
3M
tal que el diagrama
K 3 K3
:3<
K3
3M
sea
Daro Snchez H.
, Im 385
3 M 5
Im 383
"
Sean K un grupo y L" L# L8 subgrupos de K, consideremos la siguiente

aplicacin
0 L" L # L 8
K
2" 2# 28
2" 2 # 2 8
Decimos que K es el producto directo de L" L# L8 y lo denotamos
K L" L# L8 cuando 0 es un isomorfismo.
Nota: 3 Si K es un grupo cclico tal que K 78 y 7 8 " entonces
K K7 K8
33 Si : es un nmero primo y K :5 , entonces K no admite descomposicin,
salvo la trivial.
Sean L" L# L8 subgrupos de K y K L" L# L8 (lo que equivale a decir que
K es generado por L" L8 ) Entonces las siguientes afirmaciones son
equivalentes
3 0 es un isomorfismo
33 a1 W8 , 0 1 0 y
a3 " # 8, L" L3" L3 "
333 a3 4 3 4 a+3 L3 , a+4 L4 , +3 +4 +4 +3
3@ a3 " # 8 L3 K y L" L3" L3" L8 L3 "
24. Sea
K un grupo finito L" L# L8 K;

K 1 L3 23
adems si 23 24 ", a3 4, 3 4 y si 1 2" 2# 28 entonces K L" L# L8
Sea K un grupo cclico y K :"6" :868 entonces K L" L# L8 donde
L3 es el nico subconjunto de orden :363 .
Un grupo L se llama descompuesto si y slo si para todo L O
K
K L O L " O "
Sea K un grupo cclico, K es descompuesto si y slo si K es infinito, o, K es
potencia de algn nmero primo.
Las siguientes condiciones son equivalentes
3 L O K L O ", K LO , L y O subgrupos cclicos.
33 K L O es cclico.
25.Grupos
abelianos finitamente generados: Sea K3 3M una familia de grupos

abelianos se define
dbil
Ahora
K3 +3 3M +3 ! para casi todo 3 M

K3
K3 y definamos 385 K5
K3 .
3
3M
M
3M
3M
dbil
dbil
+5
Anlogamente
:5<
$35 +5
3M
M.K5 5 K5 , y , :-< 385

! 5+3 3M +5
dbil
K3
3M
Daro Snchez H.
Sea K3 3M una familia de grupos abelianos. Para cualquier K grupo abeliano y

dbil
1
para cualquier K3 3 K existe un nico homomorfismo
1 K3
K tal
3M
+3 3M
13 +3
que el diagrama
26.Sea
13
K3
383
dbil
3M
3M
K3 sea conmutativo
1 383 13 .
K un grupo abeliano y B" B# B8 K,

B" B# B8 se dicen
linealmente dependientes si existen enteros 7" 7# 78 no todos cero tales que
7" B" 7# B# 78 B8 !
Observacin: K , ! es linealmente dependiente y a5 ! es linealmente
independiente. Dos elementos 5 6 ! son linealmente dependientes.
W
27.Sea W
K K un grupo abeliano, notamos
0W W
K
8B BW
8B B
dbil
consideremos
3W
BW
W es linealmente independiente si y slo si 0W es inyectiva.

W es linealmente independiente si y slo si a8 aB3 W3 3 " # 8 B3 B4
3 4 B" B# B8 es linealmente independiente no dependiente ,
+ W es linealmente independiente si y slo si aX
W , X es linealmente
independiente,
, W es linealmente independiente entonces, aX
W finito, X es linealmente
independiente. Esta propiedad es conocida con el nombre de independencia lineal
o "caracter finito".
Si W !
es el nico conjunto linealmente independiente si slo si para cualquier
B K B
Si K es un grupo que no posee ningn subconjunto linealmente independiente
infinito entonces
+ Existe un subconjunto linealmente independiente maximal W .
, Para todo X subconjunto linealmente independiente #X #W .
Un subconjunto es linealmente independiente maximal si slo si W es
linealmente independiente y aY W , Y es linealmente dependiente.
28.Si
K no posee subconjuntos linealmente independientes infinitos entonces

todos los subconjuntos linealmente independientes maximales tienen el mismo
nmero de elementos este nmero es llamado "rango de K".
Si K tiene subconjuntos linealmente independientes infinitos entonces el rango
de K es infinito.
W es una "base" si y slo si 0W W K es una biyeccin (luego 0W es un
isomorfismo).
Si W es una base de K entonces W es linealmente independiente maximal.
29. K es llamado un grupo abeliano
libre si y slo si K tiene una base.
Daro Snchez H.
10
K es un grupo abeliano libre si y slo si existe M subconjunto de K tal que

M , en ese caso, existe una base W de K tal que #W #M .
K
Todo grupo abeliano es una imagen homomorfa de un grupo abeliano libre.
30.Si K es de rango 8 y libre entonces todos los subgrupos de K
son libres.
Sea Y un grupo libre de rango 8, Z un subgrupo de Y
+ Z grupo libre, rango Z 8
, Existe ?" ?# ?8 una base de Y que tambin sirve como base de Z .
- Existe @" @# @5 base de Z tal que @3 03 ?3 03 ! 3 " 5 y
adems 0" l0# l0$ ll05
31.Si todo elemento de K tiene orden finito, decimos que K es un grupo de rango
cero.
Un grupo que admite un conjunto independiente finito de generadores es
llamado de tipo finto o finitamente generado.
Un grupo K que admite un conjunto linealmente independiente de generadores
es llamado grupo libre y al conjunto de generadores se le llama la base de K.
Sea K un grupo conmutativo generado por 8 elementos. Entonces, K es isomorfo
a un grupo cociente de un grupo libre de rango 8.
Sea Y un grupo libre de rango 8. Entonces, todo subgrupo Z ! de Y tambin
es libre y tiene rango 8.
32.Sea
Y un grupo libre y Z ! un subgrupo de Y . Sean ?" ?# ?8 y

@" @# @5 bases de Y y Z respectivamente. Entonces un elemento
? +" ?" +# ?# +8 ?8 pertenece a Z si y slo si +3 es un mltiplo de 03
3 " # 5 y +4 ! 4 5 " 8 . Aqu se entiende que los 03 son nmeros
naturales dados en la definicin de grupo libre de rango 8.
Teorema fundamental: Sea K un grupo conmutativo de tipo finito. Entonces
K Y" Y > Z " Z <
donde los Z3 son grupos cclicos infinitos y los Y3 son grupos cclicos finitos de
orden 73 " 73" divisible por 73 3 " # > "
Teorema de unicidad: Sea K un grupo conmutativo finitamente generado. Sea
Y" Y> Z" Z< y Y"w Y>ww Z"w Z<ww dos descomposiciones de K
satisfaciendo al teorema anterior, Y3 con orden 73 y Y3w con orden 73w . Entonces
< <w > >w 73 73w , 3 " > >w
33.
Operaciones de un grupo en un conjunto: Cualquier grupo abeliano K es

isomorfo al cociente W ker0W donde 0W W K.
Sea K un grupo, L C un conjunto de permutaciones de un conjunto C. 1 L C
B C 1B C.
L C C
C.
1 B 1B
Sea > un grupo, " > su elemento unidad. ) > C
C
es
# B ) # B # o B
llamada una operacin de > sobre C " " o B B # $ o # o B $ o# o
B.
Daro Snchez H.
11
34.Sea ) > C
C una operacin sobre C se tiene que

+ a# > se define )4 C
C L C .
B # o B
, =>
L C es un homomorfismo.
# )4
Una operacin ) se llama fiel si y solamente si = es inyectiva.
La rbita de B C es el conjunto >B # B# >.
Tambin a la rbita se le llama un sistema de transitividad.
Para todo B C C,
>B >C B >C >B >C
) es transitiva si y slo si posee una sola rbita la generada por C .
aB C C b# > C # B bB CaC Cb# >C #B .
35.>B # >#B B
es
llamado
el
estabilizador
de
BC
o el grupo de isotropa
aB C, > es un subgrupo de > adems existe >>
>B y es una biyeccin.
B
B #B
#>
B
w
Se tiene #C= #>B
#>> donde C
.
C. En el caso finito #C w > >
B
B
BCw
BCw
BC
Sea ) > C
C una operacin y = > L C es una representacin y se tiene:

4 )4
+ ker= >B
BC
, ) es fiel si y slo si
> ".
BC B
Si ? es un subgrupo de > entonces )w ? C C es una operacin, adems
?B
?.
>B siendo ?B >
B
Si ) es fiel )w es fiel. Pero c si ) es transitiva )w es transitiva .
36.Sea
D C, D , es estable bajo ) si y slo si para todo 4 > a D, entonces

4 . D.
37. Teorema
de Cayley: Todo grupo es isomorfo a un grupo de permutaciones.

>
I L C para algn C. Donde > # ># B B
B
B
Sea > un grupo finito
P
>
es una parte estable bajo la translacin, es
decir, \ a# > # \ . Adems a\ b] >\ tal que " ] , donde

>\ # B C/# > y B \
>\ opera sobre \ por translacin.
38.
+ #\ #\ w #> donde \ w es un conjunto de representantes de \ .

, #>\ ##\> #\ w
- Si " \ #\ w " \ >\
>\ >>\ , donde >\ # ># \ \
w
#\ " >\ opera transitivamente sobre \ .
Daro Snchez H.
12
39.Sucesiones
de composicin: Dado un grupo K, llamamos sucesin de

composicin de K a una coleccin finita
K3 !38 de subgrupos de K tal que
K! K, K8 " y K3" es un subgrupo normal de K3
Por ejemplo W8
E$
" es una sucesin de composicin estrictamante
decreciente.
Los cocientes K3 K3" son llamados cocientes de la sucesin de composicin.
w
Decimos que una sucesin de composicin
de un grupo K es ms fina que
una sucesin de composicin
de K y escribimos
w
ser extrada de la sucesin
si la sucesin
puede
Dadas dos sucesiones de composicin

grupo K decimos que
K3 38 y
K4w 47 de un
son equivalentes cuando 8 7 y existe una
K w K w .
permutacin : del conjunto ! " # 8 tal que K3 K3"
: 3
: 3"
40.
Teorema de Schreier. Si
son dos sucesiones de composicin de un
grupo K, existen dos sucesiones de composicin

equivalentes y tales que
"
w
"
"
w
"
de K las cuales son
41.Lema
de Zassenhaus: Sean L y O subgrupos del grupo K y L w , O w subgrupos

normales de L y O respectivamente. Entonces L w L O w y O w L w O son
subgrupos normales de L w L O y O w L O respectivamente. Adems
L w LO O w LO
L w LO w O w L w O
42. Llamaremos
composicin
sucesin de Jordan-Hlder de un grupo K a una sucesin de

de K, estrictamente decreciente y tal que no existe ninguna
sucesin de composicin estrictamente decreciente que sea estrictamente ms fina

que
. Dado un grupo K decimos que K es simple cuando K y " son los nicos
subgrupos normales de K.
Una sucesin de composicin estrictamente decreciente de un grupo K es de
Jordan-Hlder si y slo si todos los cocientes de la sucesin son simples.
43.
Teorema de Jordan-Hlder: Dos sucesiones de Jordan-Hlder de un grupo

K son equivalentes.
No todo grupo posee sucesiones de Jordan-Hlder.
Por ejemplo no posee sucesiones de Jordan-Hlder.
Llamaremos longitud de una sucesin de Jordan-Hlder de un grupo K al
nmero de cocientes de esa sucesin y no depende de la sucesin tomada sobre
K, llmase entonces longitud de K simplemente.
Daro Snchez H.
13
45.Si
dos grupos K y Kw tienen la misma longitud ellos no son necesariamente

equivalentes. Basta tomar dos grupos de orden primo distintos.
Decimos que L es un subgrupo subnormal de K cuando existe una sucesin
K L!
L"
L8 L
con L3" subgrupo normal de L3 , 3 ! " 8 " o en otras palabras, cuando L
pertenece a alguna sucesin de composicin de K.
46.Decimos
que vale la condicin de cadena ascendente

GGE para los
subgrupos subnormales de K cuando dada una sucesin
K!
K"
K8
de subgrupos subnormales de K, existe un entero R tal que KR KR " en

otras palabras, cuando toda sucesin estrictamente creciente de subgrupos
subnormales de K es finita.
Anlogamente, vale la condicin de cadena
decreciente GGH para los subgrupos subnormales de K cuando , dada una
sucesin
K!
K"
K8
de subgrupos subnormales de K, existe un entero R tal que KR KR "

Si K es un grupo entonces vale la GGE . respectivamente GGH para los
subgrupos subnormales de K si y slo si toda coleccin no vaca de subgrupos
subnormales
de
K
tienen
a
lo
menos
un
elemento
maximal
respectivamente minimal .
Un grupo K tiene una sucesin de Jordan-Hlder si y slo si valen las
condiciones de cadena ascendente y descendiente para los subgrupos
subnormales de K.
Todo grupo finito tiene sucesiones de Jordan-Hlder.
47.Grupos
resolubles. Un grupo K se dice resoluble si posee una secuencia de

composicin
K K!
K"
K8 "
cuyos cocientes K3 K3" son conmutativos 3 ! " 8 " .
Un grupo finito K es resoluble si y slo si tiene una sucesin de composicin
K K!

K"
K8 "
cuyos cocientes K3 K3" son cclicos de orden primo.
48.Sea L
un subgrupo normal de un grupo K. Si KL y L son resolubles entonces

K es resoluble.
Si 8 # todo subgrupo normal L de E8 que contiene un triciclo, coincide con E8
Si 8 &, el grupo alternado E8 es simple.
49.Grupos
de Sylow: Si un elemento D de un grupo K conmuta con todos los

elementos de K, esto es, si D B B D aB K decimos que D es un elemento
central de K.
Los elementos centrales de un grupo constituyen un subgrupo conmutativo m .
Se dice que K opera transitivamente en Q cuando dados dos puntos
cualesquiera T y U de Q siempre existe 3 K tal que 3 T U.
Daro Snchez H.
14
50.Sean K un grupo, m
el centro de K e I el grupo de los automorfismos internos

I
de K. Entonces Km
Sean Q un conjunto y K un grupo finito de transformaciones de Q . Entonces, el
nmero de elementos de una clase de transitividad determinada por K en Q es un
factor del orden de K.
51.
Sea K un grupo finito. Entonces, el nmero de elementos en cada clase

conjugada de K es un factor del orden de K. Sea I el grupo de los automorfismos
interiores de un grupo K, las clases de transitividad determinadas por I en K son
llamadas clases conjugadas.
52. Si > es un grupo tal que
> :< , donde : es un nmero primo positivo y <

es un nmero entero no-negativo, decimos que > es un : -grupo.
Sea K un grupo de orden 8 :< 7, : un nmero primo y : 7 ". Un subgrupo
de K de orden :< es denominado un :-subgrupos de Sylow o simplemente un
:-grupo de Sylow de K.
53.Primer
teorema de Sylow: Sea K un grupo de orden 8 :< 7 : un nmero

primo tal que : 7 ". Entonces K contiene por lo menos un :-grupo de Sylow.
54.Segundo

primo tal que : 7 "; O es un subgrupo de K de orden := :< y L es
un :-subgrupo de Sylow de K. Entonces O esta contenido en un subgrupo
conjugado de L (esto es, existe B K tal que O B" LB).
En particular dos :-subgrupos de Sylow de K son siempre conjugados.
55. Tercer

primo tal que : 7 ", y = es el nmero de :-subgrupos de Sylow de K. Entonces
=
" mod:
56.Teorema
de Cauchy: Sea > un grupo y : un nmero primo tal que :l >

entonces > posee por lo menos un subgrupo de orden :.
Si K es un grupo de orden :< < ", entonces K tiene un subgrupo normal de
orden :<" .
Sea > un grupo finito, las siguientes afirmaciones son equivalentes:
3 > posee apenas un :-subgrupo de Sylow.
33 > posee un :-subgrupo de Sylow normal.
Sea > un :-grupo; sea > :< . Entonces existen < " subgrupos >! ><
pertenecientes respectivamente a Z! Z< tales que >!
>"
>< . Adems la
sucesin
>! > " > <
es una cadena supersoluble del grupo >, lo cual
significa que
" >! " >< >
# >! >" ><" son subgrupos normales del grupo >
$ Los cocientes >" >! >< ><" son grupos cclicos de orden primo.
Aqu indicamos por Z3 ? Z3 ? > ? :3 ? >, 3 ! " <.
Daro Snchez H.
15
57.ANILLOS E IDEALES:
Si un sistema de composicin doble E es tal que E es un grupo

abeliano, con neutro ! !E , E es un monoide con elemento neutro " "E y
CD BCBDB
B CD BCBD
cualquiera que sean B C D E, decimos que el sistema de
composicin doble E es un anillo (con cero !E y con unidad "E ).

Si un anillo E es tal que E es un monoide conmutativo, decimos que
E en un anillo conmutativo.
Sea E un anillo, denotemos con YE + E b, E +, " al conjunto
de los elementos inversibles de E
58.Si
E es un anillo tal que YE E !E decimos que E es un

anillo de divisin, en este caso #E #.
Si E es un anillo de divisin conmutativo, se dice que el anillo de divisin
E es un cuerpo.
E anillos y : E E una
59.Homomorfismos de anillos. Sean E y
aplicacin tal que si BCD entonces :B:C:D cualquiera que sean B C D E

y :"E "
en estas condiciones se dice que : es un homomorfismo entre el
E
anillo E y E y se escribe : hom E E .
Sean E y E anillos arbitrarios. Si : E E es una biyeccin tal

si BCD entonces :B:C:D
que BCD si y slo si :B:C:D cualquiera que sean B C D E decimos que :
es un isomorfismo entre los anillos E y E y escribimos E

E.
BCD si y slo si :B:C:D
60.Sea E un anillo arbitrario. Siempre es posible establecer un

homomorfismo entre el dominio de los nmeros enteros y el anillo dado, a saber
-E E dado por 5 5"E , siendo 5"E el mltiplo de "E segn 5 . Entonces
podemos concluir que tomando TE Im-E , TE es un anillo conmutativo
denominado anillo primo del anillo E .
61.Sea
E un anillo cualquiera. Sea F

E, si F F F es un anillo y
"F "E decimos que el anillo F F F es un subanillo de E .
Sea E
un anillo cualquiera. Si ker-E 8 cedimos que 8 es la
caracterstica del anillo E y escribimos G+<E 8
Vemos que si
TE si y slo si G+<E !
G+<E " si y slo si E !E
62.Sea
E un anillo cualquiera. Si h es un subgrupo aditivo de E

del anillo E tal que B + h cualquiera sea B E y cualquiera sea + h ,
decimos que el sistema h es un ideal a izquierda (respectivamente +B h
para todo B E y todo + h , es llamado ideal a derecha)
Si h es un ideal a izquierda y un ideal a derecha del anillo E se
dice que h es un ideal del anillo E ideal biltero .
Daro Snchez H.
16
63.Sea
E un anillo conmutativo. Sea h uno de sus ideales. Si existe

E B +B+ E) decimos que
un elemento B E tal que h B (donde B
h es un ideal principal del anillo E . Si h es un ideal
principal y h B, decimos que h es el ideal generado por B (donde B es
algn elemento de E )
64.Sea
E un anillo conmutativo. Sea h uno de sus ideales. Si

existen 8 y B" B# B8 E tales que
B" B# B 8 B " E B # E B 8 E
h B" B# B8
decimos que h es un ideal finitamente generado.
Si h es finitamente generado y h B" B# B8 decimos que h
es el ideal generado por B" B# B8 .
h E h es un ideal del anillo E .

65.Sea
E un anillo conmutativo. Si todo ideal de E es principal,

decimos que E es un anillo principal. Por ejemplo .
66.Sea
E un anillo conmutativo. Si todo ideal de E es finitamente

generado decimos que E es un anillo Noetheriano.
Todo anillo principal es un anillo noetheriano, la recproca es falsa.
E dos anillos
67.Ideales y subanillos de un anillo. Sean E ,
cualesquiera. Si : L97E E entonces ker: forma un ideal biltero del anillo
E .
Si h es un ideal biltero del anillo E entonces Eh es un
anillo, donde las operaciones son dadas por
+ Eh Eh Eh es dada por B h C h
B+C h
Eh Eh Eh es la correspondencia dada por B h C h
BCh;
el homomorfismo cannico [h E Eh es un homomorfismo sobreyectivo de
anillos donde ker[h h .
Sea E un anillo cualquiera. Sea h un ideal biltero de E . El
anillo Eh se llama el anillo cociente del anillo E , con relacin al
ideal h .
Es claro que si E es un anillo conmutativo, entonces Eh es un
anillo conmutativo.
Para cualquier homomorfismo de anillos : E E existe una y solamente una

aplicacin
: Eker: M7: tal que
: [ker: : , siendo
: un isomorfismo de
anillos : E M7: es dado por B :B .
68.Sea
F3 3M una familia cualquiera de subanillos de un anillo E ms

exactamente, supongamos que F3 para todo 3 M. Entonces G F3
3M
donde F E F F F es un subanillo de anillo E .

Sea E
un anillo arbitrario. Sea h E y h F. El anillo
h h h es llamado "anillo generado por h " donde h F h F.
F h
Daro Snchez H.
69.Sea
h
3"
E un
anillo
conmutativo.
Sea
17
h E.
Entonces
tenemos
?3" ?3=3 8 =3 ?34 h .
Sea E
un anillo conmutativo. Sea Y E y denotemos con
Y h Y
h . Sea Y h Y h . Entonces Y . Adems Y es el
menor ideal del anillo E que contiene a Y como conjunto. Por otra parte
8
70.Sea
B3 ?3 8 B3 E ?3 Y
3"
E un anillo conmutativo . Sea Y E, el ideal Y es

llamado el ideal generado por Y .
Sea E un anillo conmutativo cualquiera. Las siguientes afirmaciones son
equivalentes:
3 Todo ideal h es finitamente generado.
33 Todo subconjunto no vaco de posee por lo menos un elemento maximal.
333 Toda cadena estrictamente ascendente de ideales de E es finita.
71.Ideales
Primos. Ideales Maximales. Sea E un anillo conmutativo. Si U es

un ideal de E tal que " U E, # B C U implica B U o C U cualquiera que
sean B C E, decimos que U es un ideal primo del anillo E
B C U BC U .
Sea E un anillo conmutativo, B E si existe C E tal que C !, y , BC ! se dice
que B es un divisor de cero en el anillo E.
Sea E un anillo conmutativo, las siguientes afirmaciones son equivalentes
3 ! es un ideal primo
33 ! es el nico divisor de cero del anillo E
333 E E ! es estable en relacin a la multiplicacin.
En este caso E es un monoide cancelable.
72.Sea
E un anillo conmutativo. Si E es tal que se cumple alguna de las tres

condiciones equivalentes anteriores, se dice que E es un dominio de integral
o ms simplemente, un dominio.
Es claro que si E es un dominio, entonces #E #
Todo cuerpo es un dominio.
Sea E un anillo conmutativo y h un ideal de E. h es primo si y slo si el anillo
cociente Eh es un dominio.
73.Sea E un anillo conmutativo y h un ideal de E si
" hE
# h h" h" E cualquiera que sea h"
se dice entonces que h es un ideal maximal del anillo E.
Sea E un anillo conmutativo y h un ideal de E. h es maximal si y slo si el anillo
Eh es un cuerpo.
En los nmeros enteros, el anillo cociente 8 es un cuerpo si y slo si 8 es un
nmero primo.
Daro Snchez H.
18
Todo ideal maximal es primo.
74.Sea
E un anillo conmutativo arbitrario, las siguientes afirmaciones son

equivalentes
3 E es un cuerpo.
33 ! es un ideal maximal de E
333 # #.
Sea E un anillo conmutativo. Si h! E es un ideal cualquiera del anillo E,
entonces h! esta contenido por lo menos en un ideal maximal.
75. Dominios
factoriales. Sea E un anillo conmutativo arbitrario, + , E si

existe un elemento - E tal que +- , se dice que + divide a , en E y se escribe
+l,
Sea E un anillo conmutativo arbitrario, + , E si +l, y ,l+ se dice entonces que
+ es asociado a , y se escribe + , esto es equivalente a que existen -" -# E
tales que +-" , y ,-# +.
Sea E un anillo conmutativo cualquiera. Sean + , E entonces tenemos +l, si y
slo si +
, .
+ , si y slo si + ,
hE + hE , si y slo si existe ? hE tal que + ?,
Si hE + hE , , entonces + , .
Si + , y + no es un divisor propio de cero, entonces hE + hE ,
76.Sea E un anillo conmutativo cualquiera,
D E si el elemento D es tal que

" D E E ! # D hE ; $ BlD B hE
D aB E,
donde D + E+ D; entonces se dice que D es un elemento irreducible de

E (esto es, D no es nulo, D no es invertible y todo divisor de D es un divisor trivial,
o sea asociado a " o a D ).
Sea E un dominio y D E hE . entonces tenemos que D es irreducible si y slo
si D B C implica DlB o DlC cualquiera que sean B C E; en este caso es verdad que
D B, o, D C.
77.Sea E un anillo conmutativo cualquiera, D E si el elemento D es tal que
" D E ; # D hE ; $ DlB C implica DlB , o , DlC , cualquiera que sean B C E, se

dice que D es un elemento primo de E
En un dominio un elemento primo es irreducible pero no recprocamente.
Sea E un anillo conmutativo, B C E tenemos que " B C y B es irreducible,
entonces C es irreducible, # si B C y B es primo entonces C es primo.
Sea E un dominio de integridad, D E hE . Entonces tenemos que D es
irreducible si y slo si "D BC implica que DlB o, DlC cualquiera sean B C E" en ese
caso tambin es verdad que D B, o, D C.
Sea E un dominio de integridad, B E entonces B es primo si y slo si B !, o ,
B es primo.
78.Sea E
un anillo conmutativo. Si para cualquier B E existe un entero 7 y una

sucesin D" D# D7 de elementos primos de E tales que B D" D# D7 , entonces
se dice que E es un anillo factorial.
Daro Snchez H.
19
Por ejemplo ' son anillos factoriales.

Sea E un anillo conmutativo, si para cualquier B E existe siempre un entero no
negativo 7 y una sucesin D" D# D7 de elementos irreducibles de E tales que
B D" D# D7 entonces decimos que E es un anillo cuasifactorial.
Todo dominio factorial es un dominio cuasifactorial.
La recproca de la anterior afirmacin es falsa pues el dominio &
es cuasifactorial, pero no es factorial dado que

* $ $ # &# & y $
# & $
#&
79.Sea E un dominio cuasifactorial. Las siguientes afirmaciones son equivalentes
" E es un dominio factorial

# Todo elemento irreducible de E es primo
$ Si 7 8 B" B# B7 , C" C# C8 son elementos irreducibles de E y
B" B# B7 C" C# C8 entonces 7 8 y existe 1 " 8 tal que
B3 C13 para todo 3 " 8.
Un dominio cuasifactorial es factorial si y slo si la descomposicin de cualquier
elemento no nulo en factores irreducibles luego primos es la nica posible (salvo
el orden de los factores y de la multiplicacin por factores inversibles).
Todo dominio noetheriano es cuasifactorial.
La recproca de la afirmacin anterior es falsa: No todo dominio cuasifactorial es
noetheriano, en efecto dado O un cuerpo cualquiera, el anillo de los polinomios
OB" B# es un dominio cuasifactorial hasta factorial y no es noetheriano.
No todo dominio noetheriano es factorial, pues
tmese
& es
noetheriano y no es factorial.
80.Algoritmo de la divisin: Sea E un anillo conmutativo cualquiera. Sean B C E,

y D E, si
3 DlB DlC
33 D w lB D w lC entonces D w lD cualquiera sea D w E
entonces se dice que D es un mximo comn divisor de B C en E
Sea E un anillo conmutativo, B C E , D E si
3 BlD ClD
33 BlD w ClD w entonces DlD w cualquiera sea D w E
entonces se dice que D es un mnimo comn mltiplo de B e C en E.
81.Sea
E un dominio principal. Entonces E es un dominio factorial y

verdaderas las siguientes afirmaciones:
3 D es maximal si y slo si D es primo.
33 D es primo si y slo si D es primo.
333 D es primo si y slo si D es irreducible, cualquiera que sea D E.
3@ Adems, cualquiera sean B C . E tenemos que . B C si y slo si
un mximo comn divisor de B C en E.
Sea E un dominio principal, B C E y . un mximo comn divisor de
Entonces existen + , E tales que . +B ,C. Si 5 y = son primos entre si, si y
si existen dos enteros + , tales que + 5 , = " 5 =
son
. es
B C.
slo
Daro Snchez H.
82.Sea E un anillo conmutativo. Si existe una aplicacin $ E
20
tal que
" si BlC entonces $ B $ C,

# existen ; < E tales que B C ; < donde < ! ,o, $ < $ C cualquiera que sean
B C E .
Se dice en estas condiciones que E es un anillo euclideano.
Todo anillo euclideano es un dominio principal.
Un anillo conmutativo que posee solamente un ideal maximal es denominado
anillo local.
2. RESULTADOS PROBADOS
1. Dar ejemplos de
a Una ley de composicin que no sea asociativa ni conmutativa.

b Un subsemigrupo de que no sea monoide.
c Un submonoide de que no sea un grupo.
d Un subgrupo de ! que tenga 8 elementos (siendo el conjunto de los
nmeros complejos y 8 un nmero natural, 8 !).
SOLUCION. a Sea
B C B C BC
aqu
B C D B C D BC D BCD
Ahora
Daro Snchez H.
en general
B C D B C D BC
21
B CD BC D
como en el caso
%
# $ % #$ % ) % )% #"# #)" #$ # $% # $ %
Tambin
BC CB
en general porque en el caso particular
B # C $
se tiene
# $ #$ ) * $ # $ #
b Tomemos c
de donde c 7 con 7 # fijo. La ley de composicin est
dada por c c
c
7B 7C 7 7BC 7B 7C
y claramente c es asociativa para , pero no tiene elemento unidad. As c es
un subsemigrupo de
c Tomemos en el subconjunto es un submonoide el cual no es
grupo.
d Consideremos la ecuacin B8 ", sabemos que las races de esta ecuacin son
dadas por la frmula
#135
D/ 8 ,
5 ! " # 8 "
Ahora sea
#135
W D / 8 5 ! " # 8 "
provisto de la siguiente ley de composicin
W W w
W
#1355 w
#135
#135
#135 w
8
8
/ /
/ #1835 / 8 / 8
Veamos que esta bien definida
#135
" Si 5 5 w 8 ", entonces, / 8 W donde 5 5 5 w ! " # 8 "
# Si 5 5 w 8 entonces, b: b< tal que 5 5 w 8: < con ! < 8 "
as,
#13
8
55 w
#13
8
8:<
/#13
#13<
8
/ #1 3 /
#13<
8
Tambin se tiene que

+ W entonces +" W
de hecho
#135
+ W + / 8 , 5 ! " # 8 "
si 5 ! entonces + " y +" " W
#1385
Ahora si 5 !, entonces tomamos +" / 8 W
#1385
8
#135
8
#13855
8
#13<
8
ya que
/#13 ".
2.Sea
W un monoide. Pruebe que el conjunto M de los elementos inversibles de
W es el mayor submonoide de W que es un grupo. ( En otras palabras: 3
MM es
Daro Snchez H.
22
un monoide de W ; 33 M M es un subgrupo ; 333 si K K es un submonoide

de W y un grupo entonces K
M ).
SOLUCION. " M M es un submonoide de W , en efecto
B M C M entonces b Bw M Cw M tales que
BBw "W
CCw "W
Ahora
B C Cw Bw B CCw Bw B "W Bw B Bw "W
Basta tomar Cw Bw W y se tiene que BC M , as M es una parte estable de W , lo
mismo "W "W "W entonces "W M .
# M M es un grupo.
Para esto basta ver que todos los elementos de M son inversibles, pero esto se
tiene porque
B M bBw WB Bw "M
as se tiene que Bw W bB WB Bw "M luego Bw M .
$ Si K K es un submonoide de W y un grupo entonces K
M.
Supongamos que M K entonces bB K tal que B M . Como K es un grupo y
B K entonces B es inversible y estamos en po contradiccin con la definicin de

M ya que M no contendra todos los elementos inversibles de W
3.Sea un conjunto no vaco y T , , el monoide de todas las aplicaciones de

en . Cales aplicaciones : son
+ inversibles a izquierda en T , , ?
, cancelables a izquierda en T , , ?
- inversibles a derecha en T , , ?
. cancelables a derecha en T , , ?
Las aplicaciones inyectivas responden a la pregunta porque ,
SOLUCION. +
supngase que 0 es inyectiva a izquierda esto significa que existe 0 w T tal
que 0 w 0 M izq , 0 es invertiva en estas hiptesis, porque si 0 B 0 C entonces
0 w 0 C 0 w 0 B , es decir C B
Recprocamente, supongamos 0 inyectiva, como se sabe , tomemos
algn >! Puesto que 0 es inyectiva para cada = existe a lo ms un > tal que
= 0 > , aqu tenemos una funcin 1 definida por
> donde > es tal que = 0 > o sea = 0
1 =
>! en el caso contrario
esta funcin 1 enva cada 0 > "de regreso, de donde el vino" as 1 0 > > para
todo > Esto establece que 1 0 " izq , por lo tanto 1 es el inverso deseado para 0 .
, Se trata de las funciones inyectivas tambin ya que, decir que 0 T es
cancelable
a
izquierda
significa
que
a< a: T
se
tiene
0 < B 0 : B <B :B para todo B .
Daro Snchez H.
23
Luego si 0 B 0 C entonces 0 3 B 0 3 C donde 3 es la aplicacin

idntica as,
0 3 B 0 3 C 3 B 3 C BC
Recprocamente, supongamos que 0 es inyectiva, entonces 0 es cancelable a
izquierda , en efecto;
0 1 B 0 2 B
1 B 2 B , esto se tiene
0 es uno a uno
a1 T y a2 T .
- La respuesta es: aplicaciones sobreyectivas.
Porque si 0 es invertible a derecha significa que b0 w T tal que 0 0 w M der. .
Ahora; aC bB tal que 0 B C es verdadera porque para cada C , basta
tomar B 0 w C donde 0 w es la inversa a derecha de 0 entonces 0 0 w C C.
Recprocamente, supongamos que 0 w es sobre entonces para cada
> w existe por lo menos un = tal que 0 = >, escogemos, para cada
> w un slo = tal que 0 = > Definimos 0 w por 0 > =
escogido entonces :: > :> >.
. Tambin son las aplicaciones sobreyectivas. En efecto; supongamos que 2 no
es sobre, entonces existe B" tal que 2 B B" aB 2 .
Puesto que 2 T nunca toma el valor B" , podemos concluir que B" .
Adems tenemos . Por otra parte sea B# con B# B" . Definimos las
funciones 0 1 T como sigue
B si aB B"
0 definida as 0 B #
B" si B B"
1 dada por 1 B B# aB
Entonces 0 1, y , 0 2 B 1 2 B , aB , as 2 no ser cancelable a la derecha.
Recprocamente supongamos que
1 2 0 2, y , 0 1
Entonces existe un B" tal que 0 B" 1B" . Por lo tanto 2 B nunca toma el
2 1 B" as 2 no es superyectiva.
valor B" por otra parte 2 0 B"
4. Sea W% el grupo de las permutaciones del conjunto " # $ %
+ Escriba todos los elementos de W% como un producto de cclos disyuntos.

, Elaborar la tabla de grupo.
- Probar que adems de los subgrupos de , W% posee solamente los siguientes
subgrupos:
" El "grupo de Klein" Z% "# $% "$ #% "% #$ M,
# el "grupo alternado" E% Z% O3 (para cualquier 3 " # $ % de orden 12;
$ el grupo entero W% de orden 24;
% cuatro grupos de orden 6, y
& tres grupos de orden 8.
. Indique las inclusiones existentes entre los subgrupos de W% .
Daro Snchez H.
24
/ Pruebe que el producto O3 O4 de dos subgrupos distintos de orden 3 no es un
subgrupo de W%
SOLUCION. +
"#$%
"#$%
"#$%
"#$%
"#$%
M "#$%
"#$% "#%$ $ % "%#$ # % $ "$#% # $ "$%# # $ % "%$# # %
"#$%
"#$%
"#$%
"#$%
"#$%
#$%" " # $ % #$"% " # $ #"$% " # #"%$ " # $ % #%$" " # %
"#$%
"#$%
"#$%
"#$%
#%"$ " # % $ $%"# " $ # % $%#" " $ # % $#%" " $ %
"#$%
"#$%
"#$%
"#$%
"#$%
$"%# " $ % # $"#% " $ # $#"% " $ %"#$ " % $ # %"$# " % #
"#$%
"#$%
"#$%
"#$%
%$"# " % # $ %$#" " % # $ %#"$ " % $ %#$" " % .
As
W% M $ % # % $ # $ # $ % # % " # $ % " # $ " # " # $ % " # %
" # % $ " $ # % " $ # % " $ % # " $ % " $ # " $ " % $ #
" % # " % # $ " % # $ " % $ " % .
, Con el objeto de elaborar la tabla de grupo daremos la siguiente notacin a los

elementos de W% . 3 M
"#$%
"#$%
"#$%
"#$%
5" "#$%
#$%" 5% #%"$ 5( $%#" 7" "$%# 7% %#"$
"#$%
"#$%
"#$%
"#$%
5# "#$%
$%"# 5& %$#" 5) #"%$ 7# "%#$ 7& #%$"
"#$%
"#$%
"#$%
"#$%
5$ "#$%
%"#$ 5' $"%# 5* %$"# 7$ $#%" 7' %"$#
"#$%
"#$%
"#$%
( "#$%
#$"% " #"$% $ %#$" & "%$#
"#$%
"#$%
"#$%
) "#$%
$"#% # $#"% % "$#% ' "#%$
La tabla de mulplicacin que hace de W% un grupo es dada por:
Ahora
3 5" 5" 5" 5# 5" 5" 5" 5# 5" 5$ 5" 5" 5" 5" 5$ 5" 3
as el grupo generado por 5" es dado por
Daro Snchez H.
25
5" 3 5" 5# 5$
33 5# 5# 5# 3, as el grupo generado por 5# es
5# 3 5#
333 5$ 5$ 5$ 5# 5$ 5$ 5$ 5# 5$ 5" 5$ 5$ 5$ 5$ 5" 5$ 3 y el subgrupo ser
5$ 3 5" 5# 5$
3@ 5% 5% 5% 5& 5% 5% 5% 5& 5% 5' 5% 5% 5% 5% 5' 5% 3 de donde
5% 3 5% 5& 5'
@ 5& 5& 5& 3 por lo tanto
5& 3 5&
@3 5' 5' 5' 5& 5' 5' 5' 5& 5' 5% 5' 5' 5' 5' 5% 5' 3 y el subgrupo ser
5' 3 5% 5& 5'
@33 5( 5( 5( 5) 5( 5( 5( 5) 5( 5* 5( 5( 5( 5( 5* 5( 3, o sea que el subgrupo es
5( 3 5( 5) 5*
@333 5) 5) 5) 3 de donde
5) 3 5)
3B 5* 5* 5* 5) 5* 5* 5* 5) 5* 5( 5* 5* 5* 5* 5( 5* 3 por lo tanto
5* 3 5( 5) 5*
B 7" 7" 7" 7# 7" 7" 7" 7# 7" 3 por consiguiente
7" 3 7" 7#
B3 7# 7# 7# 7" 7# 7# 7# 7" 7# 3 as
7# 3 7" 7#
B33 7$ 7$ 7$ 7% 7$ 7$ 7$ 7% 7$ 3 luego
7$ 3 7$ 7%
B333 7% 7% 7% 7$ 7% 7% 7% 7$ 7% 3 as
7% 3 7$ 7%
B3@ 7& 7& 7& 7' 7& 7& 7& 7' 7& 3, as el subgrupo generado ser
7& 3 7& 7'
B@ 7' 7' 7' 7& 7' 7' 7' 7& 7' 3, o sea que
7' 3 7& 7'
B@3 7( 7( 7( 7) 7( 7( 7( 7) 7( 3, luego
7( 3 7( 7)
B@33 7) 7) 7) 7( 7) 7) 7) 7( 7) 3, por consiguiente el subgrupo es
7) 3 7( 7)
B@333 Tambin hacemos lo mismo para los 's
" " " 3, as su subgrupo generado ser
" 3 "
B3B # # # 3 as
# 3 #
BB $ $ $ 3 luego
$ 3 $
BB3 % % % 3 o sea que
% 3 %
BB33 & & & 3 as
Daro Snchez H.
26
& 3 &
BB333 ' ' ' 3 tenindose como subgrupo
' 3 '
BB3@ 3 el subgrupo generado por la identidad
M 3
En resumen se obtiene:
Tres grupos de orden cuatro
5" 5$ 3 5" 5# 5$ L"
5% 5' 3 5% 5& 5' L#
5( 5* 3 5( 5) 5* L$
Cuatro subgrupos de orden tres
7" 7# 3 7" 7# O"
7$ 7% 3 7$ 7% O#
7& 7' 3 7& 7' O$
7( 7) 3 7( 7) O%
Nueve subgrupos de orden dos
5# 3 5# P"
" 3 " P%
% 3 % P(
5& 3 5& P#
# 3 # P&
& 3 & P)
5) 3 5) P$
$ 3 $ P'
' 3 ' P*
y el subgrupo trivial
M 3 3
- " Z% M 5# 5& 5) es un subgrupo de W% claramente ya que
5# 5& 5) Z%
5& 5) 5# Z%
5# 5) 5& Z%
5) 5# 5& Z%
5& 5# 5) Z%
5) 5& 5# Z%
indica que es una parte cerrada de W% , por lo tanto un subgrupo.
# Confrontemos todos los productos Z% O3 en efecto
Z% O" 3 7" 7# 3 5# 5& 5) O" Z%
3 5# 5& 5) 7" 7# 7" 5# 7" 5& 7" 5) 7# 5# 7# 5& 7# 5)
3 5# 5& 5) 7" 7# 7) 7% 7& 7$ 7' 7(
Z% O" 3 5# 5& 5) 7" 7# 7$ 7% 7& 7' 7( 7)
Ahora,
Z% O# 3 5# 5& 5) 3 7$ 7% 3 5# 5& 5) 7$ 7% 5# 7$ 5# 7% 5& 7$ 5& 7% 5) 7$ 5) 7%
Z% O# 3 5# 5& 5) 7$ 7% 7' 7" 7# 7) 7( 7& 3 5# 5& 5) 7" 7# 7$ 7% 7& 7' 7( 7)
Z% O$ 3 5# 5& 5) 3 7& 7'
3 5# 5& 5) 7& 7' 5# 7& 5# 7' 5& 7& 5& 7' 5) 7& 5) 7'
3 5# 5& 5) 7& 7' 7) 7$ 7" 7( 7% 7# 3 5# 5& 5) 7" 7# 7$ 7% 7& 7' 7( 7)
Finalmente
Z% O% 3 5# 5& 5) 3 7( 7) 3 5# 5& 5) 7( 7) 5# 7( 5# 7) 5& 7( 5& 7) 5) 7( 5) 7)
3 5# 5& 5) 7( 7) 7# 7& 7' 7% 7$ 7" 3 5# 5& 5) 7" 7# 7$ 7% 7& 7' 7( 7)
Puesto que Z% O3 3 para todo 3 " # $ %, entonces Z% O3 es un subgrupo de
W% ya que O3 Z% Z% O3 como se prueba en forma anloga, por otra parte
Z % O" Z % O # Z % O $ Z % O %
Daro Snchez H.
27
Este grupo de orden "# es llamado alternado y es dado por

E% 3 5# 5& 5) 7" 7# 7$ 7% 7& 7' 7( 7)
$ Claramente W% es un grupo de orden #% ya que las permutaciones son
aplicaciones biyectivas, y estas forman un grupo con la composicin de funciones.
% Los subgrupos de orden seis se obtienen de la multiplicacin de dos subgrupos
de W% , uno de orden 2 y el otro de orden 3, as
3 O" P) 3 & 7" 7# 7" & 7# & 3 & 7" 7# % '
P) O" 3 & 7" 7# & 7" & 7# 3 & 7" 7# ' %
As O" P) P) O" donde O3 P) 3 se sigue que este es un subgrupo de orden 6
de W%
33 O" P* 3 ' 7" 7# 7" ' 7# ' 3 ' 7" 7# & %
P* O" 3 ' 3 ' 7" 7# ' 7" ' 7# 3 ' 7" 7# % &
esto implica que O" P* P* O" y como O" P* 3 se sigue que O" P* es un
subgrupo de orden seis de W%
333 O# P& 3 7$ 7% 3 # 3 # 7$ 7% 7$ # 7% # 3 # 7$ 7% ' $
P& O# 3 # 3 7$ 7% 3 # 7$ 7% # 7$ # 7% 3 # 7$ 7% $ '
o sea que O# P& P& O# y tambin O# P& 3 esto implica inmediatamente que
O# P& es un subgrupo de orden seis de W%
3@ O# P' 3 7$ 7% 3 $ 3 $ 7$ 7% 7$ $ 7% $ 3 $ 7$ 7% # '
pero O# P' coincide con P& O# por lo tanto no nos sirve, pero
O$ P) 3 7& 7' 3 & 3 7& 7' & 7& & 7' & 3 7& 7' & $ "
P) O$ 3 7& 7' & & 7& & 7' 3 7& 7' & " $
as O$ P) P) O$ sera el tercer grupo de orden seis de W% .
@ Puesto que O" P) O" P* debemos hallar otro distinto, en efecto
O% P( 3 7( 7) 3 % 3 7( 7) % 7( % 7) % 37( 7) % # "
as O% P( P( O% obteniendose de esta manera el cuarto y ltimo subgrupo de
orden seis de W%
& Con el fin de hallar el nmero de subgrupos de orden ) de W% , multiplicamos los
grupos de orden cuatro por los de orden 2 as:
3 L" P# 3 5" 5# 5$ 3 5&
3 5" 5# 5$ 5& 5" 5& 5# 5& 5$ 5& 3 5" 5# 5$ 5& # 5) &
P# L" 3 5" 5# 5$ 5& 5& 5" 5& 5# 5& 5$ 3 5" 5# 5$ 5& & 5) #
as L" P# P# L" obteniendose el primer subgrupo de orden 8 de W% .
33 L$ P" 3 5# 5( 5) 5* 5( 5# 5) 5# 5* 5# 3 5# 5( 5) 5* 5& " '
P" L$ 3 5# 5( 5) 5* 5# 5( 5# 5) 5# 5* 3 5# 5( 5) 5* ' " 5&
as L$ P" P" L$ que es el segundo subgrupo de orden 8 de W% .
333 Finalmente
L# P" P" L# 3 5# 5% 5& 5) $ 5' % el cual es el tercer subgrupo de orden 8 de
W% .
. Indiquemos las inclusiones existentes entre los subgrupos de W% .
3 es un subgrupo de todos.
P" es un subgrupo de: L" O# P& L" P# L" P$ L" P& Z% E% W%
P# es un subgrupo de L# P# Z% L" P# L" P$ E% W% .
Daro Snchez H.
28
P$ es subgrupo de: L$ Z% P# L" P& L" E% W% .

P% es subgrupo de W% .
P& es subgrupo de: O# P& O# P' L# P' L" P# L" P$ W% P& L" .
P' es subgrupo de: O# P& O# P' L" P# W%.
P( es subgrupo de : O" P) O" P* W% .
P) es subgrupo de : O" P) O" P* L" P# L" P$ L" P& W% .
P* es subgrupo de : O" P) O" P* O# P& O# P' W% .
O" es subgrupo de: O" P) O" P* E% W% .
O# es subgrupo de: O# P& O# P' E% W%.
O$ es subgrupo de : E% W% .
O% es subgrupo de: E% W% .
L" es subgrupo de : L" P# L" P$ L" P& W% .
L# es subgrupo de W% .
L$ es subgrupo de W% .
Z% es subgrupo de: E% L" P$ L" P& L" P# .
O" P) es subgrupo de W% .
O" P* es subgrupo de W% .
O# P& es subgrupo de W% .
O# P' es aubgrupo de W% .
L" P# es subgrupo de W% .
L" P& es subgrupo de W% .
E% es subgrupo de W% .
/ Hallemos en primer lugar todos los productos O3 O4
O" O# M 7$ 7% 7" 7# 7" 7% 7" 7$ 7# 7$ 7# 7% 3 7" 7# 7$ 7% 5# 7' 7) 5&
ahora
O# O" 3 7" 7# 7$ 7% 7$ 7" 7% 7" 7$ 7# 7% 7# 3 7" 7# 7$ 7% 5& 7( 7& 5#
aqu O" O# 3 pero O" O# O# O" luego no es subgrupo de W% .
O" O$ 3 7" 7# 7& 7' 7" 7& 7" 7' 7# 7& 7# 7' 3 7" 7# 7& 7' 7( 5& 5) 7%
Por otra parte
O$ O" 3 7" 7# 7& 7' 7& 7" 7' 7" 7& 7# 7' 7# 3 7" 7# 7& 7' 7$ 5) 5& 7)
como se ve O" O$ O$ O" y O" O$ 3 pero no es un subgrupo de W% .
Siguiendo el mismo procedimiento tenemos
O" O% 3 7" 7# 7( 7) 7" 7( 7" 7) 7# 7( 7# 7) 3 7" 7# 7( 7) 5) 7$ 7& 5#
ahora
O% O" 3 7" 7# 7( 7) 7( 7" 7) 7" 7( 7# 7) 7# 3 7" 7# 7( 7) 5# 7' 7% 5)
y O% O" O" O% luego no es subgrupo de W% .
O# O$ 3 7$ 7% 7& 7' 7$ 7& 7$ 7' 7% 7& 7% 7' 3 7$ 7% 7& 7' 5# 7) 7# 5)
O$ O# 3 7$ 7% 7& 7' 7& 7$ 7' 7$ 7& 7% 7' 7% 3 7$ 7% 7& 7' 5) 7" 7( 5#
As O# O$ O$ O# esto implica que O# O$ no es subgrupo de W% .
O# O% 3 7$ 7% 7( 7) 7$ 7( 7$ 7) 7% 7( 7% 7) 3 7$ 7% 7( 7) 7" 5) 5& 7'
O% O# 3 7$ 7% 7( 7) 7( 7$ 7) 7$ 7( 7% 7) 7% 3 7$ 7% 7( 7) 7& 5& 5) 7#
como siempre O# O% O% O# aun que O# O% 3, luego no es subgrupo de W% .
O$ O% 3 7& 7' 7( 7) 7& 7( 7& 7) 7' 7( 7' 7) 3 7& 7' 7( 7) 5# 7# 7% 5&
Daro Snchez H.
29
Ahora
O% O$ 3 7& 7' 7( 7) 7( 7& 7) 7& 7( 7' 7) 7' 3 7& 7' 7( 7) 5& 7$ 7" 5#
As O$ O% O% O$ luego no es subgrupo de W%
De todo lo anterior se deduce que
O O
# O" O# # O" O$ # O" O% # O# O$ # O$ O% O33 O44
$$ *
O3 O4 3
y como *l#% W% , se sigue que el producto O3 O4 no es un subgrupo de W% ya

que segn el teorema de Lagrange el orden de un subgrupo debe dividir al orden
del grupo y aqu tal cosa no ocurre.
0 El grupo alternado E% no posee ningn subgrupo de orden seis, por que
supongamos por contradiccin que L es un subgrupo de orden seis de E% ,
tenemos que
5## 5&# 5)# 3
as 5# 5& 5) son de orden dos , tambin 74 es de orden tres, para 4 " ) por
consiguiente los elementos de orden 2 son 5# 5& 5) y los elementos de orden 3
son 7" 7# 7) . Dado que L es de orden seis y $" es la mxima potencia de tres
que divide a seis se sigue que L debe tener un subgrupo de orden $, ahora como
3 es primo entonces el subgrupo debe ser cclico y los nicos subgrupos de L que
son de orden 3 son los generados por 73 3 " # ), se sigue que 73 L para
algn 3. Sea entonces 7" L de donde 3 7" 7"# 7# L y el subgrupo no sera
cclico po. Nuevamente por ser 2 la ms alta potencia de 2 que divide a 6 , L debe
contener un subgrupo de orden 2 y todo subgrupo de orden 2 es cclico y los
nicos subgrupos cclicos de E% son los generados por 5# 5& y 5) por consiguiente
53 L para algn 3 # & ), digamos por ejemplo que 5# L ya que
5# 7" 7% , 7" 5# 7)
entonces si L contiene a 5# , tambin contiene a 7% 7%# 7$ 7)# 7( , as L tendra 8
elementos y sera po una contradiccin.
5.Sea K un grupo cuyo orden es un nmero primo. Probar
+ K es generado por cualquier elemento de K distinto de la unidad.
, K es un grupo abeliano.
SOLUCION. + K :, y : es un nmero primo, entonces K y / son los nicos
subgrupos de K. Sea + K y + /. Consideremos el subgrupo de K generado
por +, es decir + sea 8 + el orden del grupo generado por +. Segn el
teorema de Lagrange 8 debe dividir a : pero : es primo y + /, entonces 8 : as
+ K.
, De la parte + se sigue que K es cclico por lo tanto veamos que K es abeliano,
sean + y , elementos arbitrarios de K entonces sern escritos como potencias de
algn 1 K
6.Sea K un grupo y sean
L , O subgrupos de K. Probar:
+ Si O
L entonces K O K L L O
Daro Snchez H.
30
, K O L L O
- Si K L y K O entonces K L O
. Si L K y O K entonces L O K.
SOLUCION. + Sea B3 L3M los elementos distintos de KL C4 O3N los elementos
distintos de LO , entonces
K B3 L , L C4 O
3M
4N
Definimos la aplicacin
K
K
: : L
L
O
O
B3 L C4 O B3 C4 O
veamos que : esta bien definida, en efecto
B3 L C4 O B3w L C4 w O
es equivalente a
B3 L B3w L y C4 O C4 w O
ahora miremos las imgenes
: B3 L C4 O B3 C4 O
: B3w L C4 w O B3w C4 w O B3 C4 O B3w C4 w O
as las imgenes son iguales y por lo tanto : est bien definida.
: es uno a uno, en efecto si : B3 L C4 O : B3w L C4 w O , entonces B3 C4 O B3w C4 w O
multiplicando esta ltima igualdad por L se tiene
B3 C4 OL B3w C4 w OL
pero O L entonces L OL , por consiguiente
B3 C4 L B3w C4 w L
se sabe que C4 L , a4 N , entonces
C4 L L C4 w L
esta nos lleva a
B3 L B3w L
K
la cual es una igualdad entre elementos de L
esto implica que B3 B3w ahora
B3 C4 O B3w C4 w O B3 C4 w O
como se est en un grupo, se puede cancelar B3 , as
C4 O C4 w O
obteniendo la igualdad entre clases de L
O , por lo tanto
C4 C4 w
as
B3 L B3w L C4 O C4 w O
o sea se tiene la igualdad de las parejas
B3 L C4 O B3w L C4 w O ,
as : es uno a uno
: es sobre: Para cada 1 K existe uno y slo un B3 L tal que 1L B3 L , es claro
K
que /O O es un elemento de L
O , as sea 1O cualquier elemento de O y podemos
calcularlo en :
: 1L /O 1/O 1O
de donde : es sobre.
Daro Snchez H.
31
K
K
Tenemos en esta forma una biyeccin entre L
L
O y O , por consiguiente se tiene
K
K
K L
# O
# L
L
O # L # O
o sea que
KL KL L O
K
,
K O L L O , en efecto sea B3 O3M los elementos distintos de L
,
as K B3 L , vemos en seguida que
3M
B L O BL BO
de donde
: BL O : BA con A L O : BA con A L A O
: BA con A L : BA con A O : BL : BO : BL BO
Ahora sea : BL BO : BA" BA# con A" L y A# O podemos simplificar B
ya que B K as
A" A# A L O
o sea : BA con A L O : BL O.
Ahora si B3 L y B4 O son tales que
B3 L B4 O
entonces dan origen a una clase mdulo L O .
Sea M
N tal que a3 a4 M se tenga
B3 L B4 O
As
B3 L O B3 L B3 O
B3 O
Ahora tomamos reunin disyunta
L B3 L O
B3 O
BO K
3M
3M
3N
de donde se sigue que

K
L
# O
# LO
o sea
K O L L O .
- K L y K O entonces K L O , en efecto se sabe de ,
que L L O K L , por lo tanto se tiene que L L O
Tambin se tiene que L O
L entonces se sigue de la parte + que
K L O K L L L O
como K L y L L O se sigue entonces que K L O
. Si L K y O K entonces L O K, en efecto supongamos que L O K,
K L y K O , segn esto no se puede tener, L O ni O L , o sea que L y
O no son comparables, porque si,
L O L O O,
esto implicara de inmediato que O K lo cual no se puede tener por la hiptesis.
Tampoco O L porque en ese caso
O L L L K
esto es una po contradiccin.
De todo lo anterior tenemos la veracidad de las siguientes proposiciones:
b2 L tal que 2 O
Daro Snchez H.
32
b5 O tal que 5 L
pero L y O son subgrupos de K, de esto se sigue que
25 L O K
entonces de la definicin de reunin se recibe que
25 L 25 O ,
o lo que es lo mismo
5 2 " 2 5 2 " 25 2 " L L
2 2 55 " 25 5 " O5 " O
esto es po contradictorio por que implicara que L y O son comparables, lo cual
no puede ser.
7.
+ Sean K" K# y L subgrupos de un grupo dado K tales que K" K# K y que
L sea un subgrupo normal de K" y de K# o sea L K" L K# . Probar que L
es un subgrupo normal de K.
, Indique un subgrupo normal L del grupo simtrico W% grupo de las
permutaciones del conjunto " # $ % y un subgrupo normal O de L tal que O no
sea normal en K. (use la notacin del problema 4).
SOLUCION. + Que L sea subgrupo normal de K" , significa que BL LB aB K" .
L es subgrupo normal de K# por lo tanto CL LC aC K# . Sea ahora
: K K" K# entonces : B" C" donde B" K" C" K# , entonces
:L B" C" L B" C" L
B" LC" B" L C"
LB" C" L B" C" L:
as
a: K, :L L:
en esta forma L es un subgrupo normal de K.
, Sea O 3 5# 5& 5) tenemos segn la tabla de grupo del problema 4, lo
siguiente:
5" 5# 5"" 5#
5" 5& 5"" 5)
5" 5) 5"" 5&
5$ 5# 5$" 5#
5$ 5& 5$" 5)
5$ 5) 5$" 5&
5% 5# 5%" 5)
5% 5& 5%" 5&
5% 5) 5%" 5#
5' 5# 5'" 5)
5' 5& 5'" 5&
5' 5) 5'" 5#
"
5( 5# 5( 5&
5( 5& 5(" 5#
5( 5) 5(" 5)
5* 5# 5*" 5&
5* 5& 5*" 5#
5* 5) 5*" 5)
"
"
7" 5# 7" 5)
7" 5& 7" 5#
7" 5) 7"" 5&
7# 5# 7#" 5&
7# 5& 7#" 5)
7# 5) 5#" 5#
7$ 5# 7$" 5&
7$ 5& 7$" 5)
7$ 5) 7$" 5#
7% 5# 7%" 5)
7% 5& 7%" 5#
7% 5) 7%" 5&
7& 5# 7&" 5)
7& 5& 7&" 5#
7& 5) 7&" 5&
7' 5# 7'" 5&
7' 5& 7'" 5)
7' 5) 7'" 5#
"
"
7( 5# 7( 5&
7( 5& 7( 5)
7( 5) 7(" 5#
7) 5# 5)" 5)
7) 5& 7)" 5#
7) 5) 7)" 5&
"
" 5# "
" 5) "
" 5& " 5& " 5#
" 5)
Daro Snchez H.
33
"
# 5# "
# 5) "
# 5# # 5& 5# 5)
# 5&
"
"
$ 5# "
5
5
) $ & $
&
$ ) $ 5#
$
"
"
% 5# 5% 5)
% 5 & 5% 5 &
% 5) "
% 5#
"
"
"
& 5# 5& 5#
& 5 & 5& 5 )
& 5) & 5&
"
"
' 5# 5' 5&
' 5 & ' 5#
' 5) "
' 5)
#
#
#
5# 5& 5) 3
5# 5& 5)
5# 5) 5&
5& 5 ) 5 #
entonces O es un subgrupo normal de W% .
Ahora sea L 3 5# , L es un subgrupo de O y O L %# # entonces L es un
subgrupo normal de O . Pero L no es un subgrupo normal de K W% pues
7" 5# 7"" 5) L .
8.Determine el ncleo y la imgen de los siguientes homomorfismos:

dado por 5 85 siendo 8 fijo .
'
8
8 7 dado por 5 7 5 8 7 5
0
d
dado por < /3< < d
0
" 8 8"
W8
W8" dado por 1 1" 18 18" 1 W8 .
.
/
' dado por 5 ' #5 ' 5
SOLUCION. + ker0 5 0 5 ! 5 85 ! !
70 0 5 5 85 5 8
, ker0 5 ' 0 5 ' ' 5 ' #5 ' ' $5 '
70 0 5 ' 5 ' ' #5 ' 5 ' ' ' # ' % '
- ker: 5 7 : 5 7 8 7 5 7 5 8 7 8 7
As se tiene que 5 8 7 8 7 b tal que 5 87 5 7 8 " 8
5 8 8 o sea que ker: 8.
7: : 5 7 5 7 7 5 8 7 5 7 7 8 7
. ker0 < d 0 < " < d /3< " #15 5
70 0 < < d /3< < d W" o sea, el crculo unitario .
"#88"
/ ker0 1 W8 01 "#88" 3
70 e 01 1 W8 f
W8 , esto es un subgrupo de W8" isomorfo a W8 .
9.Sea K un grupo. Un isomorfismo de K sobre K es llamado un "automorfismo"
+ Determine todos los automorfismos de un grupo cclico de orden 8 finito o .

, Para
cualquier + K, pruebe que la aplicacin s

+ K K dada por
"
B + B + B K es un automorfismo de K (llamado "automorfismo interior")
- Se denota con E?> K al conjunto de los automorfismos de K y con M8> K al
conjunto de los automorfismos interiores de K. Pruebe que E?> K es un subgrupo
del grupo W K de las permutaciones de K, que E?> K W K cuando K " y
que M8> K es un subgrupo normal de E?> K
Daro Snchez H.
34
Pruebe que la aplicacin K

E?> K dada por + s
+ + K es un
homomorfismo. Determine su ncleo e indique una condicin necesaria y
suficiente para que ese ncleo coincida con K
K esto
SOLUCION. + Sea 0 E?> K y K 1 con 1 8, entonces 0 K
1 0 1
implica que 0 1 K as existe 7 tal que 0 1 17 como 0 es sobre, existe B K
tal que 1 0 B 0 1< 17< entonces 17<" /, as 8l7< " b= 7< " =8 o
sea que =8 7< " as 8 7 ". Si 0 E?> K entonces 0 esta determinado por
7, entonces podemos notar 07 al automorfismo tal que 07 1 17 .
3 Notamos que si 7 8 " y 7w 8 " entonces
.
07 07w 1 07 17 07 1
w
7w
17
7w
177 077w 1
Pero si 7 8 " 7w 8 entonces 77w 8 " luego 07 07w 077w entonces

# E?> K : 8 .
33 Sea L 7 7 8 " Primos relativos con 8. L es un grupo
multiplicativo mdulo 8 de de hecho 7" 8 " 7# 8 " 7" 7# 8 ".
Sea ahora J L
E?> K
, se sigue que J es un homomorfismo, en efecto
7" J 7" 07
"
7" 7# L J 7" 7# 07" 7# 07" 07# J 7" J 7#
Entonces J es un isomorfismo puesto que J es inyectiva y sobreyectiva
claramente, as
# L # E?> K : 8
333 Ahora si 8 es infinito sea K= 1 1 entonces los nicos generadores
de K son 1 y 1" . Si 2 es otro generador, esto es K 2 1 entonces 1 2 7 ,
por otro lado 2 15 , para algn 5 , o sea
7
1 15 175 175" /
Como 1 entonces 75 " ! 75 ", donde 7 " y 5 " . De
todo esto
0 E?> K 0 K K
"
1 0 1 1
o sea 0 K M 0 donde 0 K K
.
1 0 1 1"
, Sea s
+K
K
, entonces
B +B+"
3 s
+ es un homomorfismo
+ B C + BC +" +BC+" +C+" +B+" +C+" +
s
sB+
sC
33 s
+ es inyectiva
+ B s
+ C +B+" +C+" +" +B+" + +" +C+" +
s
++" B +" + ++" C +" + B C
333 s
+ es sobreyectiva
Sea C K entonces existe B +" C+ K tal que
+ B +B+" + +" C+ +" ++" C ++" C
s
De 3 33 333 se sigue que s
+ E?> K .
- 3 Veamos que si 0 E?> K y 1 E?> K entonces 0 1 E?> K .
Daro Snchez H.
35
Claramente, se sabe que la composicin de dos aplicaciones biyectivas es una

biyeccin, slo resta ver que 0 1 es un homomorfismo, en efecto;
0 1 B C 0 1 B C 0 1 B 1 C 0 1 B 0 1 C 0 1 B 0 1 C
esto se tiene por que 0 y 1 son homomorfismos.
33 Ahora sea 0 E?> K entonces veamos que 0 " E?> K
En efecto 0 " es una biyeccin porque 0 lo es y 0 " es su inversa, veamos ahora
que 0 " es un homomorfismo
0 " B C 0 " 0 0 " B 0 0 " C 0 " 0 0 " B 0 " C
0 " 0 0 " B 0 " C 0 " B 0 " C
entonces 0 " E?> K claramente E?> K
WK as E?> K es un subgrupo de
WK.
333 E?> K WK, cuando K ".
Por ejemplo, en el caso W# K, entonces los automorfismos de K se reducen a la
identidad y W# tiene dos elementos, as que E?> K WK.
3@ Sea M8> K +
s B +B+" +
s E?> K
Tomemos s
+" s
+# M8> K , entonces
+# s
+" B s
+# s
+" B s
+# +" B+"" +# +" B+"" +#" +# +" B +"" +#"
s
+# +" B +# +" " +#s+" B
As s
+# s
+" +#s+"
O sea M8> K es cerrado para la composicin, adems si s
+ M8> K entonces
"
"
"
"
" "
.
+ M8> K porque s
+ B + B+ + B +
s
Ahora si : E?> K se tiene
:s
+ :" B : s
+ :" B : s
+ :" B
: + :" B +"
: + B : + " : s+ B
es un homomorfismo
esto prueba que M8> K E?> 1 .

. Sea : K E?> K dada por :+ s
+, entonces : + , + s , es efectivamente
un homomorfismo, pues
: + , B + s , B +, B +, " +, B , " +" + ,B, " +" + s
, B + "
o sea
s
+ s
, B s
+ s
, B : + : ,
: +, : + : ,
ker: + K: + 3K + K+
s 3K B K+B+" B B K+B B+
y es el llamado "centro de K".
Ahora una condicin necesaria y suficiente para que ker: K es que K sea un
grupo abeliano, puesto que
ker: B K+B +B
B KB+ +B K.
K es abeliano
10.
Sean + , elementos de un grupo conmutativo K tales que +

, y + , ". Pruebe que + , + , .
+
Daro Snchez H.
36
, Sea K un grupo cclico de orden 8 y sea - un generador de K. Pruebe
que - 7
SOLUCION. +
8
78
para cualquier 8 .
+ ,
+,
+ ,
+,
por ser K abeliano + , +, y + , / porque si + , /, existira

un : + , : + : ,
entonces
: l + : l ,
entonces
+ , ".
As se sigue del teorema de Lagrange que # + , + , .
Hay otra forma de prueba: Se sabe que +, ,+ + 7 , 8 +, ;
entonces +, 5 +5 , 5 a5 . Se tiene entonces +, 78 +78 , 78 +7 8 , 8 7 /,
lo cual prueba que el orden ; de +, divide a 78.
Para mostrar la igualdad es suficiente probar que 7 y 8 dividen a ; . Puesto que 7
y 8 son primos entre si, el elemento +8 tiene por orden 7. Las relaciones
8
+8 ; +, 8; +, ; /
muestra que ; es mltiplo del orden 7 de +8 . Se prueba lo mismo que 8 divide a ;.
, Para todo 5 tal que +5 / - 75 / esto es equivalente a decir que
+ -8
8l75 75
! mod 8 . Sea ahora . 7 8 entonces b / 7 . b" 8 " . .
Adems " " porque si " " entonces b5" b5# tal que -5" y " -5#
75 -.
entonces 85 "-. 7 8 . .
#
Ahora 8l75 " .l.5 b# .5 #" . Simplificando por . se llega a

8
5 #" " |5 5
!mod " .
as
8
8
+5 / 5
!mod . + .
o sea
8
- 7 8. 78
Se conoce la relacin 7 8
78
78
8
78
78
7
, tambin se tiene - 7
78
7
11.Sea 8 un nmero entero positivo. Demuestre:
+ La multiplicacin en induce una multiplicacin en 8, y 8,
es un
monoide conmutativo.
, Sea 5 . 5 8 es inversible en 8 si y slo si 5 8 ".
- El conjunto de los elementos inversibles de 8 es un grupo abeliano de
orden : 8 donde : es la funcin de Euler
. Si 5 es tal que 5 8 ", entonces 5 :8 " es un mltiplo de 8. En
particular, para cualquier 5 cada nmero primo : divide a 5 o a 5 :" ".
/ Cules son los enteros 8 entre " y "$ tales que el grupo indicado en - sea
cclico?. Para cada uno de ellos indique un generador.
SOLUCION. + Se define la multiplicacin en 8 as
Daro Snchez H.
37
8 8
8
5" 8 5# 8 5" 5# 8
Esta operacin est bien definida, en efecto supongamos que
5" 8 5# 8 2" 8 2# 8 5" 8 2" 8 5# 8 2# 8
o sea que
5"
2" mod 8 5#
2# mod 8
por lo tanto existen = > tales que
5" 2" =8 5# 2# >8
o lo que es lo mismo
5" 2" =8 5# 2# >8
multiplicando miembro a miembro se tiene
5" 5# 2" 2# 8 =2# >2" >=8
como =2# >2" >=8 se sigue que
5" 5 #
2" 2# mod8
esto es lo mismo que
5" 5 # 8 2 " 2 # 8
y la operacin queda bien definida.
Veamos que 8, es un monoide conmutativo:
3 Asociativo.
5" 8 5 # 8 5 $ 8 5 " 5 # 8 5 $ 8 5 " 5 # 5 $ 8 5 " 5 # 5 $ 8
5" 8 5 # 5 $ 8 5 " 8 5 # 8 5 $ 8
33 Conmutativo
5" 8 5 # 8 5 " 5 # 8 5 # 5 " 8 5 # 8 5 " 8
333 Modulativa
a 5 8 b B 8 tal que B 5 8 5 8
basta tomar B " 8 en ese caso " 8 5 8 5 8.
, Sea 5 , 5 8 es inversible en 8 si y slo si 5 8 ".
En efecto, supongamos que 5 8 tiene inverso es 8 , esto significa que
existe un = 8 tal que
5 8 = 8 " 8 5= 8 " 8
esto implica que 5= " 8, o sea b> tal que 5= " 8>, o lo que es lo mismo
5= >8 ", por lo tanto 5 8 ".
Recprocamente supongamos que 5 8 " esto significa que existen > = enteros
tales que 5= 8> ", lo cual es lo mismo que 5= " 8 >, o sea 5= " 8, o
en forma equivalente 5= 8 " 8 y esto es completamente lo mismo que
5 8 = 8 " 8
as dado 5 8 existe = 8 tal que se tiene por lo tanto 5 8 es inversible.

- Sea L 7 87 8 " es un monoide multiplicativo abeliano mdulo 8
como ya se mostr en el problema 9, parte 33 as sea
Z 5 85 8 es inversible en 8 5 8 5 8 " L
por lo tanto Z es un grupo abeliano y Z L :8
. Como 5 8 " entonces en Z , por el teorema de Lagrange
5 8 :8 " 8
Daro Snchez H.
38
o sea
5 :8 8 " 8 5 :8 " 8
esto es equivalente a decir que b= tal que 5 :8 " =8, de donde tenemos la
afirmacin.
Si : es primo y 5 entonces 5 : , o 5 :
Si 5 : entonces : divide a 5 claramente.
Si 5 : entonces se tienen dos casos a saber: 5 7: o , 5 : "
Si 5 7: entonces :l5
Si 5 : " entonces 5 :8 " >: para algn > , pero : es primo entonces
:: : " y 5 :" " >: as : 5 :" " .
3 se tiene trivialmente . Con L3 indicaremos al grupo dado en 33 # # " # as L# " # " #

333 $ $ " $ # $ y L$ " $ # $ # $ porque
# $ " # $
# $ # " $.
3@ % % " % # % $ % tenindose que
L% " % $ % $ % , ya que se tiene
$ % " $ %
$ % # " %
@ & & " & # & $ & % &, y
L& " & # & $ & % & # & , dado que
# & " # &
# & $ $ &
# & # % &
# & % " &
@3 ' ' " ' # ' $ ' % ' & ', aqu
L' " ' & ' & ' , puesto que
& ' " & '
& ' # " '
@33 ( ( " ( # ( $ ( % ( & ( ' ( con
L( " ( # ( $ ( % ( & ( ' ( $ ( , dado que
# mod(
$ ( " $ (
$ ( # # ( *
$
%
% mod(
$ ( ' ( #(
' mod(
$ ( % ( )"
&
'
& mod(
$ ( & ( #%$
$ ( " (
@333 ) ) " ) # ) $ ) % ) & ) ' ) ( ) y aqu
L) " ) $ ) & ) ( ) no es cclico, dado que
$ ) " $ )
& ) " & )
( ) " ( )
$ ) # " )
& ) # " )
( ) # " )
3B * * " * # * $ * % * & * ' * ( * ) * con
L* " * # * % * & * ( * ) * # * , dado que
# * " # *
# * # % *
# * $ ) *
( mod*
& mod*
# * % ( * "'
# * & & * $#
'
" mod* .
# * " * '%
B "!
"! " "! # "! $ "! % "! & "! ' "! ( "! ) "! * "!
/
Daro Snchez H.
39
Aqu
L"! " "! $ "! ( "! * "! $ "! en efecto

$ "! " $ "!
$ "! # * "!
( mod"!
" mod"!
$ "! $ ( "! #(
$ "! % " "! )"
B3 "" "" " "" # "" $ "" % "" & "" ' ""
( "" ) "" * "" "! ""
con L"" " "" # "" $ "" % "" & "" ' "" ( "" ) ""
* "" "! "" # "" , puesto que
"
# "" # ""
# "" # % ""
# "" $ ) ""
& mod"" # "" & "! "" $#
# "" % & "" "'
"! mod""
'
(
# "" * "" '% * mod"" # "" ( "" "#)

( mod""
)
*
' mod""
# ""^ $ "" #&' $ mod"" # "" ' "" &"#
"!
# "" " "" "!#%
" mod""
B33 "# "# " "# # "# $ "# % "# & "# ' "# ( "#
) "# * "# "! "# "" "#, donde se tiene que
L"# " "# & "# ( "# "" "# no es cclico, porque
& "# " & "#
( "# " ( "#
"" "# " "" "#
#
#
" mod"# ( "# " "# %*
& "# " "# #&
" mod"#
#
"" "# " "# "#" " mod"#

B333 "$ "$ " "$ # "$ $ "$ % "$ & "$ ' "$ ( "$
) "$ * "$ "! "$ "" "$ "# "$ tenindose que
L"$ " "$ # "$ $ "$ % "$ & "$ ' "$ ( "$ ) "$
* "$ "! "$ "" "$ "# "$= # "$ , ya que
"
# "$ # "$
# "$ # % "$
# "$ $ ) "$
$ mod"$ # "$ & ' "$ $#
# "$ % $ "$ "'
' mod"$
'
(
"" mod"$
# "$ "# "$ '% "# mod"$ # "$ "" "$ "#)
)
*
& mod"$
# "$ * "$ #&'
* mod"$ # "$ & "$ &"#
"!
""
"! mod"$ # "$ ( "$ #!%)
( mod"$
# "$ "! "$ "!#%
"#
" mod"$ .
# "$ " "$ %!*'
NOTA "".+ Veamos que la multiplicacin inducida por en 8 esta bien
definida, en efecto
5" 8 5# 8 5"w 8 5#w 8
esto es equivalente a
5 85 w 8
5 5 w 8
5"# 85"w 8 5"# 5"w 8
Ahora
Como
Luego
12.Sean
5" 5# 5"w 5#w 5" 5# 5"w 5# 5"w 5# 5"w 5#w 5" 5"w 5# 5# 5#w 5"w
entonces 5" 5"w 5# 8
se sigue que 5" 5# 5"w 5#w 8.
entonces 5 5 w 5 w 8
5" 5"w 8
5# 5#w 8
"
5" 5# 8 5"w 5#w 8.

L" L# L< y O subgrupos de un grupo K. Probar:
Daro Snchez H.
40
+ Si K L" L# entonces K L # L" "conmutatividad del producto directo" .
y O L" L# si y slo si K O L$ y O L" L#

("asociatividad del producto directo").
- Si K L" L< y O L" L<" entonces O L" L<" y KL< son
isomorfos a O .
SOLUCION + K L" L# K L" L# L3 K 3 " #, , L" L# "
Ahora
L3 K 3 " # L" L# " L" L# L# L"
Por consiguiente
K L# L" L3 K 3 " # L3 L# "
lo cual equivale a
K L# L" .
, Supongamos que K L" L# L$ , , O L" L#
K L" L# L$
K L" L # L$ L3 K 3 " # $
s # L$ L3 " 3 " # $
L" L
Como
K L" L# L$ , , O L" L# K O L$
"
Para 3 $ tenemos
O L$ L" L# L$ "
#
Se afirma que 5 K, en efecto,
sea 1 K y 2 O L" L# entonces L 2" 2# 2" L" 2# L# .
Ahora
121" 12" 2# 1" 12" 1" 12# 1" L" L# O $
Puesto que L" K, , L# K
Entonces " # y $ implican que
K O L$
Ahora por hiptesis
O L" L#
"w
Al respecto,
L" K, , L# K L" O , , L# O
#w
adems de eso
L"
L" L$ L# "
$w
L" L# L" w L#
entonces, nuevamente, " #w y $w implican que O L" L# .

Recprocamente, supongamos que K O L$ y O L" L# , entonces
K O L$ es equivalente a decir que la aplicacin
9
O L$ " K
5 2$ 52$
es un isomorfismo.
Ahora, O L" L# es equivalente a decir que la aplicacin
, K L" L # L $
Daro Snchez H.
es un isomorfismo.
Definimos
41
9#
L" L#
O
2" 2 # 2" 2 #
9$
L" L# L$
O L$
2" 2# 2$ 9# 2" 2# 2$
3 9$ est bien definida
2" 2# 2$ 2"w 2#w 2$w 2" 2"w 2# 2#w 2$ 2$w
Se sigue que
9# 2" 2# 9# 2"w 2#w , , 2$ 2$w
y por consiguiente
9$ 2" 2# 2$ 9# 2" 2# 2$ 9# 2"w 2#w 2$w 9$ 2"w 2#w 2$w
33 9$ es inyectiva
9$ 2" 2# 2$ 9$ 2"w 2#w 2$w 9# 2" 2# 2$ 9# 2"w 2 w # 2$w
de donde se sigue que
9# 2" 2# 9# 2"w 2#w , , 2$ 2$w
Como 9# es inyectiva, entonces
2" 2"w 2# 2#w , , 2$ 2$w
333 9$ es sobreyectiva
Sea 5 2$ O L$ ; como 9# es sobreyectiva, entonces existen 2" 2# 2" L" , ,
2# L# tales que 9# 2" 2# 5 , entonces
9$ 2" 2# 2$ 9# 2" 2# 2$ 5 2$
3@ 9$ es un homomorfismo
9$ 2" 2# 2$ 2"w 2#w 2$w 9$ 2" 2"w 2# 2#w 2$ 2$w 9# 2" 2"w 2#2#w 2$2$w
9# 2" 2# 2"w 2#w 2$ 2$w 9# 2" 2# 9# 2"w 2#w 2$ 2$w
9# 2" 2# 2$ 9# 2"w 2#w 2$w 9$ 2" 2# 2$ 9$ 2"w 2#w 2$w
Se sigue que 9$ es un isomorfismo, por consiguiente
9 9" 9# L" L# L$
K
2" 2# 2$ 9# 2" 2# 2$ 2" 2# 2$ 2" 2# 2$
es un isomorfismo: lo que es equivalente a decir que
K L" L# L$
Adems, como O L" L# en particular O L" L#
- Se sabe por hiptesis que
K L" L<" L< y L3 K a3 " # <
L" L# L3" L3 " a3 " # <
y que O L" L<" , en particular, de la segunda relacin de arriba se sigue
cuando 3 < "
O L" L<" y L3 K a3 " # < "
L" L# L3" L3 " a3 " # < "
as segn la definicin general, se sigue que
O L" L# L<"
Ahora se define la siguiente aplicacin
Daro Snchez H.
42
) K L" L # L <
L" L# L<" O
2" 2# 2<" ) B
B 2" 2# 2<" 2<

3 ) esta bien definida
w
B 2" 2# 2<" 2< 2"w 2#w 2<"
2<w C
"
w
2" 2# 2<" 2< 2"w 2#w 2<"
2<w
"
"
w" w
w
w
2" 2# 2<" 2< 2< 2" 2# 2<"
"
por la normalidad de L< se tiene
"
w
2" 2# 2<" 2"w 2#w 2<"
2< 2<w" "
Se recuerda ahora el hecho de que
L" L# L<" L< "
entonces
"
w
2" 2# 2<" 2"w 2#w 2<"
" , , 2< 2<w" "
de la primera de estas dos se tiene
w
2" 2# 2<" 2"w 2#w 2<"
o sea que )B )C.
33 ) es un homomorfismo
w
) B C ) 2" 2# 2<" 2< 2"w 2#w 2<"
2<w
Ahora hacemos uso de la normalidad de los L3 as
w
w
2" 2# 2<" 2< 2"w 2#w 2<"
2<w 2" 1 2"w 2#w 2<"
2<w
w
w
2" 2"w 1 2#w 2<"
2<w 2" 2"w 2# 2<" 2< 2#w 2<"
2<w
w
2" 2"w 2# 2$ 2<" 2< 2#w 2<"
2<w
w
2" 2"w 2# 2#w 2$ 2<" 2< 2$w 2<"
2<w
w
2" 2"w 2# 2#w 2$ 2% 2<" 2< 2$w 2%w 2<"
2<w
w
w
w
w
w
w
2" 2" 2# 2# 2$ 2$ 2% 2& 2<" 2< 2% 2& 2<"
2<w
w
2" 2"w 2# 2#w 2$ 2$w 2<" 2<"
2< 2<w
Luego
w
) BC ) 2" 2"w 2# 2#w 2$ 2$w 2<" 2<"
2< 2<w
w
w
w
w
2" 2" 2# 2# 2$ 2$ 2<" 2<"
w
w
2" 2"w 2# 2#w 2$ 2$w 2<# 2<#
2<" 2<"
w
w
2" 2"w 2# 2#w 2$ 2$w 2<# 2<" 2 <#
2<"
w
w
w
2" 2"w 2# 2#w 2$ 2$w 2<$ 2<$
2<# 2 <" 2<#
2<"
w
w
w
2" 2"w 2# 2#w 2$ 2$w 2<$ 2<# 2 <" 2<$
2<#
2<"
w
w
w
w
w
2" 2" 2<% 2<% 2<$ 2 <# 2<" 2<$ 2<# 2<"
w
w
w
w
2" 2"w 2<% 2<$ 2 <# 2<" 2<%
2<$
2<#
2<"
w
2" 2"w 2# 2$ 2<" 2#w 2$w 2<"
w
w
w
2" 2# 2<" 2" 2# 2<" ) B ) C
333 ) es sobreyectiva.
Si B O es cualquier elemento de O , entonces B 2" 2# 2<" donde cada uno
de los 23 L3 , existe C K dado por
C B / 2" 2# 2<" / / L<
as
) C ) 2" 2# 2<" / 2" 2# 2<" B
Daro Snchez H.
43
3@ ker)
L<
En efecto, B ker) B 2" 2# 2<" 2< ) 2" 2# 2<" 2< "
2" 2# 2<" "
o sea
2" 2# 2<" 2< =2<
de donde
B 2" 2# 2<" 2< 2< L<
As ker)
L< .
De todo lo anterior y segn el teorema fundamental de isomorfismos existe un
nico isomorfismo
G KL< O
o sea, KL<
O
13.Sea
K un grupo y sean L" L# L$ subgrupos del grupo K Cales de las
siguientes afirmaciones son verdaderas y cuales falsas?

+ Si K L" L# L" L$ entonces L# L$
, Si K L" L# y L $ L" entonces L$ K
- Sea K abeliano, K L" L# L$ , y , L" L# L" L$ L# L$ ".
Entonces K L" L# L$ .
. Sea K L" L# . Para todo subgrupo Kw de K existen un subgrupo L"w de L" y
un subgrupo L#w de L# tales que Kw L"w L#w .
w
/ Sea K L" L# . Para todo subgrupo Kw de K tal que L"
K existe un
subgrupo L#w de L# tal que Kw L" L#w .
SOLUCION. + No es verdad, en efecto sean K Z% 3 5# 5& 5) donde
5# " $ # %
5& " % # $
5) " # $ %
Sean L" 3 5#
L# 3 5&
L$ 3 5)
Entonces
L" L# 3 5# 5& 5# 5& 3 5# 5& 5) Z%
Adems, como Z% es abeliano
L" Z% L# Z% , L" L# 3
Luego
Z % L" L #
Ahora
L" L$ 3 5# 5) 5# 5) 3 5# 5) 5& Z%
Adems
L" Z%
L$ Z% ,
L" L$ 3
Luego
Z % L" L $
Entonces
Daro Snchez H.
44
L" L# Z% L" L$ , , L# L$
, Es verdadero, en efecto sean B K L" L# , , 2$ L$
1 L" entonces
"
"
B2$ B L" , pues L" K , se sigue que B2$ B 2 L"
Ahora
B 2" 2 # 2 # 2 "
2 " L" 2 # L#
se sigue que
2 2# 2" 2$ 2"" 2#" 22# 2# 2" 2$ 2"" .
Pero
22# 2# 2 ,
entonces
2# 2 22# 2# 2" 2$ 2"" 2 2" 2$ 2"" L$
L$ L"
Se sigue que
B2$ B" 2 2" 2$ 2"" L$
o sea que L$ K.
- Es falso, en efecto K Z% 3 5# 5& 5) , Z% L" L# L$ donde
L" 3 5#
L# 3 5&
L$ 3 5)
Adems
L" L# L# L$ L" L$ 3
Pero,
L" L# L$ Z% L$ L$ 3
. Es falso, en efecto sean K Z% 3 5# 5& 5) , Z% L" L# L$ donde
L" 3 5#
L# 3 5&
Kw L$ 3 5)
Entonces
K Z % L" L #
w
w
w
Adems K
1 K y no existen subgrupos L" de L" y L# de L# tales que
Kw L"w L#w .
/ Es verdad, en efecto tomando L#w Kw L# , se tiene
3 L" L#w L" L# Kw L" L# K w 3 K w 3
33 L" L#w L" L# Kw L" L# K w K K w K w
B L" L# Kw B 2" 5 , , 5 L# K w
B 2" 5 2" L" 5 L# 5 K w
w
Como L"
K , entonces
B 2" 5
2" L" 2 " K w 5 L# 5 K w
se sigue que
B 2" 5 L" L# B 2" 5 K w
o sea
B 2" 5 L" L# K w
"
Ahora, sea C L" L# Kw entonces C L" L# C K w entonces
C 2" 2# C 1w con 2" L" 2# L# 1w K w
se sigue que
w
2" 2# 1w 2# 2"" 1w Kw ya que 2" L"
K
por consiguiente
Daro Snchez H.
o sea
C 2" 2#
45
2" L" 2 # L # 2 # K w
C 2" 2#
2" L" 2 # L # K w
de donde se recibe
C 2" 2# L" L# Kw .
#
De " y # se sigue que
L" L# Kw L" L# Kw
333 Demostremos ahora que:
L# Kw L#w Kw
Como L# K L# Kw .
Sea 1w Kw 2#w L#w entonces 1w 2#w 1w" L# , pues 2#w L# L# Kw ; adems
2#w Kw 1w Kw , luego 1w 2#w 1w" Kw se sigue que
1w 2#w 1w" L# Kw L#w
Adems L" Kw L" K , entonces de 3 33 333 se sigue que
Kw L" L#w
14.
Sea L un subgrupo normal de un grupo K. Probar la equivalencia de las dos

afirmaciones siguientes.
3 Existe un subgrupo O de K tal que K L O (es decir, L "es factor directo
de K" )
33 Existe un homomorfismo 0 K L cuya restriccin al subgrupo L sea un
isomorfismo.
L
SOLUCION. 3 33 Sea ) K L O
B 2 5 2
) esta bien definida
B 2" 5" 2# 5# C 2#" 2" 5" 5# 2#" 2" 5" 5#" "
pero L O 3 entonces 2#" 2" " o sea 2" 2#
as, ) B 2" 2# ) C
) es un homomorfismo
) B C ) 2" 5 " 2 # 5 #
) 2" 2# 5 " 5 # 2 " 2 # ) 2 " 5 " ) 2 # 5 #
L O K
)lL es inyectiva
) B ) C esto es equivalente a escribir
) 2" " ) 2 # " 2 " 2 #
as
B 2" " 2 # " C
)lL es sobreyectiva
Sea 2 L entonces 2 " L O K
as existe C K C 2 " tal que ) C ) 2 " 2 .
33 3 Tmese O ker0 , claramente se tiene
+ O es un subgrupo de K
, O K
- O L / porque 0 lL es un isomorfismo as ker0 L /
Daro Snchez H.
46
. 1 K entonces 0 1 L como 0 lL es un isomorfismo entonces existe

2 L tal que 0 2 0 1 entonces 0 1 0 2 " " o sea 0 12 " " esto por ser
2 un homomorfismo as 12 " ker0 entonces b5 ker0 O tal que 12 " 5 o sea
1 52 entonces 1 L O .
Mostremos , B 1O 1ker0 b5 ker0 tal que B 15 , aplicando ahora 0
tenemos:
0 B 0 15 0 1 0 5 0 1 " 0 1
multiplicando por 0 1 " se tiene
0 B 0 1 " " 0 B1" "
esto significa que B1" ker0 O as B O1 en esta forma 1O
O1 y O K
15.Sea W un conjunto. Consideremos las aplicaciones W + K de W en un grupo

w
abeliano K Diremos que una tal aplicacin W + Kw es universal si, para cualquier
W + K existe uno y slo un homomorfismo 1 de Kw en K tal que 1 +w + Pruebe:
+ La aplicacin W W definida por C $BC BW (donde C W ) es universal.
, Una aplicacin cualquiera W + K ser universal si y slo si la aplicacin + es
inyectiva y + W es una base de K
+
SOLUCION. + Sea K un grupo abeliano cualquiera y W K una aplicacin
cualquiera, definimos
1
W
K
(B BW (B + B
3 1 est bien definida

Sean (B BW (Cw CW , ahora
BW
(B
BW
W (B !, para casi todo
B W , esto
salvo para un nmero finito de B W .

(B" (B# (B8 sean distintos de cero.
Sean entonces B" B# B8 tales que
w
Anlogamente sean C" C# C7 tales que (C" (Cw # (Cw 7 sean distintos de cero.
Como (B BW (Cw CW entonces 8 7 y adems (B" (Cw " (B# (Cw # (B8 (Cw 7 .
Se sigue que
+ (B" +(Cw " + (B8 +(Cw 7
Por consiguiente
8
pero
3"
(B3 + B3
4"
(Cw 4 +C4
8
3"
(B3 + B3
Por lo tanto
1 (B BW
(B + B
4"
BW
(B + B
BW
33 1 es un homomorfismo
CW
(Cw 4 + C4
CW
(Cw + C 1(Cw CW
(Cw + C
Daro Snchez H.
1 (B
BW
(Bw
BW
1 (B (Bw
1 (B BW 1 (Bw
333 1 cumple con 1 +w +
en efecto;
1 +w C 1 +w C
BW
BW
BW
47
(B (Bw + B
(B + B
BW
BW
(Bw + B
BW
1 $BC
BW
($BC + B
$BC
! si B C
+ C
3@ 1 es nica
Supongamos que existe otro homomorfismo
2 W K
tal que
Sea
(B
1 (B
BW
BW
W entonces
pero +w B $BC
1 (B
o sea
BW
(B 2 +w B
(B + B
BW
BW
CW
se sigue que
(B $BC
BW
(B 2 +w B
BW
CW
es
2 es homomorfismo
(B +w B
BW
la sumas son finitas
(B $BC
BW
CW
$BC
! B C
2 (B
BW
1 (B BW 2 (B BW
de donde 1
2.
, Supongamos que W + K es universal.
Sea Kw un grupo abeliano que contiene ms de un elemento sean B C W tales que
w
B C y escogemos W + Kw una aplicacin tal que +w B +w C .
Por la universalidad, existe un nico homomorfismo 1 K
Kw tal que
Daro Snchez H.
Ahora
o sea
1 + B
48
+w B +w C 1 + C
BC 1 + B 1 + C + B + C
Luego + W K es inyectiva.
Probemos ahora que + W genera a K, esto es que + W K.
Sea E + W
K , definimos
w
+
W E
= +w = + =
Por la universalidad de W + K existe un nico homomorfismo 1 K E tal que
Sea 3 E
o sea
Entonces
o sea
K la inclusin natural entonces

3 +w = 3 + = + =
3 +w + W K
+ 3 +w 3 1 + 3 1 +
Adems podemos considerar

W +K
+
K
por la unicidad existe un nico homomorfismo 2 K
K tal que
Daro Snchez H.
49
Adems M.G K K es un homomorfismo, como 2 K K es nica entonces

2
M1K . As el nico homomorfismo de K K es la identidad.
Ahora como 3 1 K K es un homomorfismo, entonces por lo anterior 3 1 M.K .
Se sigue que la imgen de la inclusin, la cual es E, es igual a la imgen de la
identidad, la cual es K, luego
+ W EK
O sea + W genera a K.
+ W es linealmente independiente
Sean los siguientes diagramas
Por universalidad existen nicos homomorfismos

1 K W
1 W K
tales que
1 + +w
1 +w +
Por consiguiente
1
1 +w +
1 1+ +
o sea
Como 1
1 y
1 1 son homomorfismos y por la universalidad respectiva, el
nico homomorfimo de W en W es M.W y de K en K es M.K entonces se
sigue que
1
1 M.W
1 1 M.K
Entonces
1 posee inverso a izquierda y a derecha, as
1 es un isomorfismo, ahora
w
w
1 + = 1 + = + =
w
Como + = es linealmente independiente y
1 es un isomorfismo, se sigue que
1 +w = + =
es un conjunto linealmente independiente.
, Supongamos que + W
K es inyectiva y que + W es base para K. Que
+ W es base para K es equivalente a decir; que la aplicacin
0= + =
K
(+ =
(+ = + =
=W
=W
es biyectiva.
Sea Kw un grupo abeliano cualquiera y
w
W + Kw
Daro Snchez H.
una aplicacin cualquiera, se define

K 2 Kw
la siguiente aplicacin
1 K 1 (+ = + =
=W
entonces
(+ = +w =
2 1
=W
3 2 est bien definida

Si 1 1w , esto es equivalente a
(+ = + =
(+ =w + =w
entonces
=w W
=W
0= (+ = =W 0= (+w =w
entonces puesto que 0= es inyectiva

(+ =
(+w =w
=W
entonces
=w W
=w W
(+ = (+w =w , y, + = + =w
a= =w W
puesto que + es inyectiva se sigue que
(+ = (+w =w , y, = =w
Como +w es una aplicacin se sigue que
(+ = (+w =w , y,
+ w = + w =w
entonces
(+ = +w =
(+ =w +w =
=w W
=W
o sea
2 1 2 1
1 1w (+ = + =
w
=W
=W
entonces
2 1 1w
=W
(+w = + =
=W
(+ = (+w = +w = 2 1 2 1w
333 2 es tal que 2 + +w

2+ = 2 + =
$+ B + = + B
+=
$+ B + = + B
BW
BW
$+ B + = + w B + w =
(+ = (+w = + =
BW
3@ 2 es nica
Supongamos que existe 2 K
Kw tal que
50
Daro Snchez H.
Sea 1
=W
(+ = + = , ahora
(+ = +w =
2 1
=W
en esta forma
o sea que
16.Sea
51
(+ = 2 + =
=W
(+ = + =
=W
(+ = 2 + =
=W
=W
2 (+ = + =
2 1 2 1
2
2 .
K un grupo abeliano generado por 8 elementos. Pruebe:
+ Todo subconjunto de K que sea linealmente independiente tiene a lo mximo 8
elementos
, Cada subgrupo L de K posee un sistema de generadores el cual contiene a lo
mximo 8 elementos.
SOLUCION. + Sean 1" 1# 1$ 18 K tales que 1" 1# 18 generan a K , esto es
1" 1# 18 K
Entonces, por un resultado bsico cal?
Y Z
K
donde Y es un grupo libre de rango 8. Ms exactamente si Y es un grupo libre de
rango 8, sea entonces ?" ?# ?8 una base de Y ; entonces
)Y
K
es tal que
) " ?" # ?# 8 ?8 " 1" # 1# 8 18
es un homomorfismo sobreyectivo, por consiguiente
Y lker)
K
Como Y es libre de rango 8 entonces (como ker) es un subgrupo de Y ), se sigue
que ker) es libre y de rango a lo ms 8.
Y lker) ,
Sea L un subgrupo, linealmente independiente de K, entonces como K
esto equivale a decir que existe : K Y lker) un isomorfismo tal que : L es
linealmente independiente. Por consiguiente
# : L <+819 Y lker) <+819Y <+819 ker) <+819Y 8
Como : es un isomorfismo, entonces
# L # : L 8
Daro Snchez H.
52
, Sea L un subgrupo de K, como K es abeliano y generado por 8 elementos

entonces K es imagen homomorfismo de un grupo abeliano libre Kw de rango 8,
esto es, existe un grupo abeliano libre de rango 8 y un homomrfismo
0 Kw K
sobreyectivo, entonces 0 " L es un subgrupo de Kw , de un resultado bsico
cal? 0 " L es un grupo abeliano libre de rango menor o igual que 8. Sea
entonces
w
2"w 2#w 27
78
"
una base para 0 L . Sea 2 L entonces 0 " 2 0 " L , as existen " # 7
enteros tales que 0 " 2
2 0 0 " 2
3"
7
3"
de donde
3 23w
3 23w
lo que implica que

w
W 0 2"w 0 2#w 0 27
generan a L y
#W 7
17.Sea
3"
3 0 23w
K un grupo abeliano libre, y sea ?" ?# ?8 una base de K (siendo
?" ?# ?8 elementos distintos)
+ Sean @" @# @8 K dados por

@" " 7"# 7"$ 7"8 ?"
"
7#$ 7#8 ?#
@# !
"

@8 !
!
!
" ?8
siendo 734 " 3 4 8 enteros cualesquiera. Probar que @" @# @8 es una
base de K
, Cales
8
4"
son
8"4 ?4
las
matrices
834
"38"48
de
enteros
834
tales
que
884 ?4 sean una base de K?
4"
SOLUCION. + La identidad " nos indica que
@" ?" 7"# ?# 7"$ ?$ 7"8 ?8

@#
?# 7#$ ?$ 7#8 ?8
@$
?$ 7$8 ?8
@8
?8
3 @" @# @8 es un conjunto linealmente independiente: Consideremos
una combinacin lineal
" @" " ?" " 7"# ?# " 7"$ ?$ " 738 ?8
# @#
# ?# # 7#$ ?$ # 7#8 ?8
$ @$
$ ?$ $ 7$8 ?8
Daro Snchez H.
8 @8
53
8 ?8
3 @3
3"
" ?" " 7"# # ?# " 7"$ # 7#$ $ ?$ "7"8 # 7#8 8 ?8 !

Entonces como ?" ?# ?8 es una base , se sigue que
" !
" 7"# # !
" 7"$ # 7#$ $ !
" 7"% # 7#% $ 7$% % !
" 7"3 # 7#3 $ 7$3 3 !
" 7"8 # 7#8 $ 7$8 8 !

Este es un sistema homogneo de ecuaciones en 3 tal que
"
!
!
!
"
!
!
7"#
"
! " !
7"$ 7#$
7"8 7#8 7$7 "

Luego la nica solucin es
" # 8 !
33 @" @# @8 generan a K
Sea
" 7"# 7"$ 7"8
"
7#$ 7#8
!
?
!
!
!
"
aqu ? es tal que ./>? " !, esto implica la existencia de ?" dada por
" 34 lE l
?" ./>? 43 " 34 lE34 l +34
+34
Notese que ?" es matriz triangular ya que debe ser del mismo tipo de ?, as
" +"# +"$ +"8
! " +#$ +#8
?"
! !
!
"
donde +34 a3 a4, por lo tanto
?"
@" " +"# +"$ +"8 @"
?#
@ ! " +#$ +#8 @#
?" #

?8
@8 ! !
!
"
@8
Ntese que el hecho de que +34 es esencial, pues garantiza
?3 @3 +3# @# +38 @8 K , donde
que
Daro Snchez H.
54
?" @" +"# @# +"8 @8

?#
@# +#8 @8
#
?8
@8
Sea 1 K como ?" ?# ?8 es una base de K as existen "" "# "8 enteros
no todos nulos, tales que
1 "" ?" "# ?# "8 ?8
o sea usando #
1 "" @" +"# @# +"8 @8 "# @# +#$ @# +#8 @8 "8 @8
"" @" "" +"# "# @# "" +"$ "# +#$ "$ @$ "" +"8 "# +#8 "8 @8
aqu
#3 "" +"3 "# +#3 "$ +$3 "3
y es distinto de cero para algn 3 ya que "3 ! para algn 3 Luego @" @# @8 es
base de K.
, Se puede responder diciendo que para aquellas matrices 834 tales que
det 834 " o sea las llamadas unitarias. Ya que si det 834 + " y + !
entonces 834 " existe, pero sus elementos son nmeros racionales, lo cual traera
como consecuencia que no se pueden hallar constantes enteras tales que si 1 K
entonces 1 " @" # @# 8 @8 de donde
8
@"
834 ?4 @#
4"
8#4 ?4
4"
Ahora veamos que si det 834 " , entonces

8
884 ?4 .
@8
4"
8"4 ?4
4"
884 ?4
4"
es una base de K.
3 es linelmente independiente
Sean 's tales que
8
"
8"4 ?4
4"
8#4 ?4
4"
884 ?4
4"
y como estamos bajo la hiptesis de que ?" ?# ?8 es una base, entonces se

obtiene que
8
843 3 !
3"
para 4 " # 8
el cual es un sistema de ecuaciones homogneo cuyo determinante es

det 843 det 834 "
esto implica que " # 8 !
33 genera a K
puede ser escrito en la forma matricial siguiente:
@" 8"" ?" 8"# ?# 8"8 ?8
@# 8#" ?" 8## ?# 8#8 ?8

@8 88" ?" 88# ?# 888 ?8
Daro Snchez H.
55
o sea
@"
8"" 8"# 8"8 ?"
8## 8#8 ?#
@#
8
#"

@8
88" 88# 8 ?8
88
Como det 834 " ! entonces existe 834
" 34 lE l
834 " det 8 43 " 34 lE43 l
"
la matriz inversa y es dada por
34
aqu lE43 l detE43 y E43 es la matriz obtenida de 834 suprimiendo la 4-fila y la 3columna.
Como " 34 lE43 l entonces todo elemento 1 K puede ser escrito como una
combinacin lineal de los elementos @" @# @8 ya que,
?"
@"
?#
@
834 " #
?8
@8
y @" @# @8 generan a K , basta hacer el mismo procedimiento seguido en la
parte + 33 de este ejercicio.
Recprocamente, supongamos que
8
8"4 ?4
4"
8#4 ?4
4"
884 ?4
4"
es una base de K entonces como ?" ?# ?8 es base tambin, observando en la

parte 33 de + ?" ?# ?8 debe ser despejado en funcin de @" @# @8 y
por consiguiente como
" 34 lE l
834 " ./> 834 34 +34
y los elementos +34 deben ser enteros, entonces
det 834 ".
18.Sea K un grupo abeliano (escrito aditivamente).
+ Pruebe que el conjunto B K B es un subgrupo X K de K (llamado
el subgrupo de Torsin de K). Pruebe tambin que X KX K es el subgrupo

trivial del grupo cociente KX K .
, Pruebe que las siguientes afirmaciones son equivalentes:
3 K es finito.
33 K es finitamente generado y todo 1 K tienen orden finito.
333 K es generado por un subconjunto finito W tal que todo = W tiene
orden
finito.
3@ K es finitamente generado y tiene rango cero.
Daro Snchez H.
56
- D un ejemplo de un grupo abeliano finito de rango cero tal que, para todo
entero 8 " exista un elemento de K de orden K orden 8

SOLUCION. + 3 X K B K B , sean B C X K entonces
B 7 +, y, C 7
As
7B ! 8C !, se sigue que
7 8 B C 78 B 78 C 87 B 78 C 8 7B 7 8C 8 ! 7 ! !
Luego B C B C X K
As X K es un subgrupo de K.
33 Sea Kw KX K
X Kw 1 X K 1 X K
1 X K X Kw 1 X K 7
entonces
7 1 X K 71 X K X K
de aqu se sigue que
71 X K 71 8
entonces
8 71 87 1 ! 1 X K
se sigue que
1X K X K ,
en resumen
1 X K X Kw X K subgrupo trivial
, 3 33 Sea K 1" 1# 18 probemos que
1" 1# 18 K
En efecto,
1 K b3 tal que 1 13 1" 1# 18
As K es finitamente generado.
Ahora, sea 1 K y considrese L 818 , entonces L es un subgrupo
cclico de K generado por 1 como K es finito, entonces L es finito; se sigue por
un resultado bsico cal? b5 6 5 6 tal que 51 61 lo cual es equivalente a
6 5 1 !, o sea, 1
33 333 Si K es finitamente generado, entonces K W , de donde
W =" =# =8 K
por consiguiente K es generado por un subconjunto finito W . Ahora, si para todo
1 K 1 entonces como W K, se tiene que a= W = .
As, K es generado por un subconjunto finito W tal que todo elemento = W tiene
orden finito.
333 3@ Si K es generado por un subconjunto finito W , entonces K es
finitamente generado.
Ahora, como todo = W , tiene orden finito, es decir, a= W W , se sigue
que
W
X K K W
X K
de donde se sigue que K X K .
As, todo elemento de K tiene orden finito o equivalente a que K tiene rango cero.
Daro Snchez H.
57
3@ 3 K =" =# =8 . Como K tiene rango cero, a1 K, 1 , en

particular a=3 3 " # 8
=3 . Sea 7 max =3
"38
K =" =# =8
8
Luego K es finito.
-
Sea K3 3,
3 =3 3
3"
3 =3 3 7 7 " ! " # 7
3"
3 ! y sea
. ,36
3 !
K3 , entonces K es un grupo
abeliano con la operacin suma componente a componente.

Sea 8 8 " entonces
Entonces
" # 8 " "

8 8 "
K y
8.
8 simo
19.Sea K un grupo abeliano finitamente generado, digamos

K Y" Y # Y > Z " Z # Z <
donde Z" Z# Z< son grupos cclicos infinitos y los Y3 son grupos cclicos finitos
de orden, 53 " siendo 53" un divisor de 53 3 " # > 5! "
+ Probar que K X K P para algn subgrupo libre P de K y que
X K Y" Y # Y >
, Sea 53 :"83" :=83= una descomposicin de 53 en potencias de nmeros primos
:" := distintos. Escribir X K como suma directa de subgrupos cclicos de orden
8
:4 34 4 " # = 3 " # >
- Sea K # # '% * )" & #& #& "'* #$ . Indique subgrupos
Y" Y# Y$ de K que sean cclicos y tales que K Y" Y# Y$ , Y " Y# Y$ .
Sea 1 Y" Y# Y> 1 ?" ?# ?> , donde ?3 Y3 ,
SOLUCION. +
3 " # >. Como Y3 es cclico finito, entonces ?3 por consiguiente
?3 X K
a3 " >. Como X K es un grupo, entonces 1 ?" ?> X K,
se sigue que
Y" Y # Y >
X K.
Ahora
1 X K 1 K Y" Y# Y> Z" Z< con 1 7
entonces
1 ?" ?# ?> @" @# @<
Adems
71 7?" 7?# 7?> 7@" 7@< !
por un resultado bsico cal? , se sigue que
Daro Snchez H.
58
7@ 3 ! a4"#<
7? ! a3"#>
4
como Z4 4 " # < es infinito cclico, entonces @4 ! 4 " # <.

As
1 ?" ?# ?> Y" Y# Y>
o sea que
X K
Y" Y # Y >
por consiguiente
X K Y" Y # Y >
as
K X K Z" Z # Z < .
Sea
P Z" Z # Z <
como los Z3 son cclicos infinitos, entonces sea
Z3 @3 3 " # < .
Demostremos que @" @# @< genera a P y es linealmente independiente, en
efecto6 P Z" Z# Z< , entonces b >3 Z3 tal que 6 >" ># >< como
Z3 @3 por lo tanto b " # < tal que >3 3 @3 , 3 " # < entonces
6 " @" # @ # < @ < .
Ahora si
"" @" "# @# "< @< !
entonces por un resultado bsico cal? se sigue que "3 @3 ! esto implica que
@3
"3 !
a3 " # <,
de donde, se tiene K X K P as P
es un grupo abeliano libre.
8
, Sea 53 :"83" :#83# :=83= , 3 " # >. Entonces :4 34 4 " # = es la ms alta
potencia de :4 que divide a 53 Y3 . Por el primer teorema de Sylow, existe un
subgrupo
W:834
4 " # = 3 " # >
4
de Y3 de orden : 4 34 4 " # = adems

53 Y3 :"83" :383# :=83=
se sigue por un resultado bsico cal? que
Y3 W:"83" W:#83# W:=83=
3 " # >
Adems como Y3 es cclico, los W:834 son cclicos, as tenemos la siguiente
8
descomposicin de X K
X K
W:"8"" W:#8"# W:=8"= W:"8#" W:#8## W:=8#= W:"8>" W:#8># W:=8>=
8
es suma directa de grupos cclicos de orden :4 34 4 " # = 3 " # >.
- Establezcamos la siguiente disposicin de los primos que figuran en la escritura
de K, mediante la tabla siguiente:
#
#
#'
$#
$%
&
&#
&#
"$#
Daro Snchez H.
59
#$
"! # & # $# &# %&! %&! #& $# "$ #$

esto nos lleva a afirmar que
K
"! %&! %&!#& $# "$# #$
o ms exactamente
K
#& #$# &# #' $% &# "$# #$ .
As K debe tener subgrupos cclicos Y" Y# Y$ tales que
Y" # &
Y # # $# & #
Y$ #' $% &# "$# #$
Obtenindose adems que
Y" Y# , , Y $ Y $
Construccin de Y" Y# y Y$ .
Adoptemos la siguiente notacin
b# # el cero de # b'% '% el cero de '% b* * el cero en *
b#& #& el cero de #& b)" )" el cero de )" b"'* "'* el cero de "'*
b& & el cero de & b#$ #$ el cero de #$ .
As
Y" " # b# b'% b* b)" " & b#& b#& b"'* b#$
Como # & " Y" # &
Y# b# " # b'% " * b)" b& " #& b#& b"'* b#$
Como # * " * #& " # #& " entonces
Y# # $# &#
Y$ b# b# " '% b* " )" b& b#& " #& " "'* " #$
y por un razonamiento anlogo se tiene
Y$ # &# $# #& $# "$# #$
Ahora, si 1 K; entonces
1
5" # 5# # 5$ '% 5% * 5& )" 5' & 5( #& 5) #& 5* "'* 5"! #$
5" # b# b'% b* b)" 5' & b#& b#& b"'* b#$
b# 5# # b'% 5% * b)" 5( #& b#& b"'* b#$
b# b# 5$ '% b* 5& )" b& b#& 5) #& 5* "'* 5"! #$ Y" Y# Y$
Adems es fcil ver que
Y" Y # Y $ !
Y # Y$ Y" !
Y" Y $ Y # !
Por consiguiente
K Y" Y # Y $ .
Generalizacin
Sea K :" <" :# <# :8 <8 , donde los :3 3 " # 8 son primos, no
necesariamente distintos. Entonces
K Y 7" Y 7# Y 7 <
donde los Y73 3 " # < son subgrupos cclicos de K tales que 73 divide a 73"
3 " # < " y as sucesivamente, e invitamos al lector para que termine los
detalles.
Daro Snchez H.
60
20.
Sea ) > G G una aplicacin de un grupo > sobre un conjunto G .

Escribamos " B en lugar de ) " B , donde " >, B G . Probar:
+ ) es fiel si y slo si para todo " > " existe un B G tal que " B B.
, Los estabilizadores >B >C de dos elementos B C G pertenecientes a la misma
rbita, son isomorfos bajo un automorfismo interno de K ver ejercicio 9, .
- Si ) es fiel, transitivo y > es abeliano entonces vale que " B B para todo
" > " y todo B G .
. En la afirmacin - niguna de las hiptesis ww fiel ww , ww transitivo ww , ww abeliano ww es
superflua. Indique un contraejemplo
L G donde
SOLUCION. + " > ", supongamos que ) es fiel, esto es = >
# )#
)# G G
B )# #)B # B
Sea " > " entonces " ", como = es inyectiva, en este caso
=" )" )" M.G
por consiguiente
bB G )" B " B B
Sea " ker= entonces )" = " )" M.G o sea
)" )"
"
Si " " " > " , entonces por hiptesisi, existe B G tal que
)" B " B B.
Ahora, " implica que
" B )" B )" B B,
lo cual poes absurdo, luego " " ker= ".
, Como C > B # B # >, entonces existe > tal que C B . Entonces
: > >
# #"
es un automorfismo interior de >. Definimos ahora
: : > >
B C
#
: # #"
: esta bien definida.
Para esto basta probar que

#" C C, si # >
B
En efecto:
#" C # " C # B # B B C
: es sobre.
Sea D >, y , # " D . Demostremos que # > es decir, # B B; en efecto
C
B
# B " D B " D B " D C " C B
Adems,
: # " D " D
Daro Snchez H.
Luego
: es sobre.
Ahora
: >
>
61
es un homomorfismo inyectivo, entonces

: : l> es
B
tambin un homomorfismo inyectivo.

Como
: >
> entonces se sigue que
: es un isomorfismo de > sobre >, es
B
C
B
B
:
>
decir,
> =
B
C
- Supongamos que la implicacin es falsa es decir, ) fiel y transitiva, > abierto , y
b" > " bC G " C C
Consideremos >C la rbita que pasa por C, como ) es transitiva, se tiene
aB G b# > B # C
lo cual es equivalente a ( > es grupo)
aB G b# > # " B C
As se tiene que como " C C, entonces,
" # " B # " B "# " B # " B.
Como > es un grupo abeliano se tiene
# " " B # " B # " " B # " B
de donde simplificando # " ya que > es un grupo,
"B B
o
sea
que
)" B )" B o lo que es lo mismo que = " = " . Como ) es fiel, = es inyectiva
por lo tanto " " po, lo cual es contradictorio.
. " Sea > cualquier grupo abeliano, G +, definamos
) > +
+
- + +
) no es fiel, claramente
) es transitiva
> es abeliano
Adems por + como ) no es fiel, b" > " tal que + B + se tiene
" B " + + o sea la negacin de # Sea > ^" " " # W$
G " # $ definimos
) >G
G
1 B 1 B
aqu ) es fiel, porque = >
LG
es inyectiva
1
)1
> es abeliano
) no es transitivo ya que > B 1 B 1 ^" G
No se cumple - ya que para " " # ^" " " $ $
$ Sea > W$ y G " # $ definimos
) >G
G
1 B 1B
Aqu
) es fiel, ya que
= W$
L G W$ es inyectiva, en efecto
1
)1
= 1" = 1 # ) 1 " ) 1 #
Ahora
)1" B )1# B
aB 1" B 1# B aB.
Daro Snchez H.
62
As 1" 1# , esto segn la definicin de igualdad entre funciones.

) es transitiva, ya que
> B 1B 1 W$ , es :
> " 1 " 1 W$ " # $
> # 1 # 1 W$ " # $
> $ 1 $ 1 W$ " # $
Ahora no se cumple - , en efecto tomando 1 "#$

$#" W$ " se tiene 1 # #
21.Sea
K un grupo de orden %! resp. %& . Pruebe que K posee solamente un
&-grupo de Sylow.
SOLUCION 3 K %! & #$
Por el primer teorema de Sylow &" es la mayor potencia de & que divide al orden de
K, entonces existe un &-grupo de Sylow de orden &. Sea
?? es un &-grupo de Sylow de K
Se sigue del tercer teorema de Sylow que #
" mod& o sea que # " &5 ,
donde 5 ! " # . Como #l K %!, entonces se ve que 5 ! as se tiene
que # " por lo tanto K tiene exactamente un &-subgrupo de Sylow.
33 Tomemos ahora K %& $# & y segn el primer teorema de Sylow como
&" es la mayor potencia de & que divide a K , entonces K admite un &-grupo de
Sylow de orden &. Sea
V ?? es un &-subgrupo de Sylow de K
por el tercer teorema de Sylow #V
" mod& por analoga con el caso 3 el nico
divisor de %& que esta en la clase de " mdulo & es uno as #V " o sea en K no
hay sino un &-subgrupo de Sylow.
22.Sea
K un grupo de orden $! resp. &' . Pruebe que K posee un :-grupo de
Sylow normal en K para algn nmero primo : que divide a $! resp. &' .
SOLUCION. " K $! # $ &
Como #" $" y &" son las mximas potencias de # $ y & que dividen al orden de K,
entonces por el primer teorema de Sylow existen en K #-subgrupos de Sylow,
$-subgrupos de Sylow y &-subgrupos de Sylow de orden # $ y & respectivamente.
Sean
A ?? es un #-subgrupo de Sylow de K
B ?? es un $-subgrupo de Sylow de K
C ?? es un &-subgrupo de Sylow de K
Ahora por el tercer teorema de Sylow
#A
" mod#
#B
" mod$
#C
" mod&
Daro Snchez H.
63
Se sabe que si un :-subgrupo de Sylow de K es nico, entonces es normal (esto

por un resultado bsico cal? ) As
+ Consideremos #C, este puede ser " o ', ya que son los elementos de la clase
del " mdulo & que dividen a $!, Si #C ", entonces de hecho tendramos que hay
en K un &-subgrupo de Sylow normal. Supongamos ahora que #C ', entonces
sean L" L# L$ L% L& L' los ' subgrupos de orden & , entonces
L3 L4 /
34
3 4 " # '
por que L3 L4
1 L3 y L3 &.
Entonces cada L3 posee % elementos de K de donde &. Como hay ' subgrupos de
orden &, tenemos que hay #% elementos de K de orden &.
, Consideremos #B, este puede ser " o "!, ya que son los elementos de la clase "
mdulo $ que dividen a $! K . Si #C ", entonces #B "! y en ese caso se
tiene la primera posibilidad de + .
Si #C ' entonces #B " porque supongamos que no sea #C ' y #B "! "
en ese caso K posee "! subgrupos de orden $, sean estos O" O# O"! ,
anlogamente O3 O4 /
3 4 " # "! 3 4. Estos dan lugar a #!
elementos de K de orden $ distintos todos, entonces junto con los #% elementos de
la parte + orden & tendramos que en K habran %% elementos distintos entonces
K $! po lo cual es contradictorio. As, en el caso de que #C ' entonces
#B ", esto implica que hay un $-subgrupo normal de K
33 Si K &' #$ (. Como #$ y (" son las mximas potencias de # y (
que dividen al orden de K, se sigue del primer teorema de Sylow que existen en K,
#-subgrupos de Sylow de orden ) y (-subgrupos de Sylow de K de orden (. Sean
V ?? es un (-subgrupo de Sylow de K
D ?? es un # subgrupo de Sylow de K.
Ahora por el tercer teorema de Sylow
" mod#
#V
" mod(
#D
+ Consideremos #V, este puede ser " o ), ya que son los elementos de la clase
mdulo 7 que dividen a &'.
Si #V ", entonces de hecho tendramos que en K hay un (-subgrupo de Sylow
normal.
Supongamos
ahora
que
#V ),
sean
), (-subgrupos de Sylow de V , L3 L4 /
entonces
L" L# L)
los
3 4 3 4 " # ) porque
L3 L4
1 L3 y L3 (. Entonces en cada L 3 hay ' elementos de K de orden (,
as que los ) subgrupos de L3 tendrn ) ' %) elementos de K de orden (.
, Consideremos #D, este puede ser " o (, ya que son los elementos de clase "
mdulo # que dividen a &'. Si #V " entonces #D ( y en ese caso se tendra la
primera posibilidad de +
Daro Snchez H.
64
Si #V ), entonces #D " porque supongamos que esta afirmacin no sea

verdadera, esto significa que #V ) y #D ( " sean O" O# O( los
elementos de D, o sea los #-subgrupos de Sylow de orden ), como antes
O3 O4 / 3 4 3 4 " # ( porque O3 O4
1 O3 y O3 ). Entonces
cada O3 posee ( elementos de orden ) del grupo K, como hay ( subgrupos O3 se
tendra ( ( %* elementos de K distintos de orden ) y junto con los %)
elementos de la parte + de orden ( tendramos *( elementos de K esto implica
que K &' po lo cual es una contradiccin. Se sigue que #V ) lo cual implica
que #D ", esto demuestra entonces que K tiene un #-subgrupo de Sylow normal,
lo cual queriamos mostrar.
23.Pruebe que todo grupo de orden "& es cclico.
SOLUCION. Sea K un grupo tal que K "& $ &.
$" y &" son las mximas potencias de $ y & que dividen a K por el primer
teorema de Sylow, existen L" L# $-subgrupos y &-subgrupos de Sylow de orden $
y 5 respectivamente. As
L" $ L# &
como $ y & son nmeros
primos, entonces L" y L# son grupos cclicos por lo tanto L" + L# , . Sea
V ?? es $-subgrupo de Sylow de K
D ?? es &-subgrupo de Sylow de K
El tercer teorema de Sylow nos dice que
" mod&
#V
" mod$ #D
pero " es el nico elemento de las clases de " mdulo $ y & respectivamente que
dividen a K "&, de esto se sigue que #V " #D. Esto implica que L" y L#
son subgrupos cclicos normales de K. Por el ejercicio "!, ya estudiado arriba,
tenemos
+ $
, &
$ & "
entonces + , +, y +, es un subgrupo cclico de K. Se sigue que
K +,
24.Sea
K un grupo finito, : un nmero primo y L un :-subgrupo normal de K.
Pruebe que L est contenido en todo :-grupo de Sylow de K.

SOLUCION. Sea T un :-grupo de Sylow cualquiera de K
V ?? es un :-subgrupo de Sylow de K.
Ahora por el segundo teorema de Sylow parte + dado L , existe ? V tal que
L
por la parte , del segundo teorema de Sylow tenemos que b# K tal que
?, "
? #T # .
"
"
De esto se tiene que L
#T # # L #
"T pero por la hiptesis se sabe que
L es un subgrupo normal de K entonces # L # L , se sigue que
L # " L #
T.
Daro Snchez H.
65
25.Sea
K un grupo finito, Kw un subgrupo de K y : un nmero primo tal que : y
K Kw sean primos entre si. Sea S resp.Sw el conjunto de los :-grupos de Sylow
de K resp,Kw . Pruebe:
w
+ Sw L SL
K
, Si Kw es normal en K entonces Sw S
SOLUCION. + Sea L Sw entonces L es un :-subgrupo de Sylow de K w as
L :< l Kw y :<"yl K w .
Ahora # K Kw ; entonces K Kw ; , pero : ; " entonces :<" ; "
por lo tanto
L :< l Kw entonces :< l K
tambin se tiene que :<"yl K porque si :<" l K entonces
:<" l Kw ;
:<" l Kw
:<" ; "
lo cual po es contradictorio. Entonces L es un :-subgrupo de Sylow de K y

w
w
L
K
K por lo tanto L L SL
K .
w
w
Recprocamente sea L L SL
K entonces L S L
K de donde L
es un :-subgrupo de Sylow de K y L
Kw , entonces
L :- l K :-"yl K
Ahora K Kw ; por lo tanto
L :- l K w ; :- l K w
M
: - ; "
Supongamos por otro lado que :-" l Kw entonces :-" l Kw ; o sea que
:-" l K lo cual po es contradictorio, se sigue que
:-"yl Kw
MM
de M y MM se sigue que L es un :-subgrupo de Sylow de Kw por lo tanto L Sw
se sigue entonces que
w
Sw L SL
K
, Sea Kw K y L Sw entonces L es un :-grupo de Sylow de Kw entonces L S
as
Sw
MMM
S
w
Ntese que sta constituye la parte + Sw L SL
K .
Ahora sea L S entonces L es un :-subgrupo de Sylow de K entonces
L :< l K :<"yl K
de la parte + M y MM
:< l Kw :<"yl Kw
por el primer teorema de Sylow existe un :-subgrupo de Sylow T de Kw . Esto es
T Sw y se sigue de MMM que T S entonces L y T son :-subgrupos de
Daro Snchez H.
66
Sylow de K entonces por el segundo teorema de Sylow ellos son conjugados as

existe # K tal que
L # T # "
Ahora
w "
w
L # T # "
Kw , entonces L
#K #
K
Kw K
As L S
w
w
w
L
K entonces L L SL K S . Esto implica entonces
que S Sw .
..
para cada uno de los siguientes grupos:
26.Indique una sucesin de Jordan-Holder
+ 8 (grupo cclico de orden 8 :"8" :#8# :<8< , siendo :" :# nmeros primos
distintos)
, Z% &! siendo Z% el grupo de Klein
- W& W% W$ W# (siendo W3 el grupo de las permutaciones de " # 3
Cales de estos grupos son resolubles?
L:8" :8# :34 :"8" :#8# :434 8 donde " 34 84 4 " # <
SOLUCION. + Sea
as
L:8" :8# :34

"
Ahora
"
L:
34 "
8" 8#
" :# :4
8 34 84"
:4" :<8<
:4 4
:"8" :#8# :44
3 "
L:8" :8# :34"

"
"
8 de donde se sigue que
8 34 " 84 "
:4" :<8<
:4 4
Adems
L:8" :8# :34" L:8" :8# :34 , " 34 8 4 "
Ahora
"
"
L:8" :8# :34 L:8" :8# :3< "

"
"
4 " # <
"
:
# 4
primo .
Se sigue que los cocientes
L:8" :8# :34 L:8" :8# :34" ,

"
"
" 34 8 4 "
4 " # <
son simples, as
L:8" :8# :34

"
"34 8 4 4 "#<
es una sucesin de Jordan-Hlder para 8.

, Z% &! . Sean
Z%
L" 5#
L" #
&!
K" # &!
$ K" #&
K "! &! K
K# &
"
#
Daro Snchez H.
67
>& M &! >& "

>% M K# >% " K# &
>$ M K" >$ " K" #&,
># L" K" ># L" K" &!
>" Z% K" >" "!!
>! Z% &! >! #!!
De $ se sigue que
>! >" ># >$ >% >&
>! Z% &! es abeliano, puesto que los grupos componentes son abelianos se
sigue entonces que
>3" >3 , 3 " %
Ahora, >! >" >! >" #!!

"!! # >! >" es cclico y de orden primo entonces
>! >" es simple
>" ># "!!
&! #
Anlogamente >" ># es simple
># >$ &!
>$ >% &
>% >& &
#& #
Se sigue entonces que los cocientes >3 >3" ,
3 " %
son simples. Por
consiguiente, por un resultado bsico (cal?)
>! >" ># >$ >% >&
es una sucesin de Jordan-Hlder de Z% &! .
- Sea >! W& W% W$ W# >! &x %x $x #x
>" E& W% W$ W# y >" '! %x $x #x
># M& W% W$ W# y ># %x $x #x #))
>$ M& E% W$ W# >$ " %x# $x #x "%%
>% M& Z% W$ W# as >% " % $x #x %)
>& M& O# W$ W# >& " # $x #x #%
>' M& M% W$ W# >' " " $x #x "#
>( M& M% E$ W# >( " " $ #x '
>) M& M% M$ W# >) " " " #x #
>* M& M% M$ M# >* " " " " "
Claramente se tiene que
>* >) >( >' >& >% >$ ># >" >!
Ahora
>!
>"
&x%x$x#x
>" &%$%x$x#x # primo , ># E& simple, no abeliano
Por lo
orden
>3
%x$x#x
"#$x#x
12$x#x # primo , >% % $x#x $ primo
%$x#x
#$x#x
# primo , >>&' #$x#x
$x#x # primo
>7
$#x
$x#x
$#x # primo , >) #x $ primo
"# # primo
>3
tanto se tiene que
3 ! # ) son simples, pues ellos son
>3"
>"
primo, ahora como ># E& y E& es simple, entonces >>"# es simple as
>2
>3
>%
>&
>6
>7
>)
>*
de
Daro Snchez H.
68
>! >" >*

es una sucesin de Jordan-Hlder para W& W% W$ W#
. 3 8 es resoluble puesto que existe una sucesin de Jordan-Hlder
L:8" :8# :34
"
"34 8 4 , 4 "#<
tal que los cocientes
L:8" :8# :34 L:8" :8# :34" ,

"
"
" 34 8 4 "
4 " # <
son cclicos de orden primo.

33 Z% &! es resoluble, puesto que por la parte , existe una sucesin de
Jordan-Hlder tal que los cocientes son cclicos de orden primo.
333 W& W% W$ W# no es resoluble, en efecto demostremos que para toda
sucesin de Jodan-Hlder
de W& W% W$ W# existe un grupo cociente el cual
no es cclico. Sea
K! K" K5
W& W% W$ W# , por la parte
otra sucesin de Jordan-Hlder para
>! >" , ,>* es una sucesin de Jordan-
Hlder para W& W% W$ W# . Por consiguiente, por el teorema de Jordan-Hlder

w
5*
>"
>" ># . Como
as, existe 3 ! " # * tal que K3 K3"
># E& y E& es no
>"
abeliano, entonces
es no abeliano y en particular no es cclico. Por
>#
consiguiente K3 K3" no es cclico.
27.Describa
un mtodo de cmo construir una sucesin de Jordan-Hlder para

cualquier :-grupo finito K.
< "
SOLUCION. Sea K un grupo tal que K :<
<
Lema. Si K es un grupo, cuyo orden es : , < " entonces K tiene un subgrupo
normal L de orden :<" .
En efecto, sea : 5 Si K es un grupo cuyo orden es :5 entonces existe un
subgrupo normal L cuyo orden es :5"
Hagamos induccin sobre < (o sea sobre 5
3 < " K :" as L / es un subgrupo normal de K cuyo orden es
L " :! :""
33 Supongamos que : 5 es verdadero para todos lo 5 < < " y mostremos que
: < es verdadero.
Sea K un grupo tal que K :< < " se sigue que ^ K " as
/ ^ K
1 K :l ^ K .
Por el teorema de Cauchy, ^ K posee un subgrupo R cuyo orden es :, o sea

R
^ K R :
se sigue que
R K
pues cualquier subgrupo de ^ K es normal en K.
Daro Snchez H.
Sea K" KR entonces

K" KR
K
R
:<
:
69
:<"
como < " < entonces por la hiptesis de induccin, : < " es verdadera. Por
consiguiente K" KR tiene un subgrupo normal L , tal que L :<# o sea,
bL L KR L :<#
Por el segundo teorema de isomorfismo, existe un subgrupo L de K conteniendo
a R , tal que
LR L
L K ,
se sigue que
L K L :<" .
Ahora sea K un grupo tal que K :< < ".
Por lo anterior, existe L" tal que
L" K
L" :<"
El mismo resultado aplicado a L" existe L# tal que

L2 L"

L# :<#
El mismo resultado aplicado a L# existe L$ tal que

L$ L#

L$ :<$
as, sucesivamente, despues de <-pasos encontramos

" L< L<" L<# L" L ! K
<3
tal que
L3 :
adems
L3
:<3
L3
L3" L3" :<3" :
y por consiguiente
L3
L3"
3 ! " # < "

son cclos de orden primo. Se sigue que
L3
3 ! " # < "
L3"
son simples, as
L! L" L<
es una sucesin de Jordan-Hlder para K, un :-grupo cualquiera.
28.Demuestre que todo grupo finito K posee una sucesin de Jordan-Hlder.

SOLUCION.Inductivamente sobre el orden de K K 8.
3 Si K " entonces trivialmente " K! K es una sucesin de JordanHlder

33 Supongamos que K " y que cualquier grupo de orden menor que K
tiene una sucesin de Jordan-Hlder. Si K es simple entonces " K"
K! K
K!
es una sucesin de Jordan -Hlder para K, pues K" K! K y K! es simple.
As, supongamos que K no es simple. Sea R un subgrupo normal de K R " y
R K. Puesto que K es finito, podemos suponer que R es el subgrupo normal de
mayor orden contenido propiamente en K. Esto es, Q K y Q K entonces
Q R
Daro Snchez H.
70
Por hiptesis de induccin, ya que R K existe una sucesin de JordanHlder para R , esto es existe R! R" R6 tales que
" R6 R6" R6# R" R! R
R3
y
3!"#6"
R
"
3"
es simple. Demostremos que

R! R " R 6 R K
es una sucesin de Jordan-Hlder para K. Como R6 R K por " es suficiente
probar que KR es simple.

Si KR no es simple, entonces tiene un subgrupo normal no trivial, L . Por el
segundo teorema de isomorfismos L OR donde O es un subgrupo normal de
K que contiene a R . Como L no es trivial, entonces O K O R . Se sigue
que O R R6 , lo cual contradice la escogencia de R6 R po As KR

es simple.
29.Sea E
un anillo no trivial y sea D un elemento de E tal que D 7 !, para algn

7 Pruebe que " D es un elemento inversible de E
SOLUCION.Sea D " D D # D 7" E .
Por la ley distributiva de E, se sigue que
D " D " D D # D 7" " D ".
Anlogamente
" D D " D " D D # D 7" "
se sigue que
D " D D # D 7"
es el inverso de " D en E
30.Sea E un anillo y sea I8. E el anillo de los endomorfismos del grupo aditivo
E de E. Demuestre que E es isomorfo a un subanillo de I8. E , indicando un
homomorfismo inyectivo E I8. E .
SOLUCION. Sea + E definimos
:+ E E
B :+ B + B
:+ esta bien definida porque si B C como E es un anillo y + E, esta
permitido sumar + para obtener + B + C esto implica que :+ B :+ C
:+ es inyectiva, pues se :+ B :+ C + B + C simplificando + se sigue
BC
:+ es sobreyectiva puesto que si D E entonces D + E aplicandole :+ a
este elemento se obtiene que :+ D + + D + + D + D
Se sigue que para todo + E :+ I8.E . Definimos ahora
F E I8. E
+ :+
Daro Snchez H.
71
Trivialmente F esta bien definida. Probemos que F es inyectiva, en efecto:

F + F , :+ :, :+ B :, B aB + B , B aB
+,
en particular B !
Adems, si 7 :+ + E conjunto de las transformaciones a izquierda,

7
entonces 7 es un subanillo de I8. E . Adems trivialmente E
31.Sea I un conjunto no vacio de ideales de un anillo conmutativo E. Probar

+ La interseccin M es un ideal de E.
M I
, Si para cualesquier M" M$ I existe un M$ I tal que M"
M$ y M#
M$ entonces la
reunin M ser un ideal de E.
M I
SOLUCION. + 3
M es un subgrupo de E, en efecto;
M I
B C M aM I B C M
aM I B C M B C M
M I
M I
M
1E
33 E M
M , en efecto;
M
M I
I
B E
M b+ E 8 M
M I
M I
aM I + E 8 M B +8
, 3
es ideal
B +8 b+ E aM I 8 M B +8
aM I B +8 M B
M
M , es un subgrupo de E en efecto;
M I
B C M bM" I bM# I B M" C M#
M I
bM$ I B C M$ B C M .
M I
M$
E
1
33 E M
M , en efecto;
M
M I
I
por hiptesis
M I
bM$ I B C M$
B E
M es ideal
32.Sea
M + E 8 M B +8 bM I + E 8 M B +8
M I
M I
bM I B +8 M B M .
M I
K un grupo tal que K :; : ; primos, probar
+ K tiene un subgrupo de orden : un subgrupo de orden ; .

, Si ; yl : " entonces K es un grupo cclico.
- Dados dos nmeros primos : ; , tales que ; | : " entonces existe un grupo no
abeliano de orden :;
Daro Snchez H.
72
SOLUCION. + Por el primer teorema de Sylow, K tiene un :-subgrupo de Sylow y un
;-subgrupo de Sylow.
, Por el tercer teorema de Sylow, sea
=: " 5: para algn 5 !
=: V ?? es un :-subgrupo de Sylow de K
y
=; " 5; para algn 5 !
=; D ?? es un ; -subgrupo de Sylow de K
y se tiene que
=: l K :;
=; l K :;
3 Supngase que
=: " 5: l:;
" 5: l;
" 5: : "
entonces
" 5: ; " 5: "
" 5: " luego 5 !
;:
As, =: " e implica que existe un slo :-grupo de Sylow L: , el cual es normal en
K.
33 Ahora si =; l:;
" 5; l:
" 5; ; "
" 5; : " 5; " " 5; " , luego 5 !
y "
;l:
Anlogamente el ; -grupo de Sylow L; es normal en K

Puesto que L: L; son subgrupos normales de orden : y ; respectivamente, con
: ; ", y como por hiptesis K :; , se sigue que K +, de donde
L: + L; ,
- Sea K W$ , as W$ $ #, entonces : $ ; # adems ; #$ " : " y
de aqu W$ es no abeliano.
33.Probar que cualquier subgrupo de orden :8" en un grupo K de orden :8 :
un
nmero primo, es normal en K.

SOLUCION. Se sabe que existe B K tal que B L y BLB" L . Se sigue que
L R L :8" R L
y
Donde R L 1 K1L1" L. Como R L l: 8 , se sigue que R L :8

R L K entonces L K.
34.Probar que el centro de cualquier :-grupo es no trivial.

SOLUCION.Sea K un grupo tal que K :8 8 " y consideremos la funcin dada
por
) KK
K
 < K ) B <B<" < K

^ K < K <B<" B aB K < K B B > K
B
Como
.
K >B K
#>B
B Kw
BKw
entonces
w
K
#>B+
#>B ^
K
BKw ^
B^
As
K>
>B
B
K
B^
#B+
:8 ^
BKw ^
BKw ^
#K> ^
B
BKw ^
K >
B
:8
R B
o sea que R B (B 8, as
:8
:8
R B ^ :l ^
(B 8
y ^ es no trivial.
35.
Si K :8 donde : es un nmero primo y si R / es un subgrupo

normal de K, probar que R ^ / siendo ^ el centro de K.
SOLUCION. Sea > K ; como R K, definimos
) KK
K
 < > ) B <B<" < >
Anlogamente, como en el problema de arriba,
R
#>B
#>B+
#>B
#B+
#>>
B
As
BR w
BR ^
BR w R ^
R R ^
BR w R ^
Ahora
As
R B >
R : 
R B
:l R ^ R ^ /.
BR w R ^
R ^
aB R w R ^
"<8
:< R ^
y
>
>
B
BR ^
BR w R ^
>
R B
Daro Snchez H.
36.Si
74
R es un subgrupo normal de K y + K es de orden + probar que el
orden 7 de R+ en KR es un divisor de + .
7
R
SOLUCION. 7 es el ms pequeo entero tal que R+
as,
+
R+ + R+ R/ R 7l + .
37.Si R es un subgrupo normal en un grupo finito tal que K R y R son

nmeros primos relativos, demostrar que cualquier elemento B K tal que
B R / debe estar en R .
K 7
SOLUCION. R 8 7 8 "
Sea B K tal que B R B8 /. Como 7 8 " entonces existen ; 5 tales

que 7; 85 ". Ahora
R B R B7;85 R B7; B85
R B7;
R B R.
B8
38.Sea
B58 /
K
R
7
K un grupo finito abeliano de orden K y supongamos que 8 es un
nmero entero relativamente primo con K . Probar que cualquier 1 K puede

ser escrito como 1 B8 con B K.
K
SOLUCION. Considrese la aplicacin 9 K
C C8
9 C" C# C" C# 8
C"8 C#8 9 C" 9 C#
K es abeliano
33 9 es sobreyectiva: Sea 1 K, entonces, como K 8 " existen ; 5

tales que ; K 58 " as
8
1 1 K ;58 158 15
Tomando C 15 entonces
8
9 C 915 15 1.
Como K es finito se sigue que 9 es inyectiva, luego 9 es un isomorfismo.
De otro modo: Supongamos 18 D 8 158 D 58 entonces
158 / D 58 / 158 1 K ; D 58 D K ;
por lo tanto
1 158 K ; D 58 K D
as, 9 es inyectiva, como K es finito y 9 es un homomorfismo se sigue que 9 es un
isomorfismo.
39. + Dado cualquier grupo K y un subconjunto Y sea Ys el subgrupo ms

s de K
pequeo de K el cual contiene a Y . Probar que existe un tal subgrupo Y
Daro Snchez H.
75
s es un subgrupo
, Si 1?1" Y para todo 1 K y para todo ? Y , pruebe que Y
normal de K.
SOLUCION. + Tmese
s [ 1 K Y [ ?" ?# ?8 ?3 Y Y " 3 " 8
Y
s entonces ?
, Sea 1 K y ?
sY
s ?" ?# ?8 donde ?3 Y Y " , 3 " # 8
Ahora
?4 Y " ?"
4 Y
esto equivale a
"
1?"
Y 1?4 1" Y "
4 1
entonces
"
s
1?1
s " 1?" ?# ?8 1" 1?" 1" 1?# 1" 1?8" 1" 1?8 1 Y
s K.
de donde Y
40.Sea Y BCB" B C K. En este caso Ys es usualmente escrito como Kw y es

llamado subgrupo conmutador de K.
+ Probar que Kw es un subgrupo normal de K
, Probar que KKw es un grupo abeliano
- Si KR es abeliano, pruebe que R Kw
. Pruebe que si L es un subgrupo de K y L Kw , entonces L es normal en K
SOLUCION. + Sea 1 K y ? Y entonces existen B C K tales que ? BCB" C "
Ahora
1?1" 1BCB" C" 1" 1B1" 1C1" 1B" 1" 1C" 1" 1B1" 1C1" 1B" 1" 1C" 1"
"
"
1B1" 1C1" 1B1"
1C1"
Y.
Luego por el ejercicio anterior parte , Kw es un subgrupo normal de K
, Sean 1" 1# K entonces
1# 1" 1#" 1"" Kw 1# 1" 1#" 1"" Kw Kw 1#" 1"" Kw 1"" 1#" Kw 1" 1# Kw 1# 1" Kw
1" K w 1# K w 1 # K w 1 " K w
- Supongamos que KR es abeliano 1 Y 1 BCB" C" .
R BC R CB R BCB" C" R 1 BCB" C" R
. L Kw sea 2 L y 1 K entonces 121" 121" 2 " 2 K w L L .
41. Sea Z un conjunto de nmeros reales, y para + , d + ! sea 7+, Z Z

definida por 7+, B +B ,. Sea K 7+, + , d + ! y sea R 7", K Probar
que R es un subgrupo normal de K y tal que KR al grupo multiplicativo de
nmeros reales distintos de cero.
SOLUCION. 3 7+" ," K 7",# R , entonces 7+" ," 7",# B 7+" ,# 7+# ,# B 7+" ," +# B ,#
+" +# B ,# ," +" +# B +" ,# ," 7+" +# +" ,# ," B
"
33 7+, 7". 7+" ," B 7+, 7". 7 " , B 7+, 7". B+ +, 7+, B+ +, .
+
Daro Snchez H.
76
B+ +, . + , B , +. , B +. 7" +. B entonces 7+, 73. 7+, " R

as R K
333 KR 1R 1 K 7+, R + , d + !, definamos 9 K
d !
7+,
+
9 esta bien definida, pues 7+, 7+" ," aplicandolo en ! tenemos
7+, ! 7+" ," ! +! , +" ! ," , ,"
Ahora, 7+, B 7+" , B +B , +" B , +B +" B + +" B ! aB + +"
As, 7+, 7+" ," 9 7+, + +" 9 7+" ," .
9 es un homomorfismo en efecto;
9 7+, 7+. 97+- +., +- 9 7+, 9 7-.
9 es sobreyectivo,
Sea , d !, entonces, 9 7,- , , basta tomar 7,- en K.
Entonces 9 es un homomorfismo sobreyectivo bien definido. Adems ker9 R .
Por el teorema de homomorfismos se sigue que KR d !.
42.Probar que el centro de un grupo es siempre un subgrupo normal de K

SOLUCION. ^ K D K DB BD aB K.
Sea 1 K y D ^ 1D D1 entonces 1D1" D ^ .
43.Supngase
que K es un grupo y sea W

1 ^ K . Mostrar que si KW es cclico
entonce G es un grupo abeliano
KW es cclico entonces KW += . Ahora sean 1 2 K
SOLUCION. Como
3
entonces 1 + = y 2 +4 =w = =w W as
12 +3 = +4 =w +3 =+4 =w +3 +4 = =w +3 +4 =w = +4 +3 =w = +4 =w +3 = 21
44.Probar que cualquier grupo de orden :# : primo es abeliano.

SOLUCION. Sea K un grupo de orden :# y sea ^ el centro de K. Como ^
1K
#
#
entonces ^ : ^ : . Si ^ : entonces ^ K as K es abeliano
Si ^ : entonces K^ : as K^ es cclico luego por el ejercicio
anterior K es abeliano.
45.Sea K un grupo y R un subgrupo normal de K Supongamos que L KR tiene

una sucesin de subgrupos L L"
L#
L$
L8 donde L3 L3" 3 "

para 3 " # 8 ". Probar que K tiene una sucesin de subgrupos
K K"
K#
K8 tal que K3 K3" 3 " 3 " # 8 "

SOLUCION. Sea 0 5R K KR . Entonces 0 es un homomorfismo sobreyectivo,
w
adems ker0 R . Sea [R L
1K R
L y [ L L
1 KR , entonces las
aplicaciones
:
F
[R " [ w [w [ R
L 0 L
L 0 " L
Daro Snchez H.
77
son biyecciones, no obstante si

L K 0 L KR
o en forma equivalente
L K 0 L LR KR
KR LR entonces R 0 " L3 K, es decir, 0 " L3 K3 ,
y adems KL
1
1
de donde L3 0 0 " L3 K3 R . Como L3
L
K
3
3"
K3" , adems
K3 K3" K3 R K3" R L3 L3"

se sigue que
K3 K3" L3 L3" 3 "
46.Sea K un grupo finito con subgrupos normales Q R . Sea L
un subgrupo de K
LR R .
tal que Q L R L ". Probar que LQ Q
SOLUCION. Como Q R R L ", entonces
L Q L R ",
ahora
LQ Q L
LQ L"L
LR R
LQ Q
LR R L
LR L"L
47.Sean
R Q subgrupos normales de un grupo K R

Q . Supongamos que KR
es cclico y R Q #. Probar que KQ es abeliano.
SOLUCION.Como KR es cclico, entonces KR es abeliano. Por los problemas 39
w
y 40 - R
K . Ahora por el segundo teorema de isomorfismos
KQ R Q , siguindose que KQ R Q es cclico. Mostremos que
KR
R Q
^KQ sea R Q Q 8Q , obviamente Q ^KQ . Ahora, sea
1 K 1Q KQ , entonces
" "
818" Kw
R 818 1 R
as tenemos que
Q
818" 1" Q o
8Q
Veamos que 818" 1" Q 8Q en efecto supongamos que
818" 1" Q 8Q 18" 1" Q Q 8" 1" Q 1" Q
18Q 1Q 8Q Q po
lo cual es contradictorio, luego
818" 1" Q Q 1Q 8Q 8Q 1Q
As,
KQ R Q es cclico y R Q
^ KQ
se sigue que KQ es abeliano.
48.
Encontrar un grupo K con subgrupos normales R y Q R

Q KR cclico,
R Q cclico, pero KQ no es abeliano.
Daro Snchez H.
78
# "#$
: 3 : :# donde : "#$
$"# : #$"
Entonces
W$ : # : W$ . Como : $ entonces : es cclico se
W$ y W$ no es abeliano.
sigue que : M es cclico. Adems W$ M
SOLUCION.Sea K W$ Q M, R
49.Probar que todo grupo de orden %# posee apenas
un (-grupo de Sylow. D un
ejemplo de un grupo que tenga a lo ms un #-grupo de Sylow.
SOLUCION.Sabemos que hay por lo menos un subgrupo de orden (, esto segn el
primer teorema de Sylow. Sea 8( #(-subgrupos de Sylow de K, entonces del
" mod( , esto es 8( " ) "& ## . Ahora 8( l'
tercer teorema de Sylow 8(
entonces 8( " # $ ', se sigue que 8( ". Por consiguiente K posee uno y slo
un (-grupo de Sylow.
lW$ l ' # $; entonces W$ tiene
EJEMPLO. Sea W$ permutaciones de " # $
tres #-subgrupos de Sylow
"#$
"#$
"#$
"#$
"#$
W$ "$# #"$ $#"
"#$
#$" "#$
$"#
"#$ L# "#$
"#$ L$ "#$
"#$
L" "#$
"#$ "$#
"#$ $#"
"#$ #"$
son los #-subgrupos de Sylow de W$ .
Otro ejemplo es dado por W% que tiene tres #-subgrupos de Sylow de orden ) pues
Z% es un subgrupo de orden % que no es normal en W% W% tiene * subgrupos de
orden # que son normales as hay ms de un subgrupo de orden ). Como $ es el
nico divisor de #% y 8) ##-subgrupos de Sylow de W% entonces por el tercer
" mod# . Sguese que hay exactamente tres #-subgrupos de
teorema de Sylow 8)
Sylow de orden ) en W% .
50.Usando
los teoremas de Sylow, probar que todo grupo abeliano K, de orden

8" 8# 8< , donde 8" 8# 8< son nmeros naturales primos dos a dos, es
producto directo de grupos L" L# L< cuyos ordenes son 8" 8# 8<
respectivamente.
SOLUCION. lKl 8" 8# 8<
"=
"#
8" :"""" :"#
:"="" p factores primos distintos
#=
##
8# :#"#" :##
:#=## p factores primos distintos
<"
<=<
<#
8< :<" :<# :<=< p factores primos distintos
"=
#=
<#
"#
##
entonces
lKl :"""" :"#
:"="" :#"#" :##
:#=## :<"<" :<#
:<=<=<<
como
83 84 " si 3 4 entonces los nmeros primos :34 son todos distintos # a #
Daro Snchez H.
79
Por los teoremas de Sylow, para cada :3434 , existe :34 -subgrupo de Sylow L34 de
K de donde lL34 l :3434 . Como K es abeliano, L34 K y entonces L34 es el

nico :34 -subgrupo de Sylow de K
Note que si 3 4 5 6 entonces L34 L56 3. pues si B 3. y B L34 L56 ,
>
>56
entonces B :3434 B :56
lo cual po es imposible, pues :34 son primos
distintos. Llamaremos ahora
< =3
L"" L3=" L<" L<=< L L34
3 "4 "
el grupo generado por la reunin y probemos que L K.

Tome L56 fijo y tome R # L34 y consideremos el siguiente diagrama
34 56
L
)
R
K
l
L56
entonces
L
R
L56
L56 R
lLl
lR l
lL56 l
lL56 R l
lL56 l.
L56
R L56 /
Por consiguiente lLl es mltiplo de lL56 l para todo 5 6 .
51. Sea V
un dominio. Cal es la relacin entre el grado de un polinomio J B en

VB y el nmero de sus races contando las multiplicidades ? Pruebe que si V
contiene a un subconjunto infinito W , entonces para todo polinomio no nulo
J B VB existe un = W tal que J = !
SOLUCION. + Sea J B +! +" B +8 B8 VB +8 !. Entonces J B tiene a lo
mximo 8 races en V , esto es
# de races de J B ` J B
, W V W infinito y sea J B ! como arriba si para todo = W tenemos J = !,
entonces J tendr infinidad de races en V , lo que va en contra po del hecho de
que
# de races de J B ` J B <.
52.Sea V un anillo conmutativo con unidad. Probar que todo ideal propio de V
est contenido en un ideal maximal. Probar que V posee apenas un ideal maximal
si y slo si el conjunto de sus elementos no inversibles es un ideal.
SOLUCION. V es un anillo conmutativo con unidad y sea I V ideal propio. Esto
implica que " I. Sea
J N ideales de V tales que I
V
N
Daro Snchez H.
80
N ideales de V tales que I

N y " N
J pues I J y ordenamos a J por inclusin. Sea N- - A
J un
subconjunto totalmente ordenado y mostremos que es inductivo superiormente.

Para esto, tenemos N N-A
3 N es un ideal de V
+ + , N existen . ( A tales que + N. y , N( , como es totalmente
ordenado, tenemos que N.
N. . Supongamos que N .
N( , esto implica
N( N (
que + , N( luego + , N(
N entonces N es un subgrupo conmutativo de
V .
, Suponga < V y 4 N . Entonces existe . A tal que < V y 4 N. , como N. es
ideal, tenemos que <4 N .
N
33 N
M
pues
N
,
a
.
A
.
333 " N , en efecto, si " N , entonces existe N. tal que " N.
J, lo cual es
po contradictorio.
Por 3 33 y 333 vemos que N J y que para todo N. , se tiene N.
N . Luego N
es un mayorante de . Entonces I es un conjunto parcialmente ordenado en el cual
todo subconjunto totalmente ordenado posee un supremo. Luego
I tiene
elementos maximales. Sea Q un elemento maximal de I. Entonces Q I y para

todo R I tal que Q
y " y para todo
R forzosamente Q R , luego Q
I y Q
IR
R ideal tal que Q R

V Q R R V .

, 3 Supngase que Q B V B es no inversible es un ideal de V . Entonces

Q V pues " Q " es invertible . Q es maximal pues para todo N ideal de V tal
que Q N , entonces N tendr elementos inversibles y entonces " N y por tanto
N V Q es el nico ideal maximal, pues cualquier otro ideal maximal M V no

contiene ningn elemento inversible pues sern M V y entonces M
Q luego
M Q.
33 Supongamos ahora que V posee apenas un ideal maximal T y sea
Q elementos no inversibles de V, como T V entonces T no posee elementos
inversibles y entonces T
Q . Por otro lado, si B Q sea V B B V el ideal
generado por B entonces V B es un ideal propio de V pues B Q que por la
primera parte de este ejercicio, est contenido en un ideal maximal. Pero el nico
ideal maximal es T . Luego V B
T y entonces B T , as Q
T y se sigue que
Q T es un ideal.
53.En
las siguientes proposiciones se desea afirmar si son verdaderas o falsas,

justificar la respuesta:
Daro Snchez H.
81
+ Sea K un grupo y L un subgrupo de K. Sea KL respectivamente L K el
conjunto de las clases laterales a izquierda respectivamente a derecha de K

mdulo L Existe una aplicacin biyectiva de KL sobre L K.
, Sea K un grupo finito de orden 8. Para todo divisor . de 8 existe un subgrupo
L de K de orden . .
- Sea K un grupo finito y sean :" :# :< los nmeros primos que dividen al
orden de K . Entonces K es producto directo de subgrupos W: " W:# W:< siendo
W:3 un :3 -subgrupos de Sylow de K.
. Sea K un grupo abeliano, producto directo de dos subgrupos L" y L# . Entonces
todo subgrupo Kw de K es producto directo de dos subgrupos L"w y L#w tales que
w
L"w
L# .
L" y L#
SOLUCION. + Verdadera. sea [ +L + K [w L+ + K defnase : [ [w
mediante : +L L+" la cual es una biyeccin.
, Falsa. Si K es un grupo cclico, vale. Tambin vale si . :7 , donde :l8
W% de orden "# no posee ningn
CONTRAEJEMPLO: El subgrupo alternado E%
subgrupo de orden '.
- Falsa. Cuando K es un grupo abeliano vale el resultado, pues es un resultado
bsico. Pero si tomamos por ejemplo W$ , tenemos que lW$ l # $ y sin embargo
W$ no puede ser escrito como L" L# donde L" es #-subgrupo de Sylow y L$ es
$-subgrupo de Sylow porque ninguno de los #-subgrupos de Sylow de W$ es
normal.
. Falsa. Tmese K O% " 5 7 57 el grupo de Klein y L" " 5 L# " 7 ,
entonces 3 L" L# K pues K es abeliano 33 L" L# " 333 K L" L# ,
entonces K L" L# Tomemos ahora L$ " 57 , es obvio que L$ no puede ser
escrito como producto directo de dos subgrupos L"w L#w de L" L$ respectivamente.
54.Probar que todo grupo de orden 15 es cclico.

SOLUCION.lKl "& $ & . Sea ($ #$-subgrupos de Sylow de K
(
" mod$ ($ "%("!
+ $
($ "
( l&( "&
$
Anlogamente (& #&-subgrupos de Sylow de K (& "

Por lo tanto existe uno y slo un L" , $-subgrupo de Sylow y existe uno y slo un
L# , &-subgrupo de Sylow por lo tanto L" K y L# K.
,
lL" l L" L" L# lL" L# llL" L# l$
lL# l L# L" L# lL" L# llL" L# l&
lL" L# l "
por lo tanto L" L# /

- : L" K L# K L" L# L" L# L " L#
Del diagrama del lado y el teorema de los homomorfismos, tenemos
Daro Snchez H.
K
l
L"
L"
L" L#
LL" L# #
L"
L" L#
lL" L# l
lL# l
lL" l
lL" L# l
82
lL" L# l
&
$
"
L#
entonces |L" L# l "& por consiguiente L" L# K

Por otro lado, tenemos que
L" L" L#
L" L# L" L# entonces L" L#
L L L
L" L#
#
" #
pues L" L# es el menor grupo que contiene L" L# .
Tambin es claro que L" L#
L" L# . Luego < L" L# L" L# K.
Entonces podemos escribir K L" L# . Esto tambin es equivalente a:
3 Si 2" L" y 2# L# 2" 2# 2# 2"
33 Para cada 1 / en K, 1 1" 1# de manera nica donde 13 L3 . Como
lL" l $ lL# l & entonces son ambos cclicos; luego existe 23 L3 tales que
L3 23 .
Sea 2 2" 2# tenemos que
2
"&
2" 2 #
"&

2" 2# 2" 2#
2" 2" 2# 2# 2""& 2#"&
"&
"&
"&
&
$
2"$ 2#& /& /$ /.
2 / pues 2 / 2" 2# / de donde 2" 2#" L# L" L# 2" / po lo
cual es absurdo.
Si ! 8 "& y 2 8 / tenemos que
2 8 2"8 2#8 / 2"8 2#8 L" L# entonces
2"8 / 8 $ 8"
2#8 / 8 & 8#
8 !.
! 8 "&
Luego l 2 l "& 2 K .
55. +
Indique todos los grupos a menos de isomorfismos de orden &. Cales

de ellos son abelianos, cuales son cclicos?
, D un ejemplo de un grupo abeliano K tal que, para todo 8 " existe un B8 K
de orden 8.
- D un ejemplo de un grupo infinito, no abeliano.
. D un ejemplo de un grupo abeliano sin torsin.
SOLUCION. + De orden " slo el trivial.
D orden # $ & slo los grupos cclicos, pues son todos de orden primo.
D orden % tenemos el grupo cclico % y el grupo de Klein O%
Daro Snchez H.
83
! " # $
O% 3
+
,
+,
3
3
+
,
+,
!
! " # $
+
+
3
+,
,
"
" # $ !
,
,
+, 3
+
#
# $ ! "
+, +, ,
+
3
$
$ ! " #
Todos ellos son abelianos.
Los rdenes " # $ & son cclicos por tener orden 8 primo. El grupo % es cclico,
generado por el elemento ". El grupo O% no es cclico pues si suponemos que lo es
existira 3 B O% tal que B% 3 y B B# B$ 3 se tiene si +# 3 de donde no es
+ +, # 3 de donde no es +, , # 3 de donde no es ,.
, Tomemos K conjunto cociente de los racionales por la relacin de
:
:
7
equivalencia 7
8 ; 8 ; .
7
8 donde 7 8 8 !
es abeliano y si 8 , tomemos 8" 8" y tenemos
8" 8" " !
y para todo 7 , ! 7 8,
8 @/-/=
7
8" 8" 7
tenemos
que
pues
Luego
8
8 .
"
l 8 l 8.
- Sea Q # el conjunto de las matrices reales # # y sea K # el conjunto de las
matrices # # inversibles. Entonces K # es un grupo no abeliano para la
multiplicacin de matrices
" " " ! # "
! " " "

" "
" "
" !
son inversibles.
! "
" "
" ! " " " "
" " ! "
" #
. Ejemplo de grupo abeliano sin torsin, tomar grupo abeliano y note que
a- tenemos - - es infinito, si - !.
Como otro ejemplo para el caso - , podemos tomar
%
8"
W$
53
3"
tal que 53 3. para casi todo 3
es un grupo infinito no abeliano.
56.Sea E un anillo conmutativo y I el conjunto de sus ideales distintos de E.

+ Dado U , I, cales inclusiones valen entre U, U , U , U ,?
, Probar que la aplicacin I
I dada por
U U B E B8 U para algn 8
es una aplicacin de clausura en el conjunto I ordenado por inclusin. (Esto es,

U U ; si U , entonces U , y U U )
Daro Snchez H.
84
Indique condiciones necesarias y suficientes para que el homomorfismo

E EU E, definido por B B U B , sea inyectivo.
SOLUCION. + E anillo conmutativo , I ideales de E E y U, , I
-
U , " U, " ,
8
U,
3 "3 3 U " 3 ,
3"
U,
U,
U
U ,
U,
U,
:
,
I I
UU B E B8 U
" B U B U
# U , y sea B U. Entonces B8 U
,B ,
$ Por " , tenemos que U
U y si B U , entonces B8 U y por lo
tanto B8 7 U B78 U y entonces B U .
:
- E
EU E,
Notemos inicialmente que ker: U ,
B B U,B ,
B ker: : B U , B U,B , U , B U U, , B , ,
B U, , B , B U ,
El homomorfismo es inyectivo U , ! ker:
57.Sea F
un dominio y sea E un subanillo principal de F (es decir, todo ideal de E

es principal). Sean B C D E tales que D es un mximo comn divisor de B C en E.
Probar que D es un mximo comn divisor de B C en F.
SOLUCION. F dominio y E
F tal que E es principal y sea D un mximo comn
subanillo
divisor de B C en E, si D es un mximo comn divisor entre B y C en E y como E

es un dominio principal, sabemos que existen ? @ E tales que ? B @ C D
(esto por un resultado bsico). Suponga que existe + F tal que +lB y +lC. Debemos
+lB+l?B
probar que +lD
+lC+l@C +l ?B @C entonces +lD
por consiguiente D 7-. + ,
58.En
en F .

+ Si K" es un subgrupo normal de K# y K# un subgrupo normal de K$ entonces K"
ser un subgrupo normal de K$ .
, Todo grupo finito de orden 8 es isomorfo a un subgrupo del grupo simtrico W8
( grupo de las pernutaciones de " # 8)
- Sean L O subgrupos normales de K tales que L O . Entonces
Daro Snchez H.
85
K L O L L O O L O
. Sea E un grupo abeliano finito y : un nmero primo que divide al orden de E
Entonces E posee exactamente un :-grupo de Sylow.

/ Sean V V w dos anillos conmutativos con unidad, 0 V V w un homomorfismo
sobreyectivo, y I w un ideal de V w . Entonces I w es un ideal maximal de V w si y slo si
0 " I w es un ideal maximal de V
y K" K$
SOLUCION. + Falsa: K" K# K$
Tome W% y el subgrupo alternado E% . Entonces E% W% y lE% l "# ## $. Como E%

es cclico, entonces todo subgrupo es normal, luego existe un nico #-subgrupo
de Sylow L y existe un nico $-subgrupo de Sylow O . Tenemos
L E% W% ,
O E% W%
pero uno de los dos L O no es normal en W% .
Tome L O 3 "# $% "$ #% "% #$ L E% W% pero L
y W% .
, Verdadero: Sea K +" +8 K W8
y ver el teorema de Cayley.
+ :+ : +
- Falsa: Si se supone verdadera, tendramos en el caso finito que
lKl
lLl
lOl
lKl
lOl
K L O L L O O L O lLOl
lLOl
lLOl
entonces lLl
= lLOl
"
Pero el diagrama del lado nos informa que:
lLOl
lOl
LO O
K
#
L LO lLl lLOl
l
LO
) /
L
O
y )
L O
De " y # tendramos que lKl lL Ol K L O , lo que no siempre es
verdad.
. Verdadero: lEl 8 8 :7 < con : < ". Por los teoremas de Sylow tenemos
que existe por lo menos un :-subgrupo de Sylow y como E es abeliano, el ser
normal, luego es nico.
/ Verdadero: 0 V
V
Si Iw es maximal en V w y si existe un ideal Q V tal
l
Iw
0 " Iw
que
0 " Iw
Q " , entonces, por ser 0 sobreyectiva tenemos que
w
Iw 0 0 " Iw
0 Q V
Luego Iw 0 Q 0 " Iw 0 " 0 Q
#
Q
De " y # tenemos 0 " Iw Q .

w
"
" w
Si 0 " Iw es maximal y si Q V w es tal que Q
I , entonces V 0 Q
0 I ,
luego 0 " Iw 0 " Q y por ser 0 sobre, tenemos Q Iw .
Daro Snchez H.
59.Sean
86
L y O subgrupos normales de un grupo K tales que los ndices K L y
K O son nmeros finitos. Probar que K L O es finito.
KL 8
SOLUCION. KO 7
K L O 87
Sean B" B8 C" C7 representantes de las clases mdulo L y mdulo O

respectivamente:
KL B" L L B# L B8 L
KO C" O O C# O C7 O
Sea BL O K L O . Si BC B L O , tenemos que
BCBL pues CL
BCBO
BL BO .
pues CO BC BL BO entonces B L O
Si + BL BO +B22L entonces B5 B2 + BC donde C L O .

+B5 5O
25
Luego + BL O BL BO
BL O.
En esta forma BL O BL BO . Por lo tanto los elementos de K L O
sern a lo mximo los siguientes:
B" L B" O B" L O
B8 L B8 O B8 L O
C" L C" O C" L O
C7 L C7 O C7 L O .
Luego K L O 7 8
60.Sea K un grupo de orden "(&
+ Calcule el nmero de los &-grupos de Sylow de K.

, Calcule el nmero de los (-grupos de Sylow de K.
Es posible escribir K como producto directo de un &-grupos de Sylow y un

(-grupo de Sylow?
SOLUCION. lKl "(& &# (
+ Sea (& #&-subgrupo de Sylow de orden #& de K
(
" mod& (& "'"""'
&
(& "
( l(( "(
-
&
&
, Sea (( #(-subgrupo de Sylow de orden ( de K

(
" mod( (( ")"&###*$'
(
(( "
( l#&( "&#&
(
3 Sea L tal que lLl #& &# L K pues L es nico

O tal que lOl ( O K pues O es nico
lLl lO Ll L O L lO Ll #&
33
lO Ll " entonces O L =/
lOl lO Ll O O L lO Ll (
L O L
333
O L
O L , entonces O L
O L
O
O L
-
Daro Snchez H.
87
Tambin es claro que O L

L O O L L O . Por lo tanto, de
los teoremas de isomorfismos, tenemos que
lOLl
lOl
lOLl
OL O
(
L OL lLl lOLl , entonces #& " lO Ll "(&
Esto implica que O L K, luego K O L
De 3 33 y 333 se sigue que K L O .
61.
Sea K M una familia de grupos y para todo M , sea L un subgrupo

normal de K . Probar que
+ # L es un subgrupo de # K .
, # K # L
M
es isomorfo a # KL .
M
SOLUCION. K M
L K
#
+ # L
K es un subgrupo normal. Sean 2 2 5 5
M
2 5 2 5
Si 2
2
"
# L entonces
# L pues 2 5 L a as L es un subgrupo de K
M
# L , entonces 2 L para cada y por tanto 2" L , entonces
M
"
2
# L . Si 1 1
K, por consiguiente tenemos 121" 1 2 1"
y como cada L K tenemos que 1 2 1" L para todo y entonces

1 2 1" # L
# K L
, # K # L
M
Usemos las siguientes notaciones # K K # L L # K L >.

M
Definimos un homomorfismo sobre 0 K > tal que L ker0 y tenemos entonces

0
>
K >
KL
: '
Kker0 KL
Definimos entonces 0 1 1 L # K L
M
0 es bien definida pues si 1 C 1 C a, entonces 1 L C L a, y

por lo tanto 0 1 1 L C L 0 C
0 es un homomorfismo pues;
L K
0 1 C 0 1 C 1 C L
1 L C 1 L L C
1 L C L 1 L C L 0 1 0 C .
0 es claramente sobre e inyectiva.
Daro Snchez H.
88
63.Sea V un anillo conmutativo con unidad y W un subconjunto de V tal que ! W y
que B C W implica que B C W . Probar que

+ El conjunto de los ideales I de V tales que I W posee un elemento
maximal J
, J es un ideal primo de V
SOLUCION.W
V tal que ! W y B C W B C W
+ _ I ideales de V ; I W . Notemos que _ pues ! _, dado que
! W. Ordenemos parcialmente
tal vez
_ por inclusin y tomemos
I- - A
_ un subconjunto totalmente ordenado y probemos que I I-A
es un mayorante de en _.
3 I es un ideal de V pues si B C I, existen - . A tales que B I- C I. y
como esta totalmente ordenado, podemos suponer I.
I- y entonces B C Ique es un grupo, por tanto B C I-
I. Luego I,+ es un grupo; adems si
B I y < V , tenemos que B I- < V , lo cual implica que <B I-
I.
33 I W , pues si existe B I W , tenemos que B I- W para algn - A, lo

que espo contrario a la hiptesis de que I-
_.
333 Para todo I- , tenemos que I-

I.
Por 3 33 y 333 , tenemos que I es un mayorante de
en _
. Luego
_
es parcialmente ordenado, donde todo subconjunto totalmente ordenado
tiene mayorante. Por el lema de Zorn existe un elemento maximal J _.
, J es un ideal primo de V
Si B J, C J entonces podemos construir los ideales
J,B J B 4 <B 4 J y < V
J,C J+ C 4 <C 4 J y < V
Como existe " V y como ! J, tenemos 4 4 ! C. Luego J J B y J J C y
ww
ww
como J es maximal para la propiedad J W , tenemos que existe
" J B J y # J C J tal que " # W " # W
Notemos ahora que J B J C
J BC pues
4" <" B 4# <# C
4" 4 #
<" B 4#
<# C 4" <" <# 4" $$
<$ 4"
<% 4#
<& BC
J
V
V
V
J J
J
4 <BC
Suponiendo por absurdo que B C J, tendramos que J BC J y como
" J,B
entonces " # J,BC J
J C
#
Daro Snchez H.
89
W
pero "
" # W
# W
Tendramos " # J W , po contradictorio. Luego B C W y J es primo.
JW
64.En

+ Sea K!
K"
K#
una cadena infinita de subgrupos normales de K.
Entonces la reunin K3 es un subgrupo normal de K.
, Sea E un grupo abeliano escrito aditivamente y sea B un elemento no nulo de E.
La aplicacin B
B C C B para todo C E, es un
s E E, definida por s
automorfismo de E
- Para cualquier entero positivo 7, el grupo multiplicativo del cuerpo posee
uno y slo un subgrupo cclico de orden 7.
SOLUCION. + Verdadero, en efecto,
BK para algn 7
3 si B C K3, entonces CK87 para algn 8 tomando 5 max7 8 tenemos
B C K5 , luego BC" K5 implica BC" K3 por lo tanto K3 es un subgrupo
33
BK
2K3
3
entonces
B K 2 K3
para
algn
3,
luego
B2B" K3
B2B" K3 y entonces K3 es normal en K.

3
3
, Falso, B
E
E
B
/
no es automorfismo de E, pues B
,
s
s no es
C C B
homomorfismo, ya que s
B C" C# C" C# B B
s C" B
s C# C" B C# B, pues
B /.
- Verdadero, Las races de la unidad forman un subgrupo cclico de orden 8 de
a8 . Por otro lado si K
cclico de orden 8
es #un subgrupo
8"
tenemos que K B donde B " B B B y entonces B8 " luego
K son las races 8-simas de la unidad.
65.En

+ Sea V un dominio principal y sean < = V primos entre si en V (es decir, todo
> V que divide a < y = es inversible en V ). Los elementos < = son primos entre si
en cualquier sub-anillo W de V .
, Todo subgrupo de un grupo finitamente generado es finitamente generado.
- Todo K un grupo abeliano. K es igual a la suma directa de sus subgrupos de
Sylow.
Daro Snchez H.
90
. Sean V un anillo y T" T# dos ideales primos de V ; entonces T" T# es un ideal
primo.
SOLUCION. + Verdadero, y ya lo mostramos en un ejercicio anterior Cal?
, Verdadero, pues K es abeliano finitamente generado entonces K es la imgen

homomorfa de un grupo libre abeliano Kw finitamente generado y si L
wK es un
w
w
w
subgrupo de K, entonces L 0 L es subgrupo de K . Ahora L
K siendo
w
subgrupo, se sigue que L es libre abeliano finitamente generado por un resultado
bsico Cal? . Luego L es finitamente generado.
- Falso, pues para poder hablar en subgrupos de Sylow es necesario que K sea
finito. Basta tomar como contraejemplo.
. Falso, Tome V , T" # T# $ tenemos T" T# # $ ' es un
ideal no primo de pues # $ ' y sin embargo # $ '.
66.
Sea K un grupo. Para todo B K, indicamos por XB (respectivamente GB ) a la

aplicacin definida por C BC (resp. C BCB" ) , para todo C K. Pruebe que las
aplicaciones X B XB y G B GB , B K son homomorfismos de K en los
grupos de las permutaciones de K y determine sus ncleos. Cales de estas
aplicaciones (G o X ) transforman a K en el grupo de los automorfismos de K?
SOLUCION.
K B K,
C BC
K BK
X K WK G K K
B GB
C BCB"
B XB
" XB C XB D BC BD entonces C D XB es uno a uno
GB C GB D BCB" BDB" entonces C D GB es uno a uno
# C K, tmese D B" C y, tenemos XB D BB" C C de donde XB es sobre .
Tomando D B" CB tenemos GB C B" BCB" B C de donde GB es sobreyectiva.
Luego XB GB WK y entonces X y G estan bien definidas.
$
X BC XBC XB XC X B X C
XBC + BC+ B XC + XB XC +
G BC GBC GB GC G B G C
GBC + BC+C" B" B GC + B" GB GC +
Luego X y G son homomorfismos.
% kerX B K XB 3. B K XB + + a+ K B K B+ +
a+ K /
kerG B K GB 3. B K GB + + a+ K B K B+ +B a+ K
^ K centro de K.
& XB no es automorfismo porque no es homomorfismo en general
XB +, B+, B+B, XB + XB ,
salvo en el caso B / X/ entonces es homomorfismo.
GB +, B+,B" B+B" B,B" GB + GB ,
Luego GB es homomorfismo.
Daro Snchez H.
91
67.Sea E un anillo conmutativo con unidad, y sea EB el anillo de los polinomios a
una indeterminada. Sea + E y Q 0 EB 0 + !. Mostrar que

+ Q es un ideal de EB.
, Q es primo E es un dominio.
- Q es maximal E es un cuerpo.
Q 0 EB; 0 + !, + E fijo.
SOLUCION.
+ " Q , pues 0 B + EB y 0 + !
# 0 1 Q tenemos 0 1 + 0 + 1 + ! ! !, luego 0 1 Q .
$ 0 Q , 1 EB, tenemos
10 + 1 + 0 + 1 + !!!1 + 0 + 1 + 10 +
Luego 10 y 0 1 Q .
Sea ahora : EB E definida por : 0 0 + , tenemos
0 ker: 0 + ! 0 Q ker: Q .
Tenemos que : 0 1 0 1 + 0 + 1 + : 0 : 1 y que si , E,
entonces , + E, de donde 0 B , + EB y : 0 0 + , . Luego : es
un homomorfismo sobreyectivo tal que ker: Q .
:
E
EB
E
Por el teorema de los homomorfismos tenemos EBQ
EBQ
, Q es primo EBQ es dominio E es un dominio
- Q es maximal EBQ es cuerpo E es un cuerpo.
68.En las siguientes proposiciones se desea afirmar si son verdaderas o falsas,

+ Todo grupo infinito K posee un subgrupo L tal que " L K
, Sea K un grupo finito cualquiera. Todo subgrupo de Sylow de K es normal.
- Sea K un grupo abeliano finitamente generado y L un subgrupo de K L K.
Entonces el rango de L es siempre, estrictamente menor que el rango de K.
. Sea T un ideal primo de un anillo conmutativo con unidad. El radical T de T
es siempre igual a T .
/ Sea I8. K el anillo de los endomorfismos de un grupo abeliano K. Si I8. K
es conmutativo K ser, necesariamente, trivial esto es, K ! .
SOLUCION. + Verdadero 3 Si K no es cclico, entonces tmese + / ", + K
y tome L + as " L K
33 Si K es cclico entonces K + , donde + ". Tmese +# K es claro
que +# " y por consiguiente entonces +# " en ese caso L +# ,
+ L pues si + L tendramos que + +#5 +#5 +" " as +#5" " y K sera
finito, po contradictorio. Luego " +# + .
Daro Snchez H.
92
, Falso, tmese por ejemplo lW$ l ' Tenemos que W$ tiene tres #-subgrupos de
Sylow y ninguno de ellos es normal.
que es abeliano finitamente generado de
- Falso, tomemos K
# que tambin es abeliano y
rango # y tomemos ahora L #
finitamente generado de rango #.
8
. Verdadero, Siempre vale que T

T . Por otro lado, si + T entonces + T
o sea que +8" + T . Como T es primo se sigue que +8" T ,o, + T .
Prosiguiendo as 8 " veces concluimos que + T o sea T
T.
/ Falso, sea K / + grupo cclico de orden #. Los dos nicos endomorfismos
de K son dados por
5K K
:K K
/ /
/ /
+ /
+ +
Es obvio que : 5 5 : pues : 3.K, luego
I8. K ! " 5 : es conmutativo, K es cclico abeliano y sin
embargo K !.
69.Sea K
un grupo de orden :8 ; donde : y ; son nmeros primos, : ; y 8 !

Entonces existe uno y solamente un :-subgrupo de Sylow de K.
: ; 8 ! y 7: #:-subgrupos de Sylow de K
SOLUCION. lKl :8 ; ,
7: " mod: 7: " : " #: "

7: l; 7: " ;
La nica posibilidad de no existir sino " : -subgrupo de Sylow es cuando
; : ",#: ". Pero esto es po imposible ya que : ; , as 7: ".
70.D un ejemplo de un grupo de torsin abeliano infinito.

7
SOLUCION. El grupo abeliano 7
8 donde 8 8 ! 7 es
3 grupo
33 es de torsin, pues l 7
8 l 8
333 es abeliano
3@ es infinito.
71.D un ejemplo de un dominio factorial que no sea principal.
SOLUCION. El dominio B C es factorial pues es factorial entonces B es factorial
BC B C es factorial.
B C no es principal pues el ideal B C no es principal
5B
B C B C 0 B C
5C
0 B C lC ,o,
"
0 B C lB entonces
0 B C lB ,o,
"
Daro Snchez H.
93
Por lo tanto 0 B C ", esto es " B C po contradictorio pues B C no posee

constantes.
72.Probar que todo grupo de orden "##& (# &#

SOLUCION. |K| ( &
#
es abeliano.
" mod&
+ (& nmero de &-grupos de Sylow de orden #&
( "'"""'
entonces ( &l%*( "(%* (& "
&
&
" mod(
(( nmero de (-grupo de Sylow de orden %*
as ( (l#&( "&#& (( "
(
(
( ")"&##
Sea O un (-subgrupo de Sylow como son nicos, tenemos O K

, lLl L L O
lL Ol +l#&, entonces + " & #&
+
lOl O L O lL Ol +l%* entonces + " ( %*
as + " L O "
- Note que como L K O K, tenemos que L O ) L y O L O
Por el teorema de los isomorfismos, tenemos
K
l
L O
/
)
L
O
)
L O
L O
LO L
lLOl lLl entonces lLl = #& lLOl "##& entonces LO K.

L un &-subgrupo de Sylow
LO
lOl
Tenemos tambin
LLO
OLO
lLOl
L K
49
"
L O
L O entonces L O
L O.
Por otro lado es claro que L O
L O . Entonces L O L O K
+ , - K L O
Vale aun la equivalencia:
3a 2 L a5 O tenemos 25 52
+
,
33Todo 1 K puede ser escrito de manera nica como
-
1 25 2 L 5 O
lLl &# donde & es primo
Note que
L y O son abelianos
lOl (# donde ( es primo
Sean 1" 2" 5" 1# 2# 5# K tenemos que
1" 1 # 2 " 5 " 2 # 5 #
2 2# 5" 5#
2# 2" 5# 5"
2 5 # 2 " 5 " 1 # 1 ".
"
#
3
L O son abelianos
73.Sea E un anillo conmutativo con unidad, EB el anillo de polinomios sobre E de

una indeterminada B, e M B el ideal de EB generado por B. Probar:
+ M es maximal si y slo si E es un cuerpo
, M es primo si y slo si E es un dominio.
Daro Snchez H.
94
SOLUCION. Definimos 2 EB
E , donde 0 B +! +" B +8 B8 Tenemos que

0 B +!
[0 B ker2 2 0 B ! +! ! 0 B +" B +# B# +8 B8 0 B B ]
Luego ker2 B y por los teoremas de los isomorfismos
E EB B
E
EBker2
+ M maximal EBM es cuerpo E es cuerpo
, M es primo EBM es un dominio E es dominio.
74.Sea E un dominio y
T un ideal primo de E Probar:
El anillo de fracciones E: B C" B E C E T tiene un nico ideal

maximal, a saber T E:.
, La aplicacin B T B T E: . Esta aplicacin es un isomorfismo si y slo si T
es un ideal maximal de E.
SOLUCION. Sea T un ideal primo del dominio E.
BT
3 W E T es un sistema multiplicativo pues si B C W entonces CT BC T
+
pues T es primo y entonces BC W .

" W pues si " T entonces T E claramente.
33 Tomemos el conjunto
E W + , + E y , W E T
y sobre l definamos la relacin de equivalencia
+ , - . = +. ,- !
denotemos por +, la clase de equivalencia de + , y por E: EW " al conjunto
cociente E W .
333 E: E W " es un anillo conmutativo con unidad
+ +, -. +.,,. E: y la adicin no depende de los representantes de las
clases
, +, -. +,. E: y la multiplicacin no depende de los representantes de
las clases.
- !E "E es el elemento neutro de la suma:
+
!
+",!
+,
, "
,"
. "E "E es el elemento neutro de la multiplicacin:
+ "
+
, " ,
/
+ , .
0/
+
,
+
,
/
0
3@ Tomemos el conjunto
T E: +, E: tal que + T
+ +, .- T E: +- T +. ,- T ,
pero T es un ideal entonces +, .- +.,,. T E:
,
+ T E:
B
C E:
+T entonces +B T , luego
BE
+ y , prueban que T E: es un ideal de E:
B
C
+
,
B+
C,
T E:
Daro Snchez H.
- T E: es maximal
Como T E, entonces " T y entonces
elementos inversibles.
Por otro lado, si
/
0
"
"
95
T E: , luego T E: no contiene
T E: , entonces / E T W y entonces
0
/
0/ esto es,
"
todo elemento de EW " que no esta en T E: , es inversible. De aqu se concluye que

EW " T E: es exactamente el conjunto de todos los elementos inversibles de
EW " Entonces si Q es un ideal de EW " y T E: Q , entonces Q tendr
forzosamente elementos inversibles y entonces Q E, luego T E: es un ideal

maximal.
. T E: es nico ideal maximal
Es claro, pues si Q es un ideal tal que Q E, entonces Q
T E: y si Q es
maximal, entonces T E: Q
@ ET
E: T E:
E: EW "
B
B T " T E: B T E :
+ : esta bien definido, pues
C
B
B T C T B C T BC
" T E: " " T E:
B" T E: C" T E:
, : es un homomorfismo, pues
B"C"
: B T C T : B C T BC
T E: B" C" T E:
" T E:
""
B" T E: C" T E: : B T : C T .
- : es uno a uno , pues,
: B T : C T B" T E: C" T E: B" C" T E: entonces BC
" T E:
as que B C T B T C T .
@3 Notemos que E: EW " =E W en un anillo conmutativo con unidad, luego
E: T E: es un cuerpo, pues T E: es un ideal maximal en E.
Por otro lado, si T es maximal, entonces ET es cuerpo. En vista de esto, para
todo ?+T T , existe @ T tal que
? T @ T @ T ? T " T elemento unidad de ET .
En otras palabras, si ? T , por lo tanto existe @ E tal que
? @ T " T , o sea ? @ " T .
Probemos entonces que : es sobreyectiva, que es slo lo que falta; sea dado
+
+
o sea, , W E T y entonces , T T ;
, T E: E: T E: . Luego
, E:
luego existe C E tal que , C C , " T , esto es, , C " C , " T ,
entonces + C, " T Tomemos ahora B + C E y tenemos que
+C
+C,+
+
+
+
: B T B" T E: +C
" T E: " , , T E: ," , T E:
+ C,"
+, +T E: +, T E:
,
pues
+ C, " T + C,"
T E:
,
Daro Snchez H.
75.Responder
96
a las siguientes preguntas y dar los ejemplos deseados

no d demostraciones
+ Cal es el nmero entero 8 tal que todo grupo de orden 8 sea abeliano?
, Cual es el menor entero 8 tal que todo grupo de orden 8 sea cclico?
- Cales son los grupos K tales que K y " son los nicos subgrupos de K?
. Cmo se llaman los grupos K tales que K y " son los nicos subgrupos
normales de K?
/ Sea K 1 un grupo cclico de orden "). Cales son los nmeros
5 ! " "( tales que 15 es un generador de K?
SOLUCION. + & pues W$ no es abeliano y W$ '.
, Como Z% es un grupo de orden % que no es cclico entonces 8 $.
- Los grupos finitos de orden : primo.
. Los llamados grupos simples.
/ Los primos relativos con "), esto es " & "" "$ "(
76.Sean L y O subgrupos normales de un grupo K tales que K L O .

Entonces L es isomorfo a KO.
L O L K O K
SOLUCION. Hiptesis: K L O
<
K
Ahora sea :L
L O
L<
2 5 2
2 5 B :L
3 Claramente esta bien definida puesto que se trata de la proyeccin
<
<
2 5 2" 5" 2 2" 5 5" :L
2 5 :L
2" 5"
<
33 :L es sobreyectiva por definicin de proyeccin
<
<
O
333 ker:L
2 5 K:L
2 5 "L "L O
As segn el primer teorema de isomorfismos
K
<
O Kker:L L
77.Sea K un grupo finito de orden 8 :< ; , donde : es un nmero primo y

: ; " Sea 5 el nmero de los :-grupos de Sylow de K.
" mod: y 8
! mod5 concluya que ;
! mod5
+ De las congruencias 5
, Probar que si : ; entonces 5 "
- Probar que 5 " en el caso : & < # ; #$) # ( "(
SOLUCION. + 5 #?? es un :-grupo de Sylow de K, sabemos por los teoremas
" mod:
de Sylow que 3 5
33 5l K :< ;
De la primera de las dos afirmaciones anteriores se sigue que 5 " 7: es primo
relativo con : y con cualquiera de sus potencias, as 5 l :<
De 33 se tiene
Daro Snchez H.
97
5l :< 5 :< "
5l:< ; 5l:< 5l;
5l;
! mod5
esto significa que ; 75 para algn entero 7 o sea que ;
, De la relacin 33 de + se tiene
5 " 7:l:< ; " 7:l:< " 7:l;
pero " 7:l :< , entonces
5 " 7:l; 5 " ! :
;:
- Sea i ?? es un &-grupo de K y K # ( "( &# , se tiene que

#i
" mod& , adems #i l K # ( "( &# ,
entonces
#i 5 " 7& con 7
y el nico 7 para el cual
5l K
es 7 !
esto implica que
5 ".
#
Adems 5l & 5l# ( "( #$)

Factores de #$) son:
# ( "% $% ""* #$)
y la clase de " mdulo & tiene
" ' "" "' #" $" $' ""' "#" #$' #%"
y ninguno de estos nmeros divide a algn factor de #$), slo " o sea
5 " ! & ".
APENDICE
Breve historia de los Teoremas de Sylow
En 1959 Wielandt demostr de una forma elemental el primer teorema de Sylow,
usando la nocin de "translacin" de un grupo en sus partes . Ms adelante,
desarrollando estas ideas Krull prob un teorema que generaliza simultneamente
el primero y tercero teorema de Sylow.
Definiciones bsicas: Sea : un nmero primo, K un grupo finito y L un
subgrupo de K. L se denomina un :-subgrupo de K si y slo si su orden es una
l ! mod: es llamado un :potencia de : Un :-subgrupo L de K tal que K L

grupo de Sylow de K Finalmente , K es llamado un :-grupo si y slo si K / es
una potencia de :.
Observaciones preliminares sobre translaciones: Sea Q un conjunto de
partes no vacas de un grupo finito K tal que K opera en Q por translacin, es
decir, +\ + \ para + K y \ Q , sea
9<,\ +\+ K y K\ + K+\ \
Se sabe que #9<,\ K K\ ndice de K\ en K , y es claro que si \ w 9<,\
K\ .
entonces #\ w #\ y K\ w
A continuacin se prueban las siguientes afirmaciones
" a\ Q b\! 9<,\ / \!
Daro Snchez H.
98
# Sea \ Q y sea \ un sistema de representantes de la sobreyeccin

B K\ B B \ ; entonces K\ B B\ es una particin de \ .
$ #\ #\ K\ /
% #9<,\ K / #\ " #\
& Si / \ y #9<,\ K / #\ " entonces \ K\ 9<,\ KK\
Pruebas:
" \ , pues si + \ entonces / +" \ 9<,\
# \
K\ B es trivial. La igualdad vale una vez que K\ B
\ . Es evidente que
B\
las clases laterales a derecha K\ B

\ , son disyuntas dos a dos.
$ Es una consecuencia de #
% Resulta de $ y #9<,\ K K\
& De % se sigue que # \ ", luego \ K\ / K\ por # as 9<,\ KK\ .
El primero y el tercero teoremas de Sylow
! mod:< , ; K / :< , [ el conjunto de todos : -grupos
Sean < tal que K /
de Sylow (resp. subgrupo) de K con :< elementos , es evidente que K opera en Q
por translacin.
" mod:
Teorema O<?66 .
#[
Demostracin: + Q es una unin disyunta de rbitas, Q
\ Q
9<,\ y podemos
escoger el conjunto de representantes Q de la sobreyeccin \ 9<,\ de tal

forma que a\ Q / \ obs." .
Para todo L [ tenemos 9<,L KL #9<,L ; y L es el nico \ 9<,.L tal
que / \ ; luego [
Q por otro lado \= Q [ tenemos por la obs % que
#9<,\ ; #\ #\ es una potencia de : : \ por $ y & implica que =\ !. Se
sigue de aqu que:
#Q
#9<,L
#9,<\
; #[ mod:;
L[
\Q [
: ;"
# : ; " # :;5 "
, Es claro que #Q ::<; ; ::<;"
" :< "
5
65
<
<
<
:< "
<
5"
:< "
5"
l ! 79.:
para ;5 65 convenientes en , 65
y este producto es igual a
:< "
7
"
: 6 para 7 y 6 convenientes, tal que 6 7 " y 6 : ". Puesto que
<
<
" : "
" mod: .
: A y 6 :A " tenemos que 6 " ", luego : <;"
6
: "
! mod:< entonces ;
y ! mod: En este caso [ es el

Sea < max8 K /
conjunto de todos los : grupos de Sylow de K y tenemos directamente del teorema
que:
Corolario 1. Tercer teorema de Sylow El nmero de :-grupos de K es
congruente con ", mdulo : .
Corolario 2. Primer teorema de Sylow K tiene al menos un :-grupo de Sylow.
Para < " tenemos el "teorema de Cauchy":
! mod: entonces K tiene un subgrupo de orden :
Corolario 3. Si K /
Daro Snchez H.
99
Observaciones sobre conjugacin:

Sea Y un subgrupo de K y sea [ un conjunto de subgrupos de K tal que Y opera
en [ por conjugacin, esto es, ?L ?L?" para todo ? Y y L [. Para
cualquier L [ sea
-984Y L ?L?" ? Y y aY ? Y ?L?" L
se sabe que
#-984Y L Y aY L , , aY L aK L Y
donde aK L es el normalizador de L en K Probaremos que:
' Si Y es un :-subgrupo de K y [Y L [ aY L Y entonces
#[Y
#[ mod: .
Demostracin: Para todo L [, #-984Y L es una potencia de :; en particular,
#-984Y L " L [Y Sea [ un conjunto de representantes de L -974Y L
L [ . Entonces [Y
[ y puesto que [ es una unin disyunta -984K L se
L[
sigue as el resultado deseado.

Segundo teorema de Sylow: Sea < [ como las consideraciones del primer y
tercer teorema de Sylow, entonces todo subgrupo Y de K opera en [ por
conjugacin, probaremos ahora otro corolario del teorema anterior.
l ! mod: .
Corolario 4. Existe L [ tal que #-984K L
Demostracin: [ es la unin disyunta
-984K L para algn [
[ luego
#[
#-984K L .
L[
L[
! mod: ;
Supongamos que para todo L [ #-984K L
entonces #[
! mod: po contradiciendo el teorema.
Teorema Segundo teorema de Sylow + aY :-subgrupo de K, bL [ tal que
Y
L.
, aL [ [ -984K L ,
esto es, todos los :-grupos de Sylow de K son conjugados.
l ! mod: . Es
Demostracin: + Por el corolario 4, existe L [ tal que #-984K L
w
w
! mod: ,
evidente que Y opera en [ -984K L . De ' se sigue que #[Y #[w
w
w
w
w
w
w
luego L [ tal que aY L Y L es un subgrupo de K es Y L L Y Y L w se
concluye que
Y Lw / Y Lw Lw Lw / Y Y Lw Lw / .
el ndice Y Y L w es necesariamente una potencia de : := y puesto que L w es un
w
:-grupo de Sylow tenemos que = ! es decir, Y Y L w Y
L .w
, En particular, si Y es un : grupo de Sylow tenemos que L Y ", luego
Y L w . De esta forma [ -984K L (para L [ escogido en el comienzo de la
demostracin) pero entonces [ -984K L ww para todo L ww [
Corolario: #[ " si y slo si K tiene un :-grupo de Sylow normal.
Daro Snchez H.
100
DLL
BIBLIOGRAFIA
- Azevedo, A. & Piccinini, R., Introduo a Teoria dos Grupos, IMPA. Ro de
Janeiro,1969
- Birkhoff & MacLane, Algebra Moderna, Editorial Teide, Barcelona, 1960.
- Bourbaki, N., Thorie des ensembles, Fascicule de Rsultats, Herman, Pars,1958

- Bourbaki, N., lments de Mathmatique, Algbre. Hermann, Pars, 1958.
- Dubreil, P., Dubreil-Jacotin, M.L., Leons d'algbre Moderne, Dunod, Pars, 1961.
- Fraleigh, J.B., A first course in Abstract Algebra, Addison-Wesley Publ.C.
London, 1975.
- Halmos, P.R., Teora Intuitiva de Conjuntos, Cecsa, Mxico D.F., 1965.
- Herstein, I.N., Topics in Algebra, Blaisdell Publ.C., Toronto, 1964.
- Lang, S., Algebra, Addison-Wesley Publ.C., London, 1967.
- Lefort, G., Algbre et Analyse. exercices, Dunod, Pars, 1961.
- Muoz, J.M., Introduccin a la Teora de Conjuntos, 4a. Ed., U.N., 2002.
- O'Brien, H.H., Estructuras Algebraicas III (Grupos Finitos), Washington,OEA, 1973.

- Scott, W.R., Group Theory, Prentice-Hall. Inc., London, 1964.
- Suppes, P., Teora Axiomtica de Conjuntos, Editorial Norma, Cali, Col. 1968.
- Vilanova, C., Elementos da Teoria dos Grupos e da Teoria dos Anis, IMPA,
Ro de Janeiro, 1972.
.
Daro Snchez H.
Espero que el lector haya obtenido algn provecho

aprendizaje de la teora de grupos y anillos.
Exitos y bienvenidos a la investigacin por internet.
Cualquier comenterio favor hacerlo llegar a:
danojuanos@hotmail.com
danojuanos@tutopia.com
Copyright Daro Snchez Hernndez
101
de
este
trabajo
en
el

Sanchez Dario - Teoria de Grupos Y Anillos

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Sanchez Dario - Teoria de Grupos Y Anillos

Cargado por

Copyright:

Formatos disponibles

Teora de Grupos y Anillos

Jos Daro Snchez Hernndez

Bogot-Colombia, Junio del 2005

El objeto de estas notas es brindar al lector un modelo de aprendizaje. A continuacin

ley de composicin interna u operacin binaria sobre un conjunto

grupo es una pareja ordenada K tal que K es un conjunto y es

3.Un grupo se dice finito, si el conjunto K tiene un nmero finito de elementos, es

frecuente llamar orden de un grupo al nmero de sus elementos y se usa la

4. Todo grupo de orden primo es conmutativo.

Teora de Grupos y Anillos

XQ 5 " # $ " # $5 es inyectiva

5.Un subgrupo de un grupo K es un subconjunto el cual es un grupo bajo la

es un subgrupo de un grupo K, entonces una clase lateral a derecha de L

es un subgrupo de un grupo K, entonces el ndice a derecha de L en K

Teora de Grupos y Anillos

la misma potencia que el conjunto [w de las clases laterales a izquierda definidas

de Lagrange " : Si K es un grupo finito y L es un subgrupo, el orden

Teorema de Poincare: La interseccin de un nmero finito de subgrupos de

9.Un homomorfismo de un grupo K en un grupo Kw es una aplicacin ) K

preserva la ley de composicin, esto es, tal que ) + , ) + ) , .

R un subgrupo de K. Entonces, R es nomal si y slo si +" R +

Teora de Grupos y Anillos

11.Si K es un grupo, entonces el conjunto P+> K de los subgrupos de K,

P K y Q L son grupos de permutaciones, entonces un isomorfismo de

Aqu WC7 Q WC7Q Q indica el grupo de las permutaciones de Q .

13.Un subgrupo normal R

de K determina una nica relacin de equivalencia en K.

subgrupo W contiene a W y est contenido en cualquier subgrupo de K que

Teora de Grupos y Anillos

Sea W un subconjunto de K. Entonces, W consiste de todos los elementos de la

cclicos: Un grupo K es cclico cuando existe un elemento +

Si todos los subgrupos propios de un grupo son cclicos entonces el grupo no

Teora de Grupos y Anillos

Sea ) un homomorfismo de K en Kw , el conjunto )" " de los elementos de K

fundamental de los homomorfismos: Si ) es un homomorfismo de

teorema de isomorfismo: Sea ) K Kw un homomorfismo sobre, R el

directos: Sean L y O dos grupos y K el producto cartesino de L

Teora de Grupos y Anillos

un grupo y K" K# K8 subgrupos normales de K. Decimos que

Sea K3 3M una familia de grupos y sea K

Si a3 M K3 es cclico, eso implica que

Para cada 5 M , definimos

Para todo 5 M , se tiene

tal que el diagrama

Teora de Grupos y Anillos

Sean K un grupo y L" L# L8 subgrupos de K, consideremos la siguiente

K un grupo finito L" L# L8 K;

abelianos finitamente generados: Sea K3 3M una familia de grupos

K3 +3 3M +3 ! para casi todo 3 M

M.K5 5 K5 , y , :-< 385

Teora de Grupos y Anillos

Sea K3 3M una familia de grupos abelianos. Para cualquier K grupo abeliano y

K un grupo abeliano y B" B# B8 K,

W es linealmente independiente si y slo si 0W es inyectiva.

K no posee subconjuntos linealmente independientes infinitos entonces

29. K es llamado un grupo abeliano

libre si y slo si K tiene una base.

Teora de Grupos y Anillos

K es un grupo abeliano libre si y slo si existe M subconjunto de K tal que

30.Si K es de rango 8 y libre entonces todos los subgrupos de K

Y un grupo libre y Z ! un subgrupo de Y . Sean ?" ?# ?8 y

Operaciones de un grupo en un conjunto: Cualquier grupo abeliano K es

Teora de Grupos y Anillos

C una operacin sobre C se tiene que