Teoria Grupos Anillos Dario Sanchez 2004

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 sobre un conjunto operacin binaria
I X I I I , es una funcin
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 es una pareja ordenada tal que es un conjunto y es grupo ( ) K K
una operacin binaria asociativa en y tal que K b/ K
Si , entonces ( ) 3 + K + / +
Si , entonces tal que . ( ) 33 + K b+ K + + /
" "
W W Un o monoide es una pareja donde es un conjunto y semigrupo ( )
es una operacin binaria asociativa, esto es,
. + , - + , - a+ , - W ( ) ( )
K +B , C+ , Un semigrupo es un grupo si y slo si las ecuaciones
tienen solucin para todo . + , K
3.Un grupo se dice finito, si el conjunto tiene un nmero finito de elementos, es K
frecuente llamar orden de un grupo al nmero de sus elementos y se usa la
notacin para indicar el orden del grupo, esto es, # . K K K ( ) ( )
K Un semigrupo finito , 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 y sea Q " # $
Daro Snchez H. Teora de Grupos y Anillos 2
es inyectiva X " # $ " # $
Q
5 5
es claro que es un grupo para la ley de composicin de funciones as X
Q
X W
Q " # $ % & ' $
"#$ "#$ "#$ "#$ "#$ "#$
"#$ #"$ "$# $#" $"# #$"
5 5 5 5 5 5

W
$
no es abeliano, pues
5 5 5
# $ '
"#$ "#$ "#$
#"$ "$# #$"

5 5 5
$ # &
"#$ "#$ "#$
"$# #"$ $"#

entonces . 5 5 5 5
# $ $ #

5.Un de un grupo es un subconjunto el cual es un grupo bajo la subgrupo K
operacion binaria de Ms exactamente un de un grupo es un K K subgrupo ( )
grupo tal que es un subconjunto de y es la restriccin de a . ( ) L L K L L
Esto indica que la operacin binaria en es la misma operacin en L K
L K Sea un subconjunto no vaco de . Entonces las siguientes condiciones son
equivalentes:
es un subgrupo de . ( ) + L K
es una parte estable de tal que si entonces . ( ) , L K + L + L
"
, entonces ( ) - + , L +, L
"
L K Sea un subconjunto no vaco de . Entonces las siguientes afirmaciones son
equivalentes:
es un subgrupo no vaco de . ( ) + L K
y . ( ) , LL L L L

"
6.Si es un subgrupo de un grupo , entonces una clase lateral a derecha de L K L
es un conjunto de tal que para el cual Una clase a izquierda se W K bB K W LB
define en forma anloga . Si y son subgrupos de , entonces ( ) bB KW BO L O K
una clase bilateral de y es un subconjunto de tal que existe tal que L O W K B K
W LBO.
L K O K B K C K LBO LCO Si , y entonces y son iguales o disyuntas.
L K B K C K LB LC Si y , entonces y son iguales o disyuntas y por analoga
BL CL y son iguales o disyuntas.
LB LC BC L BL CL C B L si y slo si . Por otra parte si y slo si
" "
B LBO B LB B BL Si , entonces y .
7.Si es un subgrupo de un grupo , entonces el de en L K L K ndice a derecha
es el nmero de clases a derecha de . L
L K L K Si es un subgrupo de un grupo entonces el ndice a derecha de en es
igual al ndice a izquierda de en . L K
No hay distincin entre el ndice a derecha y el ndice a izquierda. Por lo tanto se
define el ndice de en como siendo el nmero de clases a derecha. K L L K
W K B K WB W BW Si es un subconjunto de un grupo y , entonces ,
donde es el nmero de elementos de o el orden de . W W W
K L Sea un grupo y un subgrupo. Entonces cualquier clase lateral a la derecha
(respectivamente a la izquierda) de relativamente a tienen la misma potencia L K
de . Adems el conjunto de las clases laterales a derecha definidas por tiene L L [
la misma potencia que el conjunto de las clases laterales a izquierda definidas [
w
por . L
8.Teorema de Lagrange ( ) " : Si es un grupo finito y es un subgrupo, el orden K L
de es un divisor del orden de . L K
# L K Teorema de Lagrange ( ) Si es un subgrupo de un grupo , entonces
K LK L.
L K Si es una familia de subgrupos de un grupo , entonces
3 3W
K L K L
3 W 3 W
3 3
C
Teorema de Poincare: La interseccin de un nmero finito de subgrupos de
ndice finito es de ndice finito.
O L K K K O K LL O Si , de un grupo , entonces .
9.Un homomorfismo de un grupo en un grupo es una aplicacin que K K K K
w w
)
preserva la ley de composicin, esto es, tal que . ) ) ) ( ) ( ) ( ) + , + ,
Si adems, es una biyeccin se dice que es un isomorfismo. ) )
K Un endomorfismo es un homomorfismo de en s mismo y un automorfismo es
un isomorfismo de un grupo en s mismo. K
K L L97 K L I8. K E?> K Si y son grupos sea , , y denotan al conjunto de ( ) ( ) ( )
homomorfismos de en , al conjunto de endomorfismos de , y al conjunto de K L K
automorfismos de , respectivamente. K
K L X L97 K L 3 X / / 33 X 1 X1 Si y son grupos y , entonces , ( ) ( ) ( ) ( ) ( ) ( )
K L
"
"
K X L97K 0 B B B 1 K Si es un grupo, , es una palabra en y para
" # 8 3
" 3 8 0X 1 1 1 0 X1 X1 X1 , entonces . ( ) ( )
" # 8 " #
8
K L O El producto de homomorfismos es un homomorfismo. Si y son grupos
X L97K L Y L97L O YX L97K O y entonces .
X L97K L X K L Si , entonces . ( )
X L97K L O K XlO L97O L Si y , entonces ( )
XlO X K L El homomorfismo ser denotado simplemente por . Si y son grupos y
X L97K L X X X B / , entonces el " " de es el conjunto . ncleo ker( ) ( )
L
K X L97K 3 X K 33 B K Si es un grupo y , entonces y entonces ( ) ( ) ( ) ker
B X B X
"
( ) ( ) ( ) ker ker
10.Sea un subgrupo de . Entonces, es si y slo si para R K R + R+ R
nomal
"
todo y escribimos . + K L K
El ncleo de un homomorfismo es un subgrupo normal.
K X L97K X M=9K X I / Si es un grupo y , entonces si y slo si ker( )
como subgrupo.
K L X L97K L O K XO L Si y son grupos, y , entonces . Si adems
O K X O X K , entonces . ( ) ( )
K L X L97K L C XK X C Si y son grupos, y , entonces es una clase
"
lateral de . ker( ) X
K L O L X L97K L X O K O L Si y son grupos, y , entonces ; si ,
"
( )
entonces . X O K
"
( )
11.Si es un grupo, entonces el conjunto de los subgrupos de , K P+> K K ( )
parcialmente ordenado por inclusin, es una completa. red
P X P Una red se dice completa si para cada subconjunto no vaco de existen el
inf sup X X y el . As cada red completa tiene un elemento maximal y un elemento
minimal.
K L X L97K L X K L Teorema de la red. Si y son grupos, y , entonces ( )
X X K induce un isomorfismo de la red de subgrupos entre y , sobre la red ker ( )
P+> L L X ( ) de subgrupos de . tambin induce un isomorfismo de la red de
subgrupos normales de entre y , sobre la red de subgrupos normales K X K ker ( )
de (If and are groups, and then induces an L K L X L97 K L X K L X ( ) ( )
isomorphism of the lattice of subgroups between and onto the lattice ker( ) X K
P+> L L X ( ) of subgroups of . also induces an isomorphism of the lattice of normal
subgroups of between and onto the lattice of normal subgroups of ) K X K L ker( )
12.Si y son grupos de permutaciones, entonces un isomorfismo de ( ) ( ) P K Q L
( ) ( ) ( ) P K Q L X Y X sobre es una pareja ordenada tal que es una funcin uno a
uno de sobre es un isomorfismo de sobre y si y entonces P Q Y K L + P 1 K
X +1 X + Y 1 P K Q L P K ( ) ( )( ) ( ) ( ) ( ) ( ) ( ) . Si hay un isomorfismo de sobre , entonces
es isomorfo a escribindose . ( ) ( ) ( ) ( ) Q L P K Q L
La relacin "es isomorfo a" es una relacin de equivalencia en la clase del grupo
de permutaciones.
8 P Q El grupo simtrico de grado . Si y son conjuntos tales que
P Q P WC7 P Q WC7 Q
( ) ( ) ( ) ( ) ( ) ( ) entonces .
Aqu indica el grupo de las permutaciones de . WC7 Q WC7 Q Q Q ( ) ( )

W K X W K Si es un conjunto, es un grupo y es una funcin uno a uno de sobre ,

entonces existe un grupo conteniendo a como subconjunto y un isomorfismo L W
Y L K Yl X de sobre tal que .
W
13.Un subgrupo normal de determina una nica relacin de equivalencia en . R K K
Utilizaremos la notacin para indicar que los elementos son + , R + , K
( )
equivalentes. Diremos tambin, y son equivalentes mdulo . + , R +, R ( )
"
R K Sea un subgrupo normal de un grupo . Entonces, el conjunto de las clases
laterales de en relacin a constituyen un grupo relativamente al producto de K R
partes de . K
L K L L Sean una coleccin de subgrupos de , entonces tambin es
3 3M 3
3 M
un subgrupo de . K
W K W Dado un subconjunto de denotaremos por el subgrupo interseccin de
todos los subgrupos de que contienen a . K W
14.El subgrupo contiene a y est contenido en cualquier subgrupo de que W W K
contiene a , esto es, es el menor subgrupo de que contiene a Llamamos W W K W
W W el subgrupo por el subconjunto . generado
W K W Sea un subconjunto de . Entonces, consiste de todos los elementos de la
forma donde los o son elementos de o inversos de los elementos + + + + W
" # 8 3
de W
L O K LO K Sean y subgrupos de un grupo Entonces es un subgrupo de si y
slo si . En este caso es un subgrupo de generado por . L O O L LO K L O
L K R K L R RL Sea un subgrupo de y un subgrupo normal de . Entonces ( )
es un subgrupo de . Adems si es normal entonces tambin es normal. K L L R
15.Grupos cclicos: Un grupo es cuando existe un elemento K + cclico
perteneciente a tal que . Un tal elemento es llamado un . En K K + + generador
un grupo cclico o bien para algn y en ese caso el grupo tiene orden + " 8 !
8
finito, o bien para todo y en este caso todas las potencias de son + " 8 ! +
8
distintas y tiene orden infinito. Es claro que todo grupo cclico es abeliano. +
7 7 7 " 7
es cclico infinito, / es cclico de orden , / ( ) ( ) ( ) ( )

7
K Todo grupo de orden primo es cclico.
Todo subgrupo de un grupo cclico es cclico.
K + 8 . 8 Sea un grupo cclico de orden . Entonces para cada divisor de existe
uno y solamente uno de los subgrupos de cuyo orden es . El subgrupo de L K .
orden es . . +
8.
Todo grupo cclico es una imagen homomorfa de mediante el homomorfismo
:
:
. ( )
+
+
5
K + 5 +
Si todos los subgrupos propios de un grupo son cclicos entonces el grupo no
necesariamente es cclico. Tome como ejemplo . Z
%
16.Si es un entero positivo indicaremos por el nmero de enteros positivos 8 8 9( )
menores que y primos con . Si es primo . La funcin es llamada 8 8 8 8 8 " 9 9 ( )
el (muchas veces se usa la letra griega para indicarla) indicador de Euler :
K 8 K 8 Si es un grupo cclico de orden entonces tiene generadores. 9( )
K K " K " K Si los nicos subgrupos de un grupo son y entonces o es
cclicode orden primo.
K 8 : 8 Sea un grupo conmutativo de orden y un nmero primo que divide .
Entonces contiene un elemento de orden K :
K 8 Un enunciado equivalente es el siguiente: un grupo cclico de orden . Sea
7 ; 8 7; L K tales que , entonces existe un nico subgrupo de tal que
L 7 K L ; ( ) ( ) ( )
5 5 8 " 5 " 8
Lema ( ) ( ) ( ) Euler . y
98
( ) ( ) 5 8 " 8 5 8 " 8 5 " 8

9
9 9
8
8 8
En particular . 9: : " + " :
:"
( )
17.Homomorfismo e Isomorfismos: Un homomorfismo de un grupo en un K
grupo es una aplicacin que preserva la ley de composicin, esto es, K K K
w w
)
tal que
) ) ) ( ) ( ) ( ) + , + , a+ , K
Si es biunvoca decimos que es un isomorfismo de en . ) ) K K
w
Teorema de Cayley. Todo grupo es isomorfo a un grupo de transformaciones.
K K " K Sea un homomorfismo de en , el conjunto de los elementos de ) )
w "
( )
que son llevados en la unidad de es llamado el del homomorfismo . Es K
w
ncleo )
claro que un homomorfismo es biunvoco si y slo si su ncleo es reducido a la
unidad. Adems y son subgrupos de y ) ) ) )
" w
( ) ( ) " 5/< K M7 K K
respectivamente . ( ) ( ) )
"
" K
18.Teorema fundamental de los homomorfismos: Si es un homomorfismo de )
un grupo en un grupo entonces donde es el ncleo del K K K KR R
w
)( )
homomorfismo . )
K K R Si es un homomorfismo de un grupo sobre un grupo y es el ncleo de ) )
w
entonces es isomorfo a mediante la correspondencia .
-
KR K R +
w
+
) ) ( )
K K L Si es un homomorfismo de un grupo en un grupo y es un subgrupo de )
w
K L K R K entonces, es un subgrupo de . Si es sobre y es un subgrupo de ) ) ( )
w
entonces es un subgrupo normal de . )( ) R K
w
K K L Si es un homomorfismo de un grupo en un grupo y es un subgrupo )
w w
de entonces es un subgrupo de . Adems, si es normal K L K L L
w " w w " w
) ) ( ) ( )
tambin lo es.
K K L Sea un homomorfismo de un grupo sobre un grupo y la coleccin de )
w
los subgrupos de que contienen el ncleo de . Entonces, la aplicacin K R )
L L L K L ( ) ) es biunvoca de sobre el conjunto de los subgrupos de . Adems,
w
es normal si y slo si es normal en . )( ) L K
w
K R K KR Sea un grupo y un subgrupo normal de . Entonces los subgrupos de
son de la forma donde es un subgrupo de que contiene . As, es LR L K R LR
normal en si y slo si es normal en . KR L K
19.Primer teorema de isomorfismo: Sea un homomorfismo sobre, el ) K K R
w
ncleo de , un subgrupo normal de que contiene y entonces ) ) L K R L L
w
( )
KL K L
w w
R L K R L
Sean y dos subgrupos normales de un grupo , . Entonces

KL KR LR
( ) ( ).
L R Segundo teorema de isomorfismos: Sean un subgrupo y un subgrupo
normal de un grupo de . Entonces es un subgrupo normal de y K L R L
L L R LR R
( ) ( )
20.Productos directos: Sean y dos grupos y el producto cartesino de L O K L
y , esto es, y . Definiendo la ley de composicin O K 2 5 2 L 5 O ( )
( ) ( ) ( ) 2 5 2 5 22 55 K
w w w w
, es un grupo denominado producto directo de los
grupos y , y se denota . L O L O
K L O K K Sean ahora un grupo y dos subgrupos normales de . Decimos que es
descompuesto en producto directo de y , y se nota , cuando L O K L O
( ) " K L O
siendo la unidad de ( ) # L O " " K
K Si un grupo es descompuesto en el producto directo de dos subgrupos
normales y entonces . L O K L O
K L O Sea el producto directo de dos subgrupos y . Entonces si

L 2 " 2 L O " 5 5 O
w w
O L
( ) ( )
se tiene que y son subgrupos normales de y se descompone en el L O K K
w w
producto directo de y Adems, y . L O L L O O
w w w w
21.Sean ahora un grupo y subgrupos normales de . Decimos que K K K K K
" # 8
K K es en el producto directo de los subgrupos y notamos descompuesto
3
K K K K
" # 8
cuando
( ) " K K K K
" # 8
, ( ) ( ) # K K K K K K " a3 " # 8
3 " # 3" 3" 8
K Si un grupo es descompuesto en el producto directo de subgrupos normales
K K K K K K K
" # 8 " # 8
, entonces .
K K K K Sea el producto directo de los grupos , si
" # 8
K " " 1 " " K1 K
3
w
" 3" 3 3" 8 3 3
( )
K K K
w
3
es un subgrupo normal de y es descompuesto en el producto directo de los
K K K a3 " # 8
w w
3 3
3
. Adems , .
22. Sea una familia de grupos y sea , si , K K K + , K
3 3M 3 3 3
3M 3M
3 M
( ) ( )
definimos
( ) ( ) ( ) + , + ,
3 3 3 3
3M
con esta ley de composicin es un grupo.
3 M
K
3
a3 M K K Si es abeliano, entonces es abeliano.
3 3
3 M
a3 M K K Si es cclico, eso implica que es cclico.
3 3
3 M
5 M Para cada , definimos
y

38 K K : K K
" " + " +
5 5 3 3 5
5
5
<
3
3M
+
5

( ) ( )

3 M 3 M
+
5
+ 5 M 38 38 L ( ) Para todo , es un homomorfismo inyectivo y adems
5 5 3
Im
3 M
donde
si
si
L
" 3 5
K 3 5
3
3
5
( ) , 5 M : : O Para todo , es un homomorfismo sobreyectivo y adems

5 5
< <
3
ker
3 M
donde
si
si
O
K 3 5
" 3 5
3
3
3
23.Sea una familia de homomorfismos entonces existe un

_
K K a0 K K
0
3
3 3 3
3M
nico homomorfismo tal que el diagrama sea 0 K K K K K

-----------------------

3 M 3 M
0 :
0
3 3 3
3 3
<
conmutativo . : 0 0
<
3
3
5 M Para todo , se tiene
( ) ( ) + 38 K Im
5 3
3 M
( ) ( ) ( )
_
, 38 38 " Im Im
5 3
3 M 5
K L L L K Sean un grupo y subgrupos de , consideremos la siguiente
" # 8
aplicacin
0 L L L K
2 2 2

2 2 2
" # 8
" # 8
" # 8 ( )

Decimos que es el producto directo de y lo denotamos K L L L
" # 8
K L L L 0
" # 8
cuando es un isomorfismo.
3 K K 78 7 8 " Nota: Si es un grupo cclico tal que y entonces ( ) ( ) ( )
K K K
7 8
( ) ( ) 33 : K : K Si es un nmero primo y , entonces no admite descomposicin,
5
salvo la trivial.
L L L K K L L L Sean subgrupos de y (lo que equivale a decir que
" # 8 " # 8
K L L es generado por ) Entonces las siguientes afirmaciones son
" 8
equivalentes
es un isomorfismo ( ) 3 0
, y , ( ) 33 a W 0 0 a3 " # 8 L L L " 1 1
8 " 3" 3
, , ( ) 333 a3 4 3 4 a+ L a+ L + + + +
3 3 4 4 3 4 4 3
y ( ) ( ) 3@ a3 " # 8 L K L L L L L "
3 " 3" 3" 8 3
24. Sea un grupo finito ; K L L L K K 1 L 2
" # 8 3 3
( ) ( )
adems si , , y si entonces ( ) 2 2 " a3 4 3 4 1 2 2 2 K L L L
3 4 " # 8 " # 8
K K : : K L L L Sea un grupo cclico y entonces donde ( )
"
6
8
6
" # 8
"
8
L :
3
3
6
es el nico subconjunto de orden .
3
L L O K
Un grupo se llama si y slo si para todo descompuesto

K L O L " O "
K K K K Sea un grupo cclico, es descompuesto si y slo si es infinito, o, es ( )
potencia de algn nmero primo.
Las siguientes condiciones son equivalentes
( ) ( ) ( ) ( ) 3 L O K L O " K LO L O , , y subgrupos cclicos.
( ) 33 K L Oes cclico.
25.Grupos abelianos finitamente generados: Sea una familia de grupos K
3 3M
abelianos se define

3 M
dbil
K + + ! 3 M
3 3 3
3M
( ) para casi todo
Ahora y definamos .
3 M 3 M 3 M
dbil dbil
K K 38 K K
+
+
3 3 5 5 3
5
35 5
3M
( )
$
Anlogamente
, y , : K K : 38
+

+
M.K 5
! 5
5
< <
3 5 5
3
3M
5
5
3 M
dbil
( )

-
-
-
K K Sea una familia de grupos abelianos. Para cualquier grupo abeliano y
3 3M
para cualquier existe un nico homomorfismo tal

K K 1 K K
1

+
1 +
3 3
3
3
3M
3M
3 3

( )
_
( )
3 M
dbil

que el diagrama sea conmutativo .
---------------------------
( ) K K K 1 38 1
1 38
1
3
3 3 3 3
3
3 M
dbil
26.Sea un grupo abeliano y , se dicen ( ) K B B B K B B B
" # 8 " 8
#
linealmente dependientes si existen enteros no todos cero tales que 7 7 7
" # 8
7 B 7 B 7 B !
" " # # 8 8
K ! a5 ! Observacin: , es linealmente dependiente y es linealmente
independiente. Dos elementos son linealmente dependientes. 5 6 !
27.Sea un grupo abeliano, notamos consideremos W K K

( ) W
3 W
dbil
0 K
8

8 B
W
W
B
BW
B
( )
( )

_
BW
W 0 es linealmente independiente si y slo si es inyectiva.
W
W a8 aB W 3 " # 8 B B es linealmente independiente si y slo si
3 3 3 4
3 4 B B B
" #
8
es linealmente independiente no dependiente , ( )
( ) + W aX W X
es linealmente independiente si y slo si , es linealmente

independiente,
( ) , W aX W X
es linealmente independiente entonces, finito, es linealmente

independiente. Esta propiedad es conocida con el nombre de independencia lineal
o " ". caracter finito
W ! Si

es el nico conjunto linealmente independiente si slo si para cualquier
B K B
K Si es un grupo que no posee ningn subconjunto linealmente independiente
infinito entonces
Existe un subconjunto linealmente independiente maximal . ( ) + W
Para todo subconjunto linealmente independiente # # . ( ) , X X W
W Un subconjunto es linealmente independiente maximal si slo si es
linealmente independiente y , es linealmente dependiente. aY W Y
28.Si no posee subconjuntos linealmente independientes infinitos entonces K
todos los subconjuntos linealmente independientes maximales tienen el mismo
nmero de elementos este nmero es llamado " ". K rango de
K Si tiene subconjuntos linealmente independientes infinitos entonces el rango
de es infinito. K
W 0 K 0 es una " " si y slo si es una biyeccin (luego es un base
W W
W

isomorfismo).
W K W Si es una base de entonces es linealmente independiente maximal.
29. K K es llamado un grupo si y slo si tiene una base. abeliano libre
K M K es un grupo abeliano libre si y slo si existe subconjunto de tal que
K W K W M

M
, en ese caso, existe una base de tal que # # .
Todo grupo abeliano es una imagen homomorfa de un grupo abeliano libre.
30.Si es de rango y libre entonces todos los subgrupos de K 8 K
son libres.
Y 8 Z Y Sea un grupo libre de rango , un subgrupo de
grupo libre, rango ( ) + Z Z 8
Existe una base de que tambin sirve como base de . ( ) , ? ? ? Y Z
" # 8
Existe base de tal que y ( ) - @ @ @ Z @ ? ! 3 " 5
" # 5 3 3 3 3
0 0
adems 0 0 0 0
" # $ 5
l l ll
31.Si todo elemento de tiene orden finito, decimos que es un grupo de rango K K
cero.
Un grupo que admite un conjunto independiente finito de generadores es
llamado de o finitamente generado. tipo finto
K Un grupo que admite un conjunto linealmente independiente de generadores
es llamado y al conjunto de generadores se le llama la base de . grupo libre K
K 8 K Sea un grupo conmutativo generado por elementos. Entonces, es isomorfo
a un grupo cociente de un grupo libre de rango . 8
Y 8 Z ! Y Sea un grupo libre de rango . Entonces, todo subgrupo de tambin
es libre y tiene rango . 8
32.Sea un grupo libre y un subgrupo de . Sean y Y Z ! Y ? ? ?
" # 8
@ @ @ Y Z
" # 5
bases de y respectivamente. Entonces un elemento
? + ? + ? + ? Z +
" " # # 8 8 3 3
pertenece a si y slo si es un mltiplo de 0
( ) ( ) 3 " # 5 + ! 4 5 " 8 y . Aqu se entiende que los son nmeros
4 3
0
naturales dados en la definicin de grupo libre de rango . 8
K Teorema fundamental: Sea un grupo conmutativo de tipo finito. Entonces
K Y Y Z Z
" > " <
donde los son grupos cclicos infinitos y los son grupos cclicos finitos de Z Y
3 3
orden divisible por 7 7 7
3 3" 3
" 3 " # > " ( )
K Teorema de unicidad: Sea un grupo conmutativo finitamente generado. Sea
Y Y Z Z Y Y Z Z K
" > " <
w w w w
" > " <
y dos descomposiciones de w w
satisfaciendo al teorema anterior, con orden y con orden . Entonces Y Y
3 3
w w
3 3
7 7
< < > > 3 " > >
w w w w
3
3
7 7 ,
33. Operaciones de un grupo en un conjunto: Cualquier grupo abeliano es K
isomorfo al cociente donde .
( ) ( ) W W
W W
0 0 K ker
K Sea un grupo, un conjunto de permutaciones de un conjunto . L L ( ) ( ) C C C 1
B B
C C C C C 1 . . L( )
( ) 1
1
B
B
"
Sea un grupo, su elemento unidad. es > > ) > C C

( ) ( ) # ) # # B B B
o
llamada una de sobre operacin > $ C " " B B # ( ) ( ) o o o o o ( ) ( ) # $ # B
B.
34.Sea una operacin sobre se tiene que ) > C C C
( ) ( ) + a
se define . # > )
4
C C C
B
# oB
L
( ) ,
= >
#
L ( ) C
)
4
es un homomorfismo.
Una operacin se llama si y solamente si es inyectiva. ) = fiel
B B B La rbita de es el conjunto . C > # # >
Tambin a la rbita se le llama un . sistema de transitividad
B C B C B C B C Para todo , C > > > > >
) es transitiva si y slo si posee una sola rbita la generada por . ( ) C
. ( ) aB C b C B bB aC b C B C C C # > # # > #
35.> # > #
B
B B B es llamado el de estabilizador C
( ) o el grupo de isotropa
aB B
B B
B
B
C, es un subgrupo de adems existe y es una biyeccin.

> > > > >
# >
#
B
B B
Se tiene # = # # donde En el caso finito # . C C C. C

_ _ _

B B B
w
C C C
w w w
> > > > >

4
Sea una operacin y es una representacin y se tiene: ) > = >
)
C C C ( ) L
4
( ) + B ker = >
B C
es fiel si y slo si . ( ) , "
B
B
) >
C
Si es un subgrupo de entonces es una operacin, adems ? > ) ?
w
C C
? > ? > ? B B B
B
siendo .
c Si es fiel es fiel. Pero si es transitiva es transitiva . ) ) ) )
w w
( )
36.Sea , , es estable bajo si y slo si para todo , entonces D C D D 4 a ) >
4 . D.
37. : Todo grupo es isomorfo a un grupo de permutaciones. Teorema de Cayley
> > # > #
B B
B B

