数学建模社区-数学中国

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

作者: lilianjie    时间: 2011-12-29 14:33
标题: 典型同态映射的实例
8 a4 m& U' w2 |8 U# m0 T
" r4 H7 q: `& @

" v/ S3 v" P" T" }: [三.典型同态映射的实例 ( c( v9 `: z# @5 s/ ?

% W+ m4 s/ z. ]9 k5 g
, Z; I' i# [4 @( I1 U* T' C: `! r$ Y+ c, h# I. E' |
--------------------------------------------------------------------------------
5 t; W0 B5 ~( w5 W& d+ R* C* w7 U$ C6 e+ X# U, D" |" X, d7 R* y4 }
例11.21 (1) G1=<Z,+>是整数加群,G2=<Zn,>是模n的整数加群。令" Y0 H( C4 Q4 x
???????????:Z→Zn,(x)=(x)mod n
. E. M. E1 v% v# h! ~. H  P则是G1到G2的同态。因为x,y∈Z有( c0 l0 d6 v! f+ p
????(x+y)=(x+y)mod n =(x)mod n(y)mod n =(x)(y)
6 w6 W+ J5 C- w  v??(2) 设G1=<R,+>是实数加群,G2=<R*,·>是非零实数关于普通乘法构成的群。令
% d& ^. |' c7 [* L* \. j( K???????????:R→R*,(x)= ex2 T" v4 G. u! K3 c2 _% M, z' O( `
则是G1到G2的同态,因为x,y∈R有/ z7 I4 i! s1 D* _) p2 [
      ????(x+y)= ex+y = ex·ey = (x)·(y)
' T, |) o7 Z4 i3 e7 q4 w' _3 M) I9 p  w  k4 Z$ }: C* K1 F1 D# r+ @/ C) X
?(3) 设G1,G2是群,e2是G2的单位元。令
2 t3 }) E. @) U. ^$ j7 g?????????:G1→G2,(a) = e2,a∈G1
9 X' H9 c- e1 n" z( W1 H+ p则是G1到G2的同态,称为零同态。因为a,b∈G1有2 L+ u- G% ]: D3 B; N# {
?????????(ab)= e2 = e2e2 = (a)(b) 3 L5 |6 l5 [+ B2 `) d0 i  @

" c8 q6 x: E2 ~  ^" s" S??例11.21 (1)中的同态是满同态,这是也可以说模n整数加群是整数加群的同态像。(2)中的同态是单同态。由于ran=R+,同态像是<R+,·>。这两个同态都不是同构。
# v( _# Q4 q. `. X( x; E; V0 j5 d* p/ b# s/ X5 B( u' F2 s
例11.22 设G=<Zn,>是模n整数加群,可以证明恰含有n个G的自同态,即
) l" y# t  T5 T???????:Zn→Zn,  (x)=(px)mod n,p=0,1,…,n-1 ! U% M. `+ k8 L/ m6 O
+ D) {4 Q3 b, y# ]

% ^1 V0 U2 u/ [+ F! u: B! Q) o9 N0 _2 G. H- S+ i& X
例11.23 设G为群,a∈G。令8 V  h8 G+ W' ^, n, z
????????:G→G, (x)=axa-1,x∈G5 o# t5 _3 O) [$ ?0 |& A: y( T
则是G的自同构,称为G的内自同构。& w5 ?' O2 T+ q& S  U

7 M5 [8 D) p! z* ^3 ]? 证 x,y∈G有
3 @  t0 y- B: `4 R( R: m??????(xy)=a(xy)a-1=(axa-1)(aya-1)=(x)(y)
6 a( l. q, A5 d( u; y+ q0 x6 ]0 @" c' O9 y& d% r1 G7 D% [9 E0 b. W
所以是G的自同态。
6 G9 ]& q- J" {' D/ m3 R9 G0 Z) z* c, _$ Z6 a
   任取y∈G,则a-1ya∈G,且满足: `" C7 a/ C  a: v- P
??????????(a-1ya)=a(a-1ya)a-1=y
% \9 S6 o! E) I- s所以是满射的。?( c" m) ]0 u4 [6 N7 I

$ v8 s6 P7 |: J  q8 ^2 L   假若(x)=(y),即axa-1=aya-1,由G中的消去律必有x=y。从而证明了是单射的。$ i9 e+ B( n; k9 p6 {8 {  e

5 L8 W# i* o; K" j# X   综合上述,是G的自同构。
  ?5 ~' N2 w1 v; j3 n# d" K4 q( @- K: m, d& p# T  v) C" V
??如果G是阿贝尔群。对于上面的内自同构必有0 K- q  ^) e$ w0 W+ ]  @6 i
??????????(x)=axa-1=aa-1x=x7 p& q7 S$ [" z
这说明阿贝尔群的内自同构只有一个,就是恒等映射。
3 L5 K2 |( q) P3 s) V2 \" }5 x# t3 Q5 D. G; Z/ V
??考虑模3整数加群<Z3,>,根据例11.22,Z3有3个自同态,即p=(px)mod3,p=0,1,2.6 c3 h" T& {5 a6 l
???????p=0,  0={<0,0>, <1,0>, <2,0>}5 K4 Z7 r1 N3 |( E% U, i$ y! W0 x
???????p=1,  1={<0,0>, <1,1>, <2,2>}0 i% |' k4 c& x9 F8 V' b
???????p=2,  2={<0,0>, <1,2>, <2,1>}
0 O+ y0 a7 x# L& e! w1 H在这三个自同态中,1和2 是 Z3的自同构,其中1是内自同构。0是零同态。
+ ^  Y0 U+ o0 v: s0 ]  K2 K7 z8 N9 |" c- c3 g; L
--------------------------( g+ t! B8 p3 M. A) c
: o; O+ r! r1 R1 b; ^* y
例11.25 设G={e,a,b,c}是Klein四元群。试给出G的所有自同构。
# `, [/ k/ D7 R
- c1 D( i) L' F6 i2 ^1 f* o/ ^: f% D3 ~6 O? 解 设是G的自同构,则(e)=e,且是双射。因此满足这些条件的映射只有以下六个:3 A3 D  I+ i* `4 Q

6 C3 D- w+ d7 \' G??????1:e  e,  a  a,  b  b,  c  c ! t5 U3 y. e' e0 Y9 v; \0 {9 t

7 T5 F% o1 v, r. G6 K??????2:e  e,  a  a,  b  c,  c  b
! X- b" m( [  c* G0 f% B5 A
4 X9 t/ r% ]% ]" @??????3:e  e,  a  b,  b  c,  c  a * h3 |! p, Q( N/ p% s

0 o' {  r- _, k??????4:e  e,  a  b,  b  a,  c  c
& ~$ n  s4 ^4 K" o0 I6 x7 S& \+ S  d- m8 a
??????5:e  e,  a  c,  b  b,  c  a # b; m/ \. [! j+ @# q
+ D$ ^2 g8 g8 |- Z' b
??????6:e  e,  a  c,  b  a,  c  b2 H( `  ?1 K) N. A

/ B" @8 B" U& H& u0 f根据同态定义,不难验证x,y∈G都有+ }+ U" p+ n) |$ `& C5 c5 ~  Q. Q

) D3 A1 @$ |) F. u???    ?i(xy)=i(x)i(y),i=1,2,…,63 K- B  I; g6 k0 b! n- L

0 q4 L6 r* ?) v. M+ ~$ G" \成立。所以上述的1,2,…,6是G上的全体自同构。
' X& C+ W! ], K5 b/ s" y




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