7.4子群与陪集教学.ppt

* * 7.4子群与陪集 定义7.4.1设(G,°)是群，H是G的一个非空子集，若H关于运算°构成一个群，则称H是(G,°)的一个子群。 定理7.4.1 群( G, °)的一个非空子集 H构成 G的子群的充要条件是： （1）若a, b ∈ H, 则 a°b ∈ H, （2）若a ∈ H, 则 a-1∈ H。 推论7.4.1 若 H是群( G, °)的一个子群，则H的单位元就是G的单位元；H的任意一个元素在H中的逆元就是它在G中的逆元。 定理7.4.2 群( G, °)的一个非空子集 H构成 G的子群的充要条件是： 若a, b ∈ H, 则 a °b-1 ∈ H。 定理7.4.3 群( G, °)的一个非空有限子集H构成G的子群的充要条件是： 若a, b ∈ H, 则 a °b ∈ H。 设H，S是群( G, °)的非空子集， 若H是包含S的唯一的最小的子群，则称 S是子群 H的生成子集，记为S=H。 给定一个G的非空子集 S，则 S生成唯一的一个G的子群H ；反之不然，即给定一个G的子群H ，则一般来说生成 H 的子集不唯一。通常，称生成H的子集中一个最小的子集为H 的生成元集。 G的子群H的生成元集是不唯一的。 例. 几个重要的群： 一般线性群 GL(n,R) = { A | |A|≠0 } 正交群 O(n) = { A | AAT= E } 洛仑兹(Lorentz)群 下面讨论子群的陪集。目的是定义集合G上的一个等价关系及划分，由此得到群的一些重要性质。 设( G, °)是一个群，H为其子群，则可定义集合G上的一个等价关系～如下： a～b ? a °b-1∈ H 关系～满足下面的条件： （1）（自反性） a ∈ G，因为 a °a-1 ∈ H，故a～a； （2）（对称性）若a～b，则 a °b-1∈ H，因为H是子群，故 b °a-1 = (a °b-1)-1∈ H，即b～a； （3）（传递性）若a～b 且 b～c，则 a °b-1, b °c-1∈ H，故 a °c-1= a °b-1°b °c-1 ∈ H，即a～c。 因此关系～是等价关系。 定义7.4.2 由上述等价关系～决定的 G 中元素的每个等价类，都称为子群H的一个右陪集。 以 a 为代表元的右陪集记为Ha。 用右陪集这个术语以及记号，是基于下面结论：集合Ha恰好由在～下所有与 a等价的元素组成。 b～a ? b ° a-1∈ H ? b=h °a ? b ∈ Ha h= b °a-1 h ∈ H 故有 Ha={ h°a | h ∈ H } 例7.4.2 设H={(1), (12)}，则 H 是S3的一个子群。 由于，H = H(1) = H(12) ={(1), (12)} ， H(13) = H(123) ={(13), (123)} ， H(23) = H(132) ={(23), (132)} 。 因此，子群H 将S3划分成了三个互不相交的右陪集并， S3=H(1)∪H(13)∪H(23)。 定义7.4.3 设( G, °)是一个群，H为其子群，则定义集合G中的一个等价关系 ? 如下： a ? b ? b-1°a ∈ H 由等价关系 ? 决定的G中元素的每个等价类，都称为子群H的一个左陪集。 以 a为代表元的左陪集记为 aH。 与H的右陪集的结论类似地有： aH={ a°h | h ∈ H } 例7.4.3 n对于S3的子群H={(1), (12)} ， 故有： (1)H={(1), (12)}，H(1) ={(1), (12)}； (13)H={(13), (132)}， H(13) ={(13), (123)}； (23)H ={(23), (123)}，H(23) ={(23), (132)}。 于是有(13)H ≠ H(13)， (23)H ≠ H(23)。 定理7.4.4 设H为群( G, °)的一个子群，则H的左陪集数与右陪集数相等。 即由～和 ? 诱导的 G的二个划分的基数相等。 证. 设子群 H的左陪集的集合为Pl ，右陪集的集合记为Pr 。 作 f : Pl →Pr , aH →Ha-1 。下面证明 f 是一个双射。 首先，若 aH=bH，则 b-1°a ∈ H，即b-1°(a-1)-1 ∈