子群与陪集

合集下载

《子群的陪集》课件

《子群的陪集》课件
《子群的陪集》PPT 课件
• 子群与陪集的定义 • 子群的分类 • 陪集的分类 • 子群的性质 • 陪集的性质 • 子群与陪集的应用
目录
01
子群与陪集的定义
子群的定义
子群
一个群G的一个非空子集H,如果 对于G的每一个元素g,H中的元 素h满足$ghg^{-1}$也在H中, 则称H是G的一个子群。
陪集的性质
总结词
陪集的性质
详细描述
陪集具有传递性、对称性和可结合性,即如果H₁/G和H₂/G是群G的两个子群,那么H₁∩H₂/G=(H₁/G)∩(H₂/G), 且(H₁∪H₂)/G=(H₁/G)∪(H₂/G)。
陪集的运算性质
总结词
陪集的运算性质
详细描述
如果H₁/G和H₂/G是群G的两个子群,那么(H₁∪H₂)/G=(H₁/G)∪(H₂/G), (H₁∩H₂)/G=(H₁/G)∩(H₂/G),且H₁/G⋅H₂/G=(H₁⋅H₂)/G。
正规子群。
举例
整数模n的乘法子群是模n的剩余 类环的正规子群。
性质
正规子群在陪集中保持元素共轭 。
幂零子群
定义
如果存在正整数n,使得 $a^n=e$对于所有$a in H$,则称H是幂零子群。
举例
整数模n的乘法子群是幂零 子群。
性质
幂零子群是可解的,且其 指数为素数。
幂小子群
定义
如果存在正整数n,使得$a^n=e$对于所有$a in H$,则称H是幂小子群。
子群与陪集的关系
子群的陪集
如果H是G的子群,那么H的左陪集和右陪集都是G的子群。特别地,如果H是G 的正规子群,那么H的左陪集和右陪集是相同的,称为H在G中的余类。
举例
在整数集合中,所有偶数的集合是整数集合的一个子群,偶数集合的左陪集和右 陪集都是整数集合的子群。特别地,如果取H为所有偶数,那么H是整数集合的 正规子群,其左陪集和右陪集都是整数集合的子群。

离散数学第2版教学课件-子群

离散数学第2版教学课件-子群

8.2 子群与陪集子群与群的关系:拉格朗日定理。

子群判定定理典型子群陪集H 是G 的非空子集(1)a,b ∈H 有a b ∈H(2) a ∈H 有a -1∈H.H 是G 的非空子集a,b ∈H,有ab -1∈HH 是G 的非空有穷子集a,b ∈H 有ab ∈H 陪集的性质Lagrange 定理及推论子群非空子集、群8.2 子群与陪集子群定义设G是群,H是G的非空子集,定义8.5(1) 如果H关于G中的运算构成群,则称H是G的子群, 记作H≤G.(2) 若H是G的子群,且H G,则称H是G的真子群,记作H<G.例如nZ (n是自然数) 是整数加群<Z,+> 的子群. 当n≠1时,nZ是Z的真子群.任何群G都存在子群. G和{e}都是G的子群,称为G的平凡子群.(子群判定定理1 )定理8.5设G为群,H是G的非空子集,则H是G的子群当且仅当(1) ∀a,b∈H有ab∈H(2) ∀a∈H有a-1∈H.证必要性是显然的.为证明充分性,只需证明e∈H.因为H非空,存在a∈H. 由条件(2) 知a-1∈H,根据条件(1) aa-1∈H,即e∈H.(子群判定定理2 )定理8.6设G为群,H是G的非空子集. H是G的子群当且仅当∀a,b∈H,有ab-1∈H.证必要性显然.只证充分性. 因为H非空,必存在a∈H.根据给定条件得aa-1∈H,即e∈H.任取a∈H, 由e,a∈H 得ea-1∈H,即a-1∈H.任取a,b∈H,知b-1∈H. 再利用给定条件得a(b-1) -1∈H,即ab∈H.综合上述,可知H是G的子群.(子群判定定理3 )定理8.7设G为群,H是G的非空有穷子集,则H是G的子群当且仅当∀a,b∈H有ab∈H. 证必要性显然.为证充分性,只需证明a∈H有a-1∈H.任取a∈H, 若a = e, 则a-1= e∈H.若a≠e,令S={a,a2,…},则S⊆H.由于H是有穷集,必有a i= a j(i<j).根据G中的消去律得a j-i= e,由a ≠ e可知j-i>1,由此得a j-i-1a = e 和 a a j-i-1= e从而证明了a-1= a j-i-1∈H.根据子群判定定理1,可知H是G的子群。

2:置换群和子群及其陪集

2:置换群和子群及其陪集

