6 R7 X s+ ^- I" G. v/ _1 o& H 假若(x)=(y),即axa-1=aya-1,由G中的消去律必有x=y。从而证明了是单射的。 ! j" B n# u3 n1 V, [5 p6 \6 E) w% g/ C2 j2 W
综合上述,是G的自同构。' ~$ e! Z: h% I- w7 J9 Q
* T+ i' _( @1 u# D9 c
??如果G是阿贝尔群。对于上面的内自同构必有 * r/ y7 I2 n- m2 {$ q! B' O??????????(x)=axa-1=aa-1x=x- J" Q" q! H8 Y0 _
这说明阿贝尔群的内自同构只有一个,就是恒等映射。6 _% C2 W! e: e
9 b1 \# G3 I: {( Y
??考虑模3整数加群<Z3,>,根据例11.22,Z3有3个自同态,即p=(px)mod3,p=0,1,2. 6 o/ u* ~ l& X7 |- }/ Y2 F4 p???????p=0, 0={<0,0>, <1,0>, <2,0>} 4 ]) z) b: n4 ~9 w???????p=1, 1={<0,0>, <1,1>, <2,2>} % G3 B% L7 n& e. m# r$ n0 y$ M" ?- y* k???????p=2, 2={<0,0>, <1,2>, <2,1>} 1 |( U: C( ^# a, m在这三个自同态中,1和2 是 Z3的自同构,其中1是内自同构。0是零同态。 8 v9 Q* a9 w' g: j8 T! P
. g5 d; V K7 Q" w
-------------------------- $ _. E' a, r: V: q) J3 U 5 ~. I: @! w& w7 ?$ a7 Z 例11.25 设G={e,a,b,c}是Klein四元群。试给出G的所有自同构。 / `2 @) e9 `+ j* S7 A l; p: F' }% s5 ^( x( [8 u* b. b
? 解 设是G的自同构,则(e)=e,且是双射。因此满足这些条件的映射只有以下六个:% D4 z# F9 s4 V) D
" U c0 j4 P5 a- I??????1:e e, a a, b b, c c ( T* z+ i) l5 d; E6 _
/ q9 v: K( [; M/ W$ D
??????2:e e, a a, b c, c b 1 c; u; \' M8 ~" l# G4 G, A 9 o/ l3 _- Z6 b! h# z- M! V??????3:e e, a b, b c, c a ' q4 N, b6 X4 S
5 }- I, l2 _- B5 u: E$ r- d
??????4:e e, a b, b a, c c , ^& _1 m5 `; E. c/ P' N* R/ [ 4 J' O2 z& w3 I" v5 ]??????5:e e, a c, b b, c a ' D4 _7 Z' |% S# {4 X9 [6 l* }8 V' y, e% O, _
??????6:e e, a c, b a, c b/ z. F% W( f1 x v ]/ N
7 c6 _. \9 ?0 Q根据同态定义,不难验证x,y∈G都有4 l! X5 J# r* b& d, `0 ` a
0 m* E) Z. J8 r
??? ?i(xy)=i(x)i(y),i=1,2,…,6 ! E" B4 D1 Q2 p ; r' R; L; b8 A" b) }+ R8 [成立。所以上述的1,2,…,6是G上的全体自同构。 * Y- f O* k5 M' K