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

合集下载

第8节 子群的陪集

第8节 子群的陪集
9
近世 代数
Lagrange定理的推论
推论1 设G是n阶群,则a∈G,|a|是n的因子,且有 an = e.
证 任取a∈G,(a)是G的子群,(a)的阶是n的因子. (a)是由a生成的子群,若|a| = r,则
(a) = {a0=e, a1, a2, …, ar1} 即(a)的阶与|a|相等, 所以|a|是n的因子. 从而an = e.
6
近世 代数
有关陪集的问题
设H是群G的子群。 H的所有左陪集都是G的非空子集。 请问:H的左陪集一定是G的子群吗?
判别群G的非空子集是其子群的方法? 判别群G的非空子集不是其子群的方法?
7
近世 代数
陪集的基本性质
性质5 设H是群G的子群,则 a, b∈G,|aH|=|bH|=|H|=|Ha|=|Hb| .
性质3 设H是群G的子群, 则 (1) a∈G,aH≠ ; (2) a, b∈G,aH = bH 或 aH∩bH = ; (3) ∪aH = G .
性质4 设H是群G的子群,则H的所有左陪集构成的
集族是G的一个划分.
5
近世 代数
右陪集的基本性质
性质1′ 设H是群G的子群,则 (1) He = H; (2) a∈G 有a∈Ha.
证 设[G:H] = r,a1, a2, …, ar分别是H 的r个不同右陪 集的代表元素,
G = Ha1∪Ha2∪…∪Har | G | = |Ha1| + |Ha2| + … + |Har| 由|Hai| = |H|,i = 1, 2, …, r, 得
| G | = | H |·r = | H | ·[G:H]
近世 代数
第8节 子群的陪集
主要内容:

《子群的陪集》课件

《子群的陪集》课件
《子群的陪集》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是整数集合的 正规子群,其左陪集和右陪集都是整数集合的子群。

离散数学,置换群和子群及其陪集

离散数学,置换群和子群及其陪集

因为置换按定义是一对一的,所以b1,b2,…,bn是 a1,a2,…,an的一个排列,由此可见,M的每个置 换对应a1,a2,…,an的一个排列,不同的置换对应 不同的排列,此外,a1,a2,…,an的任意排列也确 定M的一个置换,所以,M的置换共有n!个,其 中n是M的元数,M上的置换也称为n元置换。以下 用Sn表示这n!个置换作成的集合。
a1 a 2 a n b b b n 1 2
-1= b1 b 2 b n a1 a 2 a n

因此,我们有:
定理6.2.6 n元置换的全体作成的集合Sn对置换 的乘法作成一个群,称为n 次对称群。 注意,由于一般情况下置换相乘不满足交换律, 如上例,
§6.2.4 置 换 群 在伽罗瓦理论中起关键作用的就是置换群,它是有限群 的特例,是群的典型代表。
置换的定义:
定义6.2.4 设M是一个非空的有限集合,M的一个一对一 变换称为一个置换。 设M的元素为a1,a2,…,an,则M的置换σ可以简记为
σ=
a1 a 2 a n ,bi=σ(ai),i=1,2…,n b b b n 1 2
若M已经没有另外的元素,则σ就等于这个轮 换,否则设b1不在a1,…,ar之内,则同样 作法又可得到一个轮换(b1…bs)。 因为a1,…,ar各自已有变到它的元素,所 以b1,…,bs中不会有a1,…,ar出现,即 这两个轮换不相杂。若M的元素已尽,则σ 就等于这两个轮换的乘积,否则如上又可 得到一个轮换。如此类推,由于M有限,最 后必得 σ=( a1…ar)(b1…bs)…(c1…ct) (1) 即σ表成了不相杂的轮换的乘积。
证明:设σ=(a1…ar),τ=(b1…bs),σ和τ不 相杂。命χ为M的任意元素, (1)若χ在a1,…,ar之内,例如χ=ai,则 στ(χ)=στ(ai)=σ(ai)=ai+1, τσ(χ)=τσ(ai)=τ(ai+1)= ai+1。 i=r时,ai+1应改为a1。 总之,στ(χ)=τσ(χ)。 (2)同样可以说明,若χ在b1, …,bs之内, 也有στ(χ)=τσ(χ)。 (3)设χ不在a1, …,ar, b1, …,bs之内。 于是, στ(χ)=σ(χ)=χ,τσ(χ)=τ(χ)=χ。 因此,在所有情况下,στ(χ)=τσ(χ),故 στ=τσ。