1 2 3 4 5 6 例6.3.3 σ = 3 2 4 1 5 6
=(1 3 4)=(3 4 1)=(4 1 3)。
定义6.3.3 M的两个轮换 σ=(a1…ar)和 τ=(b1…bs)说是不相杂或不相交, 如果 a1,… , ar和b1,…,bs都不相同。
结论:若σ和τ是两个不相杂的轮换,则其乘法 适合交换律: στ=τσ
于是由定理6.3.2即可推知下列推论。 推论 对任意置换,有一法(但未必只有一法)可将其 写成一些对换的乘积。 这里,乘积中出现的诸对换已非不相杂,例如上列式中的 诸对换竟一律杂以a1。而且,表法也不唯一。比方,
(12)=(1 2)(1 3)(1 3)=(2 3)(1 3)(2 3)。
6.3.3 置换的顺向圈表示 置换表成一组不相杂轮换之乘积后,就可以 在平面上用一组顺向圈来表示,这样,就得到一 个平面上的有向图形,它直观地描绘出元素之间 的变换关系,例如,例6.3.4中的置换(1 2)(3 4)有图形
G σ=
α z
i 1
n
i i
=α1z1 +α2z2 + … +αnzn,
0 ≢α1≢n; αn=0或1; 全部α都是非负整数。
6.3.4 置换的奇偶性 设σ表为k个不相杂的轮换的乘积,这些轮换的长 度分别为r1,r2,…,rk。视
(rj-1)= n - k,
j 1
k
(计k时包括长度为1的轮换在内)为奇或为偶,我们 说σ是一个奇置换或偶置换。由前面的定理 6.3.2及公式(3),我们知道这样的σ可表为
定理6.3.4 设M的元数为n,若n>1,则奇置换的个数和偶 置换的个数相等,因而都等于n!/2 。 证明:命τ1,τ2,…,τm (5) 为M的所有不同偶置换,由于n>1,故我们可以取一个对换ρ ,而作下列乘积: ρτ1,ρτ2,…,ρτm (6) 显然ρτi是奇置换,而且诸ρτi互不相同,即(6)中无重 复元素。事实上,当i≠j时τi≠τj,故倘若 ρτi=ρτj,则以ρ-1左乘得τi=τj将导出矛盾,这说明 M的奇置换不少于偶置换.反之,若σ为M的任意奇置换, 则ρ-1σ为偶置换,故必等于某一个τi,ρ-1σ=τi,因 而σ=ρτi,这说明M的任意奇置换必在(6)中,(6)就是M 的所有奇置换,M的奇置换不多于偶置换.于是奇置换的 个数和偶置换的个数相等,各占置换总数n!的一半,这就 证明了定理6.3.4。

子群的左右陪集例题

子群的左右陪集例题

子群的左右陪集例题摘要:一、子群的定义与性质1.子群的定义2.子群的性质二、左右陪集的概念与性质1.左右陪集的定义2.左右陪集的性质三、子群的左右陪集例题解析1.子群G 与左陪集L 的关系2.子群G 与右陪集R 的关系3.子群G 的左陪集与右陪集的关系四、结论与拓展1.子群左右陪集在数学中的应用2.子群左右陪集在实际问题中的应用正文:子群的左右陪集是群论中的一个重要概念,它涉及到子群的定义、性质以及与左右陪集的关系。

本文将详细解析子群的左右陪集例题,帮助读者更好地理解这一概念。

首先,我们需要了解子群的定义与性质。

子群是群G 的一个子集,满足群G 的运算性质。

子群具有封闭性、结合律、单位元和逆元等性质。

其次,我们需要了解左右陪集的概念与性质。

左陪集是群G 的一个子集,满足G 的运算性质,且对任意g∈G,有h·g∈L(h∈L)。

右陪集是群G 的一个子集,满足G 的运算性质,且对任意g∈G,有g·h∈R(h∈R)。

左右陪集具有封闭性、结合律、单位元和逆元等性质。

接下来,我们通过例题来解析子群的左右陪集。

假设群G={e, a, b, a^2, b^2},其中运算为乘法,且满足结合律。

我们可以求出G 的子群H={e,a^2},以及左陪集L={e, a^2}和右陪集R={e, a, a^2, b, b^2}。

通过例题,我们可以发现子群G 与左陪集L、右陪集R 之间的关系,以及左陪集L 与右陪集R 之间的关系。

最后,我们总结子群左右陪集的概念、性质及应用。

子群左右陪集在数学中有着广泛的应用,例如,通过对子群的左右陪集的研究,可以更好地理解群的性质,进而研究更复杂的数学问题。

此外,子群左右陪集在实际问题中也有应用,例如,在密码学、编码理论等领域,子群左右陪集的概念和性质可以帮助我们设计更安全的加密算法和更高效的编码方案。

陪集

陪集