I L( ) C C para algn . Donde

Sea un grupo finito es una parte estable bajo la translacin, es > > P( )
decir, . Adems tal que , donde \ a \ a\ b] \ " ] # > # >
> # # > \ B B \ C/ y
\ \ > opera sobre por translacin.
38. # # # donde es un conjunto de representantes de . ( ) + \ \ \ \
w w
>
# # ( ) , \ \ >
#
#
>
\
w
Si # , donde ( ) - " \ \ " \ \ \ \ \
w
\ \
> > > > > # > #
\ " \ \ # opera transitivamente sobre .
w
>
39.Sucesiones de composicin: Dado un grupo , llamamos sucesin de K
composicin de a una coleccin finita de subgrupos de tal que K K K
_
3 !38
K K K " K K
! 8 3" 3
, y es un subgrupo normal de
Por ejemplo es una sucesin de composicin estrictamante W E "

8 $
decreciente.
K K Los cocientes son llamados cocientes de la sucesin de composicin.
3 3"
K Decimos que una sucesin de composicin de un grupo es que
_
w
ms fina
una sucesin de composicin de y escribimos si la sucesin puede
_ _ _ _
K
w

ser extrada de la sucesin .
_
w
K K Dadas dos sucesiones de composicin y de un
_ _
3 38 47
w
4
w
grupo decimos que y son equivalentes cuando y existe una K 8 7
_ _
w
permutacin del conjunto tal que . : ! " # 8 K K
3 K K
3
w
3"
3"
w
:( )
:( )
40. . Si y son dos sucesiones de composicin de un Teorema de Schreier
_ _
w
grupo , existen dos sucesiones de composicin y de las cuales son K K
_ _
" "
w
equivalentes y tales que ,
_ _ _ _
" "
w w

41.Lema de Zassenhaus: Sean y subgrupos del grupo y , subgrupos L O K L O
w w
normales de y respectivamente. Entonces y son L O L L O O L O
w w w w
subgrupos normales de y respectivamente. Adems L L O O L O
w w

L LO O LO
L LO O L O
w w
w w w w
42. Llamaremos de un grupo a una sucesin de sucesin de Jordan-Hlder K

composicin de , estrictamente decreciente y tal que no existe ninguna
_
K
sucesin de composicin estrictamente decreciente que sea estrictamente ms fina
que . Dado un grupo decimos que es cuando y son los nicos
_
K K K " simple
subgrupos normales de . K
K Una sucesin de composicin estrictamente decreciente de un grupo es de
Jordan-Hlder si y slo si todos los cocientes de la sucesin son simples.
43. : Dos sucesiones de Jordan-Hlder de un grupo Teorema de Jordan-Hlder
K son equivalentes.
No todo grupo posee sucesiones de Jordan-Hlder.
Por ejemplo no posee sucesiones de Jordan-Hlder.
K Llamaremos de una sucesin de Jordan-Hlder de un grupo al longitud
nmero de cocientes de esa sucesin y no depende de la sucesin tomada sobre
K K , llmase entonces longitud de simplemente.
45.Si dos grupos y tienen la misma longitud ellos no son necesariamente K K
w
equivalentes. Basta tomar dos grupos de orden primo distintos.
L K Decimos que es un subgrupo de cuando existe una sucesin subnormal
K L L L L

! " 8
con subgrupo normal de , o en otras palabras, cuando L L 3 ! " 8 " L
3" 3
pertenece a alguna sucesin de composicin de . K
46.Decimos que vale la condicin de cadena ascendente para los ( ) GGE
subgrupos subnormales de cuando dada una sucesin K
K K K

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

! " 8
de subgrupos subnormales de , existe un entero tal que K R K K

R R"
K GGE GGH Si es un grupo entonces vale la . respectivamente para los ( ) ( )
subgrupos subnormales de si y slo si toda coleccin no vaca de subgrupos K
subnormales de tienen a lo menos un elemento maximal K
( ) respectivamente minimal .
K Un grupo 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 resoluble . Un grupo se dice si posee una secuencia de K
composicin
K K K K "

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

! " 8
cuyos cocientes son cclicos de orden primo. K K

3 3"
48.Sea un subgrupo normal de un grupo . Si y son resolubles entonces L K KL L
K es resoluble.
8 # L E E Si todo subgrupo normal de que contiene un triciclo, coincide con
8 8
8 & E Si , el grupo alternado es simple.
8
49.Grupos de Sylow: Si un elemento de un grupo conmuta con todos los D K
elementos de , esto es, si decimos que es K D B B D aB K D un elemento
central de . K
Los elementos centrales de un grupo constituyen un subgrupo conmutativo . m
K Q Se dice que opera transitivamente en cuando dados dos puntos
cualesquiera y de siempre existe tal que . T U Q K T U 3 3( )
50.Sean un grupo, el centro de e el grupo de los automorfismos internos K K m I
de . Entonces K K
m I
Q K Q Sean un conjunto y un grupo finito de transformaciones de . Entonces, el
nmero de elementos de una clase de transitividad determinada por en es un K Q
factor del orden de . K
51. Sea un grupo finito. Entonces, el nmero de elementos en cada clase K
conjugada de es un factor del orden de . Sea el grupo de los automorfismos K K I
interiores de un grupo , las clases de transitividad determinadas por en son K K I
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. > :
K 8 : 7 : : 7 " Sea un grupo de orden , un nmero primo y . Un subgrupo
<
( )
de de orden es denominado un -subgrupos de Sylow o simplemente un K : :
<
: K -grupo de Sylow de .
53.Primer teorema de Sylow: Sea un grupo de orden un nmero K 8 : 7 :
<
primo tal que . Entonces contiene por lo menos un -grupo de Sylow. ( ) : 7 " K :
54.Segundo teorema de Sylow: Sea un grupo de orden un nmero K 8 : 7 :
<
primo tal que ; es un subgrupo de de orden y es ( ) : 7 " O K : : L
= <
un -subgrupo de Sylow de . Entonces esta contenido en un subgrupo : K O
conjugado de (esto es, existe tal que ). L B K O B LB
"
: K En particular dos -subgrupos de Sylow de son siempre conjugados.
55. : Sea un grupo de orden un nmero Tercer teorema de Sylow K 8 : 7 :
<
primo tal que , y es el nmero de -subgrupos de Sylow de . Entonces ( ) : 7 " = : K
= " :
( ) mod
56.Teorema de Cauchy: Sea un grupo y un nmero primo tal que > > : :l
entonces posee por lo menos un subgrupo de orden . > :
K : < " K Si es un grupo de orden , entonces tiene un subgrupo normal de
<
orden . :
<"
Sea un grupo finito, las siguientes afirmaciones son equivalentes: >
posee apenas un -subgrupo de Sylow. ( ) 3 : >
posee un -subgrupo de Sylow normal. ( ) 33 : >
: : < " Sea un -grupo; sea . Entonces existen subgrupos > > > >
<
! <
pertenecientes respectivamente a tales que . Adems la Z Z > > >

! <
! " <

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 , . Z ? Z ? > ? ? >
3
3
3
: 3 ! " <
57.ANILLOS E IDEALES:
Si un sistema de composicin doble es tal que es un grupo ( ) ( ) E E
abeliano, con neutro , es un monoide con elemento neutro y ( ) ( ) ! ! E " "
E E
_
B CD BCBD
CD BCBDB
( )
( )
cualquiera que sean , decimos que el sistema de B C D E
composicin doble es (con cero y con unidad ). ( ) E ! " un anillo
E E
E E Si un anillo es tal que es un monoide conmutativo, decimos que ( ) ( )
( ) E en un anillo conmutativo.
E Y + E b, E +, " Sea un anillo, denotemos con al conjunto ( ) ( )( )
E
de los elementos inversibles de E
58.Si es un anillo tal que decimos que es un ( ) ( ) E Y E ! E
E E
anillo de divisin, en este caso # . E #
E Si es un anillo de divisin conmutativo, se dice que el anillo de divisin ( )
( ) E es un . cuerpo
59.Homomorfismos de anillos. Sean y anillos y una ( ) E E E E

:
aplicacin tal que cualquiera que sean
si entonces
si entonces
BCD B C D
B CD B C D
: : :
: : :
B C D E
y en estas condiciones se dice que es un homomorfismo entre el : : " "
E
E
anillo y y se escribe . ( ) ( ) E E E E

: hom
E E E E

Sean y anillos arbitrarios. Si es una biyeccin tal ( ) :
que cualquiera que sean decimos que
si y slo si
si y slo si
BCD B C D
B CD B C D
: : :
: : :
B C D E :
es un isomorfismo entre los anillos y y escribimos . ( ) E E E E

60.Sea un anillo arbitrario. Siempre es posible establecer un ( ) E
homomorfismo entre el dominio de los nmeros enteros y el anillo dado, a saber
-
E E E E
E 5 5" 5" " 5 dado por , siendo el mltiplo de segn . Entonces
podemos concluir que tomando , es un anillo conmutativo T T
E E E
Im- ( )
denominado del anillo . anillo primo ( ) E
61.Sea un anillo cualquiera. Sea , si es un anillo y ( ) ( ) E F E F

F F
" " F E
F F F E
decimos que el anillo es un subanillo de . ( ) ( )
E 8 8 Sea un anillo cualquiera. Si cedimos que es la ( ) ker -
E
caracterstica del anillo y escribimos ( ) E G+<E 8
T G+<E !
Vemos que si si y slo si

E
G+<E " E ! si y slo si
E
62.Sea un anillo cualquiera. Si es un subgrupo aditivo de ( ) ( ) ( ) E E h
del anillo tal que cualquiera sea y cualquiera sea , ( ) E B + B E + h h
decimos que el sistema es un a izquierda (respectivamente ( ) h h +B ideal
para todo y todo , es llamado a derecha) B E + h ideal
E Si es un ideal a izquierda y un ideal a derecha del anillo se ( ) ( ) h
dice que es un del anillo ideal biltero . ( ) ( ) ( ) h E ideal
63.Sea un anillo conmutativo. Sea uno de sus ideales. Si existe ( ) ( ) E h
un elemento tal que (donde ) decimos que B E B B E B +B+ E
h ( )
( ) ( ) ( ) h h E es un ideal del anillo . Si es un ideal principal
principal y , decimos que es el ideal generado por (donde es h h B B B ( )
algn elemento de ) E
64.Sea un anillo conmutativo. Sea uno de sus ideales. Si ( ) ( ) E h
existen y tales que 8 B B B E
" # 8
h B B B B B B B E B E B E
( ) ( ) ( ) ( )
" # 8 " # 8 " # 8
decimos que es un ideal ( ) h finitamente generado.
B B B Si es finitamente generado y decimos que ( ) ( ) ( ) h h h
" # 8
es el ideal generado por . B B B
" # 8
E E
es un ideal del anillo . h h ( ) ( ) ( )

65.Sea un anillo conmutativo. Si todo ideal de es principal, ( ) ( ) E E
decimos que es un . Por ejemplo . ( ) E anillo principal
66.Sea un anillo conmutativo. Si todo ideal de es finitamente ( ) ( ) E E
generado decimos que es un anillo . ( ) E Noetheriano
Todo anillo principal es un anillo noetheriano, la recproca es falsa.
67.Ideales y subanillos de un anillo. Sean , dos anillos ( ) E E

