aHbH,同理bHaH
aH=bH
拉格朗日定理
定理5-7.1(拉格朗日定理) 设<H,>为有限群<G, >的子群,|G|=n, |H|=m, 那么|G|/|H| = n/m是 整数,即m|n 。
拉格朗日定理的推论
推论1 任何质数阶的群不可能有非平凡子群。 推论2 设<G,>为n阶有限群,那么对于任意aG,a 的阶必是n的因子且必有an=e,这里e是群<G,>的幺 元。如果n为质数,则<G,>必是循环群。
陪集举例
例1.求出<N6,+6>关于子群<{[0],[3]},+6>的所有左 陪集,右陪集。 解:令H={[0],[3]}, 则左陪集: 右陪集: [0]H={[0],[3]}=[3]H H[0]={[0],[3]}=H[3] [1]H={[1],[4]}=[4]H H[1]={[1],[4]}=H[4] [2]H={[2],[5]}=[5]H H[2]={[2],[5]}=H[5] 从中可以看出:{[0]H,[1]H,[2]H}是G的一个划分。
补充:元素的阶(a的阶,记为|a| )
1.元素a的幂的定义
定义:给定群<G, * >,aG,若nN,则定义:
a0 = e,
an+1 = an * a,
a-n = a-1 * a-1 * * a-1= (a-1)n =(an)-1
对m用归纳法可证:am * an = am+n (m,nI),
5-5 阿贝尔群和循环群
定义 5-5.1 设 <G,>为一群,若 运算满足交 换律,则称G为交换群或阿贝尔群(Abel group)。 例:由于加法运算“+”满足交换律,因此群 <Z,+ >,<R, +>,<Q, +>,<C, +>都是交换群。