陪集8.2 子群与陪集陪集定义与实例定义8.9设H是G的子群,a∈G.令Ha={ha | h∈H}称Ha是子群H在G中的右陪集. 称a为Ha的代表元素.例7(1) 设G={e,a,b,c}是Klein四元群,H=<a>是G的子群.H所有的右陪集是:He={e,a}=H, Ha={a,e}=H, Hb={b,c}, Hc={c,b}不同的右陪集只有两个,即H和{b,c}.8.2 子群与陪集例7(续)(2) 设A={1,2,3},f1, f2, …, f6是A上的双射函数. 其中f={<1,1>,<2,2>,<3,3>},f2={<1,2>,<2,1>,<3,3>}1f={<1,3>,<2,2>,<3,1>},f4={<1,1>,<2,3>,<3,2>}3f={<1,2>,<2,3>,<3,1>},f6={<1,3>,<2,1>,<3,2>}5令G = {f1, f2, … , f6},则G 关于函数的复合运算构成群. 考虑G 的子群H={f, f2}. 做出H 的全体右陪集如下:1Hf={f1︒f1, f2︒f1}=H , Hf2={f1︒f2, f2︒f2}=H1Hf={f1︒f3, f2︒f3}={f3, f5}, Hf5={f1︒f5, f2︒f5}={f5, f3}3Hf={f1︒f4, f2︒f4}={f4, f6}, Hf6={f1︒f6, f2︒f6}={f6, f4}4结论:Hf1=Hf2,Hf3=Hf5,Hf4=Hf6.定理8.8 8.2 子群与陪集陪集的基本设H是群G的子群,则(1) He = H(2) a∈G有a∈Ha证(1) He = { he | h∈H} = { h | h∈H} = H(2) 任取a∈G,由e∈H,a = ea和ea∈Ha得a∈Ha8.2 子群与陪集定理8.9设H是群G的子群,则∀a,b∈G有a∈Hb ⇔ab-1∈H ⇔Ha=Hb证先证a∈Hb⇔ab-1∈Ha∈Hb⇔∃h(h∈H∧a=hb)⇔∃h(h∈H∧ab-1=h) ⇔ab-1∈H再证a∈Hb⇔Ha=Hb.充分性. 若Ha=Hb,由a∈Ha可知必有a∈Hb.必要性. 由a∈Hb可知存在h∈H使得a =hb,即b =h-1a 任取h1a∈Ha,则有h1a = h1(hb) = (h1h)b∈Hb从而得到Ha ⊆Hb. 反之,任取h1b∈Hb,则有h1b = h1(h-1a) = (h1h-1)a∈Ha从而得到Hb⊆Ha. 综合上述,Ha=Hb得证.8.2 子群与陪集定理8.10设H是群G的子群,在G上定义二元关系R:∀a,b∈G, <a,b>∈R ⇔ab-1∈H则R是G上的等价关系,且[a]R = Ha.证先证明R为G上的等价关系.自反性. 任取a∈G,aa-1= e∈H⇔<a,a>∈R对称性. 任取a,b∈G,则<a,b>∈R⇒ab-1∈H⇒(ab-1)-1∈H⇒ba-1∈H⇒<b,a>∈R传递性. 任取a,b,c∈G,则<a,b>∈R∧<b,c>∈R ⇒ab-1∈H∧bc-1∈H⇒ac-1∈H ⇒<a,c>∈R下面证明:∀a∈G,[a]R= Ha. 任取b∈G,b∈[a]R⇔<a,b>∈R ⇔ab-1∈H ⇔Ha=Hb⇔b∈Ha推论设H是群G的子群, 则(1) ∀a,b∈G,Ha = Hb 或Ha∩Hb = ∅(2) ∪{Ha | a∈G} = G证明:由等价类性质可得.由以上定理和推论可知,H的所有右陪集的集合恰好构成G的一个划分。

子群及其陪集

子群及其陪集
使用同样办法可以证明下面练习:
设G是一个群,H是G的一个子群。aG。试证 aHa-1={aha-1 |hH}是G的子群。也称共扼子群。
精品PPT
6.4.2 子群的判别条件
判别条件一 定理6.4.1 群G的一个子集H是G的一个子群 的充分必要条件是:
(1) 若a∈H,b∈H,则ab∈H; (2) 若a∈H,则a-1∈H; (3) H非空。
精品PPT
例子
例 设H和K都是群G的子群,令 HK={xy|xH,yK}。试证若HK=KH,则HK是 G的子群(此题的逆命题就是书中习题6.4的14) 因为1H,1K,故1HK,即非空。
对于任意的x=hk, y=h1k1,这里h, h1H, k, k1K, 有xy- 1 =(hk)(h1k1)-1=h(kk1-1)h-1。
精品PPT
例子
例 设(G,*)是群,对G中任意a,令H={x|x*a=a*x, xG},试证明(H,*)是(G,*)的子群。
证明:显然1H,即H非空,对H中任意x,y 有 (x*y)*a=x*(y*a)=x*(a*y)=(x*a)*y=(a*x)*y=a*(x*y ),故x*yH,即H中*运算封闭。在H中*运算显 然仍满足结合律。对H中任意x 有x*a=a*x,于是 x-1*(x*a)*x-1=x-1*(a*x)*x-1,化简得到a*x-1=x-1*a, 即x-1 H。证毕
精品PPT
判别条件一
证明: 必要性
若H是G的子群,则(1)、(3)显然。现要证(2).
先证H中的单位元就是G中的单位元。
设1G是G中的单位元,1H是H中的单位元。 任取a∈H,则在H中有: 1H a=a, 故在G中也成立。以a-1右乘得
(1H a)a-1 =aa-1,即,1H (aa-1) =1G , 1H 1G = 1G ,

子群与陪集

子群与陪集

定义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 }
• 给定一个G的非空子集 S,则 S生成唯一的一个G 的子群H ;反之不然,即给定一个G的子群H , 则一般来说生成 H 的子集不唯一。通常,称生成 H的子集中一个最小的子集为H 的生成元集。
• G的子群H的生成元集是不唯一的。
例. 几个重要的群: 一般线性群 GL(n,R) = { A | |A|≠0 }
7.4 子群与陪集
定义7.4.1 设( G, ∘)是群,H 是G的一个非空子集, 若H 关于运算 ∘ 构成一个群,则称H是( G, ∘)的一 个子群。
• 任何群( G, ∘)都至少有两个子群:群G本身,以及 只包含单位元的集合{e}。称为群 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.4 考察三次对称群S3及其子群 H={(1), (12)} S3的阶是6;H的阶是2;H有3个右陪集,因此 H 在 S3中的指数是3。 当然2和3都整除6,并且6=2x3。 S3的6个元素是(1), (12), (13), (23), (123), (132),它 们的阶分别是1 2 2 2 3 3,都能整除S3的阶。 S3的6子群是{(1)}, {(1), (12)}, {(1), (13)}, {(1), (23)}, {(1), (123), (132)}, {(1), (12), (13), (23), (123), (132)}

子群的左右陪集例题

子群的左右陪集例题

