南京大学《离散数学》课件-第17章子群，群的分解.docxVIP

第十七章子群，群的分解 离散数学教学组 南京大学 回顾 ?运算及其封闭性 ?运算的性质 、—A-A- —|— ?运算表 ?代数系统 ?代数系统的同构与同态 提要 ?子群定义 ?子群判定定理 ?有限子群判定定理 ?元素的阶 ?陪集，集合的划分 ?拉格朗日定理 子群 ■子群是群的子代数 ■定义： 设(G, *, e, T)为群，H CG，若 (, y € H)(w * y E H) (Closure) e 6 H (Identity) (Vt G H)(雳t 6 H) (Inverses) 则称(H. *)为(G *)的子群(Subgroup),记为(H, *) W (G *)，当丑C G时 称(H. *)为(G, *)的真子群,记为(H, *)V(G, *) 子群 ■设G*,e,T〉为群,贝U〈{e},*〉MG’*〉, 〈G*＞三〈G,*〉,皆称为G的平凡子群 ■例如： 。〈么 +＞ V〈股,+〉 O〈厶乙 +〉＜〈么 +〉M E Z 子群的判定定理 ■考虑子群的存在条件: 问题1：沥应该在哪儿? I问题2： H是否—定是％? 子群的判定定理 ■定理(子群判定定理)： 设(G, *, e, T)为群，H JG,以下四点等价： (H. *) W (G *) (H, *, e, T)为群 (c.l) H 刊 (c.2) (Va, b e H)(cib G H) (c.3) (Va e H)(qT e H) (d.l) H . 0 (d.2) (\/a, b G G H) 子群的判定定理 证明:(a) = (b):设(H, *) V (G, *),由子群定义易得(H, *, e, -’)为群。 n (c):设(H,礼 e, T)为群 ：e Q H /.(c.l) H 半 成立。(c.2)与(c.3)易见。 n (tZ) : Va, b 6 H,由(c.3)知G H， 又由(c.2)得泌t C Ha 今(a):由(cLl)知，H . 0 ,取b 6 H, 从而由(d.2)知位-1 = e e H, 从而Vq G H,由(d.2)得ea~[ 6 H,即cL e H. 又Va, b G H,我们有a, b~r G H, 由(d.2)知，Q(b-)T = ab G H. 我们在验证(H. *)是否为(C, *)子群时，只需验证丑非空且运算*, T对H封闭。 有限子群的判定定理 有限子群的判定定理 ■定理（有限子群判定定理）： 设G为群，H是G的非空有穷子集，贝IJH是 G的子群当且仅当：\/a,bEHfabEH 有限子群的判定定理 有限子群的判定定理 证 必要性显然.为证充分性，只需证明aEH有qS 任取a € H,若6/ = e,则q丨=e € H. 若岬,令S={2 . },则心H. 由于H是有穷集，必有d = d （i勺）. 根据G中的消去律得厂=。,由a + e可知j-i\,由此 得 d~1Xa = e 和 qWI = e 从而证明了宀y h. 群中元素的阶 ■定义(元素的阶)： 设(G, *)为群，n - Z, ciCG,以下定义 若n 0,则q已在上讲定义。 若n 0,则an = (a~n)_1o 若(女G N+)(q = e),则称q的阶(order)是有穷的且记石的阶| q |= min{n 0 | an = e}。 若-z (3n, G N+)(o = e),则称口的阶是无穷的，且记。的阶| a |= oo。 性质： aman = am+n gm = nnm 群中元素的阶 ■例: 在Kleine 4群（卩 在07?+7）中，| 左，乙中.1 ;*)中，e 0 =1, a y ()=1 L a 当a 丰《时，a r f 0 =2。 * e a b c 元素 0 1 2 3 4 L e e a b c a a e c b 阶 1 6 3 2 3 6 b b c e a c c b a e  群中元素的阶 ■定理(元素的阶的性质): 1 ^殳(。. *), a, b E G, |(z|, |b|为有穷 对心 G Z+, ak = e o| a || |a | = I a-1 \ab\ = \l)a \b~rab\ = \a 群中元素的阶 . (1)对k E Z+,濟=e = \a\\k 证明：⑴,设|q| = m 0, m = min{k \ ak — e /\ k 0} 故k m,从而/c = q x m +厂，这里0 7 m ak = aqm * ar = (am)Q * ar = eq * ar = ar r m 厂=0,从而k = q X m,故m | k 群中元素的阶 (2)令 |q| = r (a_1)r =(心 t = e_1 = e I .*, a-11 I |q|,同理 |