复旦大学：《离散数学 Discrete Mathematics（下）》英文课件（赵一鸣）05/32

例ε循环群的每个子群一定是循环群。 证明:设H是循环群G的子群,a是G的 生成元 l.a∈H 2a∈H,因H中每个元素都可以表示成a 的幂次形式。 设a是H中幂次最小的正整数。 对任意的a∈H,mk+r(≤r≤k-1) 目标r=0

▪ 例：循环群的每个子群一定是循环群。 ▪ 证明：设H是循环群G的子群，a是G的 生成元。 ▪ 1.aH ▪ 2.aH，因H中每个元素都可以表示成a 的幂次形式。 ▪ 设a k是H中幂次最小的正整数。 ▪ 对任意的a l H，l=mk+r(0≤r≤k-1) ▪ 目标r=0

、陪集 a,b关于模n同余当且仅当(a-b被n整除。 定义:设[H是群[G;*]的子群,对任意 ab∈G,a和b关子模H问余当且仅当a*b1∈H 记为a=b(modH) 定理1415:[G;*]为群H∈G,H为G的子群,当且仅当对任 a,b∈H,有a*b1∈H。 定理:G上的关于模H同余关系是等价关系。 证明:自反 对称 传递

二、陪集 ▪ a,b关于模n同余当且仅当(a-b)被n整除。 ▪ 定义：设[H;]是群[G;]的子群，对任意 a,bG，a和b关于模H同余当且仅当ab-1H 记为ab(mod H)。 ▪ 定理14.15:[G;]为群,HG,H为G的子群, 当且仅当,对任 a,bH,有ab -1H。 ▪ 定理：G上的关于模H同余关系是等价关系。 ▪ 证明:自反 ▪ 对称 ▪ 传递

[a]={xx∈G,且 X=a(mod H} ={xx∈G,且x*a1∈H} ={h*ah∈H 以a为代表元的等价类实质上是a从右边 乘H中的每个元素而得到的集合, Ha Ha={h*ah∈H}称为H在[G;*]中的右陪 集

▪ [a]={x|xG,且xa(mod H)} ={x|xG,且xa -1H} ={ha|hH} ▪ 以a为代表元的等价类实质上是a从右边 乘H中的每个元素而得到的集合， ▪ Ha ▪ Ha={ha|hH}，称为H在[G;]中的右陪 集

设[H;*是群[G;*]的子群,a∈G,则 (1)b∈Ha当且仅当b*a1∈H (2)b∈aH当且仅当a1*b∈H 定义1413:设[H;*]为群[G;的子群,取G 中一个固定元素g用g与H中的每个元素进 行乘法运算,将其结果组成一个集合,记为 gH,即:gH=g*hheH称它为H的左美同 理定义Hg=h*gheH为H的右集。 G=∪Ha=U∪aH a∈ a∈G

▪ 设[H;]是群[G;]的子群，aG，则 (1)bHa当且仅当ba -1H (2)baH当且仅当a -1bH ▪ 定义14.13：设[H;]为群[G;]的子群, 取G 中一个固定元素g,用g与H中的每个元素进 行乘法运算, 将其结果组成一个集合, 记为 gH,即:gH={gh|hH}称它为H的左陪集,同 理定义Hg={hg|hH}为H的右陪集。   a G a G G H a a H   = =

例:[E;十是群[z+]的子群,求它的所有 右陪集。这里E表示偶数全体 例:三次对称群S3={e2σ1,σ2,3,O4,5 的所有非平凡子群是 1={e,∞1:H2={e,o2;H3={e,o3}; H4={e,o4,s}。其中H4就是三次交代群 A3。现在考察H的陪集

▪ 例：[E;+]是群[Z;+]的子群，求它的所有 右陪集。这里E表示偶数全体。 ▪ 例：三次对称群S3={e,1 , 2 , 3 , 4 , 5 } 的所有非平凡子群是: ▪ H1={e, 1 }; H2={e, 2 }; H3={e, 3 }; H4={e, 4 , 5 }。其中H4就是三次交代群 A3。现在考察H1的陪集