cualesquiera. Si entonces forma un ideal biltero del anillo : : L97 E E
ker
( ) E .
E E Si es un ideal biltero del anillo entonces es un ( ) ( ) ( ) h h
anillo, donde las operaciones son dadas por
+ es dada por + E E E B C B C h h h h h h - --- ( ) ( )
es la correspondencia dada por ; E E E B C B C h h h h h h - --- ( )
el homomorfismo cannico es un homomorfismo sobreyectivo de [ h
h
E E -
anillos donde . ker[ h
h

E E Sea un anillo cualquiera. Sea un ideal biltero de . El ( ) ( ) ( ) h
anillo se llama el anillo cociente del anillo , con relacin al ( ) ( ) E E h
ideal . ( ) h
E E Es claro que si es un anillo conmutativo, entonces es un ( ) ( ) h
anillo conmutativo.
E E
Para cualquier homomorfismo de anillos existe una y solamente una : -

aplicacin tal que , siendo un isomorfismo de : : : : [ : :

E M7

ker -
ker:
anillos es dado por . ( ) - : : :
E M7 B B
68.Sea una familia cualquiera de subanillos de un anillo ms F E
3 3M
( )
exactamente, supongamos que para todo . Entonces F 3 M G F
3 3

3 M
donde es un subanillo de anillo . F E F E ( ) ( )
F F

E E F Sea un anillo arbitrario. Sea y . El anillo ( ) h h
F
h

F F
h h h
h h h
es llamado "anillo generado por " donde .
69.Sea un anillo conmutativo. Sea . Entonces tenemos ( ) E E h
? ? 8 = ? h h
_
3"
8
3" 3= 3 34
3
.
E Y E Sea un anillo conmutativo. Sea y denotemos con ( )
h h h
Y
Y Y Y Y
. Sea . Entonces . Adems es el ( ) ( ) ( ) ( )

h
Y

menor ideal del anillo que contiene a como conjunto. Por otra parte ( ) E Y
( )
_
Y B ? 8 B E ? Y
3"
8
3 3 3 3
70.Sea un anillo conmutativo . Sea , el ideal es ( ) ( ) ( ) E Y E Y

llamado el ideal generado por . Y
E Sea un anillo conmutativo cualquiera. Las siguientes afirmaciones son ( )
equivalentes:
( ) ( ) 3 Todo ideal es finitamente generado. h
( ) 33 Todo subconjunto no vaco de posee por lo menos un elemento maximal.
( ) ( ) 333 E Toda cadena estrictamente ascendente de ideales de es finita.
71.Ideales Primos. Ideales Maximales. Sea un anillo conmutativo. Si es E U
un ideal de tal que , implica o cualquiera que E " E # B C B C ( ) ( ) U U U U
sean , decimos que es un ideal del anillo B C E E U primo
( ) B C BC U U .
E B E C E C ! BC ! Sea un anillo conmutativo, si existe tal que , y , se dice
que es un en el anillo . B E divisor de cero
E Sea un anillo conmutativo, las siguientes afirmaciones son equivalentes
( ) ( ) 3 ! es un ideal primo
( ) 33 ! E es el nico divisor de cero del anillo
( ) 333 E E !
es estable en relacin a la multiplicacin.

En este caso es un monoide cancelable. E
72.Sea un anillo conmutativo. Si es tal que se cumple alguna de las tres E E

condiciones equivalentes anteriores, se dice que es un E dominio de integral
o ms simplemente, un dominio .
E E # Es claro que si es un dominio, entonces #
Todo cuerpo es un dominio.
E E Sea un anillo conmutativo y un ideal de . es primo si y slo si el anillo h h
cociente es un dominio. Eh
73.Sea un anillo conmutativo y un ideal de si E E h
( ) " E h
( ) # E h h h h
" " "
cualquiera que sea
se dice entonces que es un del anillo . h ideal maximal E
E E Sea un anillo conmutativo y un ideal de . es maximal si y slo si el anillo h h
Eh es un cuerpo.
8 8 En los nmeros enteros, el anillo cociente es un cuerpo si y slo si es un
nmero primo.
Todo ideal maximal es primo.
74.Sea un anillo conmutativo arbitrario, las siguientes afirmaciones son E
equivalentes
( ) 3 E es un cuerpo.
( ) ( ) 33 ! E es un ideal maximal de
( ) 333 # # .
E E E Sea un anillo conmutativo. Si es un ideal cualquiera del anillo , h
!
entonces esta contenido por lo menos en un ideal maximal. h
!
75. Dominios factoriales. Sea un anillo conmutativo arbitrario, si E + , E
existe un elemento tal que se dice que divide a en y se escribe - E +- , + , E ( )
+l,
E + , E +l, ,l+ Sea un anillo conmutativo arbitrario, si y se dice entonces que
+ , + , - - E es a y se escribe esto es equivalente a que existen asociado
" #
tales que y . +- , ,- +
" #
E + , E +l, Sea un anillo conmutativo cualquiera. Sean entonces tenemos si y
slo si . ( ) ( ) + ,
+ , + , si y slo si ( ) ( )
+ , ? + ? , h h h
E E E
si y slo si existe tal que
+ , + , Si , entonces . h h
E E
( ) ( )
+ , + + , Si y no es un divisor propio de cero, entonces ( ) ( ) h h
E E
76.Sea un anillo conmutativo cualquiera, si el elemento es tal que E D E D
( ) ( ) ( ) " D E E ! # D $ BlD B D aB E

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

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

" # 7 " # 7
se dice que es un anillo . E factorial
Por ejemplo son anillos factoriales.
'
E B E Sea un anillo conmutativo, si para cualquier existe siempre un entero no
negativo y una sucesin de elementos irreducibles de tales que 7 D D D E

" # 7
B D D D E
" # 7
entonces decimos que 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 un dominio cuasifactorial. Las siguientes afirmaciones son equivalentes E
( ) " E es un dominio factorial
( ) # E Todo elemento irreducible de es primo
( ) $ 7 8 B B B C C C E Si , son elementos irreducibles de y
" # 7 " # 8
B B B C C C 7 8 " 8
" # 7 " # 8
entonces y existe tal que 1
B C 3 " 8
3 3 1
para todo .
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 un cuerpo cualquiera, el anillo de los polinomios O
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 un anillo conmutativo cualquiera. Sean , E B C E
y , si D E
( ) 3 DlB DlC
( ) 33 D lB D lC D lD D E
w w w w
entonces cualquiera sea
entonces se dice que es un de en D B C E mximo comn divisor
E B C E D E Sea un anillo conmutativo, , si
( ) 3 BlD ClD
( ) 33 BlD ClD DlD D E
w w w w
entonces cualquiera sea
entonces se dice que es un de e en . D B C E mnimo comn mltiplo
81.Sea un dominio principal. Entonces es un dominio factorial y son E E
verdaderas las siguientes afirmaciones:
( ) ( ) ( ) 3 D D es maximal si y slo si es primo.
( ) ( ) 33 D D es primo si y slo si es primo.
( ) 333 D D D E es primo si y slo si es irreducible, cualquiera que sea .
( ) ( ) ( ) ( ) 3@ B C . E . B C . Adems, cualquiera sean tenemos que si y slo si es
un mximo comn divisor de en . B C E
E B C E . B C Sea un dominio principal, y un mximo comn divisor de .
Entonces existen tales que . Si y son primos entre si, si y slo + , E . +B ,C 5 =
si existen dos enteros tales que + , + 5 , = " 5 = ( )
82.Sea un anillo conmutativo. Si existe una aplicacin tal que E E $
-
( ) " BlC B C si entonces , $ $
( ) # ; < E B C ; < < ! < C existen tales que donde ,o, cualquiera que sean $ $
B C E
.
Se dice en estas condiciones que es un . E 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 elementos (siendo el conjunto de los ! 8
nmeros complejos y un nmero natural, ). 8 8 !
SOLUCION.( )
( )
- a Sea
B C

B C B

C
aqu
B C D B C B B ( ) ( )
D D
C CD
Ahora
B C D B C B ( ) ( )
D C
D
en general
B C D B C D ( ) ( )
como en el caso
( ) ( ) # $ % # % ) % ) # # # # $ # $ %
$ % "# )" $ %
%
Tambin
B C C B
en general porque en el caso particular
B # C $
se tiene
# $ # ) * $ $ #
$ #
( ) b Tomemos de donde con fijo. La ley de composicin est c c 7 7 #
dada por

7B 7C 7 7BC 7B 7C
c c c
( ) ( ) ( ) ( )
-
y claramente es asociativa para , pero no tiene elemento unidad. As es c c ( )
un subsemigrupo de ( )
( ) ( ) ( ) c Tomemos en el subconjunto es un submonoide el cual no es
grupo.
( ) d Consideremos la ecuacin , sabemos que las races de esta ecuacin son B "
8
dadas por la frmula
, D 5 ! " # 8 " /
# 35
8
1

Ahora sea
W D 5 ! " # 8 " /
# 35
8
1
provisto de la siguiente ley de composicin

W W W

-
/ /
/ / /
# 35 # 35
8 8
w
# 35
8
# 35
w
8 8
# 355
w
1 1
1
1 1
Veamos que esta bien definida
( ) " 5 5 8 " W 5 5 5 ! " # 8 " Si , entonces, donde
w w
/
# 35
8
1
( ) # 5 5 8 b: b< 5 5 8: < ! < 8 " Si entonces, tal que con
w w

as,
/ / / / / /
# 3 # 3 # 3< # 3< # 3<
8 8 8 8 8
w 1 1 1 1 1
( ) ( ) 55 8:< # 3 # 3
W
1 1
Tambin se tiene que
entonces + W + W
"
de hecho
, + W + 5 ! " # 8 " /
# 35
8
1
si entonces y 5 ! + " + " W
"
Ahora si , entonces tomamos ya que 5 ! + W
"
/
# 385
8
1
/ / / /
# 385 # 3855
8 8 8
# 35 1 1 1
. "
# 3 1
2.Sea un monoide. Pruebe que el conjunto de los elementos inversibles de ( ) W M

W W 3 M es el mayor submonoide de que es un grupo. ( En otras palabras: es ( ) ( )
M
un monoide de ; es un subgrupo ; si es un submonoide ( ) ( ) ( ) ( ) ( ) W 33 M 333 K
M K
de y un grupo entonces ) ( ) W K M
.
SOLUCION . ( ) ( ) ( ) " M W es un submonoide de , en efecto
M
entonces tales que B M C M B M C M
b w w
BB " CC "
w w
W W
Ahora
( )( ) ( ) B C C B B CC B B " B B B "
w w w w w w
W W
Basta tomar y se tiene que , as es una parte estable de , lo C B W BC M M W
w w
mismo entonces . " " " " M
W W W W
( ) ( ) # M es un grupo.
M
Para esto basta ver que todos los elementos de son inversibles, pero esto se M
tiene porque
B M bB WB B "
w w
M
as se tiene que luego . B W bB WB B " B M
w w w
M
( ) ( ) ( ) $ K W K M
Si es un submonoide de y un grupo entonces .

K
Supongamos que entonces tal que . Como es un grupo y M K bB K B M K
B K B po entonces es inversible y estamos en contradiccin con la definicin de

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

: en . Cales aplicaciones son -
( ) ( ) ( ) + inversibles a izquierda en , , ? T
( ) ( ) ( ) , cancelables a izquierda en , , ? T
( ) ( ) ( ) - inversibles a derecha en , , ? T
( ) ( ) ( ) . cancelables a derecha en , , ? T
SOLUCION.( ) + Las aplicaciones inyectivas responden a la pregunta porque ,
supngase que es inyectiva a izquierda esto significa que existe tal 0 0
w
T ( )
que , es invertiva en estas hiptesis, porque si entonces 0 0 M 0 0 B 0 C
w
( ) izq
( ) ( )
0 0 C 0 0 B C B
w w
( ) ( ) ( ) ( ) , es decir
Recprocamente, supongamos inyectiva, como se sabe , tomemos 0 -
algn Puesto que es inyectiva para cada existe a lo ms un tal que > 0 = >
!

= 0 > 1 ( ) - , aqu tenemos una funcin definida por

donde es tal que o sea
en el caso contrario
1 =
> > = 0 > = 0
>
( )

( )
!
esta funcin enva cada "de regreso, de donde el vino" as para 1 0 > 1 0 > > ( ) ( ) ( )
todo Esto establece que , por lo tanto es el inverso deseado para . > 1 0 " 1 0
( ) izq
( ) , 0 Se trata de las funciones inyectivas tambin ya que, decir que es T
cancelable a izquierda significa que se tiene a a < : T
( )( ) ( ) ( ) 0 B 0 B B B B < : < : para todo .
Luego si entonces donde es la aplicacin 0 B 0 C 0 3 B 0 3 C 3 ( ) ( ) ( )( ) ( )( ) -
idntica as, ( )( ) ( )( ) ( ) ( ) ( ) 0 3 B 0 3 C 3 B 3 C B C
Recprocamente, supongamos que es inyectiva, entonces es cancelable a 0 0
izquierda , en efecto; , esto se tiene 0 1 B 0 2 B 1 B 2 B ( ) ( ) ( ) ( ) ( ) ( )

0 es uno a uno
a1 a2 T T y .
( ) - La respuesta es: aplicaciones sobreyectivas.
Porque si es invertible a derecha significa que tal que . 0 b0 00 M
w w
T
( ) der.
Ahora; tal que es verdadera porque para cada , basta aC bB 0 B C C ( )
tomar donde es la inversa a derecha de entonces . B 0 C 0 0 0 0 C C
w w w
( ) ( )
Recprocamente, supongamos que es sobre entonces para cada 0 -
w
> = 0 = >
w
existe por lo menos un tal que , escogemos, para cada ( )
> = 0 = > 0 0 > =
w w
un slo tal que Definimos por ( ) ( ) -
( ) escogido entonces . > > > : : :
( ) . 2 Tambin son las aplicaciones sobreyectivas. En efecto; supongamos que no

es sobre, entonces existe tal que . B 2 B B aB 2
" "
( ) -
Puesto que nunca toma el valor , podemos concluir que . 2 B B T
" "
Adems tenemos . Por otra parte sea con . Definimos las B B B
# # "
funciones como sigue 0 1 T
definida as
si
si
0 0 B
B aB B
B B B
- ( )

# "
" "
dada por 1 1 B B aB - ( )
#
Entonces , y , , , as no ser cancelable a la derecha. 0 1 0 2 B 1 2 B aB 2 ( ) ( ) ( ) ( )
Recprocamente supongamos que
, y , 1 2 0 2 0 1
Entonces existe un tal que . Por lo tanto nunca toma el B 0 B 1B 2 B
" " "
( ) ( )
valor por otra parte as no es superyectiva. B 2 0 B 2 1 B 2
" " "
( ) ( ) ( ) ( )
4. Sea el grupo de las permutaciones del conjunto W " # $ %

%
( ) + W Escriba todos los elementos de como un producto de cclos disyuntos.
%
( ) , Elaborar la tabla de grupo.
( ) ( ) - , W Probar que adems de los subgrupos de posee solamente los siguientes
%
subgrupos:
( ) ( )( ) ( )( ) ( )( ) " Z "# $% "$ #% "% #$ M El "grupo de Klein" ,
%
( ) # E Z O 3 " # $ % el "grupo alternado" (para cualquier de orden 12;
% % 3
( ) $ W el grupo entero de orden 24;
%
( ) % cuatro grupos de orden 6, y
( ) & tres grupos de orden 8.
( ) . W Indique las inclusiones existentes entre los subgrupos de .
%
( ) / O O Pruebe que el producto de dos subgrupos distintos de orden 3 no es un
3 4
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 un grupo es dada por: W
%
Ahora
( ) 3 3 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5
" " " # " " " # " $ " " " " $ "
as el grupo generado por es dado por 5
"
( ) 5 5 5 5
" " # $
3
( ) 33 3 5 5 5 5
# # # #
, as el grupo generado por es
( ) 5 5
# #
3
( ) 333 3 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5
$ $ $ # $ $ $ # $ " $ $ $ $ " $
y el subgrupo ser
( ) 5 5 5 5
$ " # $
3
( ) 3@ 3 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5
% % % & % % % & % ' % % % % ' %
de donde
( ) 5 5 5 5
% % & '
3
( ) @ 3 5 5 5
& & &
por lo tanto
( ) 5 5
& &
3
( ) @3 3 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5
' ' ' & ' ' ' & ' % ' ' ' % '
'
y el subgrupo ser
( ) 5 5 5 5
' % & '
3
( ) @33 3 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5
( ( ( ) ( ( ( ) ( * ( ( ( ( * (
, o sea que el subgrupo es
( ) 5 5 5 5
( ( ) *
3
( ) @333 3 5 5 5
) ) )
de donde
( ) 5 5
) )
3
( ) 3B 3 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5
* * * ) * * * ) * ( * * * * ( *
por lo tanto
( ) 5 5 5 5
* ( ) *
3
( ) B 3 7 7 7 7 7 7 7 7 7
" " " # " " " # "
por consiguiente
( ) 7 7 7
" " #
3
( ) B3 3 7 7 7 7 7 7 7 7 7
# # # " # # # " #
as
( ) 7 7 7
#
3
" #
( ) B33 3 7 7 7 7 7 7 7 7 7
$ $ $ % $ $ $ %
$
luego
( ) 7 7 7
$ $ %
3
( ) B333 3 7 7 7 7 7 7 7 7 7
% % % $ % % % $ %
as
( ) 7 7 7
% %
$
3
( ) B3@ 3 7 7 7 7 7 7 7 7 7
& & & ' & & & ' &
, as el subgrupo generado ser
( ) 7 7 7
& & '
3
( ) B@ 3 7 7 7 7 7 7 7 7 7
' ' ' & ' ' ' & '
, o sea que
( ) 7 7 7
' & '
3
( ) B@3 3 7 7 7 7 7 7 7 7 7
( ( ( ) ( ( ( ) (
, luego
( ) 7 7 7
( ( )
3
( ) B@33 3 7 7 7 7 7 7 7 7 7
) ) ) ( ) ) ) ( )
, por consiguiente el subgrupo es
( ) 7 7 7
) ( )
3
( ) 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
( )
& &
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 5 5 5
" $ " # "
3 L
$
( ) ( ) 5 5 5 5 5
% ' % & ' #
3 L
( ) ( ) 5 5 5 5 5
( * ( ) * $
3 L
Cuatro subgrupos de orden tres
( ) ( ) 7 7 7 7
" # " # "
3 O
( ) ( ) 7 7 7 7
$ % $ % #
3 O
( ) ( ) 7 7 7 7
& ' & ' $
3 O
( ) ( ) 7 7 7 7
( ) ( ) %
3 O
Nueve subgrupos de orden dos
( ) ( ) ( ) 5 5
# # " " " % % % (
3 P 3 P 3 P
( ) ( ) ( ) 5 5
& & # # # & & & )
3 P 3 P 3 P
( ) ( ) ( ) 5 5
) ) $ $ $ ' ' ' *
3 P 3 P 3 P
y el subgrupo trivial
M 3 3 ( )
( )( ) - " Z M W
% # & ) %
5 5 5 es un subgrupo de claramente ya que
5 5 5 5 5 5
# & ) % & ) # %
Z Z
5 5 5 5 5 5
# ) & % ) # & %
Z Z
5 5 5 5 5 5
& # ) % ) & # %
Z Z
indica que es una parte cerrada de , por lo tanto un subgrupo. W
%
( ) # Z O Confrontemos todos los productos en efecto
% 3
Z O 3 3 O Z
% " " # # & ) " %
7 7 5 5 5
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 3 3
% # # & ) $ % # & ) $ % # $ # % & $ & % ) $ ) %
5 5 5 7 7 5 5 5 7 7 5 7 5 7 5 7 5 7 5 7 5 7
Z O 3 3
% # # & ) $ % ' " # ) ( & # & ) " # $ % & ' ( )
5 5 5 7 7 7 7 7 7 7 7 5 5 5 7 7 7 7 7 7 7 7
Z O 3 3
% $ # & ) & '
5 5 5 7 7
3 5 5 5 7 7 5 7 5 7 5 7 5 7 5 7 5 7
# & ) & ' # & # ' & & & ' ) & ) '
3 3 5 5 5 7 7 7 7 7 7 7 7 5 5 5 7 7 7 7 7 7 7 7
# & ) & ' ) $ " ( % # # & ) " # $ % & ' ( )
Finalmente
Z O 3 3 3
% % # & ) ( ) # & ) ( ) # ( # ) & ( & ) ) ( ) )
5 5 5 7 7 5 5 5 7 7 5 7 5 7 5 7 5 7 5 7 5 7
3 3 5 5 5 7 7 7 7 7 7 7 7 5 5 5 7 7 7 7 7 7 7 7
# & ) ( ) # & ' % $ " # & ) " # $ % & ' ( )
Puesto que para todo , entonces es un subgrupo de Z O 3 3 " # $ % Z O
% 3 % 3
W O Z Z O
% 3 % % 3
ya que como se prueba en forma anloga, por otra parte
Z O Z O Z O Z O
% " % # % $ % %
Este grupo de orden es llamado alternado y es dado por "#
E 3
% # & ) " # $ % & ' ( )
5 5 5 7 7 7 7 7 7 7 7
( ) $ W #% Claramente 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 , uno de orden 2 y el otro de orden 3, as W
%
( ) 3 O P 3 3
" ) & " # " & # & & " # % '
7 7 7 7 7 7
P O 3 3
) " & " # & " & # & " # ' %
7 7 7 7 7 7
As donde se sigue que este es un subgrupo de orden 6 O P P O O P 3
" ) ) " 3 )
de W
%
( ) 33 O P 3 3
" * ' " # " ' # ' ' " # & %
7 7 7 7 7 7
P O 3 3 3
* " ' ' " # ' " ' # ' " # % &
7 7 7 7 7 7
esto implica que y como se sigue que es un O P P O O P 3 O P
" * * " " * " *
subgrupo de orden seis de W
%
( ) 333 O P 3 3 3 3
# & $ % # # $ % $ # % # # $ % ' $
7 7 7 7 7 7 7 7
P O 3 3 3 3
& # # $ % # $ % # $ # % # $ % $ '
7 7 7 7 7 7 7 7
o sea que y tambin esto implica inmediatamente que O P P O O P 3
# & & # # &
O P W
# & %
es un subgrupo de orden seis de
( ) 3@ O P 3 3 3 3
# ' $ % $ $ $ % $ $ % $ $ $ % # '
7 7 7 7 7 7 7 7
pero coincide con por lo tanto no nos sirve, pero O P P O
# ' & #
O P 3 3 3 3
$ ) & ' & & ' & & & ' & & ' & $ "
7 7 7 7 7 7 7 7
P O 3 3
) $ & ' & & & & ' & ' & " $
7 7 7 7 7 7
as sera el tercer grupo de orden seis de . O P P O W
$ ) ) $ %
( ) @ O P O P Puesto que debemos hallar otro distinto, en efecto
" ) " *
O P 3 3 3 3
% ( ( ) % ( ) % ( % ) % ( ) % # "
7 7 7 7 7 7 7 7
as obteniendose de esta manera el cuarto y ltimo subgrupo de O P P O
% ( ( %
orden seis de W
%
( ) & ) W Con el fin de hallar el nmero de subgrupos de orden de , multiplicamos los
%
grupos de orden cuatro por los de orden 2 as:
( ) 3 L P 3 3
" # " # $ &
5 5 5 5
3 3 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5
" # $ & " # & $ & " # $ & # ) &
&
P L 3 3
# " " # $ & & " & # & $ " # $ & & ) #
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5
as obteniendose el primer subgrupo de orden 8 de . L P P L W
" # # " %
( ) 33 L P 3 3
$ " # ( ) * ( # ) # * # # ( ) * & " '
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5
P L 3 3
" $ # ( ) * # ( # ) # * ( ) * ' " &
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5
#
as que es el segundo subgrupo de orden 8 de . L P P L W
$ " " $ %
( ) 333 Finalmente
L P P L 3
# " " # # % & ) ' %
5 5 5 5 5
$
el cual es el tercer subgrupo de orden 8 de
W
%
.
( ) . W Indiquemos las inclusiones existentes entre los subgrupos de .
%
es un subgrupo de todos. 3
es un subgrupo de: P L O P L P L P L P Z E W
" " # & " # " $ " & % % %
es un subgrupo de . P L P Z L P L P E W
# # # % " # " $ % %
es subgrupo de: . P L Z P L P L E W
$ $ % # " & " % %
es subgrupo de . P W
% %
es subgrupo de: . P O P O P L P L P L P W P L
& # & # ' # ' " # " $ % & "
es subgrupo de: P O P O P L P W
' # & # ' " # %.
es subgrupo de : . P( O P O P W
" ) " * %
es subgrupo de : . P O P O P L P L P L P W
) " ) " * " # " $ " & %
es subgrupo de : . P O P O P O P O P W
* " ) " * # & # ' %
es subgrupo de: . O O P O P E W
" " ) " * % %
es subgrupo de: O O P O P E W
# # & # ' % %.
es subgrupo de : . O E W
$ % %
es subgrupo de: . O E W
% % %
es subgrupo de : . L L P L P L P W
" " # " $ " & %
es subgrupo de . L W
# %
es subgrupo de . L W
$ %
es subgrupo de: . Z E L P L P L P
% % " $ " & " #
es subgrupo de . O P W
" ) %
" * %
# & %
es aubgrupo de . O P W
# ' %
es subgrupo de . L P W
" # %
es subgrupo de . L P W
" & %
es subgrupo de . E W
% %
( ) / O O Hallemos en primer lugar todos los productos
3 4
O O M 3
" # $ % " # " % " $ # $ # % " # $ % # ' ) &
7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 7 7 5
ahora
O O 3 3
# " " # $ % $ " % " $ # % # " # $ % & ( & #
7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 7 7 5
aqu pero luego no es subgrupo de . O O 3 O O O O W
" # " # # " %
O O 3 3
" $ " # & ' " & " ' # & # ' " # & ' ( & ) %
7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 5 7
Por otra parte
O O 3 3
$ " " # & ' & " ' " & # ' # " # & ' $ ) & )
7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 5 7
como se ve y pero no es un subgrupo de . O O O O O O 3 W
" $ $ " " $ %
Siguiendo el mismo procedimiento tenemos
O O 3 3
" % " # ( ) " ( " ) # ( ) " # ( ) ) $ & #
7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 7 7 5
#
ahora
O O 3 3
% " " ( ) ( " ) " ( # ) # " # ( ) # ' % )
7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 7 7 5
#
y luego no es subgrupo de . O O O O W
% " " % %
O O 3 3
# $ $ % & ' $ & $ ' % & % ' $ % & ' # # )
7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 7 7 5
)
O O 3 3
$ # $ % & ' & $ ' $ & % ' % $ % ' ) " ( #
7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 7 7 5
&
As esto implica que no es subgrupo de . O O O O O O W
# $ $ # # $ %
O O 3 3
# % $ % ( ) $ ( $ ) % ( % ) $ % ( ) " ) & '
7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 5 7
O O 3 3
% # $ % ( ) ( $ ) $ ( % ) % $ % ( ) & & ) #
7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 5 7
como siempre aun que , luego no es subgrupo de . O O O O O O 3 W
# % % # # % %
O O 3 3
$ % & ' ( ) & ( & ) ' ( ' ) & ' ( ) # # % &
7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 7 7 5
Ahora
O O 3 3
% $ & ' ( ) ( & ) & ( ' ) ' & ' ( ) & $ " #
7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 5 7 7 5
As luego no es subgrupo de O O O O W
$ % % $ %
De todo lo anterior se deduce que
# # # # # ( ) ( ) ( ) ( ) ( ) O O O O O O O O O O $ $ *
" # " $ " % # $ $ %
O O
O O
3 4
3 4
( )

O O 3
3 4
y como , se sigue que el producto no es un subgrupo de ya *l #% W O O W ( )
% 3 4 %
que segn el teorema de Lagrange el orden de un subgrupo debe dividir al orden
del grupo y aqu tal cosa no ocurre.
( ) 0 E El grupo alternado no posee ningn subgrupo de orden seis, por que
%
supongamos por contradiccin que es un subgrupo de orden seis de , L E
%
tenemos que
5 5 5
# # #
# & )
3
as son de orden dos , tambin es de orden tres, para por 5 5 5 7
# & ) 4
4 " )
consiguiente los elementos de orden 2 son y los elementos de orden 3 5 5 5
# & )

son . Dado que es de orden seis y es la mxima potencia de tres 7 7 7
" # )
"
L $
que divide a seis se sigue que debe tener un subgrupo de orden , ahora como L $
3 es primo entonces el subgrupo debe ser cclico y los nicos subgrupos de que L
son de orden 3 son los generados por , se sigue que para 7 7
3 3
3 " # ) L
algn . Sea entonces de donde y el subgrupo no sera 3 L 3 L 7 7 7 7
" " #
#
"
cclico . Nuevamente por ser 2 la ms alta potencia de 2 que divide a 6 , debe po L
contener un subgrupo de orden 2 y todo subgrupo de orden 2 es cclico y los
nicos subgrupos cclicos de son los generados por y por consiguiente E
% # & )
5 5 5
5 5
3 #
L 3 # & ) L para algn , digamos por ejemplo que ya que
, 5 7 7 7 5 7
# " % " # )

entonces si contiene a , tambin contiene a , as tendra 8 L L 5 7 7 7 7 7
# % (
# #
% $ )
elementos y sera una contradiccin. po
5.Sea un grupo cuyo orden es un nmero primo. Probar K

( ) + K K es generado por cualquier elemento de distinto de la unidad.
( ) , K es un grupo abeliano.
SOLUCION.( ) ( ) + K : : K / , y es un nmero primo, entonces y son los nicos
subgrupos de . Sea y . Consideremos el subgrupo de generado K + K + / K
por , es decir sea el orden del grupo generado por . Segn el + + 8 + + ( ) ( )
teorema de Lagrange debe dividir a pero es primo y , entonces as 8 : : + / 8 :
( ) + K.
( ) ( ) , + K K De la parte se sigue que es cclico por lo tanto veamos que es abeliano,
sean y elementos arbitrarios de entonces sern escritos como potencias de + , K
algn 1 K
6.Sea un grupo y sean , subgrupos de . Probar: K L O K

( ) ( ) ( ) ( ) + O L K O K L L O
Si entonces
( ) ( ) ( ) , K O L L O
( ) ( ) ( ) ( ) - K L K O K L O Si y entonces
( ) . L K O K L O K Si y entonces .
SOLUCION. ( ) + B L KL C O Sea los elementos distintos de los elementos
3 3M 4 3N
distintos de , entonces LO
,

K B L L C O
3 M 4 N
3 4
Definimos la aplicacin
: :

( )
-
K L K
L O O
3 4 3 4
B L C O B C O
veamos que esta bien definida, en efecto :
( ) ( ) B L C O B L C O
3 4 3 4
w w
es equivalente a
y B L B L C O C O
3 3 4 4
w w
ahora miremos las imgenes
:( ) B L C O B C O
3 4 3 4
:( ) B L C O B C O B C O B C O
3 4 3 4 3 4 3 4
w w w w w w
as las imgenes son iguales y por lo tanto est bien definida. :
: : : , en efecto si , entonces es uno a uno ( ) ( ) B L C O B L C O B C O B C O
3 4 3 4 3 4 3 4
w w w w
multiplicando esta ltima igualdad por se tiene L
B C OL B C OL
3 4 3 4
w w
pero entonces , por consiguiente O L L OL
B C L B C L
3 4 3 4
w w
se sabe que , , entonces C L a4 N
4
C L L C L
4 4
w
esta nos lleva a
B L B L
3 3
w
la cual es una igualdad entre elementos de esto implica que ahora
K
L
3 3
B B w
B C O B C O B C O
3 4 3 4 3 4
w w w
como se est en un grupo, se puede cancelar , as B
3
C O C O
4 4
w
obteniendo la igualdad entre clases de , por lo tanto
L
O
C C
4 4
w
as B L B L C O C O
3 3 4 4
w w
o sea se tiene la igualdad de las parejas
, ( ) ( ) B L C O B L C O
3 4 3 4
w w
as es uno a uno :
: : Para cada existe uno y slo un tal que , es claro es sobre 1 K B L 1L B L
3 3
que es un elemento de , as sea cualquier elemento de y podemos /O O 1O
L K
O O
calcularlo en :
:( ) 1L /O 1/O 1O
de donde es sobre. :
Tenemos en esta forma una biyeccin entre y , por consiguiente se tiene
K L K
L O O
# # # #

K K L K L
O L O L O

o sea que
( ) ( ) ( ) K L K L L O
( ) ( ) ( ) , K O L L O B O , en efecto sea los elementos distintos de ,
3 3M
K
L
as , vemos en seguida que
K B L
3 M
3
B L O BL BO ( )
de donde
con con : BL O : BA A L O : BA A L A O ( )
: BA A L : BA A O : BL : BO : BL BO ( ) ( ) ( ) con con
Ahora sea con y podemos simplificar : BL BO : BA BA A L A O B
" # " #
ya que as B K
A A A L O
" #
o sea con . : BA A L O : BL O
Ahora si y son tales que B L B O
3 4
B L B O
3 4
entonces dan origen a una clase mdulo . L O
Sea tal que se tenga M N a3 a4 M
B L B O
3 4
As
B L O B L B O B O
3 3 3
3
Ahora tomamos reunin disyunta

L B L O B O BO K

3 M 3 M 3 N
3 3
de donde se sigue que
# #

K L
O LO
o sea
. ( ) ( ) K O L L O
( )( ) ( ) ( ) ( ) - K L K O K L O , y entonces , en efecto se sabe de
que , por lo tanto se tiene que ( ) ( ) ( ) L L O K L L L O
Tambin se tiene que entonces se sigue de la parte que L O L +
( )
( ) ( )( ) K L O K L L L O
como y se sigue entonces que ( ) ( ) ( ) K L L L O K L O
( ) . L K O K L O K L O K Si y entonces , en efecto supongamos que ,
K L K O L O O L L y , segn esto no se puede tener, ni , o sea que y
O no son comparables, porque si,
, L O L O O
esto implicara de inmediato que lo cual no se puede tener por la hiptesis. O K
Tampoco porque en ese caso O L
O L L L K
esto es una contradiccin. po
De todo lo anterior tenemos la veracidad de las siguientes proposiciones:
tal que b2 L 2 O
tal que b5 O 5 L
pero y son subgrupos de , de esto se sigue que L O K
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 contradictorio por que implicara que y son comparables, lo cual po L O
no puede ser.
7. Sean y subgrupos de un grupo dado tales que y que ( ) + K K L K K K K

" # " #
L K K L L sea un subgrupo normal de y de o sea . Probar que
" #
( ) K L K
" #
es un subgrupo normal de . K
( ) , L W Indique un subgrupo normal del grupo simtrico grupo de las
%
permutaciones del conjunto y un subgrupo normal de tal que no " # $ % O L O
sea normal en . (use la notacin del problema 4) K .
SOLUCION.( ) + L K BL LB aB K Que sea subgrupo normal de , significa que .
" "
L K CL LC aC K es subgrupo normal de por lo tanto . Sea ahora
# #
: K K K : B C B K C K
" # " " " " " #
entonces donde , 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 es un subgrupo normal de . L K
( ) , O 3 Sea tenemos segn la tabla de grupo del problema 4, lo 5 5 5
# & )
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
" # & " & " ) )
" " "
" " "

#
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
# # #
# & )
# & ) # ) & ) #
3
&
entonces es un subgrupo normal de . O W
%
Ahora sea , es un subgrupo de y entonces es un L 3 L O O L # L 5
#
%
#
( )
subgrupo normal de . Pero no es un subgrupo normal de pues O L K W
%
. 7 5 7 5
" # )
"
"
L
8.Determine el ncleo y la imgen de los siguientes homomorfismos:

( ) ( ) ( ) ( ) - + 5 85 8 dado por siendo fijo .
( ) ( ) ( ) ( ) - , ' ' 5 ' #5 ' 5 dado por
( ) ( ) ( ) ( ) - - 8 8 7 5 7 5 8 7 5 dado por
:
( ) ( ) ( ) ( ) - . d < / < d
0
dado por
3<
( ) ( ) ( ) ( ) - / W W W dado por .
8 8" 8
0
1 1
" 8 8"
1 1 1
" 8
8"
SOLUCION. ( ) ( ) + 0 5 0 5 ! 5 85 ! ! ker
70 0 5 5 85 5 8 ( )
( ) ( ) , 0 5 ' 0 5 ' ' 5 ' #5 ' ' $5 ' ker
70 0 5 ' 5 ' ' #5 ' 5 ' ' ' # ' % ' ( )
( ) ( ) - 5 7 5 7 8 7 5 7 5 8 7 8 7 ker: :
As se tiene que tal que 5 8 7 8 7 b 5 87 5 7 8 8 " ( )
5 8 8 8 : o sea que . ker
: : 7 5 7 5 7 7 5 8 7 5 7 7 8 7 ( )
( ) ( ) . 0 < d 0 < " < d / " # 5 5 ker
3<
1
70 0 < < d / < d W ( ) ( )
3<
"
o sea, el crculo unitario .
( ) / W8 3 ker0 1 0 1
"#88"
"#88"
0 0 1 1 7 W W W W

8 8 8" 8
, esto es un subgrupo de isomorfo a .
9.Sea un grupo. Un isomorfismo de sobre es llamado un "automorfismo" K K K

( ) ( ) + 8 Determine todos los automorfismos de un grupo cclico de orden finito o .
( ) , + K + K K s Para cualquier , pruebe que la aplicacin dada por
B + B + B K K
"
( ) es un automorfismo de (llamado "automorfismo interior")
( ) ( ) ( ) - E?> K K M8> K Se denota con al conjunto de los automorfismos de y con al
conjunto de los automorfismos interiores de . Pruebe que es un subgrupo K E?> K ( )
del grupo de las permutaciones de , que cuando y W K K E?> K W K K " ( ) ( ) ( )
que es un subgrupo normal de M8> K E?> K ( ) ( )
( ) ( ) . K E?> K + + + K s Pruebe que la aplicacin dada por es un
homomorfismo. Determine su ncleo e indique una condicin necesaria y
suficiente para que ese ncleo coincida con K
SOLUCION. ( ) ( ) ( ) ( )
( )
+ 0 E?> K K 1 1 8 0 K K
1
0 1
Sea y con , entonces esto
implica que as existe tal que como es sobre, existe 0 1 K 7 0 1 1 0 B K ( ) ( )
7
tal que entonces , as o 1 0 B 0 1 1 1 / 8l7< " b= 7< " =8 ( ) ( ) ( )
< 7< 7<"
sea que as . Si entonces esta determinado por =8 7< " 8 7 " 0 E?> K 0 ( ) ( )
7 0 0 1 1 , entonces podemos notar al automorfismo tal que .
7 7
7
( )
( ) ( ) ( ) 3 7 8 " 7 8 " Notamos que si y entonces
w
0 0 1 0 1 0 1 1 1 0 1
7 7 7 7 77
7 7 77
7
7
w w
w w
w
w
( ) ( ) ( ) ( )

Pero si entonces luego entonces ( ) ( ) ( ) 7 8 " 7 8 77 8 " 0 0 0
w w
7 7 77
w w
# . ( ) ( ) ( ) E?> K 8 :
( ) ( ) 33 L 7 7 8 " 8 L Sea Primos relativos con . es un grupo
multiplicativo mdulo de de hecho . 8 7 8 " 7 8 " 7 7 8 " ( ) ( ) ( )
" # " #
Sea ahora , se sigue que es un homomorfismo, en efecto J L E?> K J
7
J 7 0
"
" 7
- ( )
( )
"
7 7 L J 7 7 0 0 0 J 7 J 7
" # " # 7 7 7 7 " #
( ) ( ) ( )
" # " #
Entonces es un isomorfismo puesto que es inyectiva y sobreyectiva J J
claramente, as # # ( ) ( ) ( ) ( ) L E?> K 8 :
( ) ( ) ( ) 333 8 K 1 1 Ahora si es infinito sea = entonces los nicos generadores
de son y . Si es otro generador, esto es entonces , K 1 1 2 K 2 1 1 2
" 7
( ) ( )
por otro lado , para algn , o sea 2 1 5
5
1 1 1 1 /

5 75 75"
7
Como entonces , donde y . De 1 75 " ! 75 " 7 " 5 " ( ) ( )
todo esto
0 E?> K 0 K K
( )
1
0 1
1
1
( )

"
o sea donde . 0 K M 0 0 K K
1
0 1 1
( )
( )
"
( ) , Sea entonces + K K s
B
+B+
"
,
( ) 3 + s es un homomorfismo
+ B C + BC + +BC+ +C+ +B+ +C+ + B + C s s s ( ) ( ) ( )( ) ( ) ( )
" " " " "
( ) 33 + s es inyectiva
+ B + C +B+ +C+ + +B+ + + +C+ + s s ( ) ( ) ( ) ( )
" " " " " "
++ B + + ++ C + + B C ( ) ( ) ( ) ( )
" " " "
( ) 333 + s es sobreyectiva
Sea entonces existe tal que C K B + C+ K
"
+ B +B+ + + C+ + ++ C ++ C s( ) ( ) ( ) ( )
" " " " "
De se sigue que . ( ) ( ) ( ) ( ) 3 33 333 + E?> K s
( ) ( ) ( ) ( ) ( ) - 3 0 E?> K 1 E?> K 0 1 E?> K Veamos que si y entonces .
Claramente, se sabe que la composicin de dos aplicaciones biyectivas es una
biyeccin, slo resta ver que es un homomorfismo, en efecto; 0 1
( )( ) ( ) ( ) ( ) ( ) ( ) ( )( ) ( )( ) ( ) ( ) 0 1 B C 01 B C 01 B 1 C 0 1 B 0 1 C 0 1 B 0 1 C
esto se tiene por que y son homomorfismos. 0 1
( ) ( ) ( ) 33 0 E?> K 0 E?> K Ahora sea entonces veamos que
"
En efecto es una biyeccin porque lo es y es su inversa, veamos ahora 0 0 0
" "
que es un homomorfismo 0
"
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 claramente as es un subgrupo de 0 E?> K E?> K WK E?> K
"
( ) ( ) ( )
WK.
( ) ( ) 333 E?> K WK K " , cuando .
Por ejemplo, en el caso , entonces los automorfismos de se reducen a la W K K
#
identidad y tiene dos elementos, as que . W E?> K WK
#
( )
( ) ( ) ( ) 3@ M8> K + B +B+ + E?> K s s Sea
"
Tomemos , entonces + + M8> K s s
" #
( )
( )( ) ( ) ( ) ( ) ( ) ( ) ( ) + + B + + B + + B+ + + B+ + + + B + + s s s s s
# " # " # " # " # "
" " # " #
" " " " "
+ + B + + + + B
s
( ) ( ) ( )( )
# " # " # "
"
As + + + + s s
s
# " # "
O sea es cerrado para la composicin, adems si entonces M8> K + M8> K s ( ) ( )
+ M8> K + B + B+ + B + s s
" " " " "
"
( ) ( ) ( ) ( ) porque .
Ahora si se tiene : E?> K ( )
( )( ) ( )( ) ( ) ( ) ( ) : : : : : : + B + B + B s s s
" " "
+ B + + B + + B
s
: : : : : ( ) ( ) ( ) ( )( ) ( ) ( )
" "
"
: es un homomorfismo
esto prueba que . M8> K E?> 1 ( ) ( )
( ) ( ) ( ) . K E?> K + + + , + , s
s
Sea dada por , entonces es efectivamente : : :
un homomorfismo, pues
:( )( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) + , B + , B +, B +, +, B , + + ,B, + + , B +
s
s
"
" " " " "
+ , B + , B + , B s s
s s
( ) ( ) ( )( ) ( ) ( ) : :
o sea
: : : ( ) ( ) ( ) + , + ,
ker: : + K + 3 + K+ 3 B K+B+ B B K+B B+ s ( )
K K
"
y es el llamado "centro de ". K
Ahora una condicin necesaria y suficiente para que es que sea un ker: K K
grupo abeliano, puesto que
. ker: B K+B +B B KB+ +B K
Kes abeliano
10. ( ) ( ) + + , K + Sean elementos de un grupo conmutativo tales que

, + , " + , + , ( ) ( ) ( ) ( ) ( ) ( ) ( ) y . Pruebe que .
( ) , K 8 - K Sea un grupo cclico de orden y sea un generador de . Pruebe
que para cualquier . - 8 ( )
7 8
78 ( )

SOLUCION. + + , +, ( )( ) ( )
+ ,
+ ,
( ) ( )
( ) ( )
por ser abeliano y porque si , existira K + , +, + , / + , / ( )( ) ( ) ( ) ( ) ( ) ( )
un entonces entonces : + , : + : , : l + : l , ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
( ) ( ) ( ) + , ".
As se sigue del teorema de Lagrange que # . + , + , ( ) ( ) ( ) ( )
Hay otra forma de prueba: Se sabe que +, ,+ + 7 , 8 +, ; ( ) ( ) ( )
entonces . Se tiene entonces , ( ) ( ) ( ) ( ) +, + , a5 +, + , + , /
5 78 8 7
5 5 78 78 7 8
lo cual prueba que el orden de divide a . ; +, 78

Para mostrar la igualdad es suficiente probar que y dividen a . Puesto que 7 8 ; 7
y son primos entre si, el elemento tiene por orden . Las relaciones 8 + 7
8
( ) ( ) ( ) ( ) + +, +, /
8
; 8; ; 8
muestra que es mltiplo del orden de . Se prueba lo mismo que divide a . ; 7 + 8 ;
8
, Para todo tal que esto es equivalente a decir que 5 + / - /
5 75
+ -
8
8l75 75 ! 8 . 7 8 b 7 . b 8 .
( ) ( ) mod . Sea ahora entonces / . " "

Adems porque si entonces tal que y ( ) ( ) " " " " " b5 b5 -5 -5
" # " #
entonces . ( )
75 -.
85 -.
"
#
7 8 .
Ahora Simplificando por se llega a 8l75 .l .5 b .5 . . " # #"
| #" " " 5 5 5 !

mod
8
.
as
+ / 5 ! +
5 8 8
. .

( ) mod
o sea
- ( )
7 8 8
. 78 ( )
Se conoce la relacin , tambin se tiene 7 8 -
78 8
78 78 7 7
78 78
7
( ) ( )
( )
11.Sea un nmero entero positivo. Demuestre: 8

( ) ( ) + 8 8 La multiplicacin en induce una multiplicacin en , y , es un
monoide conmutativo.
( ) ( ) ( ) , 5 5 8 8 5 8 " Sea . es inversible en si y slo si .
( ) ( ) - 8 El conjunto de los elementos inversibles de es un grupo abeliano de
orden donde es la funcin de Euler : : ( ) ( ) 8
( ) ( ) . 5 5 8 " 5 " 8 Si es tal que , entonces es un mltiplo de . En
:8
particular, para cualquier cada nmero primo divide a o a . 5 : 5 5 "
:"
( ) ( ) / 8 " "$ - Cules son los enteros entre y tales que el grupo indicado en sea
cclico?. Para cada uno de ellos indique un generador.
SOLUCION. ( ) + 8 Se define la multiplicacin en as
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 8 5 2 8
" " # #
( ) ( ) mod mod
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 se sigue que =2 >2 >=8
# "

5 5 2 2 8
" # " #
( ) mod
esto es lo mismo que
5 5 8 2 2 8
" # " #

y la operacin queda bien definida.
Veamos que , es un monoide conmutativo: ( ) 8
( ) 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
tal que a 5 8 B 8 B 5 8 5 8 ( ) ( )
b
basta tomar en ese caso . B " 8 " 8 5 8 5 8 ( )( )
( ) ( ) ( ) , 5 5 8 8 5 8 " Sea , es inversible en si y slo si .
En efecto, supongamos que tiene inverso es , esto significa que 5 8 8 ( )
existe un tal que = 8
( )( ) 5 8 = 8 " 8 5= 8 " 8
esto implica que , o sea tal que , o lo que es lo mismo 5= " 8 b> 5= " 8>
5= >8 " 5 8 " , por lo tanto . ( )
Recprocamente supongamos que esto significa que existen enteros ( ) 5 8 " > =
tales que , lo cual es lo mismo que , o sea , o 5= 8> " 5= " 8 > 5= " 8
en forma equivalente y esto es completamente lo mismo que 5= 8 " 8
( )( ) ( ) 5 8 = 8 " 8
as dado existe tal que se tiene por lo tanto es inversible. 5 8 = 8 5 8 ( )
( ) - L 78 7 8 " 8 Sea es un monoide multiplicativo abeliano mdulo
como ya se mostr en el problema 9, parte as sea ( ) 33
es inversible en Z 5 8 5 8 8 5 8 5 8 " L ( ) ( )
por lo tanto es un grupo abeliano y Z Z L 8 :
( ) ( ) . 5 8 " Z Como entonces en , por el teorema de Lagrange
( ) 5 8 " 8
:8
o sea
5 8 " 8 5 " 8
: : 8 8

esto es equivalente a decir que tal que , de donde tenemos la b= 5 " =8
:8
afirmacin.
Si es primo y entonces , o : 5 5 : 5 :
Si entonces divide a claramente. 5 : : 5
Si entonces se tienen dos casos a saber: o , 5 : 5 7: 5 : " ( )
Si entonces 5 7: :l5
Si entonces para algn , pero es primo entonces ( ) 5 : " 5 " >: > :
:8
:: : " 5 " >: : 5 " y as .

:" :"
|( )
( ) ( ) ( ) / 3 L - se tiene trivialmente. Con indicaremos al grupo dado en
3
as ( ) ( ) 33 # # " # L " # " #
#
y porque ( ) ( ) 333 $ $ " $ # $ L " $ # $ # $
$
( ) # $ # $
"
. ( ) # $ " $
#
tenindose que ( ) 3@ % % " % # % $ %
, ya que se tiene L " % $ % $ %
%
( )
( ) $ % $ %
"
( ) $ % " %
#
, y ( ) @ & & " & # & $ & % &
, dado que L " & # & $ & % & # &
&
( )
( ) ( ) # & # & # & $ &
" $
( ) ( ) # & % & # & " &
# %
( ) @3 ' ' " ' # ' $ ' % ' & ' , aqu
, puesto que L " ' & ' & '
'
( )
( ) ( ) & ' & ' & ' " '
" #
( ) @33 ( ( " ( # ( $ ( % ( & ( ' ( con
, dado que L " ( # ( $ ( % ( & ( ' ( $ (
(
( )
( ) ( ) ( ) ( ) $ ( $ ( $ ( # ( * # (

" #
mod
( ) ( ) ( ) ( ) ( ) ( ) $ ( ' ( #( ' ( $ ( % ( )" % (

$ %
mod mod
( ) ( ) ( ) ( ) $ ( & ( #%$ & ( $ ( " (

& '
mod
( ) @333 ) ) " ) # ) $ ) % ) & ) ' ) ( ) y aqu
no es cclico, dado que L " ) $ ) & ) ( )
)

( ) ( ) ( ) $ ) $ ) & ) & ) ( ) ( )
" " "
( ) ( ) ( ) $ ) " ) & ) " ) ( ) " )
# # #
( ) 3B * * " * # * $ * % * & * ' * ( * ) * con
, dado que L " * # * % * & * ( * ) * # *
*
( )
( ) ( ) ( ) # * # * # * % * # * ) *
" # $
( ) ( ) ( ) ( ) ( ) ( ) # * ( * "' ( * # * & * $# & *

% &
mod mod
. ( ) ( ) ( ) # * " * '% " *

'
mod
( ) B "!
"! " "! # "! $ "! % "! & "! ' "! ( "! ) "! * "!
Aqu en efecto L " "! $ "! ( "! * "! $ "!
"!
( )
( ) ( ) $ "! $ "! $ "! * "!
" #
( ) ( ) ( ) ( ) ( ) ( ) $ "! ( "! #( ( "! $ "! " "! )" " "!

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

, puesto que * "" "! "" # "" ( )
( ) ( ) ( ) # "" # "" # "" % "" # "" ) ""
" # $
( ) ( ) ( ) ( ) ( ) ( ) # "" & "" "' & "" # "" "! "" $# "! ""

% &
mod mod
( ) ( ) ( ) ( ) ( ) ( ) # "" * "" '% * "" # "" ( "" "#) ( ""

' (
mod mod
( ) ( ) ( ) ( ) ( ) ( ) # ""^ $ "" #&' $ "" # "" ' "" &"# ' ""

) *
mod mod
( ) ( ) ( ) # "" " "" "!#% " ""

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

( ) ( ) ( ) & "# & "# ( "# ( "# "" "# "" "#
" " "
( ) ( ) ( ) ( ) ( ) ( ) & "# " "# #& " "# ( "# " "# %* " "#

# #
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 esta bien ( ) "" + 8
definida, en efecto
( ) ( ) 5 8 5 8 5 8 5 8
" #
w w
" #

esto es equivalente a

5 8 5 8 5 5 8
5 8 5 8 5 5 8
" "
w w
" "
# #
w w
# #

Ahora
5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5 5
" # " # # # " # #
w w w w w w w w w
" # " " " # " # "
( ) ( )
Como se sigue que .
5 5 8 5 5 5 8
5 5 8 5 5 5 8
" " #
w w
" "
# #
w w w
# # "

entonces
entonces
( )
( )
5 5 5 5 8
" #
w w
" #

Luego
. 5 5 8 5 5 8
" #
w w
" #

12.Sean y subgrupos de un grupo . Probar: L L L O K

" # <
( ) ( ) + K L L K L L Si entonces "conmutatividad del producto directo" .
" # # "
( ) , K L L L O L L K O L O L L
" # $ " # $ " #
y si y slo si y
("asociatividad del producto directo").
( ) - K L L O L L O L L KL Si y entonces y son
" < " <" " <" <
isomorfos a . O
SOLUCION ( ) + K L L K L L L K 3 " # L L " , ,
" # " # 3 " #
Ahora
L K 3 " # L L " L L L L
3 " # " # # "
Por consiguiente
K L L L K 3 " # L L "
# " 3 3 #
lo cual equivale a
. K L L
# "
( ) , K L L L O L L Supongamos que , ,
" # $ " #
K L L L
K L L L
L K 3 " # $
L L L L " 3 " # $
s
" # $
" # $
3
" # $
_
_
j
_
_
_
3
Como
, , K L L L O L L K O L "
" # $ " # $
( )
Para tenemos 3 $
O L L L L " #
$ " # $
( )
Se afirma que , en efecto, 5 K
sea y entonces . 1 K 2 O L L 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 L L L L " $

" " # " # " $ #
w
( )
entonces, nuevamente, y implican que . ( ) ( ) ( ) " # $ O L L
w w w
" #
K O L O L L Recprocamente, supongamos que y , entonces
$ " #
K O L
$
es equivalente a decir que la aplicacin
O L K
5 2

52
$
$
"
$
( )
-
9
es un isomorfismo.
Ahora, es equivalente a decir que la aplicacin O L L
" #
L L O
2 2

2 2
" #
" #
#
" #
( )
-
9
es un isomorfismo.
Definimos
L L L O L
2 2 2 2 2 2
" # $ $
" # $ # " # $
$
( ) ( )
-
( )
9
9
( ) 3 9
$
est bien definida
( ) ( ) 2 2 2 2 2 2 2 2 2 2 2 2
" # $ " # $
w w w w w w
" # $ " $
#
Se sigue que
, , 9 9
# " # # $
w w w
" # $
( ) ( ) 2 2 2 2 2 2
y por consiguiente
9 9 9 9
$ " # $ # " # $ # $
w w w w w w
" # $ " # $
( ) ( ) ( ) ( ) ( ) ( ) 2 2 2 2 2 2 2 2 2 2 2 2
( ) 33 9
$
es inyectiva
9 9 9 9
$ " # $ $ # " # $ #
w w w w w w
" # $ " $ #
( ) ( ) ( ) ( ) ( ) ( ) 2 2 2 2 2 2 2 2 2 2 2 2
de donde se sigue que
, , 9 9
# " # # $
w w w
" # $
( ) ( ) 2 2 2 2 2 2
Como es inyectiva, entonces 9
#
, , 2 2 2 2 2 2
" # $
w w w
" # $
( ) 333 9
$
es sobreyectiva
Sea ; como es sobreyectiva, entonces existen , , ( ) 5 2 O L 2 2 2 L
$ $ # " # " "
9
2 L 2 2 5
# # # " #
tales que , entonces 9 ( )
9 9
$ " # $ # " # $ $
( ) ( ) ( ) ( ) 2 2 2 2 2 2 5 2
( ) 3@ 9
$
es un homomorfismo
9 9 9
$ " # $ $ " # $ # " # $
w w w w w w w w w
" # $ " # $ " # $
2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 ( ) ( ) ( ) ( ) ( )
2 2 2 2 2 2 2 2 2 2 2 2 ( ) ( ) ( )( ) ( ) ( ) 9 9 9
# " # $ # " # # $
w w w w w w
" # $ " # $
2 2 2 2 2 2 2 2 2 2 2 2 ( ) ( ) ( ) ( ) ( )

9 9 9 9
# " # # $ " # $ $
w w w w w w
" # " # $ $
$
Se sigue que es un isomorfismo, por consiguiente 9
$
9 9 9
9
L L L K
2 2 2

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 en particular O L L O L L
" # " #
( ) - Se sabe por hiptesis que
y K L L L L K a3 " # <
" <" < 3
L L L L " a3 " # <
" # 3" 3
y que , en particular, de la segunda relacin de arriba se sigue O L L
" <"
cuando 3 < "
y O L L L K a3 " # < "
" <" 3
L L L L " a3 " # < "
" # 3" 3
as segn la definicin general, se sigue que
O L L L
" # <"
Ahora se define la siguiente aplicacin
)
)
K L L L L L L O
B 2 2 2 2 2 2 2 B
" # < " # <"
" # <" <
" # <" ( )
-
( ) ( )
( ) 3 ) esta bien definida
B 2 2 2 2 2 2 2 2 C
" # <" <
w w w w
" # <" <
2 2 2 2 2 2 2 2 "
" # <" <
w w w w
" # <" <
"
( )
2 2 2 2 2 2 2 2 "
" # <" <
w" w w w
< " # <"
"
( )
por la normalidad de se tiene L
<
2 2 2 2 2 2 2 2 " ( ) ( ) ( )
" # <" <
w w w w"
" # <" <
"
Se recuerda ahora el hecho de que
L L L L "
" # <" <
entonces
, , ( )( ) 2 2 2 2 2 2 " 2 2 "
" # <" <
w w w w"
" # <" <
"
de la primera de estas dos se tiene
2 2 2 2 2 2
" # <"
w w w
" # <"
o sea que . ) ) B C
( ) 33 ) es un homomorfismo
) ) ( ) ( ) ( ) B C 2 2 2 2 2 2 2 2
" # <" <
w w w w
" # <" <
Ahora hacemos uso de la normalidad de los as L
3
2 2 2 2 2 2 2 2 2 1 2 2 2 2
" # <" < "
w w w w w w w w
" # <" < " # <" <
( ) ( )
2 2 1 2 2 2 2 2 2 2 2 2 2 2
" " # <" <
w w w w w w w w
" # <" < " # <" <
( )
2 2 2 2 2 2 2 2 2 ( ) ( )
" # $ <" <
w w w w
" # <" <
2 2 2 2 2 2 2 2 2 2 ( ) ( )
" # $ <" <
w w w w w
" # $ <" <
2 2 2 2 2 2 2 2 2 2 2 2 ( ) ( ) ( )
" # $ % <" <
w w w w w w
" # $ % <" <
2 2 2 2 2 2 2 2 2 2 2 2 2 2 ( ) ( ) ( )
" # $ % & <" <
w w w w w w w
" # $ % & <" <
2 2 2 2 2 2 2 2 2 2 ( ) ( ) ( ) ( ) ( )
" # $ <" <
w w w w w
" # $ <" <
Luego
) ) ( ) ( ) ( ) ( ) ( ) ( ) BC 2 2 2 2 2 2 2 2 2 2
" # $ <" <
w w w w w
" # $ <" <
2 2 2 2 2 2 2 2 ( ) ( ) ( ) ( )
" # $ <"
w w w w
" # $ <"
2 2 2 2 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
" # $ <# <" <# <"
w
2 2 2 2 2 2 2 2 2 2 2 2 ( ) ( ) ( ) ( )
" # $ <$
w w w w w w
" # $ <$ <" <# <" <#
2 2 2 2 2 2 2 2 2 2 2 2 ( ) ( ) ( ) ( )
" # $ <$
w w w w w w
" # $ <" <$ <# <" <#
2 2 2 2 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 w
" <# <% <$ <# <" <$

