- 1、本文档共35页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
子群判定定理应用实例1 群G的中心C ?G 证明:单位元e ? C,所以C非空。 ? a,b? C, ?g ? G, 则ag=ga,bg=gb, 从而有b-1g=gb-1, (ab-1) g = a(b-1g) = a(gb-1) = (ag)b-1=(ga) b-1=g (ab-1) 所以ab-1 ? C, C ?G 生成的子群举例2 Z12,+12 2生成的子群2 = { 0,2,4,6,8,10 } 3生成的子群3 = { 0,3,6,9 } Klein 四元群 e={e},a={a,e}, b={b,e},c={c,e} 生成的子群举例3 Z12,+12 B={2,3}生成的子群B = Z12 Klein 四元群G={e,a,b,c} a,b= G 子群格 设G是一个群,S={H |H?G}是G的所有子群的集合,在S上定义关系?如下: A ? B当且仅当A是 B的子群 则S, ? 构成偏序集,称为群G的子群格。 陪集 定义10.6 : G 为群,H≤G, a∈G, 右陪集 Ha = { ha | h∈H } Ha 中的a 称为该陪集的代表元素 类似地,有左陪集aH = {ah | h∈H } 陪集实例 Z12,+12 3={0,3,6,9}的右陪集分别是3+1={1,4,7,10},3+2={2,5,8,11},3 Klein 四元群G={e,a,b,c} 子群H={e,a}的右陪集分别是He=Ha=H, Hb=Hc={b,c}。 陪集的性质 定理10.7-9: G 为群,H 是G 的子群,则 (1) He=H; (2) a∈Ha; (3) Ha≈H; (4) a∈Hb ? ab?1∈H ? Ha=Hb (5) 在G 上定义二元关系R, aRb?ab?1∈H,则R 为等价关系,且[a]R=Ha (6) a,b∈G, Ha∩Hb=? 或Ha=Hb,且∪Ha=G 陪集的性质 定义左陪集 aH={ ah | h∈H } 性质类似 a∈bH ? aH=bH ? a?1b∈H H 在G 中的指数[G:H] H 在G 中的右(或者左)陪集数 正规子群 正规子群:H≤G,,且?a∈G,aH=Ha. 记为H?G. 正规子群的判定 判定定理: N≤G, 则下述条件等价 (1) N 是G 的正规子群 (2) ?g∈G, gNg?1 = N (3) ?g∈G, ?n∈N, gng?1∈N 判定定理 证:(1) ?(2): gN = Ng ? gNg?1 = N (2) ?(3): gng ?1 ∈gNg ?1 = N (3)?(1): ng∈Ng?n∈N,g ?1 ∈G?g ?1 ng∈N ?ng∈gN gn∈gN?n∈N,g∈G?gng ?1∈N?gn∈Ng 正规子群特例1 N是G的唯一的t 阶子群, 证明 N是G的t 阶子群,且是唯一的t 阶子群,则N是G的正规子群. 证:任取g∈G, gNg-1≤G, 且|gNg-1|=|N|,从而得到gNg-1=N,因此N是正规的. 正规子群特例2 指数为2的子群 证明 N是G的子群,且[G:N]=2, 则N是G的正规子群. 证:任取g∈G, 若g∈N, 则gN=N=Ng;若g?N, 则gN=G-N=Ng, 因此N是正规的. 正规子群及其判定 判定方法 (1)判定定理 (2)|N|=t, N是G的唯一t阶子群 (3)指数为2的子群 共轭子群xHx?1 = { xhx?1 | h∈H } 其中H≤G, x∈G 则|xHx?1|=|H| * * 作业 P203 20-24 * |B|无限时,此定理不成立 如:Z,+,B={2,4,6,...} * * * * * 元素乘积的阶(2) 例10.6: G为群,a,b∈G是有限阶元,则: (1)|b-1ab| = |a| (2) |ab| = |ba| 证: (1)|设|a| = r, |b-1ab|=t ,则 1) (b-1ab)r= (b-1ab) (b-1ab) …… (b-1ab) = b-1arb= b-1eb=e,所以t|r,同理r|t 2) ab=b-1 (ba)b * * 子半群(子独异点) 定义10.3:设S,*是一个半群,B?S且*在B上是封闭的,那么B,*也是一个半群,通常称B,*是半群S,*的子半群; 设S,*是一个独异点,B?S,e?B且*在B上是封闭的,那么B,*也是一个独异点,通常称B,*是独异点S,*的子独异点。 半群S的子代数是S的子半群,独异点S的子代数是S的子独异点 * * 同态和同构 半群与独异点的同态和同构 半群f(xy)=f(x)f
文档评论(0)