子群的左右陪集例题一、子群的定义和性质子群是群的一个重要概念。

给定一个群G和一个子集H,如果子集H中的元素满足封闭性、结合律和单位元、逆元等群性质,那么称子集H是一个子群。

子群内部的元素具有一定的组合规律,我们可以利用子群来研究群的性质和结构。

二、陪集的概念和作用陪集是群论中的一个重要概念。

给定一个群G和一个子集H,对于子集H 中的每一个元素h,我们可以找到一个与h等价的元素g,使得陪集GH={g}。

陪集在研究群结构、子群关系等方面具有重要作用。

三、子群的左右陪集的求解方法子群的左右陪集是指子群G中元素与子群H中元素的对应关系。

求解子群的左右陪集的方法主要有以下几种:1.直接法:对于子群G和子群H,我们可以通过列出G中元素与H中元素的对应关系来求解左右陪集。

2.传输矩阵法:对于子群G和子群H,可以构造一个传输矩阵,通过矩阵的乘法得到左右陪集。

3.拉格朗日插值法:利用拉格朗日插值多项式求解子群的左右陪集。

四、例题解析以下以一个具体的例子来说明如何求解子群的左右陪集:已知群G={1, 2, 3, 4, 5},子群H={1, 3}。

1.求解G关于H的左陪集:根据直接法,我们可以得到G关于H的左陪集为:LG={(1, 1), (2, 1), (3, 1), (4, 1), (5, 1)}2.求解G关于H的右陪集:根据直接法,我们可以得到G关于H的右陪集为:RG={(1, 1), (2, 2), (3, 3), (4, 4), (5, 5)}五、总结与拓展本文介绍了子群的定义和性质、陪集的概念和作用,以及子群的左右陪集的求解方法。

通过具体例题的解析,加深了对子群和陪集的理解。

在实际应用中,子群和陪集的研究有助于揭示群的内在结构,为后续的群论研究打下基础。

群论的概念

群论的概念

群论的概念
群论是数学中的一个重要分支,它主要研究代数结构中的群及其性质。

群是一种代数结构,具有封闭性、结合律、单位元、逆元等性质,它是数学中最基本的代数结构之一,涉及到许多领域,如代数、几何、物理学等。

群论的基本概念包括群、子群、同态、陪集等。

群是由一组元素及其之间的一种二元关系组成的代数结构,它满足封闭性、结合律、单位元和逆元等基本性质。

子群是群的一个子集,也是一个群,同时满足原群的封闭性、结合律、单位元和逆元等性质。

同态是一个保持群之间运算关系的映射,它保持群之间的结构不变。

陪集是指群中一个元素a和它的所有变换aG所组成的集合。

群论在许多领域中都有广泛的应用。

在代数学中,群论是研究各种代数结构的基础,如环、域等。

在几何学中,群论被用于研究对称性和变换群等问题。

在物理学中,群论被广泛应用于研究对称性、粒子物理学、量子力学等问题。

在计算机科学和密码学中,群论被用于设计和分析密码系统。

总之,群论是数学中一个重要的分支,它涉及到许多领域,具有广泛的应用价值。

通过对群论的研究,可以深入理解许多代数结构和自然现象,并且能够为实际问题提供解决思路和方法。

第8节 子群的陪集 PPT

第8节 子群的陪集 PPT

Lagrange定理的应用
命题:如果群 G 只含 1 阶和 2 阶元,则 G 是Abel群. 证 设a为G中任意元素,有a1 = a. 任取 x, y∈G,则
xy = (xy)1 = y1x1 = yx, 因此G是Abel群.
Lagrange定理的应用
例3 证明 6 阶群中必含有 3 阶元.
证 设G是6 阶群,则G中元素只能是1阶、2阶、3阶 或6阶. 若G中含有6 阶元,设为a,则 a2是3 阶元. 若G中不含6 阶元,下面证明G中必含有3阶元. 如若不然,G中只含1阶和2阶元,即a∈G,有 a2=e,由命题知G是Abel群. 取G中2阶元 a 和 b, a b,令 H = {e, a, b, ab},则H 是G的子群, 但 |H| = 4,|G| = 6,与Lagrange定理矛盾.
性质2 设H是群G的子群,则a, b∈G有 a∈bH b∈aH a1b∈H aH=bH .
性质3 设H是群G的子群, 则 (1) a∈G,aH≠ ; (2) a, b∈G,aH = bH 或 aH∩bH = ; (3) ∪aH = G . 性质4 设H是群G的子群,则H的所有左陪集构成的 集族是G的一个划分.
H所有的右陪集是: H(1)={(1), (1 2)}=H(12)=H H(13)={(13), (123)}=H(123) H(23)={(23), (132)}=H(132) 不同的右陪集只有3个, 即H, H(13), H(23).
左陪集的基本性质
性质1 设H是群G的子群,则 (1) eH = H; (2) a∈G 有a∈aH.
证 设[G:H] = r,a1, a2, …, ar分别是H 的r个不同右陪 集的代表元素,
G = Ha1∪Ha2∪…∪Har | G | = |Ha1| + |Ha2| + … + |Har| 由|Hai| = |H|,i = 1, 2, …, r, 得

子群的陪集与群的同构定理的几何解释

子群的陪集与群的同构定理的几何解释

子群的陪集与群的同构定理的几何解释
本文旨在讨论子群的陪集与群的同构定理的几何解释。

群的同构定理指出,一个群的子群存在其他群的子群,可以表示为一个巨大的空间。

因此,本文将介绍子群的陪集在群的同构定理中的几何解释。