离散数学,置换群和子群及其陪集50页PPT

离散数学,置换群和子群及其陪集50页PPT

谢谢你的阅读
❖ 知识就是财富 ❖ 丰富你的人生
71、既然我已Байду номын сангаас踏上这条道路,那么,任何东西都不应妨碍我沿着这条路走下去。——康德 72、家庭成为快乐的种子在外也不致成为障碍物但在旅行之际却是夜间的伴侣。——西塞罗 73、坚持意志伟大的事业需要始终不渝的精神。——伏尔泰 74、路漫漫其修道远,吾将上下而求索。——屈原 75、内外相应,言行相称。——韩非
离散数学,置换群和子群及其 陪集
31、别人笑我太疯癫,我笑他人看不 穿。(名 言网) 32、我不想听失意者的哭泣,抱怨者 的牢骚 ,这是 羊群中 的瘟疫 ,我不 能被它 传染。 我要尽 量避免 绝望, 辛勤耕 耘,忍 受苦楚 。我一 试再试 ,争取 每天的 成功, 避免以 失败收 常在别 人停滞 不前时 ,我继 续拼搏 。
33、如果惧怕前面跌宕的山岩,生命 就永远 只能是 死水一 潭。 34、当你眼泪忍不住要流出来的时候 ,睁大 眼睛, 千万别 眨眼!你会看到 世界由 清晰变 模糊的 全过程 ,心会 在你泪 水落下 的那一 刻变得 清澈明 晰。盐 。注定 要融化 的,也 许是用 眼泪的 方式。
35、不要以为自己成功一次就可以了 ,也不 要以为 过去的 光荣可 以被永 远肯定 。

子群的左右陪集例题

子群的左右陪集例题

子群的左右陪集例题摘要:一、子群的定义与性质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 之间的关系。

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

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

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

子群及其陪集

子群及其陪集
使用同样办法可以证明下面练习:
设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 ,

子群的左右陪集例题

子群的左右陪集例题

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

给定一个群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)}五、总结与拓展本文介绍了子群的定义和性质、陪集的概念和作用,以及子群的左右陪集的求解方法。

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

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

《离散数学》课件第6章 (2)

《离散数学》课件第6章 (2)

〈SS, , 〈Σ*, τ〉不是可交换半群。
定义 6.1.3 含有关于*运算的幺元的半群〈S, *〉, 称
它为独异点(monoid), 或含幺半群, 常记为〈S, *, e〉(e是
幺元)。
第六章 几个典型的代数系统
【例6.1.4】
〈Z, +〉是独异点, 幺元是0, 〈Z, +, 0〉;
〈Z, ×〉是独异点, 幺元是1, 〈Z, ×, 1〉;
(4) A≠ , 〈P(A), ∩〉是半群, 幺元为A, 非空集合无逆
元, 所以不是群。
(5) A≠ , 〈P(A), 是S, 所以是群。
S∈P(A), S的逆元
(6) 〈Q+, ·〉(正有理数与数乘)为一群, 1为其幺元。 〈Q, ·〉不是群, 因为数0无逆元。
因为零元无逆元, 所以含有零元的代数系统就不会是群。
逻辑关系见图6.1.1。
第六章 几个典型的代数系统
图6.1.1
第六章 几个典型的代数系统
定义 6.1.1 设〈S, *〉是代数系统, *是二元运算, 如果*运算满足结合律, 则称它为半群(semigroups)。
换言之, x, y, z∈S, 若*是S上的封闭运算且满足 (x*y)*z=x*(y*z), 则〈S, *〉是半群。
设半群〈S, *〉中元素a(简记为a∈S)的n次幂记为an, 递 归定义如下:
a1=a an+1=an*a1 n∈Z+ 即半群中的元素有时可用某些元素的幂表示出来。
因为半群满足结合律, 所以可用数学归纳法证明
am*an=am+n, (am)n=amn。
第六章 几个典型的代数系统
普通乘法的幂、 关系的幂、 矩阵乘法的幂等具体的代 数系统都满足这个幂运算规则。
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

