Catalina Cartagena Yupanqui 20.952.

567-4

Ejercicios de Álgebra Abstracta

Semana 2 (entrega de tarea Miércoles 31 Agosto)

1. (Tarea) Pruebe que si G es un grupo finito con un número par de elementos, entonces
existe un elemento a 2 G, con a 6= id tal que a2 = id.
2. Pruebe que todo grupo G tal que a2 = id para todo a 2 G, es abeliano.
3. Pruebe que si H y K son subgrupos de un grupo abeliano G, entonces HK := {hk|h 2
H, k 2 K} en un subgrupo de G.
4. Sea G un grupo y S ✓ G un subconjunto cualquiera. Denotamos por hSi a la inter-
sección de todos los subgrupos de G que contienen a S. Muestre que
hSi = {g 2 G | 9n 2 N, 9 s1 , . . . , sn 2 S [ S 1
: g = s1 · . . . · sn },
1 1
donde S = {s | s 2 S}.
5. (Tarea) Sea Sn el grupo simetrico sobre {1, 2, . . . , n} y sea Stab(1) := {↵ 2 Sn |
↵(1) = 1}, es estabilizador de 1. Pruebe que Stab(1) es un subgrupo de Sn .
6. Tarea (ambos (a) y (b))
(a) Escriba los siguientes elementos de S5 como producto de ciclos disjuntos:
i. f = (1, 3, 2) (1, 3, 2)
ii. f = (1, 2) (2, 3) (3, 4) (4, 5)
iii. f = (1, 5) (3, 5) (1, 2, 3, 4, 5)
(b) Demuestre que si = (↵1 , . . . , ↵m ) y 0 = ( 1 , . . . , k ) son ciclos disjuntos en Sn ,
0
entonces ellos conmutan, es decir = 0 .
7. Sea = (↵1 , . . . , ↵m ) un ciclo de longitud m en Sn . Demostrar que:
(a) Para cada k 2 {2, . . . , m} se tiene = (↵k , . . . , ↵m , ↵1 , . . . , ↵k 1 ).
(b) Para cada k 2 {2, . . . , m} se tiene ↵k = k 1 (↵1 ).
8. Grupo D4
El grupo dihedral D4 es el conjunto de simetrı́as del cuadrado P4 . En este caso,
además de las rotaciones en 2⇡/4, 4⇡/4, 6⇡/4 y 8⇡/4 = Id, tenemos las reflexiones que
se muestran en la Figura 1.
El grupo D4 es más interesante que D3 pues en este caso no es cierto que todo elemento
de S4 induzca una simetrı́a de P4 . Por ejemplo el ciclo (3, 4) 2 S4 no preserva la
estructura del cuadrado, ver Figura 2.

(a) (Tarea) Escriba la tabla de multiplicar de D4 .

(b) Muestre que si n 4, entonces Dn es un subgrupo propio de Sn .
(c) Calcule la cardinalidad de Dn .

1
 Figure 1: Reflexiones por eje y por vértice en el cuadrado.

Figure 2: Un permutación de {1, 2, 3, 4} que no induce una simetrı́a del cuadrado.

2
 I

solución :
probamos por contradicción

suponemos que si G un
grupo finito con no por de elementos ,
entonces no existirá
ningun demonio a

G el cual id
tq id
≥

perteneciente a
,
sea a ≠ a =
,

a b

a Id b
tomamos b E G a ≠ b si oí id
y
=
a ,
,

b b b2

notamos al G grupo Finito es Cerrato así

hay dos opciones
pero que ser un
, ,

b2 id Ó b- b b
≥ .

o = =
, pero ≠ id así
,

b. 2 =
b | b
"

izq
.

por

b- 1. b. b = b- 1. b

Id .

b = Id

b =
Id

pero a = Id a =/ b así ( ⇐ )
y
.

soluciona stable ) Sn caracterización

:
para probar que es un
subgrupo de
,
utilizaremos la de
subgrupo
se debe cumplir
para esto :

it stable ) ≠ ∅

ü)
t s
, ,
5a € Stable ) si .

si
"
c- stable )
,

i ) Es obvio
ya que
como

Stablid ) - 1 así IOI c- Stab (1) así no es vacío

, ,

"
ü ) primero supongamos que 5
2
11 ) =
1
, hay que probar yo
-
5211 ) = 1

5,11 ) / Sale )
^
-

la izquierda
=

' "
52115 -
S , (1) =
Sales -1

"
SÍ / sale ) ) =
Sale )
"
id (1) =
Sales

1 = 521151

'
Luego calculamos si .

si (1)

"
Sr
-

si
'
(1) = Si ( Sale ) )

=
5111 )

= 1

De esta forma Sr -

Si ' estola ) y luego Stable ) es

subgrupo de Sn
 1

123 123
↓ ↓
3 12 3 12

Solución :
( Q ) .

f 11 3,2 ) / )
/ ¡ ¡ ¡)
( 1 3,2 ) 1

/ siii /
1 123 ' 23
3 2,3

1)
i.

(
= ◦ = 2 = =
, , ,
→ → o t ↓ ↓

2 3

f (1) 2) ( 2,3 ) ( 3. 4) ( 4,5 )

( iíiíiís / / ¡ ¡ ¡ ¡ 5) tiii :$ / ( ¡ / | ) "
4
ü = ◦ ° ◦
12345 12345 12345
◦
12345 = 1 2 3 S =
11.2.3 .
"
.

¡ ¡ ¡¡
.

◦ ◦
+ s ,
, ,

) f- 13,5/011,2 3. 4,5 )
[Link] ;) /
5) (s )
④ ;) / g)
ür = 11 ◦ 1 234s 12345 12345 = 123 's = / 1 2) ◦
13 4)
,
◦
,

¡ ¡ ¡¡
, ,
.
, yy ,

(b) si JO Till :) =
TI la :) = Tldi ) =
dia

)) / dicen )
'
T l Tlti = =
✗
y ¡ +n

tambien . To Til Bi ) =
TLT ' ( pi ) = TI Bi ) =
Bix ,

(
Mpi ) ) (
Pin) Bien
= =

notamos ambas funciones tienen el mismo dominio así la función conmutan

que ,
.

tu :( 131124 )

tr :( 121134 )

ta ] :( 23 )
,

t =/ 14 )
Y

solución :
tomamos Dx
:
ÓID F
,
1=2,1--3 ,
G GF 61=2 61=3 }
, , , ,

11243 )
¥ =

¥
= ( 14 ) ( 23 )

O Id 5-3 65-261=3
2

F f- G GF
11342 )
6¥ =

8¥
= Id

61--261=3
≥ >
Id Id F F F G GF

F f- F
'

5-3 Id 61=2 61=3 GF G

É 1=2 1=3 Id F GF 6 61=3 GÉ

≥
1=3 1=3 Id F f 61=3 61=2 6 GF

6 6 61=36 F 61=2 Id 1=2 1=3 f

GF GF 61=2 6 61=3 1=2 Id F 1=3

GF 61=3 1=3
≥

61=2 G GF f- Id F

61--361=3 GF GÉ G 1=3 F 1=2 Id