首先,需要界定什么是群及其子群,以及它们之间的关系。

群是一种数学实体,由一组可以进行执行操作组成。

这些操作可以是乘法,加法,减法等。

群的子群是指具有特定规则的一组元素。

是一个群的子集,也有自己的操作,需要遵守群中的操作规则,如乘法,加法等。

接下来,将介绍子群的陪集在群的同构定理中的几何解释。

群的同构定理认为,一个群的子群存在另一个群的子群。

这意味着它们之间存在几何上的关系,可以用一个巨大的空间来描述。

这个空间可以用四维坐标来表示,如果把四维坐标投射到3维坐标中,就会出现一个二次曲面,代表着子群的关系。

紧接着,将介绍子群的陪集在群的同构定理中的另一个几何解释。

如果把一个群中的一些特定元素投射到空间中,就会得到一个几何体,这个几何体被称为群的同构体。

同构体可以用来表示一组元素之间的关系,也可以用来表示子群之间的关系。

最后,本文简单介绍了子群的陪集在群的同构定理中的几何解释。

空间中的各种解释,可以更好地帮助我们理解构成群的子群之间的关系,以及它们之间在操作上的相互协调性。

同时,也深入地认识了群的同构定理,在数学上的重要性以及其几何上的应用。

- 1 -。

§6.4子群及其陪集(离散数学)

§6.4子群及其陪集(离散数学)

结论:设a为群G的一个元素,
(1)如果a的周期为无穷大,则(a)是无 限循环群,(a)由彼此不同的元素 …,a-2,a-1,1,a,a2,… 组成。 (2)如果a的周期为n,则(a)为n元循环 群,它由n个不同的元素 1,a,a2,a3,…,an-1 组成。
加法群中元素的周期
在加法群中,(a)应换为a的所有倍数的集合:
(1 2)生成的循环子群为{I,(1 2)}。
元素的周期
看由元素a所生成的循环群(a): …,a-2,a-1,a0,a,a2,… (1)
情形10 如果(1)中所有元素都彼此不同,则称 a的周期为无穷大或0。此时,对任意两个不同的 整数s与t,as≠at。 情形20 如果(1)中出现重复的元素,即有整数 s≠t,使as=at。不妨设s>t,于是 s-t>0且as-t=1, 即有正整数m使am=1。
应用判别条件二 例
给定整数m,证明(mZ,+)是一个群。 证明:注意到(Z,+)是一个群, mZ是Z的非 空子集,因此,只需证(mZ,+)是(Z,+)的子 群。 对任意x,y∈ mZ,存在k,l ∈Z,使得 x=km, y=lm, 于是 x-y=km-lm=(k-l)m ∈ mZ 。 因此, (mZ,+)是(Z,+)的子群,当然本身是 一个群。
因(a)是一个n元循环群,即a的周期为n。 由周期的性质知,n|km-1。因此, km-1=qn, mk-qn=1。
这说明k与n互质。
充分性。若k与n互质,则有s和t,使
sk+tn=1, 故
a1=ask+tn = askatn = (ak) s ( an)t = (ak) s.
即a可表为ak的若干次方,因此(a)中每个元素

子群的陪集

子群的陪集

14/22
近世 代数
Lagrange定理的注释
注意:设G是一个n阶有限群,由Lagrange定理可
知:G的子群的阶必是n的一个因子.
但反过来,则未必成立,即:
对n的任一因子d,G未必有一个d阶子
群.
例如:交代群A4中就没有6阶子群.
但在群论中有以下结论:
结论:若G是一个有限交换群,则Lagrange定理的
(2) 子群与正规子群之间的关系. 21/22
近世 代数
总结
主要内容: 子群陪集的定义和性质 Lagrange定理 Lagrange定理的一些简单应用 正规子群的定义和判别
基本要求: 熟悉陪集的定义和性质 熟悉Lagrange定理及其推论,学习简单应用 熟悉正规子群的定义及商群的构造
性质4 设H是群G的子群,则H的所有左陪集构成的
集族是G的一个划分.
5/22
近世 代数
右陪集的基本性质
性质1′ 设H是群G的子群,则 (1) He = H; (2) a∈G 有a∈Ha.
性质2′ 设H是群G的子群,则a, b∈G有 a∈Hb b∈Ha ba1∈H Ha=Hb .
性质3′ 设H是群G的子群, 则 (1) a∈G,Ha≠ ; (2) a, b∈G,Ha = Hb 或 Ha∩Hb = ; (3) ∪Ha = G .
eabc
eabc aecb bcea cbae
cH={c, b}
不同的左陪集只有两个,即H和{b, H所c}有. 的右陪集?
3/22
近世 代数
陪集的实例
例2 设 S = {1, 2, 3}, S3={ (1), (12), (13), (23), (123)H,={((113)2,)}(.1 2)}是S3的子群.

20100519_子群与群的陪集分解.

20100519_子群与群的陪集分解.