2 2 2 2 2 2 2 2
" # $ <"
w w w w
" # $ <"
( ) ( )
2 2 2 2 2 2 B C ( )( ) ( ) ( )
" # <"
w w w
" # <"
) )
( ) 333 ) es sobreyectiva.
Si es cualquier elemento de , entonces donde cada uno B O O B 2 2 2
" # <"
de los , existe dado por 2 L C K
3 3
C B / 2 2 2 / / L
" # <" <
as
) ) ( ) ( ) C 2 2 2 / 2 2 2 B
" # <" " # <"
( ) 3@ L
ker )
<
En efecto, B B 2 2 2 2 2 2 2 2 " ker ) )
" # <" < " # <" <
( )
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 un grupo y sean subgrupos del grupo Cales de las K L L L K

" # $
siguientes afirmaciones son verdaderas y cuales falsas?
( ) + K L L L L L L Si entonces
" # " $ # $
( ) , K L L L L L K Si y entonces
" # $ " $
( ) - K K L L L L L L L L L " Sea abeliano, , y , .
" # $ " # " $ # $
Entonces . K L L L
" # $
( ) . K L L K K L L Sea . Para todo subgrupo de existen un subgrupo de y
" # "
w w
"
un subgrupo de tales que . L L K L L
w w w w
# " #
#
( ) / K L L K K L K
Sea . Para todo subgrupo de tal que existe un

" # "
w w
subgrupo de tal que . L L K L L
w w w
# #
# "
SOLUCION. ( ) + K Z 3 No es verdad, en efecto sean donde
% # & )
5 5 5
5
#
" $ # % ( )( )
5
&
" % # $ ( )( )
5
)
" # $ % ( )( )
Sean L 3 L 3 L 3
" # # & $ )
5 5 5
Entonces
L L 3 3 Z
" # # & # & # & ) %
5 5 5 5 5 5 5
Adems, como es abeliano ( ) Z
%
, L Z L Z L L 3
" % # % " #
Luego
Z L L
% " #
Ahora
L L 3 3 Z
" $ # ) # ) # ) & %
5 5 5 5 5 5 5
Adems
, L Z L Z L L 3
" % $ % " $
Luego
Z L L
% " $
Entonces
, , L L Z L L L L
" # % " $ # $
( ) , B K L L 2 L L
Es verdadero, en efecto sean , , entonces

" # $ $ " 1
B2 B L L K B2 B 2 L
$ " " $ "
" "
, pues , se sigue que
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
$
( ) - K Z 3 Z L L L , en efecto , donde Es falso
% # & ) % " # $
5 5 5
L 3 L 3 L 3
" # # & $ )
5 5 5
Adems L L L L L L 3
" # # $ " $
Pero,
( ) L L L Z L L 3
" # $ % $ $
( ) . K Z 3 Z L L L Es falso, en efecto sean , donde
% # & ) % " # $
5 5 5
L 3 L 3 K L 3
" # # & $ )
w
5 5 5
Entonces
K Z L L
% " #
Adems y subgrupos de y de tales que K K L L L L
w w w
1 " #
" #
no existen
. K L L
w w w
" #
( ) / L K L , en efecto tomando , se tiene Es verdad
w w
#
#
( ) 3 L L L L K L L K 3 K 3
" " # " #
w w w w
#
( )
( )
33 L L L L K L L K K K K
" " # " #
w w w w w
#
( )
w w
" # " #
, , B L L K B 2 5 5 L K
B 2 5 2 L 5 L 5 K
" " " #
w

Como , entonces L K
"
w
B 2 5 2 L 2 K 5 L 5 K
" " " " #
w 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 entonces entonces C L L K C L L C K
" # " #
w w
con C 2 2 C 1 2 L 2 L 1 K
" # " " # #
w w w
se sigue que
ya que 2 2 1 2 2 1 K 2 L K
" # # " "

w " w w w
"
por consiguiente
C 2 2 2 L 2 L 2 K
" # " " # # #
w
o sea
C 2 2 2 L 2 L K
" # " " # #
w
de donde se recibe
. C 2 2 L L K #
" # " #
w
( )
De y se sigue que ( ) ( ) " #
( ) L L K L L K
" # " #
w w
( ) 333 L K L K Demostremos ahora que:
#
w w w
#
Como . L K L K
# #
w
Sea entonces , pues ; adems 1 K 2 L 1 2 1 L 2 L L K
w w w w w w w" w w
# # # #
# # #
2 K 1 K 1 2 1 K
w w w w w w w" w
# #
, luego se sigue que
1 2 1 L K L
w w w" w w
# #
#
Adems , entonces de se sigue que L K L K 3 33 333
" "
w
( ) ( ) ( ) ( )
K L L
w w
"
#
14. Sea un subgrupo normal de un grupo . Probar la equivalencia de las dos L K

afirmaciones siguientes.
( ) 3 O K K L O L Existe un subgrupo de tal que (es decir, "es factor directo
de " ) K
( ) 33 0 K L L Existe un homomorfismo cuya restriccin al subgrupo sea un
isomorfismo.
SOLUCION. ( ) ( ) - 3 33 K L O L
B 2 5 2
Sea )
) esta bien definida
B 2 5 2 5 C 2 2 5 5 2 2 5 5 "
" " # # " " # " "
" " "
# # #
( )
pero entonces o sea L O 3 2 2 " 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
)l
L
es inyectiva
) ) ( ) ( ) B C esto es equivalente a escribir
) ) ( ) ( ) 2 " 2 " 2 2
" # " #
as B 2 " 2 " C
" #
)l
L
es sobreyectiva
Sea entonces 2 L 2 " L O K
as existe tal que . C K C 2 " C 2 " 2 ) ) ( ) ( )
( ) ( ) 33 3 O 0 Tmese , claramente se tiene ker
es un subgrupo de ( ) + O K
( ) , O K
porque es un isomorfismo as ( ) ( ) - O L / 0l 0 L /
L
ker
entonces como es un isomorfismo entonces existe ( ) ( ) . 1 K 0 1 L 0l
L
2 L 0 2 0 1 0 1 0 2 " 0 12 " tal que entonces o sea esto por ser ( ) ( ) ( ) ( ) ( )
" "
2 12 0 b5 0 O 12 5 un homomorfismo as entonces tal que o sea
" "
ker ker
1 52 1 L O entonces .
Mostremos tal que , aplicando ahora ( ) , B 1O 1 0 b5 0 B 15 0 ker ker
tenemos:
0 B 0 15 0 1 0 5 0 1 " 0 1 ( ) ( ) ( ) ( ) ( ) ( )
multiplicando por se tiene 0 1 ( )
"
0 B 0 1 " 0 B1 " ( ) ( ) ( )
" "
esto significa que as en esta forma y B1 0 O B O1 1O O1 O K
"
ker
15.Sea un conjunto. Consideremos las aplicaciones de en un grupo W W K W

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

