离散数学-15.pptVIP

* 离散数学 * 问题的另一方面 前面三个同态定理描述了同态像的情况： ⑴群G的同态像也是群，其核是正规子群； ⑵群G的正规子群H的所有陪集作成群G’，且是G的同态像，G’是G对H的商群G/H； ⑶群G的同态像G’≌G/Ker(σ)(G对其核的商群)。 那么，对于像源的情况又会怎样呢？比如 同态像的子群H’的像源是否也是子群呢？ 子群H的同态像σ(H)的像源是否就是H呢？ * 离散数学 * 子群的像源也是子群 证明：因为H’是G’的子群，所以H非空。 任取a, b∈H，则σ(a), σ(b)∈H’。又因为H’是子群，故 σ(ab–1)=σ(a) σ(b–1)=σ(a)σ(b)–1∈ H’。 从而ab–1∈H。所以H是G的子群。 命题17.5.1：设群G G’，若H’≤G’，令 H = { a∈G | σ(a) ∈ H’} 为H’的像源，则H’的像源H是G的子群。 σ ～ * 离散数学 * σ(H)的像源并不是H 证明：任取a∈G，k∈K，因为 σ(ak) = σ(a) σ(k) = σ(a)e’= σ(a) ， 所以σ(HK) = σ(H)，HK?H’’。 反之，设a∈H’’，则σ(a)∈σ(H)，而σ(H)是H的同态像，故必有h∈H， σ(h)= σ(a)。从而σ(e) = σ(h)–1σ(a) = σ(h–1a)。即h–1a∈K，a∈HK。故H’’?HK。总之有H’’ = HK。 命题17.5.2：设群G G’，K是同态核，H是G的子群，σ(H)的像源为H’’={a|σ(a)∈σ(H)}，则H’’=HK。 σ ～ * 离散数学 * H是σ(H)的像源的子集 因为e∈K，所以He=H?HK=σ(H)的像源，这说明H是σ(H)的像源的子集。 当K?H时，显然有HK=H。此时说明G与K之间的子群不比G’的子群多。 当K?H时，则σ(H)的像源HK就真包含H。 从这里可以看出， σ(H)的像源在多数情况下要大于H。 * 离散数学 * 同态群间的子群一一对应 定理17.5.5：设群G G’，K是同态核。于是，G与K之间的子群和G’的子群一一对应：大群对应大群，小群对应小群，正规子群对应正规子群。 σ ～ 证明：由命题17.5.1和17.5.2知，G与K之间的子群与G’与{e’}之间的子群一一对应： G对应σ(G)=G’，K对应σ(K)={e’}； H(K? H? G)对应σ(H)=H’({e’}? H’? G’)； 因为aHa–1?H当且仅当a’H’a’–1?H’，其中σ(a)=a’，σ(H)=H’。故正规子群对应正规子群。 * 离散数学 * 群同构举例 例3: 设G=S4, H={e, (12)(34), (13)(24), (14)(23)},已知H是G的正规子群，求证商群G/H≌S3。 解：已知S3={e, (12),(13), (23), (123), (132)}?G。 ∵H有4个元素，∴G/H有24/4=6个陪集。 (12)H= {(12), (34), (1324), (1423)} (13)H= {(13), (1234), (24), (1432)} (23)H= {(23), (1342), (1243), (14)} (123)H = {(123), (134), (243), (142)} (132)H = {(132), (234), (124), (143)} ∴G/H={H, (12)H, (13)H, (23)H, (123)H, (132)H} 例如： (12)(13)(24) =(12)[3412] =[3421] =(1324) 于是由G对H的陪集分解，得： G/H={H, (12)H, (13)H, (23)H, (123)H, (132)H} 作映射σ: S3?G/H为σ(a)=aH, a∈S3。显然σ(a)是双射，且对任意a, b∈S3，由H的正规性：σ(ab) = abH =abHH = aHbH = σ(a)σ(b), 即σ是同构，故G/H≌S3。 * 离散数学 * 集合的乘积 定义17.4.1：设A，B是群G的两个非空子集，集合 AB = { ab | a∈A，b∈B} 称为A与B的乘积。 当集合中只含一个元素时，即当A= {a}或B={b}，AB简记为aB 或Ab。 不难验证，集合的乘法满足结合律。 * 离散数学 * 陪集 定义17.4.2：设H是群G的子群，a∈