陪集性质的证明
(4) aHb Ha=Hb 证 必要性. aHb a=h’b b=h’-1a haHa ha=hh’bHb, hbHb hb=hh’-1aHa
(5) Ha=[a] 证 b[a] aRb ab-1R Ha=Hb bHa
正规子群及其判定
Lagrange定理的引理
引理 H 的左陪集和右陪集数相等 f: TS, f(Ha)=a-1H, T,S 分别为右和左陪集的集合 f 的良定义性: Ha=Hb ab-1H (a-1)-1b-1H a-1H=b-1H f(Ha)=f(Hb)
关于群性质的证明题 (复习)
证明元素的阶相等或求元素的阶的方法 证|x|=|y|: 令|x|=r, |y|=s, 验证(x)s=e r|s , 验证(y)r=e s|r 求|x|: 找到 xn =e, 分析 n 的因子.
证明群的一些基本性质的方法 工具---幂运算规则、结合律、消去律、群方程的解
证明见教科书。
重要子群的实例
证明子群(基本思路)
重要子群的证明
重要子群的证明(续)
命题 6 设 H,KG, 则 (1) HKG (2) HKGHKKH 证 (1)略.
(2)只证必要性 假若h(hH,hK), k(kK,kH), 则 hkH,否则 k=h-1(hk)H,矛盾. 同理 hkK, 从而 hkHK。 但是 h,kHK, 与 HKG 矛盾。
若 G 含 6 阶元,是循环群. 若不含 6 阶元,则含 3 阶元 a, 取 c{e, a, a2}, 则 c, ac, a2c 两两不等(消去律) 可以证明 G = {e, a, a2, c, ac, a2c} 同构于 S3.
推广:10 阶群只有 2 个,2p 阶群只有 2 个. 4 阶群只有两个:循环群和 Klein 四元群.

第二章2.群中的等价关系--陪集,共轭,正规子群与商群

第二章2.群中的等价关系--陪集,共轭,正规子群与商群

第⼆章2.群中的等价关系--陪集,共轭,正规⼦群与商群群作为代数结构⾸先是⼀个集合,那么元素间可能有各种等价关系,这些等价关系给出了群的划分,也使群⾃⾝结构的特异性突出。

⼀、陪集 定义 设H是G的⼀个⼦群,a\in G,作集合aH=\{ax|x\in H\},称aH是关于⼦群H的⼀个左陪集。

类似地,可定义右陪集Ha=\{xa|x\in H\}. 对于陪集,我们有如下性质: (i) aH中元素个数与H⼀样。

(重新排列定理) (ii) H本⾝也是H的⼀个陪集(eH, He). (iii) a在陪集aH中,称a为陪集aH的⼀个代表。

(iV) 设b\in aH,则有aH=bH. 即aH中任⼀元素,均可作aH的⼀个代表。

(V) 由此可以定义等价关系a,b\in G,若a^{-1}b\in H, 则a\sim b. 此等价关系给出G的⼀个划分 G=a_1H\cup a_2H\cup...\cup a_l H. 下⾯重点证明(iV)和(V)。

证明: (iV) 有b=ah,\, h\in H。

则对\forall h_i\in H,有ah_i=b(h^{-1}h_i). 即aH\subset bH. 同理,bh_i=a(hh_i)\in aH,即bH\subset aH. 故aH=bH. (V) ⾃反: a^{-1}a=e\in H\quad\Rightarrow a\sim a. 对称: a\sim b\quad\Rightarrow a^{-1}b\in H\quad\Rightarrow (a^{-1}b)^{-1}=b^{-1}a\in H\quad\Rightarrow b\sim a. 传递: a\sim b, b\sim c\quad\Rightarrow a^{-1}b,\,b^{-1}c\in H\quad\Rightarrow(a^{-1}b)(b^{-1}c)=a^{-1}c\inH\quad\Rightarrow a\sim c. 定义 群G中⼦群H的相异陪集个数称为H在G中的指数,记为(G:H). 定理2.3(Lagrange定理) n阶群G的⼦群H的阶m是n的⼀个因数。

子群的左右陪集例题

子群的左右陪集例题

子群的左右陪集例题【原创版】目录1.子群的左右陪集概念介绍2.左右陪集的性质3.左右陪集的求法4.应用实例正文一、子群的左右陪集概念介绍在数学中,子群是指一个群的某个子集,它具有群的一些性质。

在群论研究中,子群的陪集是一个重要的概念,它可以帮助我们更好地理解和分析群的结构。

而子群的左右陪集是陪集中的一种,它具有一些独特的性质和应用。

二、左右陪集的性质左右陪集具有以下性质:1.存在性:对于任意子群 H,总存在左右陪集。

2.对称性:对于任意子群 H,左陪集与右陪集是相等的,即左陪集等于右陪集。

3.唯一性:对于任意子群 H,左陪集与右陪集是唯一的。

4.稳定子群:对于任意子群 H 和其左陪集 L,H 与 L 的交集是 H 的稳定子群。

三、左右陪集的求法求子群的左右陪集,通常采用如下方法:1.先求出子群的正规子群。

2.对于正规子群,求出它的极大子群。

3.极大子群与子群的交集即为子群的左陪集。

4.对于子群的任意元素,都可以找到一个元素与其对应,使得它们的乘积属于左陪集。

根据这个性质,可以求出子群的右陪集。

四、应用实例子群的左右陪集在群论中有广泛的应用,下面举一个例子:例:设 G 为四个元素的群,子群 H 为{e, a^2},其中 e 为单位元,a 为群 G 的生成元。

求子群 H 的左陪集。

解:首先,求出子群 H 的正规子群,即 H 本身。

因为 H={e, a^2},所以 H 的极大子群也是 H。

然后,求出 H 与 H 的交集,即得到子群 H 的左陪集。

计算可得,左陪集为{e, a^2, a^4, a^6}。

子群与陪群

子群与陪群

