QQ登录

只需要一步,快速开始

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

典型同态映射的实例

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

43

主题

4

听众

204

积分

升级  52%

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

    [LV.4]偶尔看看III

    跳转到指定楼层
    1#
    发表于 2011-12-29 14:33 |只看该作者 |倒序浏览
    |招呼Ta 关注Ta
    ! y8 m4 a9 u, ]- C- A" M/ T) C
    " J3 z0 l: W7 w; |

    4 |2 x$ I# a/ z  [三.典型同态映射的实例 - Y1 ^8 t( x  }& ]6 L# ~

    ! c  x4 ~% s" l" ]' u. n
    0 W) ]" |- r( ~
    - k' L* d8 r$ x--------------------------------------------------------------------------------  O$ q' ~# k* P' H. Q1 w

    ' w$ E# P/ S  V) D" S* G 例11.21 (1) G1=<Z,+>是整数加群,G2=<Zn,>是模n的整数加群。令
    # w) _3 b% b6 m8 \% f???????????:Z→Zn,(x)=(x)mod n
    ' n* N% D6 \! x" `5 [- m, Y# @  Q则是G1到G2的同态。因为x,y∈Z有
    % k" y9 }, Q) i2 j6 j" B% b/ Y2 a????(x+y)=(x+y)mod n =(x)mod n(y)mod n =(x)(y)
    ' N8 d5 U7 P9 S??(2) 设G1=<R,+>是实数加群,G2=<R*,·>是非零实数关于普通乘法构成的群。令- H# e' N  x. `8 y
    ???????????:R→R*,(x)= ex/ s8 l+ a$ u/ p# ]/ y, p
    则是G1到G2的同态,因为x,y∈R有
    : u/ x+ Z: L. W: l      ????(x+y)= ex+y = ex·ey = (x)·(y)
    2 Q' d( r4 y+ S: Y" `9 H4 m" D( H( h" ?9 p
    ?(3) 设G1,G2是群,e2是G2的单位元。令
    8 k6 J  j0 i9 w( r?????????:G1→G2,(a) = e2,a∈G1
    8 z! h6 S2 l- y# J- S3 K: }则是G1到G2的同态,称为零同态。因为a,b∈G1有
    # l$ R8 o& ], @: P3 ~" ^?????????(ab)= e2 = e2e2 = (a)(b) 4 n7 `6 u1 `6 V( ^9 Q- B+ U4 n2 N

    / V* n+ L: ~8 `% @??例11.21 (1)中的同态是满同态,这是也可以说模n整数加群是整数加群的同态像。(2)中的同态是单同态。由于ran=R+,同态像是<R+,·>。这两个同态都不是同构。
    ) Y5 U9 A8 o7 f0 h; M* K+ U& t; T' \4 G; ~: v4 C# V5 I- l5 i
    例11.22 设G=<Zn,>是模n整数加群,可以证明恰含有n个G的自同态,即. P+ h7 o) K- |  D3 S
    ???????:Zn→Zn,  (x)=(px)mod n,p=0,1,…,n-1 * _1 x7 F8 X1 m; Y" Q) l7 Z5 X

    , `" M" {/ `9 p  y+ t9 r) W0 r9 ^: A% e: T4 K" ]! @! d0 Q
    4 H* y" Q$ T: S1 \3 o; z
    例11.23 设G为群,a∈G。令
    : J7 l9 P* }) X, V* ^????????:G→G, (x)=axa-1,x∈G
    & F/ F/ h8 |( @# K则是G的自同构,称为G的内自同构。" F; E6 i* d9 D* q
    ' |+ ^" E  G5 Z
    ? 证 x,y∈G有
    & k, ^! r+ G2 j??????(xy)=a(xy)a-1=(axa-1)(aya-1)=(x)(y)
    0 R* i* a9 v7 A. V( z* ]( @! N$ `. Y2 v, [+ u$ p
    所以是G的自同态。! m3 c' L1 x: z. M. [& e

    : a3 c3 Q4 x. R9 P$ S   任取y∈G,则a-1ya∈G,且满足2 z7 j, A' A  h8 J* Y; Q
    ??????????(a-1ya)=a(a-1ya)a-1=y
    ! {! [9 c" Y: X$ t所以是满射的。?+ `$ {; t+ c) }2 [
    & d$ y, P) R4 S5 e0 m; t4 }
       假若(x)=(y),即axa-1=aya-1,由G中的消去律必有x=y。从而证明了是单射的。
    ' i3 E0 l, x9 k3 ?  M$ S& y
    # H3 x$ X0 e5 G% F. D   综合上述,是G的自同构。
    & k/ V' O  Y/ N
    : [2 B7 b+ p6 g. H9 u: A5 c6 w??如果G是阿贝尔群。对于上面的内自同构必有
    / K7 T, b5 Y7 ?5 Z9 E# _7 H# k??????????(x)=axa-1=aa-1x=x% l! N/ \* ]' U' u# b0 \5 H- r: Y" T
    这说明阿贝尔群的内自同构只有一个,就是恒等映射。
    : o7 N4 U  G) n
    + ]: ]! h: G7 y2 q??考虑模3整数加群<Z3,>,根据例11.22,Z3有3个自同态,即p=(px)mod3,p=0,1,2.
    6 V5 K$ p# v. ]0 K???????p=0,  0={<0,0>, <1,0>, <2,0>}" }% k  c$ j0 V4 Z' ^7 x- _' a5 Q
    ???????p=1,  1={<0,0>, <1,1>, <2,2>}  K* n1 i7 K' [9 p! I/ q$ ?7 ^
    ???????p=2,  2={<0,0>, <1,2>, <2,1>}
    % l2 f% b: s" B1 |" ]在这三个自同态中,1和2 是 Z3的自同构,其中1是内自同构。0是零同态。 7 j' R8 O, @- c2 Y

    ' S* A/ b  l2 J( b0 |--------------------------0 b& t: N7 }3 ?# b0 f: {; i
    4 A* l% b$ n  N7 Y2 F
    例11.25 设G={e,a,b,c}是Klein四元群。试给出G的所有自同构。! i" z. z* z3 p  r! N2 H
    / b8 K" D+ A0 W3 _9 o
    ? 解 设是G的自同构,则(e)=e,且是双射。因此满足这些条件的映射只有以下六个:
    # @/ `& U/ U. d* ?- Z  k9 t
    # J+ l8 D2 T9 S: D) j1 M3 c??????1:e  e,  a  a,  b  b,  c  c
    7 Y5 e6 {$ a6 \( O7 ~. k4 z  f. z' U3 x# w( ~" e# x( m) e
    ??????2:e  e,  a  a,  b  c,  c  b ! s' z$ u6 V# S& V

    1 U$ R+ C. p- C; u/ f??????3:e  e,  a  b,  b  c,  c  a ; V. I. j- U3 }- H

      N/ [# M& I! k( v! I- j??????4:e  e,  a  b,  b  a,  c  c * j  I8 ]' G& F) |2 D
    ; ~* u+ P9 z- J2 ^
    ??????5:e  e,  a  c,  b  b,  c  a
    & ]6 B( p! G6 a  [% f7 l) |, [
    , z; u" O2 c$ j8 W* l' K??????6:e  e,  a  c,  b  a,  c  b3 u6 }" T' c% Y! N! n

    + D& A8 q. X( q( Q8 g' I根据同态定义,不难验证x,y∈G都有6 A* S+ i! ^- Q; ~% _9 m
    : q- R' W5 ?) c2 e% R2 s
    ???    ?i(xy)=i(x)i(y),i=1,2,…,6
    ( v: z& k- t. e" b* Y& p2 {( T2 \4 M! E/ c/ o. V0 {! C0 k# y
    成立。所以上述的1,2,…,6是G上的全体自同构。
    1 a- L; ~% @/ }' L! H0 f( x& W
    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-9-1 04:10 , Processed in 1.164300 second(s), 51 queries .

    回顶部