Você está na página 1de 2

Estruturas Algbricas

Moiss Toledo
18 de abril de 2012

Soluo de exerccios - Lista 2

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


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

ex : D4 /Z(D4 ) D4 /Z(D4 )
gZ(D4 ) 7 x (g)Z(D4 )

o qual esta bem definida pois:

(xg1 x )

g1 Z(D4 )
1
g1 g2 Z(D4 )

ex (g1 g21 Z(D4 ))


x (g1 g21 )Z(D4 ))
x(g1 g21 )x1 Z(D4 ))
(xg1 x1 ) (xg21 x1 )Z(D4 )
(xg21 x1 ) (xg21 x1 )1 Z(D4 )
xg1 x1 Z(D4 )

= g2 Z(D4 )

= Z(D4 )

= Z(D4 )

= Z(D4 )

= Z(D4 )

= Z(D4 )

Z(D4 )(xg21 x1 )1
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


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

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

pois D0 (D4 ) = Z(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 .

Você também pode gostar