数学建模社区-数学中国

标题: 典型同态映射的实例 [打印本页]

作者: lilianjie    时间: 2011-12-29 14:33
标题: 典型同态映射的实例
( R( J4 o; u! F2 z* Z- |% ~; M
8 V7 c1 h# h: F; P
7 t# A0 m" ?7 v$ U, O: C; B
三.典型同态映射的实例
. Q) \: \2 \6 k# Z8 J8 t
& B6 y) W+ n/ x9 d1 C. @& V
' r& D7 R) |2 J2 Z2 B# v. f5 S2 z  p* {' ~4 u
--------------------------------------------------------------------------------" Q3 V% A+ F$ Z9 }& u

& Y* B0 W% L) e! J! Q+ t 例11.21 (1) G1=<Z,+>是整数加群,G2=<Zn,>是模n的整数加群。令
5 h; q; e) e6 v8 y???????????:Z→Zn,(x)=(x)mod n7 [" T' p  A& _3 Y8 A( V
则是G1到G2的同态。因为x,y∈Z有8 e# I1 @9 A9 m; i
????(x+y)=(x+y)mod n =(x)mod n(y)mod n =(x)(y)
; E: J) l4 k& H3 w4 w! D7 p??(2) 设G1=<R,+>是实数加群,G2=<R*,·>是非零实数关于普通乘法构成的群。令
. l7 `6 h' n) f8 E5 L???????????:R→R*,(x)= ex6 r7 ]9 i, O+ d" T* t4 @/ F+ A0 Z
则是G1到G2的同态,因为x,y∈R有/ F, N9 G! K! [) M" T: m: N& I5 ]
      ????(x+y)= ex+y = ex·ey = (x)·(y)
/ k9 r. v, e( C9 Z* z& Q2 n. X4 y2 t) F
?(3) 设G1,G2是群,e2是G2的单位元。令4 k6 }* z: h. G* z, T% X. r. q& @
?????????:G1→G2,(a) = e2,a∈G1) P' M' n5 J& U9 s
则是G1到G2的同态,称为零同态。因为a,b∈G1有
+ Q4 a4 X. M3 Q" E9 x?????????(ab)= e2 = e2e2 = (a)(b)
: B; h& |3 r* P( c' W- V4 l+ m1 V: ~
??例11.21 (1)中的同态是满同态,这是也可以说模n整数加群是整数加群的同态像。(2)中的同态是单同态。由于ran=R+,同态像是<R+,·>。这两个同态都不是同构。 8 r7 r' P' q' n+ [* T& S$ v7 T

+ n! J9 ?* P' }& D" e 例11.22 设G=<Zn,>是模n整数加群,可以证明恰含有n个G的自同态,即
1 ^& k, Z$ r+ @  U???????:Zn→Zn,  (x)=(px)mod n,p=0,1,…,n-1
4 Q; [, H8 f; m& C
4 n+ @3 Y4 ^. \. @" w' g. p/ Q0 A

+ i; S( c4 P" D' S, W4 Z 例11.23 设G为群,a∈G。令
; v8 G  A3 J& n6 `# _# A????????:G→G, (x)=axa-1,x∈G5 H- e' b1 `1 X. c
则是G的自同构,称为G的内自同构。
: B4 ]4 x" R; f$ ]9 v, n  H: g$ n6 u
! @+ a# H* `2 o? 证 x,y∈G有* Q. c3 K* H4 A, @' k5 \9 [
??????(xy)=a(xy)a-1=(axa-1)(aya-1)=(x)(y) 0 ?5 F4 X* ~8 x4 ]1 ^. f+ F
+ i! X2 C1 {8 k' p% M
所以是G的自同态。; X) n( u  L2 p( J% }
" Q4 m9 M! H% b8 M. f
   任取y∈G,则a-1ya∈G,且满足
! k9 Z& U$ w' H. E4 \0 |& r??????????(a-1ya)=a(a-1ya)a-1=y# h: z$ M4 v0 p; A; U3 p" b, x
所以是满射的。?; T' t3 a0 y) N% L
/ V+ }4 M. G; M* Y) A! a$ j
   假若(x)=(y),即axa-1=aya-1,由G中的消去律必有x=y。从而证明了是单射的。% ]$ M, w! D: w+ r1 U

2 c! k- O0 V: e   综合上述,是G的自同构。; ^' I5 q( Z; E1 d; g3 z

, D: t# v6 W4 H6 I, @0 F# a??如果G是阿贝尔群。对于上面的内自同构必有8 G8 c/ J1 F+ l. F/ c" q
??????????(x)=axa-1=aa-1x=x
  c( @; a) `, k8 X这说明阿贝尔群的内自同构只有一个,就是恒等映射。. X) D% e8 p7 D9 ]) X

4 n7 I$ U% r* u! ^# S' t??考虑模3整数加群<Z3,>,根据例11.22,Z3有3个自同态,即p=(px)mod3,p=0,1,2.
5 v9 e. L) b* Y$ k! U9 Y: m???????p=0,  0={<0,0>, <1,0>, <2,0>}
6 T. g8 R) L2 U" I9 Q???????p=1,  1={<0,0>, <1,1>, <2,2>}2 t9 k9 Z; b: s% V
???????p=2,  2={<0,0>, <1,2>, <2,1>}7 e# L/ O3 P& l) w' S- T+ y$ {
在这三个自同态中,1和2 是 Z3的自同构,其中1是内自同构。0是零同态。 8 r1 L9 `" ~! r- c

  K% S  H4 ~  ]4 j9 m( |8 a--------------------------
# w9 B9 m% W, k
# Z0 F) w$ e9 s  u# K# I0 O! b( R 例11.25 设G={e,a,b,c}是Klein四元群。试给出G的所有自同构。8 a  X! m, F3 y& G" L& A

& w) C& ^) U* H1 q. V2 l. P5 Z? 解 设是G的自同构,则(e)=e,且是双射。因此满足这些条件的映射只有以下六个:
) B; b, \# }/ y% C* h+ B0 |/ S2 O! `* R+ u- U9 F3 @5 ]
??????1:e  e,  a  a,  b  b,  c  c - Z' L. o$ K& v7 i; s1 H# m

, f9 c3 P+ S3 S' o: {, Y5 f! ~??????2:e  e,  a  a,  b  c,  c  b
1 N0 G6 m) S2 r3 f6 _. a8 s5 m1 e; d2 Y9 @, X4 \. p
??????3:e  e,  a  b,  b  c,  c  a
! C# K1 J7 X3 p7 }: r
+ z, L$ c# c; o??????4:e  e,  a  b,  b  a,  c  c . r$ @+ }5 |$ _

0 m. }8 C" O' N; t! ???????5:e  e,  a  c,  b  b,  c  a
$ c5 p6 M' W5 ?% e( y" M+ k3 P7 P+ V$ t
??????6:e  e,  a  c,  b  a,  c  b& _* i& s# t7 H  G4 C5 }, M
! J' S3 |% l' P; Y
根据同态定义,不难验证x,y∈G都有
' u( A2 `7 w7 A9 r
* @) s0 ~+ {) U???    ?i(xy)=i(x)i(y),i=1,2,…,6
& M% h: p& B" H' |. c6 ^3 J/ }" N+ d3 p' r, ^3 S" f9 P" y" a
成立。所以上述的1,2,…,6是G上的全体自同构。 $ L9 H! h4 ]' I; e9 w& r) _





欢迎光临 数学建模社区-数学中国 (http://www.madio.net/) Powered by Discuz! X2.5