Estruturas Algbricas

Moiss Toledo

18 de abril de 2012

1 Soluo de exerccios - Lista 2

Exerccio 24. Seja x D4 \ Z(D4 ). Seja x o automorfismo interno associado a este

elemento x. Mostre que:
ex : D4 /Z(D4 ) D4 /Z(D4 ).
a) x define de maneira natural um homomorfismo
ex = id, x |Z(D4 ) = id, x 6= id.
b)
Demonstrao.

a) Definimos
ex :
ex : D4 /Z(D4 ) D4 /Z(D4 )

gZ(D4 ) 7 x (g)Z(D4 )
o qual esta bem definida pois:

g1 Z(D4 ) = g2 Z(D4 )
1
g1 g2 Z(D4 ) = Z(D4 )
ex (g1 g21 Z(D4 ))
= Z(D4 )
x (g1 g21 )Z(D4 )) = Z(D4 )
x(g1 g21 )x1 Z(D4 )) = Z(D4 )
(xg1 x1 ) (xg21 x1 )Z(D4 ) = Z(D4 )
1
(xg1 x ) (xg21 x1 ) (xg21 x1 )1 Z(D4 ) = Z(D4 )(xg21 x1 )1
xg1 x1 Z(D4 ) = xg2 x1 Z(D4 )
x (g1 )Z(D4 ) =x (g2 )Z(D4 )

ex (g1 Z(D4 )) =ex (g2 Z(D4 ))

Universidade Federal da Paraba
Estruturas Algbricas Pgina 2

b) Vejamos agora que

ex = id. De fato, dado gZ(D4 ) D4 /Z(D4 ) temos:
1.-

ex (gZ(D4 )) = x (g)Z(D4 )
= xgx1 Z(D4 )
= (xgx1 g 1 )gZ(D4 )
= gZ(D4 ) pois D0 (D4 ) = Z(D4 )
= id(gZ(D4 ))

2.- x |Z(D4 ) = id. De fato, dado g Z(D4 ) temos:

x (g) = xgx1
= gxx1
= g
= id(g)

3.- x 6= id. De fato, se x = id ento dado g D4 temos:

x (g) = g
1
xgx = g
xg = gx
g Z(D4 ), g D4
Z(D4 ) = D4

o ultima equivalencia uma contradio pois Z(D4 ) 6= D4 .