QQ登录

只需要一步,快速开始

 注册地址  找回密码
查看: 7381|回复: 0
打印 上一主题 下一主题

典型同态映射的实例

[复制链接]
字体大小: 正常 放大
lilianjie        

43

主题

4

听众

204

积分

升级  52%

  • TA的每日心情
    开心
    2012-1-13 11:05
  • 签到天数: 15 天

    [LV.4]偶尔看看III

    跳转到指定楼层
    1#
    发表于 2011-12-29 14:33 |只看该作者 |正序浏览
    |招呼Ta 关注Ta

    6 n) g! s  Z6 H% N8 G' ^5 D  t2 b6 s3 I

    4 u* r1 |4 |- Z( q/ d$ }三.典型同态映射的实例
    , t" i! l1 B1 T& ]1 R  w( G( r
    + o9 L2 y4 f: Y3 E. x5 X' ~- g5 d
    6 K% n6 |6 O- B
    & I; x; M; j8 B! J* d* D--------------------------------------------------------------------------------+ M5 q. \: f% K
    1 j3 X1 Y* P9 c9 `. T1 k* {3 a
    例11.21 (1) G1=<Z,+>是整数加群,G2=<Zn,>是模n的整数加群。令
    ! F5 I# p1 A! [! k3 M9 b% ~???????????:Z→Zn,(x)=(x)mod n
    9 Y( [2 P) C; g# C则是G1到G2的同态。因为x,y∈Z有
    4 Q& c* V  M! ]$ T????(x+y)=(x+y)mod n =(x)mod n(y)mod n =(x)(y)
    4 ~; I0 k( `  p. S??(2) 设G1=<R,+>是实数加群,G2=<R*,·>是非零实数关于普通乘法构成的群。令
    & R# i$ L; E1 l) t: J* e4 P???????????:R→R*,(x)= ex
    $ d/ P; S: p$ o+ l  i5 _' v5 ]则是G1到G2的同态,因为x,y∈R有
    ( c: i0 l8 r7 e$ c% C      ????(x+y)= ex+y = ex·ey = (x)·(y) 7 Q: r: ^% Z$ r  C( `  F) k
    ) w9 z8 N) Q5 g4 |* T
    ?(3) 设G1,G2是群,e2是G2的单位元。令
    & }$ R. X, T. G0 E: j. g0 [5 w?????????:G1→G2,(a) = e2,a∈G1
    1 n- w# }8 {3 O; t则是G1到G2的同态,称为零同态。因为a,b∈G1有4 _( \, s) k  @8 e+ c
    ?????????(ab)= e2 = e2e2 = (a)(b) 0 B7 g# z) G0 P# J4 r1 s
    ! R/ K5 f$ B1 l! q7 Q3 _
    ??例11.21 (1)中的同态是满同态,这是也可以说模n整数加群是整数加群的同态像。(2)中的同态是单同态。由于ran=R+,同态像是<R+,·>。这两个同态都不是同构。 - N7 \& \/ ]2 Q9 Q/ N/ m" p" W

    + d9 f) g2 @! G/ d1 r* h 例11.22 设G=<Zn,>是模n整数加群,可以证明恰含有n个G的自同态,即9 r) T6 r) X/ T& e3 a1 p
    ???????:Zn→Zn,  (x)=(px)mod n,p=0,1,…,n-1
    & S2 U. L  n, s) t) p( y: R. B: x" X% {" i/ |2 Z

    6 g0 n& T- m5 }  Y6 D: ?' |, o4 s3 S6 Z6 \8 t
    例11.23 设G为群,a∈G。令
    9 _! G- d0 C! Q( e: A????????:G→G, (x)=axa-1,x∈G% I8 H  {3 ^( M4 n+ ^
    则是G的自同构,称为G的内自同构。0 d4 s7 {3 M7 w% k8 f$ g6 F* j
    - O4 J& `" S3 `
    ? 证 x,y∈G有
    4 V0 ?0 u8 ]# g??????(xy)=a(xy)a-1=(axa-1)(aya-1)=(x)(y) - U" Q6 n* m/ \' X# y, q9 S

    $ 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

    4 ~8 J# w9 e* r* v! f???    ?i(xy)=i(x)i(y),i=1,2,…,6
    , ]* E) O6 i9 w% o9 u' F
    ; g# m' c' i6 K* B$ _( z$ n成立。所以上述的1,2,…,6是G上的全体自同构。 % @% A9 S, \4 n
    zan
    转播转播0 分享淘帖0 分享分享0 收藏收藏0 支持支持0 反对反对0 微信微信
    您需要登录后才可以回帖 登录 | 注册地址

    qq
    收缩
    • 电话咨询

    • 04714969085
    fastpost

    关于我们| 联系我们| 诚征英才| 对外合作| 产品服务| QQ

    手机版|Archiver| |繁體中文 手机客户端  

    蒙公网安备 15010502000194号

    Powered by Discuz! X2.5   © 2001-2013 数学建模网-数学中国 ( 蒙ICP备14002410号-3 蒙BBS备-0002号 )     论坛法律顾问:王兆丰

    GMT+8, 2026-8-15 16:28 , Processed in 0.402739 second(s), 51 queries .

    回顶部