$ m0 m! d ~5 a- K: ~+ `' r所以是G的自同态。2 H- N4 B$ r8 d
. n' Y( E3 F2 q9 u% f
任取y∈G,则a-1ya∈G,且满足 3 C8 B# p3 _. v" R??????????(a-1ya)=a(a-1ya)a-1=y2 U9 M% y% q" g' x, ]' i
所以是满射的。? / u. [7 t* }5 b+ F! \2 S* J& I. Z# J( _+ o3 p+ G; B
假若(x)=(y),即axa-1=aya-1,由G中的消去律必有x=y。从而证明了是单射的。( B, m" q) }7 @. H* d
4 N7 J! @# z2 I% \
综合上述,是G的自同构。 % o0 Z U' a8 S4 a- | . C% q5 i7 H3 U _??如果G是阿贝尔群。对于上面的内自同构必有1 T, h& i* p6 S' _
??????????(x)=axa-1=aa-1x=x 2 J# |, E9 y7 L/ Z1 Z这说明阿贝尔群的内自同构只有一个,就是恒等映射。7 m3 k" P5 h* s5 z! C" I* W: n8 L5 R
- C: B, F& K0 I% X6 P: s9 p
??考虑模3整数加群<Z3,>,根据例11.22,Z3有3个自同态,即p=(px)mod3,p=0,1,2. 6 g Z+ Z* {, \/ {8 U. \???????p=0, 0={<0,0>, <1,0>, <2,0>}* a# H# J$ E2 O0 Z$ c6 Z% r
???????p=1, 1={<0,0>, <1,1>, <2,2>} , T9 ]: N& R( |& N???????p=2, 2={<0,0>, <1,2>, <2,1>} ( c8 x# L( R3 d, F. ~5 y$ `在这三个自同态中,1和2 是 Z3的自同构,其中1是内自同构。0是零同态。 ! {$ |/ ^# ?# {9 Y& s n. G# b/ d5 ?9 w9 t. \& {
--------------------------" T/ d2 {# [( K4 `1 c
+ K% r4 O3 q$ |/ O) A) p0 g- o9 ? 例11.25 设G={e,a,b,c}是Klein四元群。试给出G的所有自同构。 ( X# k" u/ k% i: U 8 C# \! E: n- Y7 W* }? 解 设是G的自同构,则(e)=e,且是双射。因此满足这些条件的映射只有以下六个:; q5 T' o: l9 i f+ t$ [
! C: H4 e: d0 L0 Z5 z: W T0 n
??????1:e e, a a, b b, c c ; _) M2 i" k. x1 N \; b
- {, Y" s/ F. D7 O+ G
??????2:e e, a a, b c, c b 3 `" Z: Q' S) `) T2 L/ z/ [
0 Q8 C+ r5 d$ S j0 m??????3:e e, a b, b c, c a 6 ~1 o' L9 k) f) ^ k ( M# K. h! b4 I/ X??????4:e e, a b, b a, c c " L& H+ N* `5 Y9 l7 }4 E* k O1 R- n$ l" b, q
??????5:e e, a c, b b, c a % t& U9 q7 h/ Y1 p
! q+ z: n/ h+ z2 f& s??????6:e e, a c, b a, c b : W* ?/ [5 s# ]+ ? B & X0 b k" p& X+ _" t: C根据同态定义,不难验证x,y∈G都有8 z' q' n3 V, b* u8 v! u6 \' Y