Estructuras Algebraicas. M2-M3.

Curso 2024-2025

Hoja VI de ejercicios

Ejercicio VI.1. Encuentra el número de generadores de los grupos cı́clicos de órdenes 6, 8, 12

y 60.

Ejercicio VI.2. Encuentra el número de elementos de orden 5 en los grupos cı́clicos de órdenes
10, 20, 120.

Ejercicio VI.3. 1) Encuentra los órdenes de los elementos de U (Z/7Z). ¿Es cı́clico?
2) Encuentra los órdenes de los elementos de U (Z/12Z). ¿Es cı́clico?

Ejercicio VI.4. ¿Cuántos homomorfismos sobreyectivos se pueden definir entre los siguientes
grupos aditivos?
a) de Z/30Z en Z/30Z,
b) de Z/30Z en Z/15Z y
c) de Z/30Z en Z/8Z.

Ejercicio VI.5. Para cada uno de los siguientes grupos encontrad todos sus subgrupos y ela-
borad el retı́culo correspondiente: C18 , C36 y C8 .

Ejercicio VI.6. ¿Son cı́clicos los siguientes grupos? C4 ⇥ C6 , C4 ⇥ C9 , U (Z/5Z).

Ejercicio VI.7. Hallad los grupos de automorfismos de los siguientes grupos: Z/12Z, Z/5Z y
Z/8Z. ¿Son isomorfos?

Ejercicio VI.8. Sea G un grupo. Demostrad que las siguientes condiciones son equivalentes.

1. G es abeliano;

2. 8a, b 2 G (ab)2 = a2 b2 ;

3. 8a, b 2 G (ab) 1 =a 1b 1.

Concluye que si en un grupo G todo elemento tiene orden 1 o 2, entonces G es abeliano.

Ejercicio VI.9. Demostrad que si un grupo finito tiene orden par entonces hay al menos uno,
distinto del neutro que es su propio inverso.
En particular, todo grupo finito de orden par tiene al menos un elemento de orden 2.

Ejercicio VI.10. Sea G un grupo abeliano que tiene elementos a y b de órdenes m y n

respectivamente. Demostrad que G tiene un elemento cuyo orden es el mı́nimo común múltiplo
de m y n.

Ejercicio VI.11. Sean H, K dos subgrupos de G. Demuestra que si H \ K = {1} entonces

Hk1 6= Hk2 para todo k1 , k2 2 K, con k1 6= k2 .
⇢✓ ◆
1 x
Sea H = : x 2 Z . Demuestra que [SL(2, Z) : H] = 1.
0 1

Ejercicio VI.12. Sea G un grupo (no necesariamente finito). Supongamos que [G : H] = m <
1 y H es el único subgrupo de G de ese ı́ndice. Prueba que H es normal en G.

1
Ejercicio VI.13. Un grupo G tiene subgrupos H y K. Encontrar todos los posibles órdenes
de H \ K cuando:
a) |H| = 16 y |K| = 20;
b) |H| = |K| = 7 y
c) |H| = 3 y |K| = 7.

Ejercicio VI.14. Sea H un subgrupo de K, y K un subgrupo de un grupo G ¿Cuáles son las

posibilidades para el orden de K si |H| = 4 y |G| = 24?

Ejercicio VI.15. Sea G un grupo de orden 15. Demuestra que si tiene un subgrupo de orden
5, entonces este es normal.

Ejercicio VI.16. Sea H 6 G y supongamos que |G| = m|H|. Demuestra que para todo g 2 G,
g m! 2 H.

Ejercicio VI.17. Sea G un grupo y H un subgrupo.

1) Demuestra que N (H) = {g 2 G : gHg 1 = H} es un subgrupo de G.
2) Si G = D5 = ha, b | a2 = b2 = 1, (ab)5 = 1i, y H = hbi, calcula N (hbi).
3) Sea hai un subgrupo ciclico de G de orden n. Supongamos que x 2 N (hai). Sea m =
mı́n{k 1 : xk ax k = a}. Demuestra que m | '(n), donde '(n) es la ' de Euler.

Ejercicio VI.18. Si n es par, describe hrn/2 , si 6 Dn . ¿Cual es su ı́ndice en Dn ? ¿Es un

subgrupo normal?

Ejercicio VI.19. Si m | n describe hrm , si 6 Dn . ¿Cual es su ı́ndice en Dn ? ¿Es un subgrupo

normal?

Ejercicio VI.20. Calcula Z(Dn ) el centro de Dn . Recordamos que Z(G) = {g 2 G : gh =

hg 8h 2 G}.

Ejercicio VI.21. Calcula el retı́culo de subgrupos de D4 y D5 . Indica cuales son normales.