若n为适合an=1的最小正整数,则称a的周期为n。
结论:群的单位元的周期为1,(1)={1}。 结论:群中任一元素和它的逆元具有同样的周
期。 证明: 若a的周期为无穷大,则显然a-1的周期也为无穷大。 若a的周期为n, a-1的周期为m, 由(a-1)n=a-1n=(an)-1=1-1=1,知 m≤n(m|n)。 由am=((a-1)m)-1=1-1=1 ,知 n≤m (n|m) 。 因此,m=n。
循环群的生成元素
定理6.4.6
(2) n元循环群(a)中, ak 是(a)的生成元的充要条件是(n,k)=1。 所以(a)一共有(n)个生成元素。
(1)无限循环群(a)一共有两个生成元:a及a-1。
证明:
(1)如果ak是(a)的一个生成元,那么(a)
中每个元素都可表示为ak的方幂。特别地,a也
周期的例
例. 4次对称群中(1 2 3 4)的周期是4,因为 (1 2 3 4)2=(1 3)(2 4) (1 2 3 4)3=(1 4 3 2) (1 2 3 4)4= I 例. 在(C*,· )中,1的周期为1,-1的周期为2, ±i的周期为4,模数r≠1的复数z=reiθ的周期为无 穷大。
例. (Z,+)中除0以外,其余元素的周期为无穷大。
子群
即H G,则(H,· )叫做 ( G, · )的真子群。 Note: G的子群H的运算必须与G的运算一样, 比如, (C*,· )不是(C,+)的子群。
子群的例
例. (mZ,+)是整数加法群(Z,+)
的一个子群,其中m为整数。 例. (C,+)以(R,+)、(Q,+)、(Z,+) 为其真子群。 例. (C*,· )以(R*,· )、(Q*,· ) 为其真子群。 例. 行列式等于1的所有n阶矩阵作成实数域上 所有n阶非奇异矩阵的乘法群的一个真子群。 例. n次交代群是n次对称群的一个真子群。
(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,+)的子群,当然本身是 一个群。
充分性 设(1),(2),(3)成立。
由(3),H非空。 由(1),H内运算封闭.
在G中成立的结合律在子集H中自然成立。
往证H中有单位元1G。任取a∈H,由(2),a-1∈H,
由(1),aa-1∈H,即1G∈H;1G在G中适合1Ga=a, 故在H中亦有此性质。 往证H中任意元素a有逆.因由(2),a-1∈H,但是 G中,a-1a=1G,此式在H中亦应成立,故a-1即a 在H中之逆。
结论:设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的所有倍数的集合:
因(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.
可表示为ak的方幂。设
a = (ak) m = ak m。
由(a)是无限循环群知,km=1。
因此,k=±1。即, a及a-1为无限循环群(a)的
生成元。
(2) 必要性。
若ak是(a)的一个生成元,那么(a)中每 个元素都可表示为 ak 的方幂。特别地,a也 可表示为ak的方幂。设 a = (ak) m = ak m。
平凡子群
任一群G都有两个明显的子群,称为G 的平凡子群: 由其单位元素组成的子群{1},称为G 的单位子群; G本身。 其余的子群(如果有的话)称为非平 凡子群。
6.4.2 子群的判别条件
判别条件一 定理6.4.1 群G的一个子集H是G的一个 子群的充分必要条件是: (1) 若a∈H,b∈H,则ab∈H; (2) 若a∈H,则a-1∈H; (3) H非空。
判别条件二
定理 6.4.2 判别条件一中的两个条件 (1),(2)可以换成下面一个条件 (*) 若a∈H,b∈H,则ab-1∈H。
证明:设 (1),(2) 成立,往证( * )成立。 设 a∈H,b∈H, 由 ( 2 ) , b-1∈H, 故由( 1 ), ab-1∈H,因而( * )成立。
设(*)成立,往证(1),(2)成立。 设a∈H,由(*)可推得, a∈H ,a∈H,故aa-1∈H,即1∈H。 若a∈H,又由(*)可推得, 1∈H,a∈H,则1a-1∈H,即a-1∈H, 因而(2)成立。 设a∈H,b∈H,因为(2)已证,故b-1∈H。 再由(*)推知, a∈H, b-1∈H, 则 a(b-1)-1∈H,即 ab∈H, 故(1)成立。

(还可用子群的定义或判别条件一证明)
6.4.3 循 环 群
定义.如果群G可以由它的某元素a生成,即有
a∈G,使G=(a),则G叫做一个循环群,或巡 回群。
上面定理中的(a)称为由a生成的循环子群。
例. 整数加法群(Z,+)是由1生成的循环群。
(mZ,+)是由m生成的循环群。
例.设G是4次对称群(本身不是循环群),由
由y· x· y -1= x 2,得: x4=(y· x· y –1)· (y· x· y –1) =(y· x) · (y–1· y)· (x· y–1) =(y· x) · 1· (x· y –1) = y· x2· y –1 = y· (y· x· y –1)· y –1 由已知 = y2· x· y –2 由y的周期是2知,y2=1,且 y–2=1。因此, x4= 1· x· 1=x。 即,x3=1。因此,3是满足xn=1的n的最小正整数, 即,x的周n次对称群,判断其非空子集是否是
群只需验证运算是否封闭。
试判断下面子集在置换的乘法下是否是群:
(1)所有偶置换的集合
(2)所有奇置换的集合 (3){I,(1 2)}
(4){I,(12),(13)}
6.4.3 循 环 群
定理6.4.4 设a是群G的一个元素。于是a的所 有幂的集合 an,n=0,±1,±2,… 做成G的一个子群,记为(a)。 此群称为由a生成的子群。 证明:显然,(a) G。 (1)(a)非空,至少a0=1∈(a)。 (2) 任取(a)中二元素am,an,有 am(an)-1 = ama-n = am-n ∈(a)。 故由子群判别条件二,(a)做成G的一个子群。
周期的性质
定理6.4.5 若群G中元素a的周期为n,则
( 1 ) 1 , a,a2,a3,…,an-1 为 n 个不同 元素;
(2) am=1当且仅当n∣m; (3) as=at当且仅当n∣(s-t)。
证明:因为任意整数m恒可唯一地表为 m=nq+r,0≤r<n 故 am=anqar=(an ) qar=1qar=lar=ar; 由于0≤r<n,故按周期的定义知 ar=1 iff r=0 所以 am=1 iff r=0 iff n∣m 即(2)得证。由(2)即知 as=at iff as-t=1 iff n∣(s-t), 即(3)得证,最后由(3)立即可得(1)。
任取a∈H,则在H中有: 1H a=a, 故在G中也成立。以a-1右乘得
(1H a)a-1 = aa-1,即,
1H (aa-1) = 1G , 1H 1G = 1G ,
故,1H=1G。
判别条件一
由群的定义,对于H中的a,应有 b∈H,使,ab= 1H,而1H=1G ,因此, ab= 1G, 此式在G中亦成立,以a-1左乘得 b= a-1 1G = a-1 , 因而a-1∈H,即(2)成立。 必要性证毕。
§6.4 子 群 及 其 陪 集
6.4.1 子 群 的 定 义 6.4.2 子群的判别条件
6.4.3 循 环 群
6.4.4 陪 集
6.4.1 子 群 的 定 义
设(G,· )是一个群, H G, 如果 (H, · ) 仍是一个群,则 ( H, · )叫做(G,· )的子群。 真子群 如果G的一个子群H不等于G,
…,-2a,-a,0,a,2a,… * 当(*)中的所有元素均彼此不同时,称a的周期为 无穷大或为0;否则当n为适合na=0的最小正整数 时,称a的周期为n. 定理6.4.5’ 若加法群中a的周期为n,则有 (1′) 0,a,2a,…,(n-1)a为n个不同元素; (2′) ma=0当且仅当n∣m; (3′) sa=ta当且仅当n∣(s-t).
判别条件一
证明: 必要性
若H是G的子群,则(1)、(3)显然。
现要证(2). (错误证法:由H是G的子群知,H是群,故 对a∈H,有b∈H,使得ab=1,所以b是a 的逆,由a的逆的唯一性,知a-1 =b,而b ∈H ,故 a-1 ∈H 。)
相关文档
最新文档