QQ登录

只需要一步,快速开始

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

典型同态映射的实例

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

43

主题

4

听众

204

积分

升级  52%

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

    [LV.4]偶尔看看III

    跳转到指定楼层
    1#
    发表于 2011-12-29 14:33 |只看该作者 |正序浏览
    |招呼Ta 关注Ta
    4 Z# ~, \# b* g3 K( \6 i
    9 k. o9 r5 G# X+ I3 P3 l

    # ]" r1 e2 d/ V6 N- x- H三.典型同态映射的实例 ) v, i/ X" k7 \- m! [

    9 H6 N& F$ ]9 I1 H+ n) ?  _
    $ g$ V5 ?5 U# b  n# K
    % Q4 U% d1 p* [( m--------------------------------------------------------------------------------# S) l, m, P2 E

    5 N% G' a9 f& I2 \ 例11.21 (1) G1=<Z,+>是整数加群,G2=<Zn,>是模n的整数加群。令# _# K9 h8 `( l/ L' t
    ???????????:Z→Zn,(x)=(x)mod n5 a8 c- M+ {! {$ ^
    则是G1到G2的同态。因为x,y∈Z有! v4 ?- ]' l3 E: _# o
    ????(x+y)=(x+y)mod n =(x)mod n(y)mod n =(x)(y). A; b9 R( n9 ^3 j: P4 x9 t
    ??(2) 设G1=<R,+>是实数加群,G2=<R*,·>是非零实数关于普通乘法构成的群。令
    % w0 J' F- }/ {1 l???????????:R→R*,(x)= ex' H3 [, p# n6 O1 ?% S
    则是G1到G2的同态,因为x,y∈R有' ~# g8 t5 K& T! @  H/ W/ ^" O
          ????(x+y)= ex+y = ex·ey = (x)·(y)
    8 Q2 A6 w! u! \- `( c1 d7 X$ Q
      h! @2 y5 w6 L7 k?(3) 设G1,G2是群,e2是G2的单位元。令
    5 U, C& W% W. \+ T# G+ V. r' `& _?????????:G1→G2,(a) = e2,a∈G1) G9 p; d% O9 Y/ ^2 U$ r: |
    则是G1到G2的同态,称为零同态。因为a,b∈G1有
    * E5 {9 T8 ~# [* @% I( t. S?????????(ab)= e2 = e2e2 = (a)(b)
    ! K6 T3 M. G1 w
    / G) x5 i  {" {1 g( p8 \/ ^4 J??例11.21 (1)中的同态是满同态,这是也可以说模n整数加群是整数加群的同态像。(2)中的同态是单同态。由于ran=R+,同态像是<R+,·>。这两个同态都不是同构。
    / g4 Z' C  Y* W9 `7 w  k. v9 [9 F5 Z9 ^% U! O: ^
    例11.22 设G=<Zn,>是模n整数加群,可以证明恰含有n个G的自同态,即
    9 G7 o! y! F3 Z7 d2 d: b( O  I$ w???????:Zn→Zn,  (x)=(px)mod n,p=0,1,…,n-1 7 A- {" ?6 W) |: d

    $ Q& E2 K. J, ^1 P0 l! v
    7 h6 V7 {5 d. d6 y0 o: y- D2 T! P' U& k
    例11.23 设G为群,a∈G。令
    + k: d" Y( w  i$ T# }+ t????????:G→G, (x)=axa-1,x∈G  k9 G3 P6 F, E6 D- M* `) n2 l
    则是G的自同构,称为G的内自同构。3 F( n  ~  ^7 x( h. K% j) o

    3 G: h. d# n) |* }' z  o# i, q? 证 x,y∈G有
    / b6 I- Z# i. P: |; {% X??????(xy)=a(xy)a-1=(axa-1)(aya-1)=(x)(y)
    7 o+ e- U+ q* N2 `. R
    $ A; ?8 Q  y9 p所以是G的自同态。
    : G! m& b9 e" p( a0 A6 W; l- _/ p0 k4 Q8 i, A3 c
       任取y∈G,则a-1ya∈G,且满足
    9 Q: W5 t+ h0 v??????????(a-1ya)=a(a-1ya)a-1=y7 v! h! V+ T7 f) k
    所以是满射的。?, k4 R; X9 d  F( Q, i: R9 S
    * g( S8 K( Y4 k5 h* W% {& X
       假若(x)=(y),即axa-1=aya-1,由G中的消去律必有x=y。从而证明了是单射的。2 ?, g" M' m" d5 ^

    7 L" W4 L: |$ ]: X9 b   综合上述,是G的自同构。7 `$ m, l- _( d9 d2 A

    + [( G1 Y8 N4 K% R# [8 F??如果G是阿贝尔群。对于上面的内自同构必有
    ; _/ N; `  L; N% z??????????(x)=axa-1=aa-1x=x
    4 B& Y. ~7 ]9 O& m, O这说明阿贝尔群的内自同构只有一个,就是恒等映射。
    # b6 ?6 v. p8 \9 _7 x2 U* l
    4 k& E9 A% d- C9 B4 J7 E??考虑模3整数加群<Z3,>,根据例11.22,Z3有3个自同态,即p=(px)mod3,p=0,1,2.( s. H  ]5 H  z4 M
    ???????p=0,  0={<0,0>, <1,0>, <2,0>}% G0 r9 U( Q+ f
    ???????p=1,  1={<0,0>, <1,1>, <2,2>}
    ! s9 L: c3 ~* S. l( p# c???????p=2,  2={<0,0>, <1,2>, <2,1>}" b. u; Q4 p+ Q' m) I# w  }
    在这三个自同态中,1和2 是 Z3的自同构,其中1是内自同构。0是零同态。
    & O  k$ o0 H  D" K$ B+ k- b7 S7 H3 X+ S0 M7 J
    --------------------------, O7 Z% [$ y9 ^0 q
    ) L! C' a. X' L! ]5 F; u
    例11.25 设G={e,a,b,c}是Klein四元群。试给出G的所有自同构。
    1 k# o4 h8 I7 n4 o
    4 ?" u& h& `! Z* ~% r! v? 解 设是G的自同构,则(e)=e,且是双射。因此满足这些条件的映射只有以下六个:/ Z  I4 a" e1 D" Q
    % a: R6 l# ~, d6 w5 ?
    ??????1:e  e,  a  a,  b  b,  c  c 4 O! r* d/ u) E$ I; h5 L7 b

    - |! \) s: Y: v3 q; M; n??????2:e  e,  a  a,  b  c,  c  b
    ) p: }/ ?6 }) [
    ( E/ j( k7 _& ]+ Y/ d+ n??????3:e  e,  a  b,  b  c,  c  a . `; v8 e& a; B
    ! `/ {! a( P; D+ k6 C
    ??????4:e  e,  a  b,  b  a,  c  c
    1 Y9 j2 O' {" ^# O) X0 R
    " _3 O* i# g" {2 H5 H* U4 A??????5:e  e,  a  c,  b  b,  c  a : ]% d% A5 ]' q2 I0 s) u
    6 `, j9 D% B2 ~4 ^( j
    ??????6:e  e,  a  c,  b  a,  c  b
    5 R) f% S, y6 h6 c) O9 `+ e5 o" g
    * d; P5 c$ U. |3 j; h; `% `根据同态定义,不难验证x,y∈G都有; ]! y3 ^: ^( Y8 t+ P& o( }

    * B0 Y& {" b  t7 X; N! A& w???    ?i(xy)=i(x)i(y),i=1,2,…,6
    $ f4 ~0 y! b% L5 S5 @' ~4 W1 K/ f
    * E  `9 t2 e+ X+ b成立。所以上述的1,2,…,6是G上的全体自同构。 # W' q; Q5 y/ E: S7 ]# ~
    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-4-21 07:38 , Processed in 0.394360 second(s), 51 queries .

    回顶部