2.1子群的陪集.pptVIP

第二章：群的进一步讨论 Chapter 2 Extension of Group Theory;§2.1 轨道，子群的陪集(2.1 Orbit, Coset of Subset);例1. S3={(1)(12)(13)(23)(123)(132)}, H={(1)(12)} 则H的左陪集aH有 (1)H=(12)H=H (13)H=(123)H={(13)(123)} (23)H=(132)H={(23)(132)} H的右陪集Ha有 H(1)=H(12)=H H(13)=H(132)={(13)(132)} H(23)=H(123)={(23) (123)} 注1. 陪集的表示形式不唯一，且aH与Ha不一定相等。 注2. 更一般地，G是集S上的一个变换群，x∈S，称 xG = {xa|a∈G} 为x的 G 轨道。 注3. G 的分类：{ xH | x∈G } 称为G关于H的左陪集分解 L(H) (类似右陪集分解R(H)) 。;子群的陪集的性质;我们只证明⑴和 ⑵，其余留给读者。;2.1.2 拉格朗日定理(Lagrange Theorem) 一个群的左陪集aH和右陪集Ha一般情况下不一定相等，但对于两个不同的左陪集xH、yH，考虑映射f : xH→yH，对于xh∈xH，f(xh)=yh。 可以证明 f 是一个双射，从而 |xH|=|yH|=|eH|=|H|， 即每一个左陪集与H具有相同的基数。 同样地也可以证明，每一个右陪集与He=H也有相同的基数，并且存在左陪集分解L(H)到右陪集R(H)的双射φ: aH→Ha-1 ，从而L(H)与R(H)具有相同的基数，称为H在G中的指数(index)，记作[G:H]。 当G为有限时，则子群H的阶数|H|和指数[G:H]也是有限的，并且有下面的关系。; Lagrange定理：设G是n阶有限群，H为G的m阶子群， [G:H]＝s ，则 |G|=|H|[G:H] (或n=ms) 。 证明: [G:H]＝s，于是存在x1，x2，…，xs∈G，使{ x1H，…，xsH}为G的左陪集分解集，即G= 且xiH∩xjH=φ (i≠j)。 而每一个陪集元素个数(基数)均为H，即任意x∈G，|xH|=|H|。故得 |G|=;由拉格朗日定理不难得到如下推论: 推论: (1)当|G|=n有限时，H≤G，|H|=m，则 m|n， 即子群H的阶是n的因子。 (2)当|G|=n有限时，任意x∈G，则o(x)|n，从而 xn=e。 (3). 当|G|=p为素数，则G=Cp是p阶循环群，即素数阶群必为循环群。 例. 在例1中, |G|=|S3|=6 |H|=|xH|=|Hx|=2 则 [G:H]=6/2=3