QQ登录

只需要一步,快速开始

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

典型同态映射的实例

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

43

主题

4

听众

204

积分

升级  52%

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

    [LV.4]偶尔看看III

    跳转到指定楼层
    1#
    发表于 2011-12-29 14:33 |只看该作者 |倒序浏览
    |招呼Ta 关注Ta
    0 N# F6 h  ~' V+ z, B+ m
    0 K, S# a8 L- U: A
    7 W$ E, i  @/ D. |/ o0 }: o/ m
    三.典型同态映射的实例 # s" m, a4 |9 [/ R/ }
    0 ~  B% [$ j; S9 {$ j( p( ^" `

    " i8 j, u  k! Y6 u1 ]0 z* r2 X$ s; I6 ]( x) Z
    --------------------------------------------------------------------------------
    ) n7 _: g& c9 s# s& ?% h8 n! k# q9 A* ]* Y# K
    例11.21 (1) G1=<Z,+>是整数加群,G2=<Zn,>是模n的整数加群。令
    # K! r/ s& S& u3 T. h: t5 o2 N) D???????????:Z→Zn,(x)=(x)mod n
    8 I% A# Z3 j" ]* b& Z' T8 {+ `0 q则是G1到G2的同态。因为x,y∈Z有' I  I# `* C4 ^' e/ k
    ????(x+y)=(x+y)mod n =(x)mod n(y)mod n =(x)(y)
    : q& t4 s8 ^0 Y! l: Y8 z' _??(2) 设G1=<R,+>是实数加群,G2=<R*,·>是非零实数关于普通乘法构成的群。令
    + O! G7 X5 D" Q$ T- s???????????:R→R*,(x)= ex+ V$ `" Y4 W3 G% k
    则是G1到G2的同态,因为x,y∈R有
    5 o/ o& t% B1 A8 @      ????(x+y)= ex+y = ex·ey = (x)·(y)
    1 ^* C- y0 q) _/ r8 I: N# g$ T* A* ~. j
    ?(3) 设G1,G2是群,e2是G2的单位元。令
    $ p2 f& Z$ D$ D* D; x8 U/ b, M?????????:G1→G2,(a) = e2,a∈G1& |! B; \9 D. b. w; O
    则是G1到G2的同态,称为零同态。因为a,b∈G1有3 m' F) J2 g1 K+ }6 u. N
    ?????????(ab)= e2 = e2e2 = (a)(b) 3 D( P8 P$ T, o3 E- n, f. u- f

      X) }3 b+ y! J3 M# Y' t??例11.21 (1)中的同态是满同态,这是也可以说模n整数加群是整数加群的同态像。(2)中的同态是单同态。由于ran=R+,同态像是<R+,·>。这两个同态都不是同构。
    : X8 Q; P9 ?0 E$ }/ J) R
    + g6 q0 E  Z8 \/ \" A6 j$ n. h2 M/ K 例11.22 设G=<Zn,>是模n整数加群,可以证明恰含有n个G的自同态,即! a- e( y- d; Q. N/ @, Q" m
    ???????:Zn→Zn,  (x)=(px)mod n,p=0,1,…,n-1
    8 v) u$ t: T; n4 N1 L: ]  W/ p& o: J2 i9 m0 W, h1 ~' R
    ) Y9 Q$ c+ g; x3 s5 @
    4 z  ~7 e: a; D; Z( S3 B) D
    例11.23 设G为群,a∈G。令
    + }: l0 K- b0 N, l4 H7 K????????:G→G, (x)=axa-1,x∈G0 A3 P$ g  A) q! s9 X& C
    则是G的自同构,称为G的内自同构。+ I' D( R1 P: R* d5 x$ m
    ; {) X6 _" a4 F0 ~. C) }  I
    ? 证 x,y∈G有! V: A9 n* ?' c  y$ f
    ??????(xy)=a(xy)a-1=(axa-1)(aya-1)=(x)(y)
      m4 h  a: S  B/ e5 A
    ' y( ?4 |$ W+ C7 R4 b4 p所以是G的自同态。
    ' u3 {+ Q  g" [! v- w) |# e" Z) T* @2 H/ x" Q: F
       任取y∈G,则a-1ya∈G,且满足
    * Q( w; t+ t7 O# e( C. w2 C: v??????????(a-1ya)=a(a-1ya)a-1=y
    0 ~! ]; F9 D7 Q所以是满射的。?# |2 R) m% B2 c4 r& p
    . P9 U3 `- j; U- Z5 R: f
       假若(x)=(y),即axa-1=aya-1,由G中的消去律必有x=y。从而证明了是单射的。4 o6 v4 O! `/ m: n2 G
    1 r  p: F6 H" e
       综合上述,是G的自同构。( E( `" N( b" g- w, \
    ) }7 m& l/ U& x+ H
    ??如果G是阿贝尔群。对于上面的内自同构必有
    8 @* E7 E' V) b" A) s3 i: u. A' ^: V??????????(x)=axa-1=aa-1x=x- V* a6 B9 C4 Z4 d' L
    这说明阿贝尔群的内自同构只有一个,就是恒等映射。
    + H( ]% i  w$ K. }; n0 Y
    1 }) W/ e+ |# a( E1 z1 e??考虑模3整数加群<Z3,>,根据例11.22,Z3有3个自同态,即p=(px)mod3,p=0,1,2.
    / m! n8 d8 O( N8 l2 e3 i" N; V8 u???????p=0,  0={<0,0>, <1,0>, <2,0>}
    7 k' ]7 M; S" }7 ]% \5 I2 z* w3 I???????p=1,  1={<0,0>, <1,1>, <2,2>}0 x% }# {8 U: I2 m( X: s6 x
    ???????p=2,  2={<0,0>, <1,2>, <2,1>}
    & Y# T* K. c4 |+ k# r  G在这三个自同态中,1和2 是 Z3的自同构,其中1是内自同构。0是零同态。 2 S  M$ o' J$ t6 h
    % r3 j& p4 [7 F
    --------------------------* I* q+ O2 t9 q( l0 g9 o

    9 g% _4 {- Q: n9 w) ]6 q 例11.25 设G={e,a,b,c}是Klein四元群。试给出G的所有自同构。
    9 {. }$ [; l. }2 @+ \
    - C! N+ S# }: D) E3 L? 解 设是G的自同构,则(e)=e,且是双射。因此满足这些条件的映射只有以下六个:" l8 o, Z. m3 K: P; }

    : w7 Y: @, |# X; w( K+ b0 y% f??????1:e  e,  a  a,  b  b,  c  c
    , V8 l# a: f! A9 z$ T1 O) L: ]$ K3 A% g1 c) I3 t6 |
    ??????2:e  e,  a  a,  b  c,  c  b 6 Z" h* t) _7 z, p

    5 ?0 d+ y0 T/ b* \??????3:e  e,  a  b,  b  c,  c  a
    ) m5 d  H$ ~; c) C6 L
    4 }+ X6 g$ O4 @* u' b: C4 E' Z* m??????4:e  e,  a  b,  b  a,  c  c
    5 v, j: a, \5 [1 k
    7 o# P3 v* u! N5 B4 v8 M. `" _' f??????5:e  e,  a  c,  b  b,  c  a
    # m! k+ i- j; G" \) R, w/ `, p( y3 o8 {" k
    ??????6:e  e,  a  c,  b  a,  c  b
    ) L" j( o% [( i6 U, z0 |7 b
    4 z7 B( F% P, |' w. w0 n6 Z" q: {根据同态定义,不难验证x,y∈G都有# R* m, B$ Z0 f0 s

    ! Z' N; Q8 u. Q6 g6 Y0 B2 d???    ?i(xy)=i(x)i(y),i=1,2,…,6
    0 H& z6 r4 A6 y. W  l( {  S" k( t" y2 U# K$ ~
    成立。所以上述的1,2,…,6是G上的全体自同构。 7 [  E; ~; C3 X1 t' Z1 V  a+ K" O9 `
    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 15:24 , Processed in 0.405816 second(s), 51 queries .

    回顶部