JaviAgui

www.wuolah.com/student/JaviAgui

14233

rel1-ea.pdf
Relaciones EA Resueltas

3º Estructuras Algebraicas

Grado en Matemáticas

Facultad de Matemáticas
US - Universidad de Sevilla

Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su
totalidad.
a64b0469ff35958ef4ab887a898bd50bdfbbe91a-645915

Estructuras Algebraicas

Diego

25 de octubre de 2016

Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
Ejercicio 1.7. Pruebe que el grupo An está generado por los ciclos de longitud 3.

Demostración. An es el grupo de las permutaciones pares, luego cada elemento de An puede

ser expresado como el producto de una cantidad par de transposiciones. Basta demostrar
que todo producto de dos transposiciones puede ser escrito como producto de 3-ciclos.

Sean (a1 a2 ), (b1 b2 ) dos transposiciones. Supongamos que son disjuntas, entonces:

(a1 a2 )(b1 b2 ) = (a1 b1 a2 )(a1 b1 b2 )

Si a1 = b1 .

(a1 a2 )(a1 b2 ) = (a1 b2 a2 )

Lo demás casos se reducen al anterior usando que (a b) = (b a). Luego los 3-ciclos generan
los productos de dos transposiciones y, por lo tanto, generan a An .

1
a64b0469ff35958ef4ab887a898bd50bdfbbe91a-645915

Ejercicio 1.9. Sean Cn y Cm grupos cı́clicos de órdenes n y m, respectivamente. Pruebe

que Cn × Cm es un grupo cı́clico si y sólo si m.c.d.(n, m) = 1.

Demostración. Demostramos primero la implicación hacia la derecha. Supongamos que Cn × Cm

es grupo cı́clico, entonces existe (g, h) ∈ Cn ×Cm con h(g, h)i = Cn ×Cm . Sea k = mcd(n, m).
Buscamos l tal que (g, h)l = (0, h).

l = 0 mód n
l = 1 mód m

Entonces existe a y b tal que:

Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
l = an = 1 mód m
an − 1 = bm

Como k|m y k|n, también k|bm y k|an. Pero entonces k|(an − 1) ⇒ k|1. El único divisor k
de 1 posible es 1, luego k = mcd(n, m) = 1.

Demostramos ahora la implicación contraria. Supongamos que mcd(n, m) = 1. Sea g y l

elementos que generan Cn y Cm respectivamente y sea (g a , hb ) un elemento cualquiera de
Cn × Cm . Entonces existe un l con (g, h)l = (g a , hb ), ya que:

l = a mód n
l = b mód m

tiene solución por el teorema del resto chino. Luego h(g, h)i = Cn × Cm .

2
a64b0469ff35958ef4ab887a898bd50bdfbbe91a-645915

Ejercicio 1.11. Sea G un grupo tal que todo elemento tiene orden 2. Entonces G es abe-
liano.

Demostración. Sean a, b ∈ G. Como cada elemento es de orden 2, cada elemento es su propia

inversa, es decir, aa = bb = 1. Observamos que:

(ab)(ba) = a(bb)a = aa = 1

Luego (ab)−1 = ba. Pero ab es su propia inversa, luego (ab)−1 = ab = ba y G es abeliano.

Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.

3
a64b0469ff35958ef4ab887a898bd50bdfbbe91a-645915

Ejercicio 1.13. Sea G un grupo y d un entero positivo. Supongamos que G posee un único
subgrupo H de orden d. Demuestre que H es normal.

Demostración. Sea g ∈ G. Vamos a demotrar que H 0 = gHg −1 es un subgrupo de G. Sean

a0 , b0 ∈ H 0 y a, b ∈ H con a0 = gag −1 y b0 = gbg −1 . Entonces:

Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
a0 b0−1 = (gag −1 )(gb−1 g −1 ) = ga(g −1 g)b−1 g −1 = g(ab−1 )g −1 ∈ H 0

porque ab−1 ∈ H. Por el teorema de caracterización de subgrupos, H 0 es un subgrupo.

Además de aquı́ obtenemos que la función fg : H → H 0 definida como fg (h) = ghg −1 es
homomorfismo. Ya que H 0 = fg (H) por definición, fg es sobreyectiva. Como:

fg (x) = 1 ⇒ gxg −1 = 1 ⇒ gx = 1g = g ⇒ x = 1

ker(fg ) = {1}, luego fg es biyectiva y un isomorfismo. Entonces H y H 0 son subgrupos

isomorfos y, por lo tanto, tienen el mismo orden d. Sin embargo, G posee un único subgrupo
de orden d, luego H = H 0 .

4
a64b0469ff35958ef4ab887a898bd50bdfbbe91a-645915

Ejercicio 1.20. Sea f : G → K un homomorfismo sobreyectivo, con K grupo cı́clico de

orden 10. Pruebe que G tiene subgrupos normales de ı́ndices 2, 5 y 10.

Demostración. Sea N CK. Consideramos la proyección ϕ : K → K/N y ψ : G → K/N dados

por ϕ(k) = k ∗ N y ψ = ϕ ◦ f. Es evidente que ϕ es sobreyectivo, luego ψ es sobreyectivo por
ser composición de homomorfismos sobreyectivos. Aplicando el primer teorema de isomorfı́a
tenemos que:
sobre
G/ ker(ψ) ' im(ψ) = K/N
En particular |G : ker(ψ)| = |K : N|. Entonces G tiene subgrupos normales de mismo ı́ndice
que cada subgrupo normal de K. Basta ver que K es isomorfo a C10 y que por lo tanto tiene
subgrupos normales isomorfos a {e}, C2 y C5 . Por el teorema de Lagrange, K tiene subgrupos

Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
|K| |K| |K|
normales de ı́ndice |C 5|
= 2, |C 2|
= 5 y |{e}| = 10. Luego G también tiene subgrupos normales
de ı́ndices 2, 5 y 10.

5
a64b0469ff35958ef4ab887a898bd50bdfbbe91a-645915

Ejercicio 1.21. Sea G un grupo de orden 6.

1. Si G es no abeliano entonces G es isomorfo a S3 .

2. Si G es abeliano entonces G es isomorfo a C6 .

Demostración. Buscaremos un grupo que no sea isomorfo a S3 o a C6 . Por el teorema de

Lagrange, todos los elementos de G deben tener orden divisor de |G| = 6. Sólo e puede tener
orden 1, por lo que los demás elementos tienen orden 2, 3 ó 6. Si existiese un elemento de
orden 6, entonces el grupo serı́a cı́clico. Obsérvese que si existe un elemento g de orden 3,
entonces g 2 = g −1 y (g 2 )2 = (g 3 )g = g, luego g 2 es también de orden 3. Luego hay un número

Reservados todos los derechos. No se permite la explotación económica ni la transformación de esta obra. Queda permitida la impresión en su totalidad.
par de elementos de orden 3. Consideramos los casos posibles:

(1) 0 elementos de orden 3 y 5 de orden 2.

(1.1) Abeliano. Obsérvese que si a, b 6= 0 son elementos distintos de G, ha, bi = {e, a, b, ab}.
Sea c 6∈ G − ha, bi. Entonces ha, b, ci = {e, a, b, c, ab, bc, ac, abc} =
6 G. No hay ge-
nerador posible que pueda generar G.
(1.2) No abeliano. Este caso no es posible por lo demostrado en el ejercicio 1.11.

(2) 2 elementos de orden 3 y 3 de orden 2.

(2.1) Abeliano. Mismo argumento que en (1.1).

(2.2) No abeliano. Este es S3 .

(3) 4 elementos de orden 3 y 1 de orden 2.

(3.1) Abeliano. Sean a, b ∈ G de orden 3 tal que no a 6= b, a2 6= b, a 6= b2 . Entonces

ha, bi = {e, a, b, ab, a2 b, ab2 , a2 b2 } =
6 G
(3.2) No abeliano. Sean a, b ∈ G del apartado anterior. El orden del grupo generador
por a, b debe ser estrictamente mayor al orden del grupo generado en el caso
abeliano, que ya era mayor que |G|.

Luego las únicas posibilidades son S3 y C6 , que se caracterizan si G es abeliano.