PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE

FACULTAD DE MATEMATICAS
DEPARTAMENTO DE MATEMATICA
Primer Semestre 2011

MAT 2205 - ALGEBRA ABSTRACTA I

GUIA N◦ 1

1. Sea G un grupo, H ≤ G, N E G. Demuestre que

hH, N i = HN = N H.

2. Sea G un grupo finito de orden par. Muestre la existencia de un

elemento 1 6= g ∈ G con g 2 = 1.

3. Sea G un grupo tal que g 2 = 1 para todo g ∈ G. Demuestre que G

es abeliano.

4. Sea G un grupo y H un subgrupo de G. Para todo par de elementos

H
x, y ∈ G definamos la relación x ∼ y si y sólo si y −1 x ∈ H.
Demuestre que:
H
a) ∼ es una relación de equivalencia en G.
H
b) La clase de equivalencia de x ∈ G módulo ∼ es el conjunto

xH = {xh / h ∈ H}

.
c) Para G : H = {Hx / x ∈ G}, la aplicación

Ψ : {xH | x ∈ G} −→ G : H

xH −→ Hx−1
es una función biyectiva.

5. Sea G un grupo, H ≤ G. Demuestre que

a) Si | G : H| = 2, entonces H E G.

1
 b) Si H E G y |H| = 2, entonces H ≤ Z(G).

c) Si H E G con |H| = 3, entonces | G : CG (H)| ≤ 2.

6. Sea SZ el grupo simétrico sobre el conjunto Z de los números enteros.

Sean a, b ∈ SZ definidos por

ma = −m
∀m ∈ Z
mb = −m + 1

Sea H = habi. Muestre que H ≃ (Z, +) y G = ha, bi = H ∪ Hb.

½µ ¶ ¾
a b
7. Sea G = / a, b, c ∈ R ; ac 6= 0 . Demuestre que
0 c

a) G es un grupo no conmutativo con la multiplicación de matrices.

½µ ¶ ¾ ½µ ¶ ¾
a 0 a 0
b) S = / a, c ∈ R ; ac 6= 0 y T = / 0 6= a ∈ R
0 c 0 1/a

son subgrupos no normales de G.

½µ ¶ ¾ ¶½µ ¾
a b 1 b
c) X = / a, b ∈ R : a 6= 0 ; Y = b, c ∈ R c 6= 0
0 1 0 c
½µ ¶ ¾ ½µ ¶ ¾
a b 1 b
R= / a, b ∈ R : a 6= 0 y Z= /b∈R
0 1/a 0 1

son subgrupos normales de G.

d ) Describa los grupos cuocientes G/R, G/X, G/Y y G/Z y muestre
que todos son abelianos.
e) Determinar Z(G) el centro de G.

8. Sea SN el grupo simétrico sobre el conjunto N de los números naturales.

Sea TN = {g ∈ SN / ng 6= n } sólo para finitos n ∈ N. Demuestre
que TN E SN .

9. Sea M un conjunto no vacio y sean M1 , M2 ⊆ M tales que M1 ∩M2 =

∅. Sean a, b ∈ SM permutaciones tales que ma = m para todo
m ∈ M \M1 y mb = m para todo m ∈ M \M2 . Muestre que
ab = ba.

2
10. Sea G un grupo abeliano y X = {x1 , · · · , xs } un subconjunto finito
de G. Demuestre que:

hXi = {xn1 1 xn2 2 xns s / n1 , . . . , ns ∈ Z} .

11. Para todo par a, b ∈ R, con a 6= 0 consideremos la aplicación fa,b

de R en R definida por

xfa,b = ax + b ; ∀x ∈ R.

Demostrar que:

a) fa,b ∈ SR ∀a, b ∈ R, a 6= 0, es decir, las funciones fa,b son

permutaciones de R.

b) fa,b = fc,d ⇐⇒ a = c y b = d.

c) G = {fa,b | a, b ∈ R, a 6= 0} es un subgrupo del grupo simétrico

SR . Además vale

fa,b fc,d = fac,cb+d ; ∀a, b, cd ≤ R : ac 6= 0.

Cuál es la identidad de G? Cuál es el inverso fa,b

−1
de fa,b ∈ G?

d ) Muestre que N = {f1,b | b ∈ R} es un subgrupo normal de G y

vale N ∼
= (R, +)

e) H = {fa,0 0 6= a ∈ R} es un subgrupo de G que no es normal en

G y vale H ∼
= (R\{0}, ·).

f ) Construya un epimorfismo de G sobre H con nucleo N y

verifique que G/N ∼
= H.

g) Determinar los normalizadores NG (K) y NG (L) de K =

{f1,b / b ∈ Z} y L = {f1,b / b ∈ Q}.

12. Si un grupo G tiene un subgrupo de ı́ndice 3, entonces G tiene un

subgrupo normal de ı́ndice 2 ó 3.

3
13. Si un grupo G tiene un subgrupo H de ı́ndice n, entonces G tiene
un grupo cuociente finito G/N ( N E G) de orden |G/N | | n!.

14. Sea G un grupo y SG el grupo simétrico sobre G. Demuestre que

Aut G = {f ∈ SG / (xy)f = (xf )(yf ) ∀x, y ∈ G}

es un subgrupo de SG . ( Aut G se llama el grupo de los automorfismos

de G).

15. Sea G un grupo. Para cada g ∈ G definamos

ϕ(g) : G −→ G
x −→ g −1 xg.

a) Pruebe que para cada g ∈ G se tiene ϕ(g) ∈ Aut G.

b) La aplicación ϕ : G−→Aut G
g−→ϕ(g) es un homomorfismo y vale
ker ϕ = Z(G). ( Im ϕ ∼ = G/Z(G) se llama el grupo de los automor-
fismos internos de G, denotado por Im ϕ = Int G).

c) Vale Int G E Aut G. El grupo cuociente Aut G/ Int G se llama el

grupo de los automorfismos externos de G.

16. Sea G un grupo, N E G y supongamos Int N = Aut N tal como

Z(N ) = 1. Demuestre que G ∼
= N × CG (N ).

17. Determinar | Aut S3 |.

18. Sea G un grupo, N E G con N ∼

= S3 . Demuestre que existe M E G con
∼
G/M = S3 .

19. Determinar todos los grupo G con Aut G = {1}.

20. Determinar todos los grupos finitos G con | Aut G| = 2.