- 1、本文档共92页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
G;的子群。证明对任意aH.ppt
第二部分 抽象代数 1. 设 H; ? 是群 G; ? 的子群,试证 H; ? 在 G; ? 的所有左(右)陪集中有且仅有一个是 G; ? 的子群。 2. 设有代数系统 I; ? ,运算 ? 的定义如下: ?a, b ? I,a ? b = a + b – 2, 试证 I; ? 是循环群。 2. 证明: ? a, b, c ? I,因为 (a ? b) ? c = (a + b – 2) ? c = a + b + c – 4 a ? (b ? c) = a ? (b + c – 2) = a + b + c – 4 所以运算 ? 满足结合律。 ?a ? I,因 a ? 2 = a + 2 – 2 = a,2 ? a = a,故单位元是 2。 ?a ? I,因 (4 – a) ? a = (4 – a) + a – 2 = 2,故 a 的逆元是 4 – a。 从而 I; ? 是群。 对于任何整数 n,1n = 2 – n,即 n = 12 – n,∴ 1 是生成元。 也可以验证 3 也是生成元,3n = n + 2。 定理5-20 设 H; ? 是群 G; ? 的子群,a, b ? G,则有 (1) aH = bH ? b ? aH。 (2) Ha = Hb ? b ? Ha。 证明:(1) 设 b ? aH,因为 e ? H,所以 b = b ? e ? bH,于是 aH ? bH ? ?。 由定理 5-19 知 aH = bH。 反之,设 aH = bH,则由 b = b ? e ? bH 可知 b ? aH。 (2) 与 (1) 类似可证。 定理5-21 设 H; ? 是群 G; ? 的子群,则 (1) G; ? 中 H; ? 的所有相异的左陪集组成 G 的一个分划; (2) G; ? 中 H; ? 的所有相异的右陪集组成 G 的一个分划。 证明:(1) 因为 H; ? 是群 G; ? 的子群,有 e ? H,所以对任意 a ? G,有 a = a ? e ? aH,即 aH 非空。 由定理 5-19(1), G; ? 中 H; ? 的任意两个相异的左陪集相交为 ?。 对 G 中的每个元 a 必在左陪集 aH 中,故有 G = ?(aH)。 从而 H 的所有相异的左陪集组成 G 的一个分划。 (2) 与 (1) 类似可证。 注: 定理中的分划称为群 G; ? 中与 H; ? 相关的左(右)陪集分划(分解)。 可以看作是由 G 上某一等价关系 ? 所导致的等价分划,这里 ? 是当且仅当 a 和 b 是在 H; ? 的相同的左(右)陪集中时,有 a ? b。 当 H; ? 是 G; ? 的正规子群时,这种分划简单地称为 G; ? 中与 H; ? 相关的陪集分划(分解)。 定理给出了构造左(右)陪集分划的一个方法: (1) H 本身是一个,令 G ? = G – H; (2) 若 G ? = ?,结束,否则任取 a ? G ? ,求得 aH 是一个; (3) 令 G ? = G ? - aH,转 (2)。 可类似地构造 H 的所有右陪集。 例6 对于群 Z4; ?4 , H; ?4 是该群的一个子群,其中 H = {0, 2},则 Z4; ?4 中 H 的左陪集为 0H = {0, 2} = 2H, 1H = {1, 3} = 3H, 于是 {0H, 1H} = {0, 1, 2, 3} 为 Z4 的一个分划。 定理5-22 设 H; ? 是群 G; ? 的子群,a ? G,则 #(aH) = #(Ha) = #H。即 H 的任意陪集与 H 的基数相同。 证明:定义函数 f : H ? aH,f(x) = a ? x。 对任意 x1, x2 ? H,若 f(x1) = f(x2),即 a ? x1 = a ? x2,则消去 a 后得到 x1 = x2,故 f 是一个内射。 对任意 y ? aH,必存在 h ? H,使 y = a ? h = f(h),故 f 是一个满射。 于是 f 为双射。 所以 H 与 aH 具有相同的基数。 同理可证,H 与 Ha 具有相同的基数。 注: 设 H; ? 是群 G; ? 的子群,则 H; ? 的所有相异左陪集的个数和所有相异右陪集的个数相同。(教材,169-170) 定义5-14 群 G; ? 中子群 H; ? 的所有相异的左(右)陪集的数目,称为 H; ? 在 G; ? 中的指数。 在例 5 和例 6 中, H; ? 在 G; ? 中的指数均为 2。 定
文档评论(0)