Ejercicio VI.22. Sea n impar. Demuestra que D2n es isomorfo a Dn ⇥ C2 .

Ejercicio VI.23. Encuentra todos los homomorfismos:

a) De C7 a C5 .
b) De C7 a C17 .
c) De C7 a D7 .
d) De D7 a C7 .
e) De D7 a C7 ⇥ C2 .

2
# ¿ Cuantos homo sobre ?

ca) de E/302 en 4/3021

homo sobre ( =) automorfismo

(minimo cordinal finito

(Aut ( */302) 1 =
(21 (7/02)1 =
4(30) = z

b) z/3021 en
7/1Sz

z(302 = >

f homo , necesito que o (f(i)) 130

Como o (fC)) (IS

Y
15130 cualquier elección

f(i) da un hom .
para

Imf = (f(T(y =
/15a(o(f(T)) = es

Hay tantos homo sobre como elementos de orden 15

/152))
*
en /Isa , (n( =
4(iS) =
E

4/82
(421302 en

&
f homo Es o
(f(T)) 130
=> o(f(i)) = 41 , 2)
o (f(i))18

·
Si o(f(T)) = 1 = Imf =
< f(T) =
>T) = ) No sobre

·
si o(f(T)) =
2 = km f) =
2(8 =
(4/Sz)
=> No es sobre ,
No hay homo sobre
E =S

Si Ha = 414 He Kike-E con Ki fre

Sup Hnk =
314

Sean Kil (y H =k 2) = Thi , hzeHt,q h , k ,

= hakz

hh kz k -
= = E + nk
41474442
.

sea H =

Y(jy) : x =
&( ,
d(s)(22) 4] -

=
0 ?

Definimos k
(( ! (0) x= =
(cS(2 2)
=

: ,

Hy k son
subgrupos de SL (2 , 21) con H =

(i)

+((i) +((q)(x
x +
= = = y
y(
,
,

E
)H(r) :

xezyS72 , 2) =
(s)(2 z) ,
:
H]

& ¿ ciclico ?

CyxC6

o((a , b) (mcm (0)(a , 1) , o((1 ,

b)

o
((a ,,)) /42 .
2
, 4]

o ((1 b) ,
/31 ,
2 , 3 . 53

>
-

o((a b)
, >1 , 2 , 3 ,
6 , 12 70((a , b) + 24 = > No es adico

u(z/sa) =
7í , 2 ,
5 .
5

Posibles ordenes :
1 ,
2 , 4
52 = 1 +T = o(3) = e =
(1)(4/sa)) = si dico

(5) =
1(z/52) .

2
¿ #elem . de orden 5 en Co ,
Co ,
Co ?

·
Co = <a)
Prop 1 83.

↓
·
(ak) = 5( ) = o(a)
= S()
10 = S

mcd(o(a) 4) , Mcd (10 , 4)

k = mcd(10 , k) =
26S4742 ,
4
,
6 , 83

Hay dem de orden S

Y

Co = <a)

o(a
4
) =
s( =
)120 = S E) med (120 , 4) =
24E)47424 ,
48 72
, , 967
mad (120 , 4)

4 dem de S
Hay
orden

16 abeliano ab-6 o(a) m o(blen ¿ 7ges

grupo
=
, ,

= mam (m , n) ?
:
ocg)

Caso 1 : mad (min) = 1 = mcm (m , n) = m -

o(ab)
=
o(a)o(b) =
mn =
mcm(mn)
y ↑
18 (8)
Prop

Caso 2 : mad (m n) , + 1

ci
m =
πp ,

Bi
n =
πpi

Definimos m' = p
n'
d
.
,
sostiene Med (m' , n') = 1
mem (min) = min
y
,

Def a' :=
amm' b! =
bu
,

¿ o(a) = m'
? (Análogamente o(b') n) ,
=

(akm' (amm)a = = am = 1

1 = (a)o(a) catm/mo(a) = > m'lo(a)

Podemos aplicar caso 1 a

o (a 'b') = o(a))o(b)) = m'n' = mcm(min)

⑮ 6 161 15
grupo
:
,

Si =G con /H =
SE) HI6

161 =
15 = 3 .

Sea Has tiq H : S ¿Has ?

Veamos el de orden 5 6
queh es único
subgrupo y

Sea k =G (k) = S
,

Si #he de
k ank es un
subgrupo propio H y

= /Hnk) /S , pero no es 5 =
) (nk) =
1

25 =
(H)(k) = (Hkl .

(Hnk) =
14k) (6) =
iS
Ez(dn) ?

Sup nkb (D2EC2x() abeliano => z(D .) =

D2]

Sea siez (Dn)

·
Si i = 0 : dobe cumplirse que
sri-ris
esto solo

Sri si] () fi j()r2 par

1xsi
()
-

r
0
=

1()j
= =

j
= =

·
si i 1 : siegris es r' = sercejoe(e jo j =

E <par)
Si
joirsesres =Su ej ren#
·

Sij =

E (n par)

=gr Surger" rerz = = 1#

S
Sidd si nimpar
z(Dr) =
:
n= 3

Sid ,
r42 Y sin par

⑤ Retículo de Cr (36 ,
CE.
,

(8 =
<g)

(9) = Ca Co =
(93)

(gg =
(s(z =
(g2
1

16 H16
,
161 = m .

/H)FgE6 ,
gen ?
Por el Teorema de [6 H]
Lagrange
: = m
,

Veamos que f :
S/H > 5/H ¿ biyectiva ?

XH >
gxlt
 (gxH =

gy H = xH =

yH
dada
f(g yH) faBiy(gt)
+
sobre HEG/H yH =
gg y
: =
y
=
,

Como 5/H = m
, ( Big (8/H)) = m ! frid (x) =
r

El t =
id(m) =
fm'(H) =
gm + =
gw
7
de isomorfismos de 2/1221 [1/52 2/82 disomorfus ?
grupos , ,

·
Aut ([/22)
&
=
1(
*
/122) =
45 ,
5 ,
E ,

Art (21/122) =
3 P ,, 45 , Pa ,
0 .
1

Que : /1221 - 2/122)

a
> ak

·
Aut (
*
/52) = U ( 4
/52) =
25 2 5 ,
, ,

Art (
*
/521) =
70 .,
02 43 . , ku

·
Aut (2/82)EY5 ,
5 5 ,7
,

4
Aut ( /82) = (0 ,,
%2 , 0s . 47)

En 21 (4/1221) todos los elementos tienen order 2

En u (2/521) , 0(5) = H = u(
*
/52) =
C

En 11/4/821) , todos los elem .

tienen orden .
2

Aut (21/1221) # Aut (4/21) Aut (4/821)

En
I 6 (no nec finito
grupo
.

[6 :
H] = m >0 H el único
subgrupo de s de este
y
es

Indice H * G ?

Queremos probar queges

[6 : H] =
[G :
gHg ]

Def : f : H 6/gHg

(xg (gHg
=
XI L

¿ bien def +inye ?

(xg (gHg (ggt(gH gE) (xy ))egHy +

- -

(gg
=

()
gg xy (g g
+ + (
=

)g x + ()xH =
yH

Isobre ? Sea =
z :
GHES/gHg

f(zy f ) (6 gH5]
+
=
+
) (zgg 1)gHg) zgHg biyectiva = [6 : +
=
-

= = :

VgES
Como h es el único sobre de Índice mit H =
ghg geG ) He
=

21 Reticulo de De y
Ds subgnormal ?
Lagrange
=
T

De HIDu 1H)
IDyl = E ,
- 7 +
,
2 ,
4 , 8

De =
Y 1 , r , r2 ,
r3 , 5
,
su ,
Sra , si3

Selem de orden 2 =S subgrupos de orden

dem de de H
2 orden =
) 1
subgrupo orden

¿ ?
Hoy C2xCz
Por
ejer 20 , sabemos z
(Du) =
7 1 r24 .
= > <rEST Crisic , son Cuxe

Cr, Si >< resia]

resis en
crepetido)

Dy

182 , su > (r > < ras

[Sr3] sr > 282) (5) < 502

5 sr?S = Sr-3 =
sr [Sr3 > no normal Esra no normal

r . sr"SrES) = S) no normalSr> no normal

D5 =
41 , r , 12 ,
13 ,
r" , si su ,
so2
,
si , soy
o(r) = S

HID5 =
> (H1 - Y 1 ,
2 , 5
,
10} o(rk) =
ocr

mcd(k ,
ocr) (

elementos de Hay
Hay H orden 5) un as

5 elem HayS
Hay de orden 2 (2

D5

< r >

15) <Si > (gr >C Sr3 >< srl

217
 rsr" =
su2 = gr3e(S] =
> y r3> no san normales

LS) sSS

srY (Sr ,>

+
5 .

Sr-s =
Sr =
=
> (Sr) no son normales

S . srS = su = sr3r = r normales

19 MIn
,
(r , s) Dn

&
s ,
Un = S
, somy
=> CrusTEDm/m
o(s) =
2 , o(srw) = 2

o(rm)
2
=

re

s . Su

(
E
(E 1) m -
-

Dm
arwis = e , r para
, ...r sists...,

H3
=
(Dn :

¿ H DDn ?
-

·
Si r
= 2 Dn =
DaE (x(2 abeliano> todo subgrupo es normal HIDn