定义7.4.2 由上述等价关系~决定的 G 中元素的每 由上述等价关系~ 定义 个等价类,都称为子群H的一个右陪集 的一个右陪集。 个等价类,都称为子群 的一个右陪集。 为代表元的右陪集记为Ha。 以 a 为代表元的右陪集记为 。 • 用右陪集这个术语以及记号,是基于下面结论: 用右陪集这个术语以及记号,是基于下面结论: 集合Ha恰好由在 恰好由在~ 等价的元素组成。 集合 恰好由在~下所有与 a等价的元素组成。 等价的元素组成 b~a ⇔ b ∘ a-1∈ H ⇔ b=h ∘a ⇔ b ∈ Ha ~ h= b ∘a-1 h∈ H 故有 Ha={ h∘a | h ∈ H } ∘
几个重要的群: 例. 几个重要的群: 一般线性群 GL(n,R) = { A | |A|≠0 } ≠ 正交群 O(n) = { A | AAT= E } 洛仑兹(Lorentz)群 群 洛仑兹
Er Τ Er L(n, r) = { A| A − E A = − E , | A|≠ 0 } n−r n−r
下面讨论子群的陪集。目的是定义集合 上的一个 下面讨论子群的陪集。目的是定义集合G上的一个 等价关系及划分,由此得到群的一些重要性质。 等价关系及划分,由此得到群的一些重要性质。 • 设( G, ∘)是一个群,H为其子群,则可定义集合 是一个群, 为其子群 则可定义集合G 为其子群, 是一个群 上的一个等价关系~如下: 上的一个等价关系~如下: a~b ⇔ a ∘b-1∈ 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)。 。

子群对应定理

子群对应定理

子群对应定理
子群对应定理,又称为拉格朗日定理,是群论中一个重要的结论,它描述了一个有限群的
子群和相应的陪集之间的关系。

该定理由法国数学家拉格朗日于18世纪提出,并且具有广泛
的应用和重要性。

具体来说,子群对应定理描述了有限群G中一个子群H的阶数与G的阶数之间的关系。

根据
该定理,子群H的阶数必须是G的阶数的约数。

换句话说,如果G是一个有限群,并且H是
G的一个子群,那么H的阶数必定能整除G的阶数。

子群对应定理的证明通常使用陪集的概念。

根据群的定义,陪集是群元素和子群元素之间的一
种关系。

具体而言,对于一个子群H和群G的任意元素g,gH表示所有形如gh的元素的集合,其中h是H的元素。

在这样的定义下,G可以被分成若干个不相交的陪集,每个陪集都具有与子群H相同的阶数。

根据子群对应定理,这些陪集的个数就等于G的阶数除以H的阶数。

子群对应定理的一个重要推论是,如果G是一个有限群,那么G的任何子群的阶数都必须是
G的阶数的约数。

这个推论进一步加强了子群对应定理的重要性和应用价值。

子群对应定理在数学中的应用非常广泛。

它不仅在群论中有着重要的地位,还在其他分支的数
学中发挥着重要作用,如代数、几何和组合数学等领域。

这个定理不仅提供了计算群的阶数的
工具,还为研究群的性质和结构提供了重要的线索。

总体而言,子群对应定理是群论中一个基本的结论,在有限群的研究以及其他相关领域中具有
广泛的应用。

它为研究和理解群的性质和结构提供了重要的工具和线索,对于数学的发展起到
了重要的推动作用。

子群的左右陪集例题

子群的左右陪集例题

子群的左右陪集例题子群的左右陪集是群论中的重要概念。

让我们首先回顾一下子群的定义。

设G是一个群,H是G的一个非空子集。

如果H对于G的乘法运算构成一个群,那么H被称为G的子群。

现在,让我们来看一个例题,设G是一个群,H是G的一个子群。

我们要找出H在G中的左陪集和右陪集的例子。

首先,我们来定义左陪集和右陪集。

对于群G的子群H和g∈G,gH={gh | h∈H} 是g的左陪集。

同样地,Hg={hg | h∈H} 是g的右陪集。

假设我们有一个群G = {1, -1, i, -i},其中乘法运算是复数的乘法。

现在,让我们考虑它的子群H = {1, -1}。

我们要找出H在G中的左陪集和右陪集。

首先,我们来计算左陪集:1. 对于元素1∈G,1H={11, 1-1}={1, -1}。

2. 对于元素i∈G,iH={i1, i-1}={i, -i}。

同样地,我们可以计算出其他元素-1和-i的左陪集。

接下来,我们来计算右陪集:1. 对于元素1∈G,H1={11, -11}={1, -1}。

2. 对于元素i∈G,Hi={1i, -1i}={i, -i}。

同样地,我们可以计算出其他元素-1和-i的右陪集。

通过这个例题,我们可以看到子群的左右陪集是如何在群G中分别作用的。

左陪集和右陪集的元素个数都等于子群H的阶(元素个数)。

这些陪集在群论中有着重要的应用,例如证明拉格朗日定理等。

希望这个例题能帮助你更好地理解子群的左右陪集的概念和性质。

如果你对群论中的其他概念有疑问,也欢迎随时向我提问。

2.9 子群的陪集——近世代数