(
(
W
B
BW
BW
B
( )
-
_
( )
1
K
+ B
( ) 3 1 est bien definida
Sean , ahora , para casi todo , esto ( ) ( )

( ( ( (
B B B
BW BW
w W
C
CW
! B W
salvo para un nmero finito de . B W
Sean entonces tales que sean distintos de cero. B B B
" # 8 B B B
( ( (
" # 8

Anlogamente sean tales que sean distintos de cero. C C C
" # 7
C C C
w w w
( ( (
" # 7
Como entonces y adems . ( )

( ( ( ( ( ( ( (
B B B B
BW
w w w w
C C C C
CW
8 7
" # 8
" # 7
Se sigue que
+ + + + ( ) ( )

( ( ( (
B B
C C
w w
" 8
" 7
Por consiguiente

_ _
( )

3" 4"
8 8
B 3 4
w
C
( (
3
4
+ B + C
pero

_ _ _ _
( ) ( ) ( ) ( )
3" 4"
8 8
B 3 B 4
BW CW
C C
w w
( ( ( (
3
4
+ B + B + C + C
Por lo tanto
1 + B + C 1 ( ) ( ) ( ) ( )
_ _

( ( ( (
B B
BW
BW CW
C C
w w
CW
( ) 33 1 es un homomorfismo
1 1 + B + B + B ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )
_ _ _
( ( ( ( ( ( ( (
B B B B
BW B B B B
w w w w
BW BW
BW BW BW
1 1 ( ) ( ) ( ) ( ) ( (
B
BW
w
B BW
( ) 333 1 1 + + cumple con
w

en efecto;
( )( ) ( ) ( ) ( ) ( ) ( )
_
1 + C 1 + C 1 + B + C
w w
BC
BW
BW
$ (
$
BC
! B C $
BC
si
( ) 3@ 1 es nica
Supongamos que existe otro homomorfismo
2 W K -
tal que

Sea entonces ( ) (
B
BW
W
1 + B 2 + B 2 + B 2 + B
( ) ( ) ( )( ) ( ) ( ) ( ) ( ) ( )
_ _ _ _
_
( ( ( ( (
B B B B B
BW
BW BW BW BW
w w w
2 es homomorfismo
pero se sigue que es la sumas son finitas + B
w
BC
CW
( ) ( ) ( ) ( ) $
1 2 2 2 ( ) ( ) ( ) ( ) ( ) ( )
_ _
_ _
( ( $ ( $ (
B B BC B BC B
BW BW
BW BW
CW CW

! B C $
BC
o sea
1 2 ( ) ( ) ( ) ( ) ( (
B B
BW BW
de donde . 1 2
( ) - , W K
+
Supongamos que es universal.
Sea un grupo abeliano que contiene ms de un elemento sean tales que K B C W
w
B C W K + B + C
+
y escogemos una aplicacin tal que . - ( ) ( )
w
w w w
Por la universalidad, existe un nico homomorfismo tal que 1 K K -
w

Ahora
1 + B + B + C 1 + C ( ) ( ) ( ) ( ) ( ) ( )
w w
o sea
( ) ( ) ( ) ( ) ( ) ( ) ( ) B C 1 + B 1 + C + B + C
Luego es inyectiva. + W K -
Probemos ahora que genera a , esto es que . + W K + W K ( ) ( )
Sea , definimos E + W K
( )
W E
=
+
+ = + =
-
( ) ( )
w
w
Por la universalidad de existe un nico homomorfismo tal que W K 1 K E
+
- -

Sea la inclusin natural entonces 3 E K -
3 + = 3 + = + = ( ) ( ) ( ) ( ) ( )
w
o sea 3 + + W K
w
-
Entonces
+ 3 + 3 1 + 3 1 +
w
o sea

Adems podemos considerar
W K
+
K
+
]
-
por la unicidad existe un nico homomorfismo tal que 2 K K -

Adems es un homomorfismo, como es nica entonces M. K K 2 K K
G
- -
2 M1 K K
K
. As el nico homomorfismo de es la identidad. -
Ahora como es un homomorfismo, entonces por lo anterior . 3 1 K K 3 1 M. -
K
Se sigue que la imgen de la inclusin, la cual es , es igual a la imgen de la E
identidad, la cual es , luego K
+ W E K ( )
O sea genera a . + W K ( )
+ W ( ) es linealmente independiente
Sean los siguientes diagramas

Por universalidad existen nicos homomorfismos
1 K 1 K
- -
W W
tales que
1 + + 1 + +
w w
Por consiguiente
1 1 + + 1 1 + +
w
o sea

Como y son homomorfismos y por la universalidad respectiva, el 1 1 1 1

nico homomorfimo de en es y de en es entonces se
W W
K
M. K K M.
W
sigue que
1 1 M. 1 1 M.

W
K
Entonces posee inverso a izquierda y a derecha, as es un isomorfismo, ahora 1 1

( )( ) ( ) ( ) ( ) 1 + = 1 + = + =
w w
Como es linealmente independiente y es un isomorfismo, se sigue que + = 1
w
( )
1 + = + =
( ) ( ) ( )
w
es un conjunto linealmente independiente.
( ) ( ) - , + W K + W K Supongamos que es inyectiva y que es base para . Que
+ W K ( ) es base para es equivalente a decir; que la aplicacin
0 K
+ =
=
+ =
+ =
=W
=W
+ =
( (
( ) ( )
( ) ( )

-
_
( )
es biyectiva.
Sea un grupo abeliano cualquiera y K
w
W K
+
-
w
w
una aplicacin cualquiera, se define
K K
2
-
w
la siguiente aplicacin
1 K 1 + =
_
( )
=W
+ =
(
( )
entonces
2 1 + = ( ) ( )
_
=W
+ =
w
(
( )
( ) 3 2 est bien definida
Si , esto es equivalente a 1 1
w

_ _
( ) ( )
=W = W
+ = + =
w
( (
( ) ( )
+ = + =
w
w
entonces
0 0
= = + =
=W
+ =
w
= W

( (
( )
( )
w
w
entonces puesto que es inyectiva 0
=

( (
+ =
=W
+ =
w
= W
( )
( )
w
w
entonces
, y, ( (
+ =
+ =
w w w
( )
( )
+ = + = a= = W
w
( ) ( )
puesto que es inyectiva se sigue que +
, y, ( (
+ =
+ =
w w
( )
( )
= =
w
Como es una aplicacin se sigue que +
w
, y, ( (
+ =
+ =
w w w w
( )
( )
+ = + =
w
( ) ( )
entonces

_ _
( ) ( )
=W = W
+ = + =
w w
( (
( ) ( )
+ = + =
w
w
o sea 2 1 2 1 ( ) ( )
w
( ) 33 2 es un homomorfismo
1 1 + = + = + =
w w w
=W =W =W
+ = + =
+ = + =
_ _ _
( ) ( ) ( ) ( ( ( (
( ) ( )
( ) ( )
entonces
2 1 1 + = 2 1 2 1 ( ) ( ) ( ) ( )
_

w w w w
=W
+ =
+ =
( (
( )
( )
( ) 333 2 2 + + es tal que
w
( )( ) ( ) ( ) ( )
_
_
2 + = 2 + = 2 + B
+ = + B ( ) ( )
_
BW
+ B + =
$
( ) ( )
BW
+ B + =
$
( ) ( )
+ B + =
_
( ) ( )
BW
+ B + =
w w
$
( ) ( )
( ) 3@ 2 es nica
Supongamos que existe tal que 2 K K
w
-

Sea , ahora 1 + =
_
( )
=W
+ =
(
( )
2 1 + = 2 + = 2 + = 2 + = ( ) ( ) ( )( ) ( ) ( )
_ _ _ _
( )

=W =W =W =W
+ = + = + = + =
w
( ( ( (
( ) ( ) ( ) ( )
. 2 + =
=W
+ = _
_
( ) (
( )
en esta forma
2 1 2 1 ( ) ( )
o sea que
. 2 2
16.Sea un grupo abeliano generado por elementos. Pruebe: K 8

( ) + K 8 Todo subconjunto de que sea linealmente independiente tiene a lo mximo
elementos
( ) , L K Cada subgrupo de posee un sistema de generadores el cual contiene a lo
mximo elementos. 8
SOLUCION. ( ) + 1 1 1 1 K 1 1 1 K Sean tales que generan a , esto es
" # $ 8 " # 8
( ) 1 1 1 K
" # 8
Entonces, por un resultado bsico cal? ( )
K YZ
donde es un grupo libre de rango . Ms exactamente si es un grupo libre de Y 8 Y

rango , sea entonces una base de ; entonces 8 ? ? ? Y
" # 8
) Y K --
es tal que
) ( )
" " # # 8 8 " " # # 8 8
? ? ? 1 1 1
es un homomorfismo sobreyectivo, por consiguiente
K Yl
ker)
Como es libre de rango entonces (como es un subgrupo de ), se sigue Y 8 Y ker )
que es libre y de rango a lo ms . ker 8 )
Sea un subgrupo, linealmente independiente de , entonces como , L K K Yl
ker)
esto equivale a decir que existe un isomorfismo tal que es : : K Yl L - ( )
ker)
linealmente independiente. Por consiguiente
#( ) ( ) ( ) ( ) : ) L <+819 Yl <+819Y <+819 <+819Y 8
ker)
ker
Como es un isomorfismo, entonces :
# # ( ) ( ) ( ) L L 8 :
( ) , L K K 8 Sea un subgrupo de , como es abeliano y generado por elementos
entonces es imagen homomorfismo de un grupo abeliano libre de rango , K K 8
w
esto es, existe un grupo abeliano libre de rango y un homomrfismo 8
0 K K
w
-
sobreyectivo, entonces es un subgrupo de , de un resultado bsico 0 L K
" w
( )
( ) ( ) cal? es un grupo abeliano libre de rango menor o igual que . Sea 0 L 8
"
entonces
2 2 2 7 8
" # 7
w w w
una base para . Sea entonces , as existen 0 L 2 L 0 2 0 L
" " "
" # 7
( ) ( ) ( )
enteros tales que de donde 0 2 2
" w
3"
7
3
3
( )
_
2 0 0 2 0 2 0 2 ( ) ( ) ( )
_
_ _
" w w
3" 3"
7 7
3 3
3 3

lo que implica que
W 0 2 0 2 0 2 ( ) ( ) ( )
" # 7
w w w
generan a y L
#W 7
17.Sea un grupo abeliano libre, y sea una base de (siendo K ? ? ? K

" # 8
? ? ?
" # 8
elementos distintos)
( ) + @ @ @ K Sean dados por
" # 8

_
_ _

_ _
_ _ _ _
_ _
_ j _ j
( )
@ " 7 7 7 ?
@ ! " 7 7 ?

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

@ ?
8 8
( ) 3 @ @ @ : Consideremos
" # 8
es un conjunto linealmente independiente
una combinacin lineal

" " " " " "# # " "$ $ " 38 8
@ ? 7 ? 7 ? 7 ?

# # # # # #$ $ # #8 8
@ ? 7 ? 7 ?

$ $ $ $ $ $8 8
@ ? 7 ?

8 8 8 8
@ ?
_
3"
8
3 3
@

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

"
!

" "# #
7 !

" "$ # #$ $
7 7 !

" "% # #% $ $% %
7 7 7 !

" "3 # #3 $ $3 3
7 7 7 !

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

" ! ! !
7 " ! !
7 7 " !

7 7 7 "
" !
"#
"$ #$
"8 #8 $7
Luego la nica solucin es

" # 8
!
( ) 33 @ @ @ K
" # 8
generan a
Sea
?
" 7 7 7
! " 7 7

! ! ! "
_ _
_
_
_ j
"# "$ "8
#$ #8
aqu es tal que , esto implica la existencia de dada por ? ? ? ./> " !
"
?
"
" lE l
./>
34
34 34
" lE l +

( ) ( )
( )
34
43
?

+
34

Notese que es matriz triangular ya que debe ser del mismo tipo de , as ? ?
"
?
"
"# "$ "8
#$ #8
" + + +
! " + +

! ! ! "
_

_ _
donde , por lo tanto + a3 a4
34

_ _ _ _

_ _ _ _ _ __ _
? @ " + + + @
? @ ! " + + @

? @ ! ! ! " @

" " "# "$ "8 "
# # #$ #8 #
8 8 8
"
?
Ntese que el hecho de que es esencial, pues garantiza que +
34

? @ + @ + @ K
3 3 3# # 38 8
, donde
? @ + @ + @
" " "# # "8 8
? @ + @ #
# # #8 8
( )

? @
8 8
Sea como es una base de as existen enteros 1 K ? ? ? K
" # 8 " # 8
" " "
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 ya que para algn Luego es 3 ! 3 @ @ @ "
3 " # 8
base de . K
( ) ( ) , 8 Se puede responder diciendo que para aquellas matrices tales que
34
det det ( ) ( ) 8 " 8 + " + !
34 34
o sea las llamadas unitarias. Ya que si y
entonces existe, pero sus elementos son nmeros racionales, lo cual traera ( ) 8
34
"
como consecuencia que no se pueden hallar constantes enteras tales que si 1 K
entonces de donde 1 @ @ @
" " # # 8 8
. @ 8 ? @ 8 ? @ 8 ?
" 34 4 # #4 4 8 84 4
4" 4" 4"
8 8 8
_ _ _
Ahora veamos que si , entonces det( ) 8 "
34
8 ? 8 ?
_ _
4" 4"
8 8
"4 4 84 4

es una base de . K
( ) 3 es linelmente independiente
Sean 's tales que

" "4 4 # #4 4 8 84 4
4" 4" 4"
8 8 8
_ _ _ _ _ _
_ _ _
8 ? 8 ? 8 ? !
y como estamos bajo la hiptesis de que es una base, entonces se ? ? ?
" # 8
obtiene que
para
_
3"
8
43 3
8 ! 4 " # 8
el cual es un sistema de ecuaciones homogneo cuyo determinante es
det det ( ) ( ) 8 8 "
43 34
esto implica que
" # 8
!
( ) 33 K genera a
puede ser escrito en la forma matricial siguiente:

_ _

_ _ _ _
@ 8 ? 8 ? 8 ?
@ 8 ? 8 ? 8 ?

@ 8 ? 8 ? 8 ?
" "" " "# # "8 8

# #" " ## # #8 8
8 8" " 8# # 88 8
o sea

_ _ _

_ _ _ __ _
@ 8 8 8 ?
@ 8 8 8 ?

@ 8 8 8 ?
" "" "# "8 "

# #" ## #8 #
8 8" 8# 8
88
Como entonces existe la matriz inversa y es dada por det( ) ( ) 8 " ! 8
34 34
"
( ) ( )

8 " lE l
34 43
" 34 " lE l
8
( )
( )
34
43
34
det
aqu y es la matriz obtenida de suprimiendo la -fila y la - lE l E E 8 4 3
43 43 43 34
det ( )
columna.
Como entonces todo elemento puede ser escrito como una ( ) " lE l 1 K
34
43

combinacin lineal de los elementos ya que, @ @ @
" # 8

_ _

_ _ _ _
( )
? @
? @

? @
8
" "
# #
8 8
34
"
y generan a , basta hacer el mismo procedimiento seguido en la @ @ @ K
" # 8
parte de este ejercicio. ( )( ) + 33
Recprocamente, supongamos que
W 8 ? 8 ? 8 ?
_ _ _
4" 4" 4"
8 8 8
"4 4 #4 4 84 4
es una base de entonces como es base tambin, observando en la K ? ? ?
" # 8
parte de debe ser despejado en funcin de y ( ) ( ) 33 + ? ? ? @ @ @
" # 8 " # 8
por consiguiente como
( ) ( ) 8 +
34 34
" " lE l
./> 8
( )
( )
34
34
34
y los elementos deben ser enteros, entonces +
34
. det( ) 8 "
34
18.Sea un grupo abeliano (escrito aditivamente). K

( ) ( ) ( ) + B K B X K K Pruebe que el conjunto es un subgrupo de (llamado
el subgrupo de Torsin de ). Pruebe tambin que es el subgrupo K X KX K ( ) ( )
trivial del grupo cociente . KX K ( )
( ) , Pruebe que las siguientes afirmaciones son equivalentes:
es finito. ( ) 3 K
es finitamente generado y todo tienen orden finito. ( ) 33 K 1 K
es generado por un subconjunto finito tal que todo tiene ( ) 333 K W = W
orden
finito.
es finitamente generado y tiene rango cero. ( ) 3@ K
( ) - D un ejemplo de un grupo abeliano finito de rango cero tal que, para todo
entero exista un elemento de de orden orden 8 " K K 8
SOLUCION. ( ) ( ) ( ) ( ) + 3 X K B K B B C X K , sean entonces
+ , y, B 7 C 7
As , se sigue que 7B ! 8C !
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 es un subgrupo de . X K K ( )
( ) ( ) 33 K KX K Sea
w
X K 1 X K 1 X K ( ) ( ) ( ) ( )
w
1 X K X K 1 X K 7 ( ) ( ) ( ) ( )
w
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
, 1 X K X K ( ) ( )
en resumen
subgrupo trivial 1 X K X K X K ( ) ( ) ( ) ( )
w
( ) ( ) ( ) , 3 33 K 1 1 1 Sea probemos que
" # 8
( ) 1 1 1 K
" # 8
En efecto,
tal que 1 K b3 1 1 1 1 1
3 " # 8
( )
As es finitamente generado. K
Ahora, sea y considrese , entonces es un subgrupo 1 K L 818 L
cclico de generado por como es finito, entonces es finito; se sigue por K 1 K L
un resultado bsico cal? tal que lo cual es equivalente a ( ) b5 6 5 6 51 61
( ) ( ) 6 5 1 ! 1 , o sea,
( ) ( ) ( ) 33 333 K K W Si es finitamente generado, entonces , de donde
W = = = K
" # 8
por consiguiente es generado por un subconjunto finito . Ahora, si para todo K W
1 K 1 W K a= W = entonces como , se tiene que .
As, es generado por un subconjunto finito tal que todo elemento tiene K W = W
orden finito.
( ) ( ) 333 3@ K W K Si es generado por un subconjunto finito , entonces es
finitamente generado.
Ahora, como todo , tiene orden finito, es decir, , se sigue = W a= W W
que
W XK K W X K

( )
de donde se sigue que . K X K ( )
As, todo elemento de tiene orden finito o equivalente a que tiene rango cero. K K
( ) ( ) ( ) 3@ 3 K = = = K a1 K 1
" # 8
. Como tiene rango cero, , , en
particular . Sea a= 3 " # 8 = 7 =
3 3 3
max
" 3 8
( )
K = = = = ( )
_
" # 8 3 3 3
3"
8

= 7 7" ! " # 7
_
3"
8
3 3 3

Luego es finito. K
( ) - K 3 3 ! K K K Sea , y sea , entonces es un grupo
3 3

. ,36
3 !
abeliano con la operacin suma componente a componente.

Sea entonces 8 8 "
" # 8 " " 8 8 "
_ _
_
_ j
_

8 simo
Entonces y . K 8 ( )
19.Sea un grupo abeliano finitamente generado, digamos K

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

7? ! a3"#>
7@ ! a4"#<
3
4

como es infinito cclico, entonces . Z 4 " # < @ ! 4 " # <
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 son cclicos infinitos, entonces sea . Z Z @ 3 " # <
3 3 3
( )
Demostremos que genera a y es linealmente independiente, en @ @ @ P
" # <
efecto , entonces tal que como 6 P Z Z Z b> Z 6 > > >
" # < 3 3 " # <
Z @ b > @ 3 " # <
3 3 " # < 3 3 3
( ) por lo tanto tal que , entonces
6 @ @ @
" " # # < <
.
Ahora si
" " "
" " # # < <
@ @ @ !
entonces por un resultado bsico cal? se sigue que esto implica que ( ) "
3 3
@ !
( ) ( ) ( ) @ 3 ! a3 " # < K X K P P
3
, de donde, se tiene as "
es un grupo abeliano libre.
( ) ( ) , 5 : : : 3 " # > : 4 " # = Sea , . Entonces es la ms alta
3
8 8
" #
8
=
8
4
3" 3#
3=
34
potencia de que divide a . Por el primer teorema de Sylow, existe un : 5 Y
4 3 3
( )
subgrupo
W 4 " # = 3 " # >
:
8
34
4
( )
de de orden adems Y : 4 " # =
3
8
4
34
5 Y : : :
3 3
8 8
" 3
8
=
( )
3" 3#
3=
se sigue por un resultado bsico cal? que ( )
Y W W W 3 " # >
3
: : :
8 8 8
3" 3# 3=
" #
=
Adems como es cclico, los son cclicos, as tenemos la siguiente Y W
3
:
8
34
4
descomposicin de X K ( )
X K ( )
W W W W W W W W W
: : : : : : : : :
8 8 8 8 8 8 8 8 8
"" "# "= #" ## #= >" >#
" # " #
= =
" #
>=
=
es suma directa de grupos cclicos de orden . : 4 " # = 3 " # >
8
4
34
( ) - Establezcamos la siguiente disposicin de los primos que figuran en la escritura
de , mediante la tabla siguiente: K
# # #
'
$ $
# %
& & &
# #
"$
#
#$

"! # & # $ & %&! %&! # $ "$ #$
# # & #
esto nos lleva a afirmar que
K

"! %&! %&!# $ "$ #$
& # #
o ms exactamente
. K

#& #$ & # $ & "$ #$
# # ' % # #
As debe tener subgrupos cclicos tales que K Y Y Y
" # $
Y # & Y # $ & Y # $ & "$ #$ ( ) ( ) ( )
" # $
# # ' % # #
Obtenindose adems que
, , Y Y Y Y ( ) ( ) ( ) ( )
" # $ $
Construccin de y . Y Y Y
" # $
Adoptemos la siguiente notacin
b b b
# # '% '% * *
# '% * el cero de el cero de el cero en
b b b
#& #& )" )" "'* "'*
#& )" "'* el cero de el cero de el cero de
b b
& & #$ #$
& #$ el cero de 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 ; entonces 1 K
1
( ) 5 # 5 # 5 '% 5 * 5 )" 5 & 5 #& 5 #& 5 "'* 5 #$
" # $ % & ' ( ) * "!

5 # 5 & ( )
" # '% * )" ' #& #& "'* #$
b b b b b b b b
5 # 5 * 5 #& ( ) b b b b b b
# # '% % )" ( #& "'* #$
5 '% 5 )" 5 #& 5 "'* 5 #$ Y Y Y ( ) b b b b b
# # $ * & & #& ) * "! " # $
Adems es fcil ver que
( ) Y Y Y !
" # $
( ) Y# Y Y !
$ "
( ) Y Y Y !
" $ #
Por consiguiente . K Y Y Y
" # $
Generalizacin
Sea , donde los son primos, no K : 3 " # 8
( ) ( ) ( ) : : :
" # 8
< < <
" #
8
3
necesariamente distintos. Entonces
K Y Y Y
7 7 7
" # <
donde los son subgrupos cclicos de tales que divide a Y 3 " # < K 7 7
7 3 3"
3
3 " # < " y as sucesivamente, e invitamos al lector para que termine los
detalles.

20. Sea una aplicacin de un grupo sobre un conjunto . ) > > G G G -
Escribamos en lugar de , donde , . Probar: " ) " " > B B B G ( )
( ) + " B G B B ) " > " es fiel si y slo si para todo existe un tal que .
( ) , B C G Los estabilizadores de dos elementos pertenecientes a la misma > >
B C
rbita, son isomorfos bajo un automorfismo interno de ver ejercicio 9 . K , ( )
( ) - B B Si es fiel, transitivo y es abeliano entonces vale que para todo ) > "
" > " B G y todo .
( ) ( ) . - En la afirmacin niguna de las hiptesis fiel , transitivo , abeliano es
ww ww ww ww ww ww
superflua. Indique un contraejemplo
SOLUCION.( ) ( ) + " G
" > ) = >

#
)
, supongamos que , esto es donde es fiel L
#
)
) #) #
#
#
G G
B
B B
-
Sea entonces , como es inyectiva, en este caso " > " = " "
= " ) ) M.
" " G
por consiguiente
bB G B B B ) "
"
M. Sea entonces o sea " = ) = " ) ker
"
( )
" G
) )
"
"
"
( )
Si , entonces por hiptesisi, existe tal que " " > " " B G ( )
. ) "
"
( ) B B B
Ahora, implica que ( ) "
, " ) ) B B B B
"
( ) ( )
"
lo cual es absurdo, luego . po " " " = ker
( ) ( ) ( ) ( ) , C B B C B Como , entonces existe tal que . Entonces > # # > >
: > >
#
#
-
"
es un automorfismo interior de . Definimos ahora >
:

: > >
#
: # #
B C
-
( )
"
:
esta bien definida.

Para esto basta probar que
, si ( ) # # >
"
C C
B
En efecto:
( ) ( ) ( ) ( ) ( ) # # # #
" "
C C B B B C
:
es sobre.
Sea , y , . Demostremos que es decir, ; en efecto D D B B
C B
> # # > #
"
# B D B D B D C C B ( ) ( ) ( )( ) ( )
" " " "
Adems,
: #
D D
( ) ( )
" "
Luego es sobre. :
Ahora es un homomorfismo inyectivo, entonces es : > > : :

>
---
B
tambin un homomorfismo inyectivo.
Como entonces se sigue que es un isomorfismo de sobre , es : > > : > >

C B B

B
decir, = > >
:
B C
( ) - Supongamos que la implicacin es falsa es decir, fiel y transitiva, abierto , y ) >

( )( )( ) b " bC G C C " > "
Consideremos la rbita que pasa por , como es transitiva, se tiene > ) C C
( )( ) aB G b B C # > #
lo cual es equivalente a ( es grupo) >
( )( ) aB G b B C # > #
"
As se tiene que como , entonces, C C "
. " # # "# # B B B B
" " " "
( )
Como es un grupo abeliano se tiene >
( ) ( ) # " # # " #
" " " "
B B B B
de donde simplificando ya que es un grupo, o sea que # > "
"
B B
) ) = " = ) =
"
( ) ( ) ( ) ( ) B B "
"
o lo que es lo mismo que . Como es fiel, es inyectiva
por lo tanto , lo cual es contradictorio. " " po
( ) ( ) . " G + Sea cualquier grupo abeliano, , definamos >
) >
-
+ +
+

+
( )
-
no es fiel, claramente )
es transitiva )
es abeliano >
Adems por como no es fiel, tal que se tiene ( ) + b " + B + ) " >
" " B + + - o sea la negacin de ( )
( ) ( ) # ^ " " # W G " # $ Sea definimos >
" $
) >
1
1
G G
B
B
( )
-
aqu porque es inyectiva ) = >
1
es fiel, ------
L ( ) G
)
1
> es abeliano
ya que ) > 1 1 no es transitivo ( ) B B ^ G
"
ya que para No se cumple ( ) ( ) ( ) - " # ^ " $ $ " "
"
( ) $ W G " # $ Sea y definimos >
$
) >
1
1
G G
B
B
( )
-
Aqu
) =
1
, ya que es inyectiva, en efecto es fiel W
$
-
L( ) G W
$
)
1
= 1 = 1 ) ) ( ) ( )
" #

1 1
" #
Ahora . ) ) 1 1
1 1
" #
( ) B B aB B B aB
" #
As , esto segn la definicin de igualdad entre funciones. 1 1
" #
, ya que ) es transitiva
, es : > 1 1 ( ) B B W
$
> 1 1 ( ) " " W " # $
$
> 1 1 ( ) # # W " # $
$
> 1 1 ( ) $ $ W " # $
$
Ahora no se cumple , en efecto tomando se tiene ( ) ( )

- W " # # 1 1
"#$
$#"
$
21.Sea un grupo de orden resp. . Pruebe que posee solamente un K %! %& K ( )
&-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 # o sea que # , " & " &5
( ) mod
donde . Como # , entonces se ve que as se tiene 5 ! " # l K %! 5 ! ( )
que # por lo tanto tiene exactamente un -subgrupo de Sylow. " K &
( ) ( ) 33 K %& $ & Tomemos ahora y segn el primer teorema de Sylow como
#
& & K K &
"
es la mayor potencia de que divide a , entonces admite un -grupo de ( )
Sylow de orden . Sea &
es un -subgrupo de Sylow de V ? ? & K
por el tercer teorema de Sylow # por analoga con el caso el nico V " & 3
( ) ( ) mod
divisor de que esta en la clase de mdulo es uno as # o sea en no %& " & " K V
hay sino un -subgrupo de Sylow. &
22.Sea un grupo de orden resp. . Pruebe que posee un -grupo de K $! &' K : ( )

Sylow normal en para algn nmero primo que divide a resp. . K : $! &' ( )
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 -subgrupos de Sylow, K #
$ & # $ & -subgrupos de Sylow y -subgrupos de Sylow de orden y respectivamente.
Sean
es un -subgrupo de Sylow de A # K ? ?
es un -subgrupo de Sylow de B $ K ? ?
es un -subgrupo de Sylow de C & K ? ?
Ahora por el tercer teorema de Sylow
#A " #
( ) mod
#B " $
( ) mod
#C " &
( ) mod
Se sabe que si un -subgrupo de Sylow de es nico, entonces es normal (esto : K
por un resultado bsico cal? ) As
( ) + " ' Consideremos # , este puede ser o , ya que son los elementos de la clase C
del mdulo que dividen a , Si # , entonces de hecho tendramos que hay " & $! " C
en un -subgrupo de Sylow normal. Supongamos ahora que # , entonces K & ' C
sean los subgrupos de orden , entonces L L L L L L ' &
" # $ % & '
L L / 3 4 3 4 " # '
3 4
por que y . L3 L4 L3 L &
1 3
Entonces cada posee elementos de de donde . Como hay subgrupos de L % K & '
3
orden , tenemos que hay elementos de de orden . & #% K &
( ) , " "! " Consideremos # , este puede ser o , ya que son los elementos de la clase B
mdulo que dividen a . Si # , entonces # y en ese caso se $ $! K " "! ( ) C B
tiene la primera posibilidad de . ( ) +
Si # entonces # porque supongamos que no sea # y # C B C B ' " ' "! " ( )
en ese caso posee subgrupos de orden , sean estos , K "! $ O O O
" # "!
anlogamente . Estos dan lugar a O O / 3 4 " # "! 3 4 #!
3 4
elementos de de orden distintos todos, entonces junto con los elementos de K $ #%
la parte orden tendramos que en habran elementos distintos entonces ( ) + & K %%
K $! po ' ( ) lo cual es contradictorio. As, en el caso de que # entonces C
# , esto implica que hay un -subgrupo normal de B " $ K
( ) ( ) 33 K &' # ( # ( # ( Si . Como y son las mximas potencias de y
$ $ "
que dividen al orden de , se sigue del primer teorema de Sylow que existen en , K K
# ) ( K ( -subgrupos de Sylow de orden y -subgrupos de Sylow de de orden . Sean
es un -subgrupo de Sylow de V ( K ? ?
es un subgrupo de Sylow de . D # K ? ?
Ahora por el tercer teorema de Sylow
# # V D " ( " #

( ) ( ) mod mod
( ) + " ) Consideremos # , este puede ser o , ya que son los elementos de la clase V
mdulo 7 que dividen a . &'
Si # , entonces de hecho tendramos que en hay un -subgrupo de Sylow V " K (
normal. Supongamos ahora que # , sean entonces los V ) L L L
" # )
) ( L L / 3 4 3 4 " # ) , -subgrupos de Sylow de , porque V
3
4
L L L L ( L ' K (
3 4 3 3 1 3
y . Entonces en cada hay elementos de de orden , ( )
as que los subgrupos de tendrn elementos de de orden . ) L ) ' %) K (
3
( ) , " ( " Consideremos # , este puede ser o , ya que son los elementos de clase D
mdulo que dividen a . Si # entonces # y en ese caso se tendra la # &' " ( V D
primera posibilidad de ( ) +
Si # , entonces # porque supongamos que esta afirmacin no sea V D ) "
verdadera, esto significa que # y # sean los V D ) ( " O O O ( )
" # (
elementos de o sea los -subgrupos de Sylow de orden , como antes D, # )
O O / 3 4 3 4 " # ( O3 O4 O O )
3 4 3 3 1
porque y . Entonces ( )
cada posee elementos de orden del grupo , como hay subgrupos se O ( ) K ( O
3 3
tendra elementos de distintos de orden y junto con los ( ( %* K ) %)
elementos de la parte de orden tendramos elementos de esto implica ( ) + ( *( K
que lo cual es una contradiccin. Se sigue que # lo cual implica K &' po ) ( ) V
que # , esto demuestra entonces que tiene un -subgrupo de Sylow normal, D " K #
lo cual queriamos mostrar.
23.Pruebe que todo grupo de orden es cclico "& .

SOLUCION. Sea un grupo tal que . K K "& $ & ( )
$ & $ & K
" "
y son las mximas potencias de y que dividen a por el primer ( )
teorema de Sylow, existen -subgrupos y -subgrupos de Sylow de orden L L $ & $
" #
y 5 respectivamente. As como y son nmeros L $ L & $ & ( ) ( )
" #
primos, entonces y son grupos cclicos por lo tanto . Sea L L L + L ,
" # " #
( ) ( )
es -subgrupo de Sylow de V $ K ? ?
es -subgrupo de Sylow de D & K ? ?
El tercer teorema de Sylow nos dice que
# # V D " $ " &

( ) ( ) mod mod
pero es el nico elemento de las clases de mdulo y respectivamente que " " $ &
dividen a , de esto se sigue que # # . Esto implica que y K "& " L L ( ) V D
" #
son subgrupos cclicos normales de . Por el ejercicio , ya estudiado arriba, K "!
tenemos
+ $ , & $ & " ( ) ( ) ( )
entonces y es un subgrupo cclico de . Se sigue que + , +, +, K ( ) ( ) ( ) ( )
K +, ( )
24.Sea un grupo finito, un nmero primo y un -subgrupo normal de . K : L : K

Pruebe que est contenido en todo -grupo de Sylow de L : K.
SOLUCION. Sea un -grupo de Sylow cualquiera de T : K
es un -subgrupo de Sylow de . V : K ? ?
Ahora por el segundo teorema de Sylow parte dado , existe tal que ( ) + L ? V
L , b K
? # , por la parte del segundo teorema de Sylow tenemos que tal que ( )
? # # T
"
.
De esto se tiene que pero por la hiptesis se sabe que L T L T

# # # #
" "
L K L L es un subgrupo normal de entonces , se sigue que # #
"
. L L T
# #
"
25.Sea un grupo finito, un subgrupo de y un nmero primo tal que y K K K : :

w
( ) ( ) K K :
w
sean primos entre si. Sea resp. el conjunto de los -grupos de Sylow S S
w
de resp, . Pruebe: K K ( )
w
( ) + L L K
S S
w w
( ) , K K Si es normal en entonces
w
S S
w
SOLUCION.( ) + L L : K Sea entonces es un -subgrupo de Sylow de as S

w w
y . L : l K : l K
< w <" w
y
Ahora # entonces , pero entonces ( ) ( ) ( ) ( ) ( ) K K ; K K ; : ; " : ; "
w w <"
por lo tanto
entonces L : l K : l K ( ) ( ) ( )
< w <
tambin se tiene que porque si entonces : l K : l K
<" <"
y
( ) ( )
: l K ; : l K
<" w <" w
( ) ( )
" ( ) : ;
<"
lo cual es contradictorio. Entonces es un -subgrupo de Sylow de y po L : K
L K K L L

w
por lo tanto . SL K
w
Recprocamente sea entonces de donde L L L L K L
S S L K
w w
es un -subgrupo de Sylow de y , entonces : K L K
w
L : l K : l K ( ) ( ) ( )
- -"
y
Ahora por lo tanto K K ; ( ) ( )
w
L : l K ; : l K M ( ) ( ) ( ) ( )
- - w w
"

: ;
-
Supongamos por otro lado que entonces o sea que : l K : l K ;
- - " w " w
( ) ( )
: l K po
-"
( ) lo cual es contradictorio, se sigue que
: l K MM
-" w
y
( ) ( )
de y se sigue que es un -subgrupo de Sylow de por lo tanto ( ) ( ) M MM L : K L
w w
S
se sigue entonces que
S S
w w
L L K
( ) , K K L L : K L Sea y entonces es un -grupo de Sylow de entonces

w w
S S
w
as S S
w
MMM
( )
Ntese que sta constituye la parte . ( ) + L L K
S S
w w
Ahora sea entonces es un -subgrupo de Sylow de entonces L L : K S
L : l K : l K ( ) ( ) ( )
< <"
y
de la parte y ( ) ( ) ( ) + M MM
: l K : l K
< w <" w
y
( ) ( )
por el primer teorema de Sylow existe un -subgrupo de Sylow de . Esto es : T K
w
T T L T : S S
w
y se sigue de que entonces y son -subgrupos de ( ) MMM
Sylow de entonces por el segundo teorema de Sylow ellos son conjugados as K
existe tal que # # # K L T
"
Ahora
, entonces L T K K L K

# # # #
" w " w w
K K
w
As entonces . Esto implica entonces L L L L K S S S L K
w w w
que . S S
w
26.Indique una sucesin de Jordan-Holder para cada uno de los siguientes grupos:
..
( ) + 8 : : : : :
8 " #
8 8
" #
8
<
(grupo cclico de orden , siendo nmeros primos
" #
<
distintos)
( ) ( ) , Z Z siendo el grupo de Klein
% &! %
( ) - W W W W W " # 3 (siendo el grupo de las permutaciones de

& % $ # 3
Cales de estos grupos son resolubles?
SOLUCION.( ) + : : : 8 " 3 8 4 " # < Sea donde L
: : :
8 8
" #
3
4
4 4 8 8
" #
" # 4
3
4
" #
4

as
: : : "
_
( ) L
: : :
8 3 8
4 4"
8
<
8 8
" #
" # 4
3
4
4 4 4"
<
Ahora de donde se sigue que L
: : :
8 8
" #
3 "
4
8 8
" #
" # 4
3 "
4
" #
4
: : : 8
: : : #
_
( ) L
: : :
8 3 " 8 "
4 4"
8
<
8 8
" #
" # 4
3 "
4
4 4 4
<
Adems
, L L
: : : : : :
4 4 8 8 8 8
" # " #
" # 4 " # 4
3 " 3
4 4
" 3 8 " 4 " # <
Ahora
primo . L L :
_
( )
: : :
: : :
4 8 8
" #
" # 4
3 3 "
4
8 8
" #
" # 4
<
( )
( )
"
#
Se sigue que los cocientes
, L L " 3 8 " 4 " # <
: : : : : :
4 4 8 8 8 8
" # " #
" # 4 " # 4
3 3 "
4 4
son simples, as

_
L
: : :
"3 8 4 "#<
8 8
" #
" # 4
3
4
4 4
es una sucesin de Jordan-Hlder para . 8
( ) , Z
% &!
. Sean

_
_ _
j
_
_ _
_
( )
( )
( )
( )
_
j
_
_
( )
( )
( )
L Z
K # &!
K "! &! K
$
L #
K #&
K &
" # %
" &!
# "
"
"
#
5

y
> > > >
& & % # % #
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 , son simples. Por > >
3 3"
3 " %
consiguiente, por un resultado bsico (cal?)

_
> > > > > >
! " # $ % &
es una sucesin de Jordan-Hlder de . Z
% &!
( ) ( ) - W W W W &x %x $x #x Sea > >

! & % $ # !
y > >
" & % $ # "
E W W W '! %x $x #x ( )
y > >
# & % $ # #
M W W W %x $x #x #)) ( )
> >
$ & % $ # $
%x
#
M E W W " $x #x "%% ( )
as > >
% & % $ # %
M Z W W " % $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
primo , simple, no abeliano
&%$%x$x#x
&x%x$x#x
&
( )
( )
>
> >
> !
" #
"
# E
( ) ( )
primo , primo

$x#x % $x#x
%x$x#x "#$x#x
( ) ( )
( ) ( )
> >
> >
2 3
3
# $
12
( ) ( )
%
primo , primo

#$x#x $x#x
%$x#x #$x#x
( ) ( )
( ) ( )
> >
> >
% &
& '
# # ( ) ( )
primo , primo

$#x #x
$x#x $#x
( ) ( )
( ) ( )
> >
> >
6
7
7
# $ ( ) ( )
)
primo
"
#
( )
( )
>
>
)
*
# ( )
Por lo tanto se tiene que son simples, pues ellos son de
>
>
3
3"
3 ! # )
orden primo, ahora como y es simple, entonces es simple as
> >
> >
" "
# #
E E
& &

_
> > >
! " *
es una sucesin de Jordan-Hlder para W W W W
& % $ #
( ) ( ) . 3
8
es resoluble puesto que existe una sucesin de Jordan-Hlder

_
L
: : :
"3 8 4 "#<
8 8
" #
" # 4
3
4
4 4
,
tal que los cocientes
, L L " 3 8 " 4 " # <
: : : : : :
4 4 8 8 8 8
" # " #
" # 4 " # 4
3 3 "
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 existe un grupo cociente el cual
_
W W W W
& % $ #
no es cclico. Sea otra sucesin de Jordan-Hlder para
_
w
K K K ( )
! " 5
W W W W -
& % $ # ! " *
, por la parte , , es una sucesin de Jordan- ( ) ( )
_
> > >
Hlder para . Por consiguiente, por el teorema de Jordan-Hlder W W W W
& % $ #
5 *
_ _
w
as, existe tal que . Como y es no 3 ! " # * K K E E

3 3" " # & &
> >
>
>
"
#
abeliano, entonces es no abeliano y en particular no es cclico. Por
>
>
"
#
consiguiente no es cclico. K K
3 3"
27.Describa un mtodo de cmo construir una sucesin de Jordan-Hlder para

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

( ) ( ) ( )
1
Por el teorema de Cauchy, posee un subgrupo cuyo orden es , o sea ^ K R : ( )
R ^ K R :
( ) ( )
se sigue que pues cualquier subgrupo de es normal en . R K ^ K K ( )
Sea entonces K KR
"
K KR : ( ) ( )
"
K
R :
:
<"
( )
( )
<
como entonces por la hiptesis de induccin, es verdadera. Por < " < : < " ( )
consiguiente tiene un subgrupo normal , tal que o sea, K KR L L :
"
<#

bL L KR L :
<#
Por el segundo teorema de isomorfismo, existe un subgrupo de conteniendo L K
a , tal que , R LR L L K
se sigue que . L K L :
<"
Ahora sea un grupo tal que . K K : < " ( )
<
Por lo anterior, existe tal que L
"
L K L :
" "
<"
( )
El mismo resultado aplicado a existe tal que L L
" #
L L L :
2 " #
<#
( )
El mismo resultado aplicado a existe tal que L L
# $
L L L :
$ # $
<$
( )
as, sucesivamente, despues de -pasos encontramos <
" L L L L L K

< <" <# " !
tal que adems L : ( )
3
<3
:
L
L L :
L :
3
3" 3"
3
<3
<3"
( )
( )
y por consiguiente

L
L
3
3"
3 ! " # < "
son cclos de orden primo. Se sigue que

L
L
3
3"
3 ! " # < "
son simples, as

_
( ) L L L
! " <
es una sucesin de Jordan-Hlder para , un -grupo cualquiera. K :
28.Demuestre que todo grupo finito posee una sucesin de Jordan-Hlder. K

SOLUCION.Inductivamente sobre el orden de . K K 8 ( )
( ) ( ) 3 K " " K K Si entonces trivialmente es una sucesin de Jordan-
!
Hlder
( ) ( ) ( ) 33 K " K Supongamos que y que cualquier grupo de orden menor que
tiene una sucesin de Jordan-Hlder. Si es simple entonces K " K K K
" !
es una sucesin de Jordan -Hlder para , pues y es simple. K K K K
K
K
! !
!
"
As, supongamos que no es simple. Sea un subgrupo normal de y K R K R "
R K K R . Puesto que es finito, podemos suponer que es el subgrupo normal de
mayor orden contenido propiamente en . Esto es, y entonces K Q K Q K
Q R ( ) ( )
Por hiptesis de induccin, ya que existe una sucesin de Jordan- R K ( ) ( )
Hlder para , esto es existe tales que R R R R
! " 6

_ _
( )
" R R R R R R

3!"#6"

6 6" 6# " !
R
3
R
3"
y
"
es simple. Demostremos que

_
( ) R R R R K
! " 6
es una sucesin de Jordan-Hlder para . Como por es suficiente K R R K "
6
( )
probar que es simple. KR
Si no es simple, entonces tiene un subgrupo normal no trivial, . Por el KR L
segundo teorema de isomorfismos donde es un subgrupo normal de L OR O
K R L O K O R
que contiene a . Como no es trivial, entonces . Se sigue

que , lo cual contradice la escogencia de As O R R R Rpo KR ( ) ( ) ( )
6 6
es simple.
29.Sea un anillo no trivial y sea un elemento de tal que , para algn E D E D !

7
7 " D E Pruebe que es un elemento inversible de
SOLUCION.Sea . D " D D D E
# 7"
Por la ley distributiva de , se sigue que E
. D " D " D D D " D "
# 7"
( ) ( )( )
Anlogamente
( ) ( )( ) " D D " D " D D D "
# 7"
se sigue que
D " D D D
# 7"
es el inverso de en ( ) " D E
30.Sea un anillo y sea el anillo de los endomorfismos del grupo aditivo E I8. E ( )
E E E I8. E

de . Demuestre que es isomorfo a un subanillo de , indicando un ( )
homomorfismo inyectivo E I8. E - ( ) .
SOLUCION. Sea definimos + E

:
:
+

+
E E
B B + B
-
( )
:
+
porque si como es un anillo y , esta esta bien definida B C E + E
permitido sumar para obtener esto implica que + + B + C B C : :
+ +
( ) ( )
:
+
es inyectiva, pues se simplificando se sigue : :
+ +
( ) ( ) B C + B + C +
B C
: :
+ +

es sobreyectiva D E D + E puesto que si entonces aplicandole a
este elemento se obtiene que :
+
( ) ( ) D + + D + + D + D
Se sigue que para todo . Definimos ahora + E I8.E :
+

F
:
E I8. E
+
- ( )
+
Trivialmente esta bien definida. Probemos que es inyectiva, en efecto: F F
F F : : : : ( ) ( ) ( ) ( ) + , B B aB + B , B aB + ,
+ , + ,

B ! en particular
Adems, si conjunto de las transformaciones a izquierda, 7 + E :
+
entonces es un subanillo de . Adems trivialmente 7 7 I8. E E
( )
31.Sea un conjunto no vacio de ideales de un anillo conmutativo . Probar I E

( ) + M E
M
La interseccin es un ideal de .
I
( ) , M M M M M M M

Si para cualesquier existe un tal que y entonces la
" $ $ " $ # $
I I
reunin ser un ideal de
M
M E
I
.
SOLUCION. ( ) ( ) + 3 M E
M
es un subgrupo de , en efecto;
I
B C M aM B C M aM B C M B C M
M M
M E

I I
I I ( )( ) ( )( )
1

( )
_
33 E M M
M M
, en efecto;
I I
B E M b+ E 8 M B +8 b+ E aM 8 M B +8
M M
_ _
( ) ( ) ( )( )( )( )
I I
I
aM + E 8 M B +8 aM B +8 M B M
M
M
( )( )( )( ) ( )( ) I I
I

es ideal

( )( ) , 3 M E
M
I
, es un subgrupo de en efecto;
B C M bM bM B M C M bM B C M
M
I
I I I ( )( )( ) ( )( )
" # " # $ $
por hiptesis
. bM B C M B C M
M E
M
$ 1

$ $
( )( ) ( ) I
I
( )
_
33 E M M
M M
, en efecto;
I I
B E M + E 8 M B +8 bM + E 8 M B +8
M M
_ _
( ) ( ) ( )( )( )( )
I I
I
. bM B +8 M B M
M
M
es ideal
( )( ) I
I
32.Sea un grupo tal que primos, probar K K :; : ; ( )

( ) + K : ; tiene un subgrupo de orden un subgrupo de orden .
( ) ( ) , ; l : " K Si entonces es un grupo cclico.
y
( ) ( ) - : ; ; : " Dados dos nmeros primos , tales que entonces existe un grupo no |
abeliano de orden :;
SOLUCION. ( ) + K : Por el primer teorema de Sylow, tiene un -subgrupo de Sylow y un
;-subgrupo de Sylow.
( ) , Por el tercer teorema de Sylow, sea
para algn = " 5: 5 !
:
es un -subgrupo de Sylow de = : K
:
( ) ( ) V ? ?
y para algn = " 5; 5 !
;
es un -subgrupo de Sylow de = ; K
;
( ) D ( ) ? ?
y se tiene que
= l K :; = l K :;
: ;
( ) ( )
( ) 3 Supngase que
= " 5: l:; " 5: l;
:
( ) ( )
" 5: : " ( )
entonces
luego " 5: ; " 5: " " 5: " 5 !
; :
As, e implica que existe un slo -grupo de Sylow , el cual es normal en = " : L
: :
K.
( ) ( ) 33 = l:; " 5; l: Ahora si
;
" 5; ; " ( )
, luego " 5; : " 5; " " 5; " 5 !
;l: "
y
Anlogamente el -grupo de Sylow es normal en ; L K
;
Puesto que son subgrupos normales de orden y respectivamente, con L L : ;
: ;
( ) ( ) ( ) : ; " K :; K +, , y como por hiptesis , se sigue que de donde
L + L ,
: ;
( ) ( )
( ) ( ) | - K W W $ # : $ ; # ; # $ " : " Sea , as , entonces adems y
$ $
de aqu es no abeliano. W
$
33.Probar que cualquier subgrupo de orden en un grupo de orden un : K : :

8" 8
nmero primo, es normal en . K
SOLUCION. Se sabe que existe tal que y . Se sigue que B K B L BLB L
"
L R L : R L
y
8"
( ) ( ) ( )
Donde . Como , se sigue que R L 1 K1L1 L R L l: R L : ( ) ( ) ( ) ( ) ( )
" 8 8
R L K L K ( ) entonces .
34.Probar que el centro de cualquier -grupo es no trivial : .

SOLUCION.Sea un grupo tal que y consideremos la funcin dada K K : 8 " ( )
8
por ) K K K
 )
B
< K B <B< < K
"
^ K < K <B >
Como
#
.
K B K B
B K
w
BK
> > ( )
_
w
entonces
# + # K B B ^ K
( ) ( )
_ _
B^ BK ^
w
> >
w
# + # K B K ^ K
B B
B K
B
> >
( ) ( ) ( )
_ _ _

B^ BK ^ BK ^
w w
> >
As
: ^
8
BK ^
:
R B
( )
_
w
8
( ) ( )
o sea que , as R B 8 ( ) ( ) (
B
: ^ :l ^
8
8
:
R B
_
( ) ( )
(
B
8
( ) ( )
y es no trivial. ^
35. Si donde es un nmero primo y si es un subgrupo K : : R / ( )

8
normal de , probar que siendo el centro de . K R ^ / ^ K
SOLUCION. Sea ; como , definimos > K R K
) K K K
 > )
B
< > B <B< <
"
Anlogamente, como en el problema de arriba,
# # + # # + # R B B B B
B
( )
_ _ _ _ _
BR BR^ BR R^ BR^ BR R^
w w w
> > > > >
As
R R ^ R ^ ( ) ( ) ( )
_ _
BR R^ BR R^

R B
B w w
> >
>
( )
( ) ( )
Ahora
R B aB R R ^ ( ) ( ) ( ) >
w
R : " < 8 ( )
<
As
: R ^
 
y . :l R ^ R ^ / ( )

36.Si es un subgrupo normal de y es de orden probar que el R K + K + ( )
orden de en es un divisor de 7 R KR
+
. + ( )
SOLUCION. 7 R R es el ms pequeo entero tal que ( )
+
7
as,
. ( ) ( ) R R R R 7l +
+ /
+ +
+
( ) ( )
37.Si es un subgrupo normal en un grupo finito tal que y son R K R R ( ) ( )

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

B B / 7 ( )

8 58
5 K
R
38.Sea un grupo finito abeliano de orden y supongamos que es un K K 8 ( )

nmero entero relativamente primo con . Probar que cualquier puede K 1 K ( )
ser escrito como con . 1 B B K
8
SOLUCION. Considrese la aplicacin 9 K K
C
C
-
8
( ) 3 es un homomorfismo 9
9 9 9 ( ) ( ) ( ) ( ) C C C C C C C C
" # " # " #
8
8 8
" #
Kes abeliano
( ) ( ) ( ) 33 1 K K 8 " ; 5 es sobreyectiva: Sea , entonces, como existen 9
tales que as ; K 58 " ( )
1 1 1 1
K ;58 58 5
8
( )

Tomando entonces C 1
5
. 9 9 ( )

C 1 1 1
5 5
8
Como es finito se sigue que es inyectiva, luego es un isomorfismo. K 9 9
De otro modo: Supongamos entonces 1 D 1 D
8 8 58 58
1 / D / 1 1 D D
58 58 58 K ; 58 K ; ( ) ( )
por lo tanto
1 1 D D
58 K ; 58 K ( ) ( )
as, es inyectiva, como es finito y es un homomorfismo se sigue que es un 9 9 9 K
isomorfismo.
39. ( ) + K Y Y
s
Dado cualquier grupo y un subconjunto sea el subgrupo ms
pequeo de el cual contiene a . Probar que existe un tal subgrupo de K Y Y K
s
( ) , 1?1 Y 1 K ? Y Y
s
Si para todo y para todo , pruebe que es un subgrupo
"
normal de K.
SOLUCION. ( ) + Tmese
Y [ K Y [ ? ? ? ? Y Y 3 " 8
s

1 " # 8 3
"
( ) , 1 K ? Y ? ? ? ? ? Y Y 3 " # 8 s s
s
Sea y entonces donde ,
" # 8 3
"
Ahora
? Y ? Y
4
" "
4
esto equivale a
1? 1 Y 1? 1 Y
" " " "
4
4
entonces
1?1 1? ? ? 1 1? 1 1? 1 1? 1 1? 1 Y s
s
" " " " "
" # 8 " # 8" 8
"
dedonde . Y K
s
40.Sea . En este caso es usualmente escrito como y es Y BCB B C K Y K

s
" w
llamado de . subgrupo conmutador K
( ) + K K Probar que es un subgrupo normal de
w
( ) , KK Probar que es un grupo abeliano
w
( ) - KR R K Si es abeliano, pruebe que
w
( ) . L K L K L K Pruebe que si es un subgrupo de y , entonces es normal en
w
SOLUCION.( ) + 1 K ? Y B C K ? BCB C Sea y entonces existen tales que
" "
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 es un subgrupo normal de ( ) , K K
w
( ) , 1 1 K Sean entonces
" #
( ) ( ) 1 1 1 1 K 1 1 1 1 K K 1 1 K 1 1 K 1 1 K 1 1 K
# " # " " # # "
" " w " " w w " " w " " w w w
# " # " # " " #
1 K 1 K 1 K 1 K ( )( ) ( )( )
" # # "
w w w w
( ) - KR 1 Y 1 BCB C Supongamos que es abeliano .
" "
( ) RBC RCB RBCB C R 1 BCB C R
" " " "
( ) ( ) . L K 2 L 1 K 121 121 2 2 K L L sea y entonces .
w " " " w
41. Sea un conjunto de nmeros reales, y para sea Z + , d + ! Z Z 7

+,

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

33 B B . 7 7 7 7 7 7 7 7 7
+, ". + , +, ". +, ". +,
"
B , B ,
+ + + + " "
" ,
+ +
. + , B , +. , B +. B R

( ) ( )
B ,
+ +
" +. +, 3. +,
"
7 7 7 7
( )
entonces
as R K
( ) - 333 KR 1R 1 K R + , d + ! K d !
+
, definamos 7 9
7
+,
+,
9 7 7 esta bien definida, pues aplicandolo en tenemos
+, + ,
!
" "
7 7
+, + , " " "
( ) ( ) ! ! +! , + ! , , ,
" "
Ahora, 7 7
+, + , " " " "
( ) ( ) ( ) B B +B , + B , +B + B + + B ! aB + +
"
As, . 7 7 9 7 9 7
+, + , +, " + ,
+ +
" " " "
( ) ( )
9 en efecto; es un homomorfismo
9 7 7 9 7 9 7 9 7 ( ) ( ) ( )

+, +. +, -. +- +.,
+-
( )
9 es sobreyectivo,
Sea , entonces, , basta tomar en . , d ! , K 9 7 7 ( )
,- ,-
Entonces es un homomorfismo sobreyectivo bien definido. Adems . 9 9 ker 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 y entonces . 1 K D ^ 1D D1 1D1 D ^
"
43.Supngase que es un grupo y sea . Mostrar que si es cclico K W ^ K KW
1
( )
entonce G es un grupo abeliano
SOLUCION. Como es cclico entonces . Ahora sean KW KW += 1 2 K ( )
entonces y as 1 + = 2 + = = = W
3 4 w w
12 + = + = + =+ = + + = = + + = = + + = = + = + = 21 ( )( ) ( ) ( ) ( ) ( ) ( )( )
3 4 w 3 4 w 3 4 w 3 4 w 4 3 w 4 w 3
44.Probar que cualquier grupo de orden primo es abeliano. : :

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

una sucesin de subgrupos donde L L L L L L L 3 "

" # $ 8 3 3"
( )
para . Probar que tiene una sucesin de subgrupos 3 " # 8 " K
K K K K K K 3 " 3 " # 8 "

" # 8 3 3"
tal que ( )
SOLUCION. Sea . Entonces es un homomorfismo sobreyectivo, 0 5 K KR 0
R
-
adems . Sea y , entonces las ker0 R L K R L L L KR

[ [
R 1 1
w
aplicaciones
[ [ [ [
F :
R R
" w w
"
L

0 L

L

0 L
- -
( )
( )
son biyecciones, no obstante si
L K 0 L KR ( )
o en forma equivalente
L K 0 L LR KR ( )
y adems entonces , es decir, , KL KR LR R 0 L K 0 L K

( ) ( ) ( )
1 1
" "
3 3 3
de donde . Como , adems L 0 0 L K R L L K K

3 3 3 3 3" 3 3"
"
( ) ( )
K K K R K R L L
3 3" 3 3" 3 3"

( ) ( )
se sigue que
K K L L 3 " ( ) ( )
3 3" 3 3"
46.Sea un grupo finito con subgrupos normales . Sea un subgrupo de K Q R L K

tal que . Probar que . ( ) ( ) ( ) ( ) ( ) ( ) Q L R L " LQQ LRR
SOLUCION. Como , entonces ( ) ( ) ( ) ( ) ( ) ( ) Q R R L "

, L Q L R "
ahora

LQQL LQ L"L

LRRL LR L"L

( )
( )
LQQ LRR
47.Sean subgrupos normales de un grupo . Supongamos que R Q K R Q KR
es cclico y . Probar que es abeliano RQ # KQ ( ) .

SOLUCION.Como es cclico, entonces es abeliano. Por los problemas 39 KR KR
y 40 . Ahora por el segundo teorema de isomorfismos ( ) - R K
w
KR KQ RQ KQ RQ
( ) ( ) ( ) ( ) , siguindose que es cclico. Mostremos que

RQ ^KQ RQ Q 8Q Q ^KQ
sea , obviamente . Ahora, sea

1 K 1Q KQ, entonces
818 K R 818 1 R
" w " "

as tenemos que
o 818 1 Q
Q

8Q
" "
_
_
_
Veamos que en efecto supongamos que 818 1 Q 8Q
" "
818 1 Q 8Q 18 1 Q Q 8 1 Q 1 Q
" " " " " " "
18Q 1Q 8Q Qpo
lo cual es contradictorio, luego
818 1 Q Q 1Q 8Q 8Q 1Q
" "
( )( ) ( )( )
As,
es cclico y ( ) ( ) ( ) KQ RQ RQ ^ KQ
se sigue que es abeliano. KQ
48. Encontrar un grupo con subgrupos normales y cclico, K R Q R Q KR
RQ KQ cclico, pero no es abeliano.

SOLUCION.Sea , donde K W Q M R 3
$
# # "#$ "#$
$"# #$"
( )

: : : : :
Entonces . Como entonces es cclico se ( ) ( ) ( ) ( ) ( ) W # W $
$ $
: : : :
sigue que es cclico. Adems y no es abeliano. ( ) ( ) : M W M W W
$ $ $
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 # -subgrupos de Sylow de , entonces del 8 ( K
(
tercer teorema de Sylow , esto es . Ahora 8 " ( 8 " ) "& ## 8 l'
( ( (
( ) mod
entonces , se sigue que . Por consiguiente posee uno y slo 8 " # $ ' 8 " K
( (
un -grupo de Sylow. (
EJEMPLO. Sea permutaciones de ; entonces tiene W " # $ lW l ' # $ W
$ $ $
tres -subgrupos de Sylow #

_
j
_
_

W
$
"#$
"#$
"#$ "#$ "#$
"$# #"$ $#"
"#$ "#$
#$" $"#
L L L
" # $
"#$ "#$ "#$ "#$ "#$ "#$
"#$ "$# "#$ $#" "#$ #"$

son los -subgrupos de Sylow de . # W
$
Otro ejemplo es dado por que tiene tres -subgrupos de Sylow de orden pues W # )
%
Z % W W *
% % %
es un subgrupo de orden que no es normal en tiene subgrupos de
orden que son normales as hay ms de un subgrupo de orden . Como es el # ) $
nico divisor de y # -subgrupos de Sylow de entonces por el tercer #% 8 # W
) %
teorema de Sylow . Sguese que hay exactamente tres -subgrupos de 8 " # #
)
( ) mod
Sylow de orden en . ) W
%
50.Usando los teoremas de Sylow, probar que todo grupo abeliano , de orden K
8 8 8 8 8 8
" # < " # <
, donde son nmeros naturales primos dos a dos, es
producto directo de grupos cuyos ordenes son L L L 8 8 8
" # < " # <
respectivamente.
SOLUCION. lKl 8 8 8
" # <
factores primos distintos 8 : : : p
"
"" "# "=

"" "# "
"=
"
#
#" ## #=

#" ## #
#=
#

<
<" <#
<=

<" <# < <=
<
entonces como lKl : : : : : : : : :

"" "# " #" ## #
"= #=
" #
<" <# < <=
< "" "# "= #" ## #= <" <#
<=
( ) 8 8 " 3 4 : # #
3 4
34
si entonces los nmeros primos son todos distintos a
Por los teoremas de Sylow, para cada , existe -subgrupo de Sylow de : : L
34
34
34 34
K lL l : K L K L de donde . Como es abeliano, y entonces es el
34 34 34
34
34
nico -subgrupo de Sylow de : K
34
Note que si entonces pues si y , ( ) ( ) 3 4 5 6 L L 3. B 3. B L L
34 56 34 56
entonces lo cual es imposible, pues son primos B : B : po : ( ) ( )
>
34
>
56
34
34
56
distintos. Llamaremos ahora
L L L L L L
<
=
"" 3= <" <= 34
3
" <

3 "4 "
el grupo generado por la reunin y probemos que . L K
Tome fijo y tome y consideremos el siguiente diagrama L R L
56 34
_
( ) ( ) 34 56
entonces .
)
)
K lL l
l
L L
R

L
R L /
56
56
56
L
R L R lRl lL Rl
L lLl lL l
56
56
56 56
56
Por consiguiente es mltiplo de para todo . lLl lL l 5 6
56
( )
51. Sea un dominio. Cal es la relacin entre el grado de un polinomio en V J B ( )

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

ideales de tales que y N V N " N
I
J I J J J N pues y ordenamos a por inclusin. Sea un

- A
-
subconjunto totalmente ordenado y mostremos que es inductivo superiormente.
Para esto, tenemos N N
- A
-
( ) 3 N V es un ideal de
( ) + + , N + N , N existen tales que y , como es totalmente . ( A
. (
ordenado, tenemos que . Supongamos que , esto implica N N N N N N

. ( ( . (
.
que luego entonces es un subgrupo conmutativo de + , N + , N N N
( (
( ) V .
( ) , < V 4 N < V 4 N N Suponga y . Entonces existe tal que y , como es . A
. .
ideal, tenemos que <4 N N
.
( ) 33 N M N N a

pues ,
.
. A
( ) 333 " N " N N " N
, en efecto, si , entonces existe tal que , lo cual es

. .
J
po contradictorio.
Por y vemos que y que para todo , se tiene . Luego ( ) ( ) ( ) 3 33 333 N N N N N
J
. .
es un mayorante de . Entonces es un conjunto parcialmente ordenado en el cual I

todo subconjunto totalmente ordenado posee un supremo. Luego tiene I
elementos maximales. Sea un elemento maximal de . Entonces y para Q Q I I
todo tal que forzosamente , luego y y para todo R Q R Q R Q Q y "

I I
R Q R R V ideal tal que .
IR
QRV

( ) ( ) , 3 Q B V B V Supngase que es no inversible es un ideal de . Entonces
Q V " Q " Q N V pues es invertible . es maximal pues para todo ideal de tal ( )
que , entonces tendr elementos inversibles y entonces y por tanto Q N N " N
N V Q M V es el nico ideal maximal, pues cualquier otro ideal maximal no

contiene ningn elemento inversible pues sern y entonces luego ( ) M V M Q
M Q.
( ) 33 V T Supongamos ahora que posee apenas un ideal maximal y sea
Q V T V T elementos no inversibles de , como entonces no posee elementos
inversibles y entonces . Por otro lado, si sea el ideal T Q B Q V B B V
generado por entonces es un ideal propio de pues que por la B V B V B Q ( )

primera parte de este ejercicio, est contenido en un ideal maximal. Pero el nico
ideal maximal es . Luego y entonces , as y se sigue que T V B T B T Q T

Q T es un ideal.
53.En las siguientes proposiciones se desea afirmar si son verdaderas o falsas,

justificar la respuesta:
( ) ( ) + K L K KL L K Sea un grupo y un subgrupo de . Sea respectivamente el
conjunto de las clases laterales a izquierda respectivamente a derecha de ( ) K
mdulo Existe una aplicacin biyectiva de sobre . L KL L K
( ) , K 8 . 8 Sea un grupo finito de orden . Para todo divisor de existe un subgrupo
L K . de de orden .
( ) - K : : : Sea un grupo finito y sean los nmeros primos que dividen al
" # <
orden de . Entonces es producto directo de subgrupos siendo K K W W W
: : :
" # <
W : K
: 3
3
un -subgrupos de Sylow de .
( ) . K L L Sea un grupo abeliano, producto directo de dos subgrupos y . Entonces
"
#
todo subgrupo de es producto directo de dos subgrupos y tales que K K L L
w w w
" #
L
"
w

L L L
" #
#
w
y .
SOLUCION. ( ) - + +L + K L+ + K sea defnase Verdadera. [ [ : [ [
w w
mediante la cual es una biyeccin. :( ) +L L+
"
( ) , K . : :l8 . Si es un grupo cclico, vale. Tambin vale si , donde Falsa
7
CONTRAEJEMPLO: El subgrupo alternado de orden no posee ningn E W "#
% %
subgrupo de orden . '
( ) - K . Cuando es un grupo abeliano vale el resultado, pues es un resultado Falsa
bsico. Pero si tomamos por ejemplo , tenemos que y sin embargo W lW l # $
$ $
W L L L # L
$ " # " $
no puede ser escrito como donde es -subgrupo de Sylow y es
$ # W -subgrupo de Sylow porque ninguno de los -subgrupos de Sylow de es
$
normal.
( ) . K O " L " L " . Tmese el grupo de Klein y , Falsa
% " #
5 7 57 5 7
entonces pues es abeliano , ( ) ( ) ( ) 3 L L K K 33 L L " 333 K L L
" # " # " #
entonces Tomemos ahora , es obvio que no puede ser K L L L " L
" # $ $
57
escrito como producto directo de dos subgrupos de respectivamente. L L L L
" #
w w
" $
54.Probar que todo grupo de orden 15 es cclico.

SOLUCION.lKl "& $ & $ K . Sea # -subgrupos de Sylow de (
$
( ) + "
( (
( (
$ $
$ $
" $ "%("!
l& "&
( ) mod
(
$
Anlogamente # -subgrupos de Sylow de ( (
& &
& K "
Por lo tanto existe uno y slo un , -subgrupo de Sylow y existe uno y slo un L $
"
L & L K L K
# " #
, -subgrupo de Sylow por lo tanto y .
( )
_ _
, lL L l "
lL l L L L lL L llL L l $
lL l L L L lL L llL 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
K
l
L L
L
" #
"
#
L L L
L L L lL l lL L l & "
lL L l lL l
lL L l
$
L L
" #
" # " #
# " # # " #
" # "
"
entonces | por consiguiente L L l "& L L K
" # " #
Por otro lado, tenemos que
_

entonces
L L L
L L L
L L L L L L L L
" " #
# " #
" # " # " # "
#
pues es el menor grupo que contiene . L L L L
" # " #
Tambin es claro que . Luego < . L L L L L L L L K
" # " # " # " #

Entonces podemos escribir . Esto tambin es equivalente a: K L L
" #
( ) 3 2 L 2 L 2 2 2 2 Si y
" " # # " # # "
( ) 33 1 / K 1 1 1 1 L Para cada en , de manera nica donde . Como
" # 3 3
lL l $ lL l & 2 L
" # 3 3
entonces son ambos cclicos; luego existe tales que
L 2
3
3
.
Sea tenemos que 2 2 2
" #
( ) ( ) ( ) ( ) ( ) ( )
_____________________ __________
2 2 2 2 2 2 2 2 2 2 2 2 2
"& "& "&
"& "&
" # " # " # " " # #
"
"& "&
3 ( )
#
. 2 2 / / / ( ) ( )
$ & & $
" #
& $
pues de donde lo 2 / 2 / 2 2 / 2 2 L L L 2 / po
" # " # " # "
#
"
cual es absurdo.
Si y tenemos que ! 8 "& 2 /
8
entonces 2 2 2 / 2 2 L L
8 8 8 8 8
" # " #
" #
.
_
2 / 8 $ 8
2 / 8 & 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?
( ) , K 8 " B K D un ejemplo de un grupo abeliano tal que, para todo existe un
8
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
% %

% %
! " # $ O 3 + , +,
! ! " # $
" " # $ !
# # $ ! "
$ $ ! " #
3 3 + , +,
+ + 3 +, ,
, , +, 3 +
+, +, , + 3
Todos ellos son abelianos.
Los rdenes son cclicos por tener orden primo. El grupo es cclico, " # $ & 8
%
generado por el elemento . El grupo no es cclico pues si suponemos que lo es " O
%
existira tal que y se tiene si de donde no es 3 B O B 3 B B B 3 + 3
%
% # $ #
+ +, 3 +, , 3 , ( )
#
#
de donde no es de donde no es .
( ) , K Tomemos conjunto cociente de los racionales por la relacin de
equivalencia .
7 7
8 ; 8 ;
: :

donde 7 8 8 !
7
8
es abeliano y si , tomemos y tenemos 8

" "
8 8
y para todo , ,
_________________________

" "
8 8
" ! 7 ! 7 8
8 @/-/=

tenemos que pues . Luego

" " 7 7
8 8 8 8

l l 8
"
8
.
( ) ( ) ( ) - Q # # # K # Sea el conjunto de las matrices reales y sea el conjunto de las
matrices inversibles. Entonces es un grupo no abeliano para la # # K # ( )
multiplicacin de matrices
y son inversibles.
_
j
_
_

" " " ! # "
! " " " " "
" ! " " " "

" " ! " " #
" " " !

! " " "
( ) . 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 ( ) -
tal que para casi todo K W 3. 3
8 "
( ) ( )
$ 3 3
8 3"
5 5
es un grupo infinito no abeliano.

56.Sea un anillo conmutativo y el conjunto de sus ideales distintos de . E E I
( ) + Dado cales inclusiones valen entre , ? U U U U U , I, , , ,
( ) , Probar que la aplicacin dada por I I
para algn U U U B E B 8
_ 8
es una aplicacin de clausura en el conjunto ordenado por inclusin. (Esto es, I

U U U U U U
_
; si entonces y ) , ,
_ _ _ _ _
( ) - Indique condiciones necesarias y suficientes para que el homomorfismo
E E E B B B ( ) ( ) ( ) U U , , definido por sea inyectivo.
SOLUCION. anillo conmutativo , ideales de y , ( ) ( ) + E E E I I U ,
, U U , , " "
U U 3 , ,
_
3"
8
3 3 3
" "
U U U U U U
, , , , ,

( )
_
,
B E B

I I
U
U U
:
8
( )
_
" B B U U
( )
_ _
# B B B
U U U y sea . Entonces , , ,
8
( ) ( )
_ _ _ _
_ _
$ " B B
Por , tenemos que y si , entonces y por lo U U U U

8
tanto y entonces . ( ) ( ) B B B
8 78
7
U U U
_
( ) ( ) ( )
( )
- E E E
B
B B
:
: U U
U
, ,
, ,
Notemos inicialmente que ker
, , B B B B B B ker: :( ) ( ) ( ) ( ) U U U U U, , , , , ,
, B B B U, U , ,
El homomorfismo es inyectivo ! U , ker:
57.Sea un dominio y sea un subanillo principal de (es decir, todo ideal de F E F E

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

subanillo
divisor de en , si es un mximo comn divisor entre y en y como B C E D B C E E
es un dominio principal, sabemos que existen tales que ? @ E ? B @ C D
(esto por un resultado bsico). Suponga que existe tal que y . Debemos + F +lB +lC
probar que entonces +lD +l ?B @C +lD ( )
+lB+l?B
+lC+l@C
por consiguiente en . D 7-. + , F ( )

( ) + K K K K K Si es un subgrupo normal de y un subgrupo normal de entonces
" # # $ "
ser un subgrupo normal de . K
$
( ) , 8 W Todo grupo finito de orden es isomorfo a un subgrupo del grupo simtrico
8
( grupo de las pernutaciones de ) " # 8
( ) - L O K L O Sean subgrupos normales de tales que . Entonces
( ) ( ) ( ) K L O L L O O L O
( ) . E : E Sea un grupo abeliano finito y un nmero primo que divide al orden de
Entonces posee exactamente un -grupo de Sylow. E :
( ) / V V 0 V V Sean dos anillos conmutativos con unidad, un homomorfismo
w w
sobreyectivo, y un ideal de . Entonces es un ideal maximal de si y slo si I I
w w w
V V
w
0 V
"
I
w
es un ideal maximal de
SOLUCION. ( ) + K K K K K y : Falsa
" # $ " $
Tome y el subgrupo alternado . Entonces y . Como W E E W lE l "# # $ E
% % % % % %
#
es cclico, entonces todo subgrupo es normal, luego existe un nico -subgrupo #
de Sylow y existe un nico -subgrupo de Sylow . Tenemos L $ O
, L E W O E W
% % % %
pero uno de los dos no es normal en . L O W
%
Tome pero . L O 3 "# $% "$ #% "% #$ L E W L W y ( )( ) ( )( ) ( )( )
% % %
( ) -
( )
, K + + K W
+
+
: Sea y ver el teorema de Cayley. Verdadero
" 8 8
+
: :
( ) - : Si se supone verdadera, tendramos en el caso finito que Falsa
( ) ( )( ) ( ) K L O L L O O L O "
lKl lLl lOl lKl lOl
lLOl lLOl lLOl lLl lLOl
entonces =
Pero el diagrama del lado nos informa que:
K #
l
L O
LO
O
y
)/

)

LO O
L LO lLl lLOl
lLOl lOl
( )
De y tendramos que , lo que no siempre es ( ) ( ) " # lKl lL Ol K L O
verdad.
( ) ( ) . lEl 8 8 : < : < " : con . Por los teoremas de Sylow tenemos Verdadero
7
que existe por lo menos un -subgrupo de Sylow y como es abeliano, el ser : E
normal, luego es nico.
( )
( )
- / 0 V V V Q V
0
: Si es maximal en y si existe un ideal tal

Verdadero
l
" w
w
w w
I
I
I
que , entonces, por ser sobreyectiva tenemos que 0 Q " 0
" w
( ) ( ) I
I I
w " w w
0 0 0 Q V
( ) ( ) ( )
Luego I I
w " w "
0 Q 0 0 0 Q Q #
( ) ( ) ( ) ( ) ( )
De y tenemos . ( ) ( ) ( ) " # 0 Q
" w
I
Si es maximal y si es tal que , entonces , 0 Q V Q V 0 Q 0

" w w w " " w
( ) ( ) ( ) I I I
luego y por ser sobre, tenemos . 0 0 Q 0 Q
" w " w
( ) ( ) I I

59.Sean y subgrupos normales de un grupo tales que los ndices y L O K K L ( )
( ) ( ) K O K L O son nmeros finitos. Probar que es finito.
SOLUCION.
_
( )
( )
KL 8
KO 7
K L O 8 7 ( )
Sean representantes de las clases mdulo y mdulo B B C C L O
" 8 " 7
respectivamente:
KL B L L B L B L
" # 8
KO C O O C O C O
" # 7
Sea . Si , tenemos que BL O K L O BC B L O ( ) ( )

BCBL CL
BCBO CO
pues
pues
BC BL BO B L O BL BO
( ) ( ) ( ) ( ) entonces .
Si entonces donde . + BL BO B5 B2 + BC C L O ( ) ( )
+B5 5O
+B22L

2 5
Luego . + BL O BL BO BL O
( ) ( )
En esta forma . Por lo tanto los elementos de BL O BL BO K L O ( ) ( ) ( )
sern a lo mximo los siguientes:
( ) ( ) ( ) B L B O B L O
" " "

( ) ( ) ( ) B L B O B L O
8 8 8
( ) ( ) ( ) C L C O C L O
" " "

. ( ) ( ) ( ) C L C O C L O
7 7 7
Luego ( ) K L O 78
60.Sea un grupo de orden K "(&

( ) + & K Calcule el nmero de los -grupos de Sylow de .
( ) , ( K Calcule el nmero de los -grupos de Sylow de .
( ) - K & Es posible escribir como producto directo de un -grupos de Sylow y un
(-grupo de Sylow?
SOLUCION. lKl "(& & (
#
( ) + & #& K Sea # -subgrupo de Sylow de orden de (
&

( (
( (
& &
& &
" & "'"""'
l( "(
( ) mod
" (
&
( ) , ( ( K Sea # -subgrupo de Sylow de orden de (
(

( (
( (
( (
( (
" ( ")"&###*$'
l#& "&#&
( ) mod
" (
(
( ) ( ) - 3 L lLl #& & L K L Sea tal que pues es nico
#
tal que pues es nico O lOl ( O K O
_
( )
( )
( )
33 lO Ll " O L /
lLl lO Ll L O L lO Ll #&
lOl lO Ll O O L lO Ll (
entonces =
_
( )
333 O L O L O L O L
L O L
O O L

, entonces
Tambin es claro que . Por lo tanto, de O L L O O L L O
los teoremas de isomorfismos, tenemos que

, entonces
OL O (
L OL lLl lOLl #& "
lOLl lOl lOLl
lO Ll "(&
Esto implica que , luego O L K K O L

De y se sigue que . ( ) ( ) ( ) 3 33 333 K L O
61. Sea una familia de grupos y para todo , sea un subgrupo ( ) K M L

M

normal de . Probar que K
( )
_ _
+ L K es un subgrupo de .

M M
( ) ( )
_ _
_ _ _
, K L K L

M M M
es isomorfo a .
SOLUCION. K L K
M
( ) ( ) ( )
_ _ _
+ L K 2 2 5 5 L

M M M
es un subgrupo normal. Sean entonces
2 5 2 5 L 2 5 L a L K ( )
_

M
pues as es un subgrupo de
Si , entonces para cada y por tanto , entonces ( )
_
2 L 2 L 2 L

M
"
2 2 L 1 1 K 121 1 2 1
" " " "
M
( ) ( ) ( )
_

. Si , por consiguiente tenemos
y como cada tenemos que para todo y entonces L K 1 2 1 L

"
( )
_
1 2 1 L

"
M
( ) ( )
_
_ _ _
, K L K L

M M M
Usemos las siguientes notaciones .
_ _ _
( )

M M M
K K L L K L >
Definimos un homomorfismo sobre tal que y tenemos entonces 0 K L 0 -> ker
K KL
0
K 0 KL
:
> >
]
||
ker
Definimos entonces 0 1 1 L K L ( ) ( ) ( ) ( )
_

M
0 1 C 1 C a 1 L C L a es bien definida pues si , entonces , y ( ) ( )

por lo tanto 0 1 1 L C L 0 C ( ) ( ) ( ) ( ) ( ) ( )

0 es un homomorfismo pues;
0 1 C 0 1 C 1 C L 1 L C 1 L L C
L K
( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )

. 1 L C L 1 L C L 0 1 0 C ( ) ( ) ( ) ( ) ( ) ( )( ) ( ) ( )

0 es claramente sobre e inyectiva.

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

( ) 33 W B W B W I I I , pues si existe , tenemos que para algn , lo
-
- A
que es contrario a la hiptesis de que . po
I
-
_
( ) 333
Para todo , tenemos que I I I.

- -
Por y , tenemos que es un mayorante de en . Luego ( ) ( ) ( ) ( ) ( ) 3 33 333

I _
( ) _
es parcialmente ordenado, donde todo subconjunto totalmente ordenado

tiene mayorante. Por el lema de Zorn existe un elemento maximal . J _
( ) , V es un ideal primo de J
Si , entonces podemos construir los ideales B C J J
, y ( ) ( ) J J J B B 4 <B 4 < V
, + y ( ) ( ) J J J C C 4 <C 4 < V
Como existe y como , tenemos . Luego y y " V ! 4 4 ! C B C

J J J J J ( ) ( )
como es maximal para la propiedad , tenemos que existe J J
ww ww
W

" # " # " #
B C W W ( ) ( ) J J J J y tal que
Notemos ahora que pues ( )( ) ( ) J J J B C BC
( )( ) ( )
_ _ _ _

_
_
4 < B 4 < C 4 4 < B 4 < C 4 < < 4 < 4 < 4 < BC
V V

V
" " # # " # " # # " " # " $ $ " % # &
J
J
J J

$
4 <BC
Suponiendo por absurdo que , tendramos que y como B C BC J J J ( )
_
( )
( )
( )

"
#
" #
B
C
BC
J
J
J J
,
entonces ,
pero
_

"
#
" #
W
W
W

W J
Tendramos , contradictorio. Luego y es primo.
" #
W po B C W J J

( ) + K K K K

Sea una cadena infinita de subgrupos normales de .
! " #
Entonces la reunin es un subgrupo normal de . K K
3
( ) , E B E Sea un grupo abeliano escrito aditivamente y sea un elemento no nulo de .
La aplicacin , definida por para todo , es un B E E B C C B C E s s ( )
automorfismo de E
( ) - 7 Para cualquier entero positivo , el grupo multiplicativo del cuerpo posee
uno y slo un subgrupo cclico de orden . 7
SOLUCION. ( ) + en efecto, Verdadero,
( ) 3 B C K3 5 7 8 si , entonces tomando tenemos
BK 7
CK8 8
7
para algn
para algn
max
B C K BC K BC K K
5 5 3 3
" "
, luego implica por lo tanto es un subgrupo
3
( ) ( )
_
33 B K 2 K 3 B2B K3 K
BK
2K3
3
entonces para algn , luego
3
"
B2B K K K
3 3
"
3 3
y entonces es normal en .
( ) , E B
C B
s , no es automorfismo de , pues no es Falso B E E B / s
C
,
homomorfismo, ya que , pues B C C C C B B C B C C B C B s s s ( ) ( ) ( )
" # " # " # " #
B /.
( ) - 8 , Las races de la unidad forman un subgrupo cclico de orden de Verdadero
a8 K 8
. Por otro lado si es un subgrupo cclico de orden ( ) ( )

tenemos que donde y entonces luego K B B " B B B B "
# 8" 8
K 8 son las races -simas de la unidad.

( ) + V < = V V Sea un dominio principal y sean primos entre si en (es decir, todo
> V < = V < = que divide a y es inversible en ). Los elementos son primos entre si
en cualquier sub-anillo de . W V
( ) , Todo subgrupo de un grupo finitamente generado es finitamente generado.
( ) - K K Todo un grupo abeliano. es igual a la suma directa de sus subgrupos de
Sylow.
( ) . V T T V T T Sean un anillo y dos ideales primos de ; entonces es un ideal
" # " #
primo.
SOLUCION. ( ) ( ) + , y ya lo mostramos en un ejercicio anterior Cal? Verdadero
( ) , K K , pues es abeliano finitamente generado entonces es la imgen Verdadero
homomorfa de un grupo libre abeliano finitamente generado y si es un K L K
w
subgrupo de , entonces es subgrupo de . Ahora siendo K L 0 L K L K
( )
w w w w
subgrupo, se sigue que es libre abeliano finitamente generado por un resultado L
w
bsico Cal? . Luego es finitamente generado. ( ) L
( ) - Falso, pues para poder hablar en subgrupos de Sylow es necesario que sea K
finito. Basta tomar como contraejemplo. ( )
( ) . Falso, Tome , tenemos es un V T # T $ T T # $ '
" # " #
ideal no primo de pues y sin embargo . # $ ' # $ '
66. Sea un grupo. Para todo , indicamos por (respectivamente ) a la K B K X G
B B
aplicacin definida por (resp. ) , para todo . Pruebe que las C BC C BCB C K
"
aplicaciones y , son homomorfismos de en los X B X G B G B K K
B B
grupos de las permutaciones de y determine sus ncleos. Cales de estas K
aplicaciones ( o ) transforman a en el grupo de los automorfismos de ? G X K K
SOLUCION. K K K K X K W G K K
C BC
C B
BCB

X
B
G

X G
B B
,
"
K
B
B
( ) ( ) ( ) " X C X D BC BD C D X entonces es uno a uno
B B B
entonces es uno a uno G C G D BCB BDB C D G
B B B
" "
( ) ( )
( ) ( ) # C K D B C X D BB C C X , tmese y, tenemos de donde es sobre .
" "
B B
Tomando tenemos de donde es sobreyectiva. D B CB G C B BCB B C G
" " "
B B
( )
Luego y entonces y estan bien definidas. X G W X G
B B K
( ) ( ) ( ) ( ) $ X BC X X X X B X C
BC B C
X + BC+ B X + X X +
BC C B C
( ) ( ) ( ) ( )
G BC G G G G B G C ( ) ( ) ( )
BC B C
G + BC+C B B G + B G G +
BC C B C
" " "
( ) ( ) ( ) ( )
Luego y son homomorfismos. X G
( ) ( ) % X B K X 3. B K X + + a+ K B K B+ + ker
B B
a+ K /
kerG B K G 3. B K G + + a+ K B K B+ +B a+ K
B B
( )
centro de . ^ K K ( )
( ) & X no es automorfismo porque no es homomorfismo en general
B
X +, B+, B+B, X + X ,
B B B
( ) ( ) ( )
salvo en el caso entonces es homomorfismo. B / X
/
G +, B+,B B+B B,B G + G ,
B B B
" " "
( ) ( )( ) ( ) ( )
Luego es homomorfismo. G
B

67.Sea un anillo conmutativo con unidad, y sea el anillo de los polinomios a E EB
una indeterminada. Sea y . Mostrar que + E Q 0 EB 0 + ! ( )
( ) + Q EB es un ideal de .
( ) , Q E es primo es un dominio.
( ) - Q E es maximal es un cuerpo.
SOLUCION. Q 0 EB 0 + ! + E ; , fijo. ( )
( ) ( ) ( ) + " Q 0 B + EB 0 + ! , pues y
tenemos , luego . ( ) ( )( ) ( ) ( ) # 0 1 Q 0 1 + 0 + 1 + ! ! ! 0 1 Q
, , tenemos ( ) $ 0 Q 1 EB
1 0 + 1 + 0 + 1 + ! ! ! 1 + 0 + 1 + 1 0 + ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )( )
Luego y . 10 01 Q
Sea ahora definida por , tenemos : : EB E 0 0 + ( ) ( )
. 0 0 + ! 0 Q Q ker ker : : ( )
Tenemos que y que si , : : : ( ) ( )( ) ( ) ( ) ( ) ( ) 0 1 0 1 + 0 + 1 + 0 1 , E
entonces , de donde y . Luego es , + E 0 B , + EB 0 0 + , ( ) ( ) ( ) : :
un homomorfismo sobreyectivo tal que . ker Q :
Por el teorema de los homomorfismos tenemos EB E EBQ E
EBQ

|

:

( ) , Q EBQ E es primo es dominio es un dominio
( ) - Q EBQ E es maximal es cuerpo es un cuerpo.

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

rango y tomemos ahora que tambin es abeliano y # L # #

finitamente generado de rango . #
( ) . Verdadero, Siempre vale que . Por otro lado, si entonces T T + T + T
_ _
8
o sea que . Como es primo se sigue que ,o, . + + T T + T + T
8" 8"
Prosiguiendo as veces concluimos que o sea . 8 " + T T T
_
( ) / K / + # , sea grupo cclico de orden . Los dos nicos endomorfismos Falso
de son dados por K
5 : K K K K
/ / / /
+ / + +

Es obvio que pues , luego : 5 5 : : 3.K
es conmutativo, es cclico abeliano y sin I8. K ! " K ( ) ( ) 5 :
embargo . K !
69.Sea un grupo de orden donde y son nmeros primos, y K : ; : ; : ; 8 !

8
Entonces existe uno y solamente un -subgrupo de Sylow de : . K
SOLUCION. lKl : ; : ; 8 ! 7 : K
8
:
, y # -subgrupos de Sylow de
7 " : 7 " : " #: "
: :
( ) mod
7 l; 7 " ;
: :
La nica posibilidad de no existir sino -subgrupo de Sylow es cuando ( ) " :
; : " #: " po : ; 7 " , . Pero esto es imposible ya que , as .
:
70.D un ejemplo de un grupo de torsin abeliano infinito.

SOLUCION. El grupo abeliano donde es 8 ! 7
7 7
8 8
grupo ( ) 3
es de torsin, pues ( ) 33 l l 8
7
8
es abeliano ( ) 333
es infinito. ( ) 3@
71.D un ejemplo de un dominio factorial que no sea principal.
SOLUCION. El dominio es factorial pues es factorial entonces es factorial B C B
BC B C es factorial.
B C B C no es principal pues el ideal no es principal ( )
B C B C 0 B C 0 B C lB 0 B C lB
5B
"
( ) ( ) ( ) ( ) ( )
_
_
_
entonces y ,o,
0 B C lC
5C
"
( )
_
_
_
,o,
Por lo tanto , esto es contradictorio pues no posee 0 B C " " B C po B C ( ) ( ) ( )
constantes.
72. . Probar que todo grupo de orden es abeliano "##& ( &

# #
SOLUCION. | | K ( &
# #
( ) ( ) + & #& " &
(
&
nmero de -grupos de Sylow de orden mod
entonces
(
( (
&
& &
"'"""'
l%* "(%*
" (
&
nmero de -grupo de Sylow de orden (
(
( %* " (
( ) mod
as
(
( (
(
( (
")"&##
l#& "&#&
" (
(
Sea como son nicos, tenemos
L &
O (
L K
O K
un -subgrupo de Sylow
un -subgrupo de Sylow
( ) ( )
___
, lLl L L O lL Ol +l#& + " & #&
+
, entonces
lOl O L O lL Ol +l%* + " ( %* ( ) entonces
as + " L O "
( ) - L K O K L O L O L O Note que como , tenemos que y )
Por el teorema de los isomorfismos, tenemos

)
/
)
K
l
L

L O
L O

O
L O
LO L #&
O LO lOl lLOl "
lLOl lLl lLl
lLOl "##& LO K
entonces = entonces .
49
Tenemos tambin entonces .
LLO
OLO
L O L O L O L O

Por otro lado es claro que . Entonces L O L O L O L O K
( ) ( ) ( ) + , - K L O
Vale aun la equivalencia:
_ _ _ _
_ j _ j
( )
( )
( )
+
,
-

3a2 L a5 O 25 52
33 1 K
1 25 2 L 5 O
tenemos
Todo puede ser escrito demanera nica como
Note que y son abelianos
donde es primo
donde es primo
_
lLl & &
lOl ( (
L O
#
#
Sean tenemos que 1 2 5 1 2 5 K
" " " # # #
1 1 2 5 2 5 2 2 5 5 2 2 5 5 2 5 2 5 1 1
" # " " # # " # " # # " # " # # " " # "

3 3 ( ) ( )
L Oson abelianos
.
73.Sea un anillo conmutativo con unidad, el anillo de polinomios sobre de E EB E

una indeterminada , e el ideal de generado por . Probar: B M B EB B ( )
( ) + M E es maximal si y slo si es un cuerpo
( ) , M E es primo si y slo si es un dominio.
SOLUCION. Definimos , donde Tenemos que 2 EB E 0 B + + B + B
0 B
+
( )
( )
!
! " 8
8
[ ] 0 B 2 2 0 B ! + ! 0 B + B + B + B 0 B B ( ) ( ) ( ) ( ) ( ) ( ) ker
! " # 8
# 8
Luego y por los teoremas de los isomorfismos ker2 B ( )
EB 2 E EB B E

ker ( )
( ) + M EBM E maximal es cuerpo es cuerpo
( ) , M EBM E es primo es un dominio es dominio.
74.Sea un dominio y un ideal primo de Probar: E T E

( ) ( ) + E B C B E C E T El anillo de fracciones tiene un nico ideal
:
"
maximal, a saber . T E:
( ) , B T B T E T La aplicacin . Esta aplicacin es un isomorfismo si y slo si
:
es un ideal maximal de E.
SOLUCION. Sea un ideal primo del dominio . T E
( ) 3 W E T B C W BC T es un sistema multiplicativo pues si entonces
BT
CT
pues es primo y entonces . T BC W
" W " T T E pues si entonces claramente.
( ) 33 Tomemos el conjunto
y E W + , + E , W E T ( )
y sobre l definamos la relacin de equivalencia
( ) ( ) ( ) + , - . = +. ,- !
denotemos por la clase de equivalencia de y por al conjunto +, + , E EW ( )
:
"
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.
( ) ( ) - ! " es el elemento neutro de la suma:
E E

+ ! +",! +
, " ," ,

( ) ( ) . " "
E E
es el elemento neutro de la multiplicacin:

+ " +
, " ,

( ) /
+ - / + - + /
, . 0 , . , 0
( ) 3@ Tomemos el conjunto
tal que T E E + T
: :
+
,
( ) + T E +- T +. ,- T
+ -
, .
:
,
pero es un ideal entonces T T E
+ - +.,-
, . ,.
:
( )
_
, +B T T E entonces , luego
B
C
:
+
,
:
E
TE
BE
+T
B + B+
C , C,
:
( ) ( ) + , T E E y prueban que es un ideal de
: :
( ) - T E
:
es maximal
Como , entonces y entonces , luego no contiene T E " T T E T E
"
"
: :
elementos inversibles.
Por otro lado, si , entonces y entonces esto es,
/ /
0 / 0
:
0
"
T E / E T W
todo elemento de que no esta en , es inversible. De aqu se concluye que EW T E
"
:
EW T E
"
:
es exactamente el conjunto de todos los elementos inversibles de
EW Q EW TE Q Q
" "
:
Entonces si es un ideal de y , entonces tendr
forzosamente elementos inversibles y entonces , luego es un ideal Q E T E
:
maximal.
( ) . T E
:
es nico ideal maximal
Es claro, pues si es un ideal tal que , entonces y si es Q Q E Q T E Q

:
maximal, entonces T E Q
:
( ) - @ ET E T E E EW
B T
T E B T E

: : :
B
"
: :
"
( ) + pues :esta bien definido,
B T C T B C T T E T E
BC C
" " "
: :
B
T E T E
B
" "
: :
C
( ) , , pues : es un homomorfismo
: : ( ) ( ) ( ) ( ) B T C T B C T T E T E T E
BC B"C" C
" "" " "
: : :
B
. T E T E B T C T

( ) ( )
B
" "
: :
C
: :
( ) - , pues, : es uno a uno
: : ( ) ( ) B T C T T E T E T E T E
B B
" " " " "
: : : :
C C BC
entonces
as que . B C T B T C T
( ) @3 E EW E W Notemos que = en un anillo conmutativo con unidad, luego
:
"
E T E T E E
: : :
es un cuerpo, pues es un ideal maximal en .
Por otro lado, si es maximal, entonces es cuerpo. En vista de esto, para T ET
todo + , existe tal que ? T T @ T
elemento unidad de . ( )( ) ( )( ) ? T @ T @ T ? T " T ET
En otras palabras, si , por lo tanto existe tal que ? T @ E
, o sea . ? @ T " T ? @ " T
Probemos entonces que , que es slo lo que falta; sea dado : es sobreyectiva
+ +
, ,
: : : :
T E E T E E , W E T , T T . Luego o sea, y entonces ;
luego existe tal que , esto es, , C E , C C , " T , C " C , " T
entonces Tomemos ahora y tenemos que + C, " T B + C E ( )
:( ) B T T E T E T E T E
B + + +
" " " , , ," ,
: : : :
+C +C +C,+

+ T E T E
+ C,"
, , ,
+ +
: :
( )
pues
+ C, " T T E ( )
+ C,"
,
:
( )

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

Entonces es isomorfo a L KO.
SOLUCION. Hiptesis: K L O L O L K O K
Ahora sea : L O K L
2 5 B
: 2 5 2
L
<
L
<
( )
( )
-
( )
( ) 3 Claramente esta bien definida puesto que se trata de la proyeccin
( ) ( ) ( ) ( ) 2 5 2 5 2 2 5 5 : 2 5 : 2 5
" " " " " "
L L
< <
( ) 33 : es sobreyectiva por definicin de proyeccin
L
<
( ) ( ) ( ) 333 : 2 5 K: 2 5 " " O O
ker
L L
< <
L L
As segn el primer teorema de isomorfismos

K
O L
<
K : L

ker
77.Sea un grupo finito de orden , donde es un nmero primo y K 8 : ; :

<
( ) : ; " 5 : K Sea el nmero de los -grupos de Sylow de .
( ) ( ) ( ) ( ) + 5 " : 8 ! 5 ; ! 5

De las congruencias y concluya que mod mod mod
( ) , : ; 5 " Probar que si entonces
( ) ( ) - 5 " : & < # ; #$) # ( "( Probar que en el caso
SOLUCION. ( ) + 5 : K # es un -grupo de Sylow de , sabemos por los teoremas ? ?
de Sylow que 3 5 " : 33 5l K : ;
( ) ( ) mod
<
De la primera de las dos afirmaciones anteriores se sigue que es primo 5 " 7:
relativo con y con cualquiera de sus potencias, as : 5 l :
<
De se tiene 33
( ) 5l: ; 5l: 5l; 5l;
< <

5l : 5 : "
< <
( )
esto significa que para algn entero o sea que ; 75 7 ; ! 5
( ) mod
( ) ( ) , 33 + De la relacin de se tiene
5 " 7:l: ; " 7:l: " 7:l;
< <
pero , entonces " 7:l :
<
5 " 7:l; 5 " ! :
; :
( ) ( ) - & K K # ( "( & Sea es un -grupo de y , se tiene que i ? ?
#
# , adems # , i i " & l K # ( "( &
( ) ( ) mod
#
entonces
# con i 5 " 7& 7
y el nico para el cual es esto implica que . 7 5l K 7 ! 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 losTeoremas 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, un grupo finito y un : K L
subgrupo de . se denomina un -subgrupo de si y slo si su orden es una K L : K
potencia de Un -subgrupo de tal que es llamado un - : : L K K L ! : :
l ( ) ( ) mod
grupo de Sylow de Finalmente , es llamado un -grupo si y slo si es K K : K / ( )
una potencia de . :
Observaciones preliminares sobre translaciones: Sea un conjunto de Q
partes no vacas de un grupo finito tal que opera en por translacin, es K K Q
decir, para y , sea +\ + \ + K \ Q
y 9<,\ +\+ K K + K+\ \
\
Se sabe que # ndice de en , y es claro que si 9<,\ K K K K \ 9<,\ ( )( )
\ \
w
entonces # # y . \ \ K K
w
\ \
w
A continuacin se prueban las siguientes afirmaciones
( ) " a\ Q b\ 9<,\ / \
! !
( ) # \ Q \ Sea y sea un sistema de representantes de la sobreyeccin
B K B B \ K B \
\ \
B\
( ) ( ) ; entonces es una particin de .
( ) ( ) $ \ \ K / # #
\
( ) ( ) ( ) % 9<,\ K / \ \ # # #
"
( ) ( ) ( ) & / \ 9<,\ K / \ \ K 9<,\ KK Si y # # entonces
"
\ \
Pruebas:
( ) " \ + \ / + \ 9<,\ , pues si entonces
"
( ) # \ K B K B \

B \
\ \
es trivial. La igualdad vale una vez que . Es evidente que
las clases laterales a derecha , son disyuntas dos a dos. ( ) K B \
\
( ) ( ) $ # Es una consecuencia de
( ) ( ) ( ) % $ 9<,\ K K Resulta de y #
\
( ) ( ) ( ) & % \ " \ K / K # 9<,\ KK De se sigue que # , luego por as .
\ \ \
El primero y el tercero teoremas de Sylow
Sean tal que , , el conjunto de todos -grupos < K / ! : ; K / : :
[ ( ) ( ) ( ) mod
< <
de Sylow (resp. subgrupo) de con elementos , es evidente que opera en K : K Q
<
por translacin.
Teorema( ) ( ) O<?66 " :
. #[ mod
Demostracin: es una unin disyunta de rbitas, y podemos ( ) + Q Q 9<,\
\ Q
escoger el conjunto de representantes de la sobreyeccin de tal Q \ 9<,\
forma que obs. . a\ Q / \ " ( )
Para todo tenemos # y es el nico . tal L 9<,L KL 9<,L ; L \ 9<, L [
que ; luego por otro lado tenemos por la obs que / \ Q \ Q %
[ [ ( )
# # # es una potencia de por y implica que . Se 9<,\ ; \ \ : : $ & = !
=
\
\
( ) ( )
sigue de aqu que:
# # # # Q 9<,L 9,<\ ; :;
_ _
( )
L
\Q
[
[
[ mod
( )
_ _
, Q ; " " Es claro que #
: ; : ;" : ;"
: : " : " 5 6
5" 5"
: " : "
: ; :;
< < <
< < <
< <
<
5
5
( ) ( ) para convenientes en , y este producto es igual a ; 6 6 ! 79.:
l
5 5 5
( ) ( ) ( ) " : 7 6 6 7 " 6 : "

: "
7
6
<
para y convenientes, tal que y . Puesto que
: 6 :A " 6 " " " " :

A
6 : "
: ;" : "
y tenemos que , luego . ( ) ( ) ( )
<
<
<
mod
Sea entonces En este caso es el < 8 K / ! : ; ! :

y max mod mod [ ( ) ( ) ( )
<
conjunto de todos los grupos de Sylow de y tenemos directamente del teorema : K
que:
Corolario 1. Tercer teorema de Sylow El nmero de -grupos de es ( ) : K
congruente con , mdulo . " :
Corolario 2. Primer teorema de Sylow tiene al menos un -grupo de Sylow. ( ) K :
Para tenemos el "teorema de Cauchy": < "
Corolario 3. Si entonces tiene un subgrupo de orden ( ) ( ) K / ! : K :
mod
Observaciones sobre conjugacin:
Sea un subgrupo de y sea un conjunto de subgrupos de tal que opera Y K K Y [
en por conjugacin, esto es, para todo y . Para [ [ ?L ?L? ? Y L
"
cualquier sea L [
y -984 L ?L? ? Y ? Y?L? L
Y Y
" "
a
se sabe que
# , , -984 L Y L L L Y
Y Y Y K
( ) a a a
donde es el normalizador de en Probaremos que: a
K
L L K
( ) ' Y : K L L Y Si es un -subgrupo de y entonces [ [ a
Y Y
# # . [ [
Y
:
( ) mod
Demostracin: Para todo , # es una potencia de ; en particular, L -984 L : [
Y
# Sea un conjunto de representantes de -984 L " L L -974 L
Y Y Y
[ [
( ) L -984 L
[ [ [ [ . Entonces y puesto que es una unin disyunta se

Y K
L
[
sigue as el resultado deseado.
Segundo teorema de Sylow: Sea como las consideraciones del primer y < [
tercer teorema de Sylow, entonces todo subgrupo de opera en por Y K [
conjugacin, probaremos ahora otro corolario del teorema anterior.
Corolario 4. Existe tal que # . L -984 L ! :
l [
K
( ) mod
Demostracin: es la unin disyunta para algn luego [ [ [
L[
-984 L
K
# # . Supongamos que para todo # ; [ [ -984 L L -984 L ! :
_
( )
L
K K
[
mod
entonces # contradiciendo el teorema. [ ! : po
( ) mod
Teorema ( ) ( ) Segundo teorema de Sylow -subgrupo de , tal que + aY : K bL [
Y L
.
( ) , aL -984 L, [ [
K
: K esto es, todos los -grupos de Sylow de son conjugados .
Demostracin: Por el corolario 4, existe tal que # . Es ( ) ( ) + L -984 L ! :
l [
K
mod
evidente que opera en . De se sigue que # # , Y -984 L ' ! :

[ [ [
w w w
K
Y
( ) ( ) mod
luego tal que es un subgrupo de es se L L YL K YL L YY L
w w w w w w w
Y
[ a
concluye que
. ( ) ( ) ( ) ( ) ( ) YL / YL L L / Y Y L L /
w w w w w w
el ndice es necesariamente una potencia de y puesto que es un ( ) Y Y L : : L
w = w
: = ! Y Y L Y L
-grupo de Sylow tenemos que es decir, .

w w
( ) ( ) , Y : L Y " En particular, si es un grupo de Sylow tenemos que , luego
w
Y L -984 L L
w
K
. De esta forma (para escogido en el comienzo de la [ [
demostracin) pero entonces para todo [ [ -984 L L
K
ww ww
Corolario: # si y slo si tiene un -grupo de Sylow normal. [ " K :

DLL
BIBLIOGRAFIA
- Azevedo, A. & Piccinini, R., , IMPA. Ro de Introduo a Teoria dos Grupos
Janeiro,1969
- Birkhoff & MacLane, , Editorial Teide, Barcelona, 1960. Algebra Moderna
- Bourbaki, N., , Fascicule de Rsultats, Herman, Pars,1958 Thorie des ensembles
- Bourbaki, N., , . Hermann, Pars, 1958. lments de Mathmatique Algbre
- Dubreil, P., Dubreil-Jacotin, M.L., , Dunod, Pars, 1961. Leons d'algbre Moderne
- Fraleigh, J.B., , Addison-Wesley Publ.C. A first course in Abstract Algebra
London, 1975.
- Halmos, P.R., , Cecsa, Mxico D.F., 1965. Teora Intuitiva de Conjuntos
- Herstein, I.N., , Blaisdell Publ.C., Toronto, 1964. Topics in Algebra
- Lang, S., , Addison-Wesley Publ.C., London, 1967. Algebra
- Lefort, G., . exercices, Dunod, Pars, 1961. Algbre et Analyse
- Muoz, J.M., , 4a. Ed., U.N., 2002. Introduccin a la Teora de Conjuntos
- O'Brien, H.H., (Grupos Finitos), Washington,OEA, 1973. Estructuras Algebraicas III
- Scott, W.R., , Prentice-Hall. Inc., London, 1964. Group Theory
- Suppes, P., , Editorial Norma, Cali, Col. 1968. Teora Axiomtica de Conjuntos
- Vilanova, C., , IMPA, Elementos da Teoria dos Grupos e da Teoria dos Anis
Ro de Janeiro, 1972.
. .
Espero que el lector haya obtenido algn provecho de este trabajo en el
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

Teoria Grupos Anillos Dario Sanchez 2004

Diunggah oleh

Informasi Dokumen

Hak Cipta

Format Tersedia

Bagikan dokumen Ini

Bagikan atau Tanam Dokumen

Opsi Berbagi

Apakah menurut Anda dokumen ini bermanfaat?

Apakah konten ini tidak pantas?

Hak Cipta:

Format Tersedia

Teoria Grupos Anillos Dario Sanchez 2004

Diunggah oleh

Hak Cipta:

Format Tersedia

Teora de Grupos y Anillos

Jos Daro Snchez Hernndez

W K X W K Si es un conjunto, es un grupo y es una funcin uno a uno de sobre ,

es cclico infinito, / es cclico de orden , / ( ) ( ) ( ) ( )

Sean y dos subgrupos normales de un grupo , . Entonces

K L O Sea el producto directo de dos subgrupos y . Entonces si

( ) , 5 M : : O Para todo , es un homomorfismo sobreyectivo y adems

23.Sea una familia de homomorfismos entonces existe un

Un grupo se llama si y slo si para todo descompuesto

es linealmente independiente si y slo si , es linealmente

es linealmente independiente entonces, finito, es linealmente

Sea un grupo, su elemento unidad. es > > ) > C C

Se tiene # = # # donde En el caso finito # . C C C. C

42. Llamaremos de un grupo a una sucesin de sucesin de Jordan-Hlder K

de subgrupos subnormales de , existe un entero tal que K R K K

cuyos cocientes son cclicos de orden primo. K K

Vemos que si si y slo si

es un ideal del anillo . h h ( ) ( ) ( )

Para cualquier homomorfismo de anillos existe una y solamente una : -

. Sea . Entonces . Adems es el ( ) ( ) ( ) ( )

70.Sea un anillo conmutativo . Sea , el ideal es ( ) ( ) ( ) E Y E Y

es estable en relacin a la multiplicacin.

72.Sea un anillo conmutativo. Si es tal que se cumple alguna de las tres E E

; ; implica , o , , cualquiera que sean , se h

sucesin de elementos primos de tales que , entonces D D D E B D D D

negativo y una sucesin de elementos irreducibles de tales que 7 D D D E

La recproca de la anterior afirmacin es falsa pues el dominio

provisto de la siguiente ley de composicin

2.Sea un monoide. Pruebe que el conjunto de los elementos inversibles de ( ) W M

Si es un submonoide de y un grupo entonces .

B K B po entonces es inversible y estamos en contradiccin con la definicin de

3.Sea un conjunto no vaco y , , el monoide de todas las aplicaciones de T ( ) ( )

( ) . 2 Tambin son las aplicaciones sobreyectivas. En efecto; supongamos que no

4. Sea el grupo de las permutaciones del conjunto W " # $ %

5.Sea un grupo cuyo orden es un nmero primo. Probar K

6.Sea un grupo y sean , subgrupos de . Probar: K L O K

7. Sean y subgrupos de un grupo dado tales que y que ( ) + K K L K K K K

8.Determine el ncleo y la imgen de los siguientes homomorfismos:

9.Sea un grupo. Un isomorfismo de sobre es llamado un "automorfismo" K K K

10. ( ) ( ) + + , K + Sean elementos de un grupo conmutativo tales que

lo cual prueba que el orden de divide a . ; +, 78

( ) ( ) mod . Sea ahora entonces / . " "

11.Sea un nmero entero positivo. Demuestre: 8

:: : " 5 " >: : 5 " y as .

12.Sean y subgrupos de un grupo . Probar: L L L O K

13.Sea un grupo y sean subgrupos del grupo Cales de las K L L L K

Sea . Para todo subgrupo de tal que existe un

Es verdadero, en efecto sean , , entonces

" # # " "

14. Sea un subgrupo normal de un grupo . Probar la equivalencia de las dos L K

" " # # " # " # " # " " # #

15.Sea un conjunto. Consideremos las aplicaciones de en un grupo W W K W

16.Sea un grupo abeliano generado por elementos. Pruebe: K 8

donde es un grupo libre de rango . Ms exactamente si es un grupo libre de Y 8 Y

17.Sea un grupo abeliano libre, y sea una base de (siendo K ? ? ? K

" "" " "# # "8 8

" "" "# "8 "

18.Sea un grupo abeliano (escrito aditivamente). K

abeliano con la operacin suma componente a componente.

19.Sea un grupo abeliano finitamente generado, digamos K

Daro Snchez H. Teora de Grupos y Anillos 60

" > ) = >

esta bien definida.

Ahora es un homomorfismo inyectivo, entonces es : > > : :