第10讲 正规子群与群论的基本课题.pptVIP

研究群论的基本思想 设Ｈ是群Ｇ的一个子群，I是G关于H的左陪集代表系, 在左陪集空间｛Ｇ／Ｈ｝l ＝｛aH: a∈I｝上定义运算的自然方式是 问题1: 这个“运算”是由陪集的代表元来体现的，它必须与代表元的选择无关，即　 　　　 　　 ?c∈aH, ?d ∈bH 有 (ab)H=(cd)H. G的每个子群都满足这个要求吗？ 这叫“运算”(1)的定义的合理性. 问题2: 由陪集的意义: aH ={ah: h∈H}, 自然会想到 aH bH＝{xy: x∈aH, y∈bH} 这样一个算式(称为群的子集的集合乘积). 上式右端一定是一个左陪集吗? 讨论问题1: ?c∈aH, ?d ∈bH 有 (ab)H=(cd)H. 设c =ah, d=bl, h,l ∈H. 则 (ab)H=(cd)H ?有t∈H使cd=abt. 即 ahbl =abt ? b?1hb ∈H. (*) 注意: 1、c =ah ∈aH的任意性等价于h∈H的任意性; 2、运算对象是所有的左陪集，要求运算与代表元的选择无关, 故(*)应对?b∈G都对. 结论：运算aH bH＝(ab)H与代表元的选择无关当且仅当 ?h∈H, ?b∈G有 b?1hb∈H. (*) 定义1.8.1 设H是群G的子群,如果 (*) b?1 hb∈H. (?h∈H, ?b∈G) 则称H是G的正规子群(也叫不变子群),记H?G。 每个群都有两个正规子群:{e}和G,这两个称为G的平凡正规子群. 定理1.8.1 设H是群G的子群,则 H?G ? (2) (?b∈G) bH=Hb (因此,对正规子群不区分左右陪集)? (3) (?b∈G) b?1 Hb=H ? (4) (?b∈G) b?1 Hb?H 定理1.8.2 如果H是群G的正规子群,则陪集空间{G/H}关于运算 aH bH＝(ab)H 构成一个群,称为G对H的商群,记为 G/H. 证明: 结合律显然,有单位元 eH=H, 有逆元 (bH)?1 = b?1 H. ■ 如果H是群G的正规子群,则问题２的答案是肯定的： aH bH＝ a(Hb)H=a(bH)H= (ab)H. 例1 G/G是单位元群; G/{e} ≌G. 如果H是群G的正规子群,就可以得到与G密切相关的两个群:子群H和商群G/H. 如果H或G/H也有非平凡的正规子群,则将得到与G密切相关的一些更小的群. 如此等等,就可将群G化简为相对很小的一些群来研究. 但是,如果G没有非平凡的正规子群, 则如此美好的研究思路就成了天空中的雨后彩虹—--仅供欣赏! 于是,人们就把这样的群叫做单群. 研究单群就是群论的基本课题之一. (有限单群的分类问题) 反之,如果已知群G的正规子群H和相应的商群G/H≌N, 问: 能否由H和N来确定G的结构? 或者说: 已知两个群H和N,是否有一个群G使得 H?G 且 G/H≌N? 如果有, 问: 有多少个? 这个问题叫群的扩张问题,也是群论的基本课题之一. 证明　1) 设H?G,则 ?b∈G, ?h∈H有 b?1hb∈H ? 4) (?b∈G) b?1Hb?H ? (?b∈G) H?bHb?1 (当b遍历G时, b?1也遍历G ) ? (?b∈G) H?b?1 Hb ?3) (?b∈G) H=b?1 Hb, (两边左乘b) ?2) (?b∈G) bH = Hb, ? (?b∈G,?h∈H) 由 hb∈Hb = bH 有k ∈H 使 hb=bk ? (?b∈G,?h∈H) b?1hb . ■ 例2 交换群的每个子群都是正规子群. 因为, bH={bh: h∈H}, 显然有bH = Hb. 例3 设n∈N, 在整数加群(Z,+)中,由 n 生成的子 群是 nZ= 由例2, 则 nZ?Z,商群 Z对nZ的陪集称为模 n 的同余类或剩余类. 例4 交换群G是单群?|G|是素数, 或者|G|=1. 证明 设交换群G是单群,且|G| ≠1, 则有a∈G, a≠e. 即?a?≠{e}. 由例2知?a??G. 而G是单群? ?a?=G. 如果 a2 =e, 则|G|=2. 如果 a2≠e, 同理有?a2?=G. 于是有 a=(a2)k =a2k ? G是有限群. 设m是|G|的任一正因数,由有限循环群的性质知,|G|有m阶子群H. 由H?G ?H={e}或G ? m =|H|=1或|G|. 所以, |G|是素数. ■ 作业 P53 1,