Академический Документы
Профессиональный Документы
Культура Документы
,
24
) e calcule suas ordens.
Vamos usar a caracterizacao dos elementos invertveis em Z/nZ. Um elemento a Z/nZ e invertvel se, e somente se
(a, n) = 1. Assim, temos que (Z/24Z)
24. Seja x D
4
Z(D
4
). Seja
x
o automorsmo interno associado a este elemento x. Mostre que:
(i) Mostre que dene de maneira natural um homomorsmo : D
4
/Z(D
4
) D
4
/Z(D
4
).
Seja:
: D
4
/Z(D
4
) D
4
/Z(D
4
)
gZ(D
4
)
x
(g)Z(D
4
)
Devemos mostrar que esta bem denida:
g
1
Z(D
4
) = g
2
Z(D
4
)
g
1
g
1
2
Z(D
4
) = g
2
g
1
2
Z(D
4
)
g
1
g
1
2
Z(D
4
) = Z(D
4
)
x
(g
1
g
1
2
Z(D
4
)) = Z(D
4
)
x
(g
1
g
1
2
)Z(D
4
) = Z(D
4
)
x(g
1
g
1
2
)x
1
Z(D
4
) = Z(D
4
)
(xg
1
x
1
) (xg
1
2
x
1
)Z(D
4
) = Z(D
4
)
(xg
1
x
1
) (xg
1
2
x
1
) (xg
1
2
x
1
)
1
Z(D
4
) = Z(D
4
)(xg
1
2
x
1
)
1
xg
1
x
1
Z(D
4
) = xg
1
2
x
1
Z(D
4
)
x
(g
1
)Z(D
4
) =
x
(g
2
)Z(D
4
)
x
(g
1
Z(D
4
)) =
x
(g
2
Z(D
4
))
Vemos que esta bem denida
(ii) Mostre tambem que = Id, [
Z(D
4
)
= Id, ,= Id.
Devemos mostrar que
x
= Id. Dado gZ(D
4
) D
4
/Z(D
4
), temos:
x
(gZ(D4)) =
x
(g)Z(D
4
)
= xgx
1
Z(D
4
)
= (xgx
1
g
1
)gZ(D
4
)
= gZ(D
4
)
= Id(gZ(D
4
))
Agora, devemos mostrar que
x
[
Z(D
4
)
= Id. Dado g Z(D
4
), temos:
x
(g) = xgx
1
= gxx
1
= g
= Id(g)
Finalmente, vamos mostrar que
x
,= Id. Suponha que
x
= Id, entao, seja g D
4
:
x
(g) = g
xgx
1
= g
xgx
1
x = gx
xg = gx
Temos que g Z(D
4
) para todo g D
4
, assim D
4
= Z(D
4
), o que e uma contradi cao.
3