- 1、本文档共12页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
13代数系统-群11 30整理ppt
上次课主要内容: 群的定义 1、定义11.4 设G,? 是代数系统, ? 为二元运算. 如果? 运算是可结合的,存在单位元 e ∈ G, 并且对G中的任何元素x都有x-1 ∈ G,则称G为群。 在含幺半群的基础上添加了条件:每个元素均有逆元 6、定理11.2 设G为群, ?a,b∈G 方程 ax=b和ya=b在G中有解且有惟一解 幺元是群中唯一的等幂元 例 设G={a1,a2,…,an}是n阶群 令aiG={aiaj | j=1,2,· · · ·, n} 证明 aiG = G. 证: 由群中运算的封闭性有aiG ? G. 假设 aiG ? G,即|aiG |n. 必有aj,ak ∈ G使得 aiaj = aiak (j ≠ k) 由消去律得 aj=ak,与 | G |= n矛盾 2) 设 |ab|=r ,|ba|=t 则展开 (ab)tab = a(baba…ba)b =a(ba)tb = ab 即 (ab)t = e 有 r|t 展开(ba)rba = b(abab…ab)a = b(ab)ra = ba 即 (ba)t = e 有 t|r 所以有 r=t § 10.2 子群与群的陪集分解 一、子群就是群的子代数. 1)定义 设G是群,H是G的非空子集,如果H关于G中的运算构成群,则称H是G的子群, 记作H≤G. 若H是G的子群,且H ? G,则称H是G的真子群, 记作HG. 二、子群的判定定理 1、定理10.4(判定定理一) 设G为群,H是G的非空子集.H是G的子群当且仅当下面的条件成立: 1) ?a,b∈H 有 ab ∈H (运算封闭) 2) ?a∈H 有 a-1 ∈H (存在逆元) 充分性:只要证明e ∈H 即可 例、设G是群 对于任意的a ∈G 令S={ an |n ∈Z } 证明S是G 的子群 证:按判定定理二来判断 对任意的an,am ∈S an(am)-1 = an(a-1)m =an-m n- m∈ Z 所以 an-m ∈S 如果a的阶是有限的(为r) 则 S={a,a2,a3,…ar} 三、群的陪集分解 1、右陪集定义 设H是群G的子群,a∈G 令Ha={ha|hG} 称Ha是子群H在G中的右陪集,称a为Ha的代表元素 例:设G={e,a,b,c}是Klein四元群,H={e,a}是G的子群 H的所有右陪集为:He=Ha=H={e,a} Hb={b,c}=Hc 不同的右陪集只有两个H、{b,c} 2、右陪集的性质 1)定理10.7 设H是群G的子群,则 (1)He=H (2) ?a∈G 有 a∈Ha 作业:P203 17、18、20、22 * * 2、特殊的群 1、定义11.5 (1)若群G是有穷集,则称G是有限群 否则称为无限群. 群G的基数称为群G的阶. (2)只含单位元的群称为平凡群. (3)若群G中的二元运算是可交换的, 则称G为交换群或阿贝尔(Abel)群. 3、群中元素的幂 定义: G是群, a∈G , n ∈ Z 则元素a的n次幂: e n = 0 an = an-1a n0 (a-1)m n0 n=-m 4、元素的阶 定义11.7 设G是群,a ∈ G,使得等式: ak=e 成立的最小正整数是称为d的阶(a的周期), 记作 |a| =k 这时也称a为k阶元 若不存在这样的正整数k,则称a为无限阶元 5、元素幂的性质 定理11.1 设G为群 则G中的幂运算满足: (1)?a∈G ,(a-1)-1 = a (2)?a,b∈G,(ab)-1=b-1a-1 (3)?a∈G anam=an+m n,m∈Z (4)?a∈G (an)m=anm n,m∈Z (5)若G为交换群,则(ab)n=anbn a-r=(ar)-1 (ar)-1 = (a-1)r 7、群满足消去律 定理11.3 设G为群, ?a,b,c∈G 1)若 ab = ac 则 b = c 2)若 ba = ca 则 b = c 8、定理 设G为群, a∈G 且|a|=r 1) ak = e
文档评论(0)