2.9 子群的陪集——近世代数
第二章 群论
第九节 子群的陪集
主讲人:XXX
Email:XXX@
安阳师范学院·数学与统计学院
第九节 子群的陪集
02
目录
CONTENTS
1 2 3
集合的积 陪集的引入 子群的陪集定义和性质
第九节 子群的陪集
03
1、集合的积 设
G 为群, A, B 是群 G 的两个非空子集, 定义
AB {ab | a A, b B} G
a ~ b a b(mod n) n | a b a b H
第九节 子群的陪集
06
Z n 0 , 1 , 2 ,
, n-1
每个类 [i] 正好是子群 H 乘上这个类中任取定的一个元素,即
[i ] {nh i | h Z } i H i [0]
第九节 子群的陪集
12
由上例可以发现: (1) H 的一个陪集一般不是G 的子群, (2) G 的不同元素可能得到关于 H 的同一个左陪集(或右陪集), (3) H 的左陪集 aH 一般不等于相应的右陪集 Ha, (4) |aH|=|Ha|.
左陪集有如下性质:
1) a aH 2) a H aH H 3) b aH aH bH
第九节 子群的陪集
16
定理3 (Lagrange) 设 G 是有限群,H 是 G 的子群,则 |G| = |H| ·[G:H] 其中 [G:H] 是 H 在G 中的不同左陪集(或右陪集) 个数, 称为 H 在G 中的指数.
证明 设[G:H] = r,且 a1, a2, …, ar 分别是 H 的 r个不同右陪集的代表
08
对任意的群 G,H 是G 的子群,a,bG, 规定
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

正交群 O(n) = { A | AAT= E }
洛仑兹(Lorentz)群
Er Er L( n, r ) { A | A E A E , | A | 0 } n r n r
下面讨论子群的陪集。目的是定义集合G上的一个 等价关系及划分,由此得到群的一些重要性质。 • 设( G, ∘)是一个群,H为其子群,则可定义集合G 上的一个等价关系~如下: a~b ⇔ a ∘b-1∈ H
定理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。
于是有(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 ∈ H,从而 Ha-1 =Hb-1。说明 f 是一个映射。 其次,若Ha-1 =Hb-1,则 b-1∘a =b-1∘(a-1)-1 ∈ H,从而 aH=bH,故 f 是单射;对任意的 Ha∈ Pr,有a-1H ∈ Pl , 使得 f (a-1H)= Ha ,故 f 是满射。 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.4 考察三次对称群S3及其子群 H={(1), (12)} S3的阶是6;H的阶是2;H有3个右陪集,因此 H 在 S3中的指数是3。 当然2和3都整除6,并且6=2x3。 S3的6个元素是(1), (12), (13), (23), (123), (132),它 们的阶分别是1 2 2 2 3 3,都能整除S3的阶。 S3的6子群是{(1)}, {(1), (12)}, {(1), (13)}, {(1), (23)}, {(1), (123), (132)}, {(1), (12), (13), (23), (123), (132)}
证. 设 H是有限群G的子群,则子群H的阶及 H在G中的指数 m都是有限正整数。 G中的|G|个元素被划分成 m 个右陪 集,而每个右陪集都恰好有|H|个元素,因此 |G|=|G:H||H|
推论7.4.6 设G是有限群,g ∈ G,则元素g的阶能 整除G的阶。 证 设元素g的阶是n,则元素g生成一个阶为n的循环 子群<g>,于是n 是子群<g> 的阶,因此n能整 除群G的阶。
• 若H为群( G, ∘)的子群,则|Ha|=|aH|=|H|。 • 一般地,H的左、右陪集并不相等。
• 设Ha,Hb是H的二个右陪集,则要么 Ha = Hb, 要么 Ha∩Hb = ∅。
定义7.4.4 群( G, ∘)中子群H的不同右(或左)陪集的 个数,称为H在G中的指数,记为|G:H|。 定理7.4.6 (Lagrange) 设G是有限群,则子群H的阶 数和H在G中的指数都能整除G的阶数,并且有如 下的关系: |G|=|G:H||H|。
• 给定一个G的非空子集 S,则 S生成唯一的一个G 的子群H ;反之不然,即给定一个G的子群H , 则一般来说生成 H 的子集不唯一。通常,称生成 H的子集中一个最小的子集为H 的生成元集。
• G的子群H的生成元集是不唯一的。
例. 几个重要的群: 一般线性群 GL(n,R) = { A | |A|≠0 }
例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)}。
例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)。
关系~满足下面的条件: (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.5 群( G, ∘)中子群H的每对右(或左)陪集之 间都存在一个双射。 证 只需证明在每一个右陪集与H之间都存在一个双 射。 作映射 f : H→Ha, h→h∘a 即得双射。
例. (p132-7.17) 设σ是集合S ={1,2,⋯,n}上的置 换,定义 S上的等价关系: i~j ⇔∃k∈Z , σk(i)= j。 称以i为代表元的等价类为 i 在σ下的轨道。 设S={1,2,⋯,8}, σ=(78)(465)(13), 求σ所有的轨道 解. σ2=(456),σ3=(78)(13),σ4=(465),σ5=(78)(456)(13) σ6=(1), 1,3 的轨道{1, 3}, 2的轨道{2}, 4,5,6的轨道{4, 5, 6}, 7, 8的轨道{7, 8}。
7.4 子群与陪集
定义7.4.1 设( G, ∘)是群,H 是G的一个非空子集, 若H 关于运算 ∘ 构成一个群,则称H是( G, ∘)的一 个子群。
• 任何群( G, ∘)都至少有两个子群:群G本身,以及 只包含单位元的集合{e}。称为群 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.3 设( G, ∘)是一个群,H为其子群,则定义 集合G中的一个等价关系 ∾ 如下: a ∾ b ⇔ b-1∘a ∈ H 由等价关系 ∾ 决定的G中元素的每个等价类,都 称为子群H的一个左陪集。 以 a为代表元的左陪集记为 aH。 • 与H的右陪集的结论类似地有: aH={ a∘h | h ∈ H }
相关文档
最新文档