Prove that the map
,
where ,
is
an automorphism of under .
In the text, we did not show that was
closed with respect to composition, i.e., that
composition is a binary operation on .
Show it. (You may use the result of exercise
2 for Section 7.1.)
For an arbitrary group , let and
define
for all .
Show is a 1-1 and onto map of onto .
Finally show
that preserves the group operation. This
exercise shows that
( is the
inner automorphism determined by .)
Show that if is a group with trivial center
(), then its group of automorphisms,
, is also a group with trivial center.
(HINT: Let
. For any , let
. Then
(Why?). Use this
to show that for any ,
.
Infer the result from this.)