第6讲子群的性质

合集下载

群论讲课提纲

群论讲课提纲

群论讲课提纲第一章 抽象群理论群的大体概念 一、群的概念 实例分析; 群的概念。

二、大体概念有限群与无穷群(群的阶); 持续群与分立群; 阿贝群(互换群),例题;对称群,例题(234444{,,,,,,,}x y C E C C C m m νμνσσ=); 循环群(生成元) 有限群的大体性质一、群的乘法表(群乘表) 群乘表构造方式(SL2群,4C ν群) 群乘表的性质(重排定理及推论) 二、元素的阶 例题分析概念(元素的阶)几点结论 3、元素的共轭概念(共轭元素)共轭的性质(自反、对称、传递) 4、共轭类等价关系与集合的划分 共轭类的概念关于类的几个结论(7条,例题)类的积(i j ijk k kC C a C =∑,例题)子群与商群 一、子群的概念概念、判别条件、一般子群 二、陪集(旁系) 概念 例题与分析 陪集的性质① 子群与它的任何一个陪集没有一起元素, 即&,X G X H XH H HX H Φ∀∈∉⋂=⋂=② 子群的任何两个左(右)陪集要么完全相同,要么完全不同。

即,:XH YH or XH YH Φ=⋂=③ 子群与它的所有相异左(右)陪集概念群的一个划分*。

推论1:群的阶与子群的阶之比为整数,即G nk Hm==;推论2:群阶与元素阶的商为整数。

3、共轭子群定理:以群G 中任何元素为过渡元素对子群1H 作共轭变换取得的集合2H 仍然是G 的子群,称为1H 的共轭子群。

例题4、正规子群(自轭子群、不变子群)例题分析正规子群的两种概念 正规子群的性质 ① 不变子群的任何两个陪集的积仍然是该子群的陪集;② 不变子群与其任何一个陪集的积等于该陪集。

五、商群例题分析定理:由正规子群及其所有相异陪集组成群称为商群。

商群的性质 ① 商群/G H 的幺元是正规子群H ;② 商群的阶数为正规子群的指数/n m ;群的同构与同态 一、 群的同构 ① 例题分析 ② 同构的概念 ③ 注意事项④ 4C 群所有子群的同构关系二、 群的同态① 例题分析 ② 同态的概念③ 注意事项3、有限群的结构① 1~6阶群的结构分析(试探题) ② 关于高阶群结构分析的注意事项 群的生成集存在性素数阶群的结构③ 生成集定理置换群① 置换群的大体概念 ② 3S 群及其乘法表 ③ n S 群的性质④ 任何有限群总同构于n S 群的一个子群。

《子群的陪集》课件

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

17代数学基础群和子群的基本概念

17代数学基础群和子群的基本概念
这三个群的完整表示是(Q*, ) , (R*,) , (C*, ) 。 将这些群称为乘法群。
群的例子(3)
对任意自然数 n , 整数模 n 集合构成一个 包含 n 个元素的有限加法群,这里的加 法运算是模 n 加,将这个群记为Zn 。
这个群的完整表示为(Zn,+(mod n)).
注意: Zn 是 Z/nZ的简化表示。
代数学基础
内容提要
群 环和域 有限域

一般来说,一个代数结构是指一个非空 集合S以及定义在S上的二元运算的总体, 要求二元运算满足一定的条件。
定义 群的定义
群的定义:设 G 是一个集合,“ ”是定义在 G 上的一个二元运算。如果
.
下面四个条件成立,就将代数系统 (G,) 称为群 (Group):
就是 i a ,但简化写法中的“点”并不是群运算,整数 i 也不一定
是群中的元素。
群的性质
性质:
(1) a x a y x y
(2) x a y a x y
子群
设 H 是群 G 的一个非空子集,如果 H 在群 G 的运算下也构成一个群, 就称 H 是群 G 的一个子群,记为 H G 。用 H G 表示 H 是群 G 的一个真 子群(即 H G )。
1 (mod
n) ,那么
Fermat( n )是
Z
* n
的一个
子群。
当 n 为素数时,由费马小定理,Fermat( n )
=
Z
* n
;当 n 为合数时,
Fermat( n )

Z
* n
的一个真子群。
子群的例子(5)
B={0,1}在异或运算下是一个群。

子群名词解释

子群名词解释

子群的概念和性质一、子群的定义子群是指一个群中的一部分元素构成的集合。

具体来说,设 G 是一个群,H 是 G 的一个子集,如果 H 中的所有元素都可以用 G 中元素的组合来表示,那么 H 就称为 G 的一个子群,记作 gH,其中 g 是 G 中的任意元素。

举个例子,设 G 是一个由三个元素{1,2,3}构成的群,H={1,2}。

那么 H 就是一个子群,因为 H 中的所有元素都可以用 G 中元素的组合来表示,即 H={1,2}={1,2,3}。

二、子群的性质子群有许多重要的性质。

下面我们来介绍一下子群的交叠、子群的补集、子群的子群等。

1. 子群的交叠设 G 是一个群,H 是 G 的一个子群,K 是 G 的另一个子群。

那么,H 和 K 的交叠 (即 H 和 K 的交集) 是一个子群,称为 H 和K 的交叠子群。

举个例子,设 G 是一个由三个元素{1,2,3}构成的群,H={1,2},K={1,3}。

那么,H 和 K 的交叠={1,2},是一个子群。

2. 子群的补集设 G 是一个群,H 是 G 的一个子群。

那么,H 的补集是指 G 中所有不等于 H 的子群的集合。

举个例子,设 G 是一个由三个元素{1,2,3}构成的群,H={1,2}。

那么,H 的补集包括 G 的所有其他子群,即 G={1,2,3}。

3. 子群的子群设 G 是一个群,H 是 G 的一个子群。

那么,H 的子群是指 H 中所有元素的集合,即 H 的补集。

举个例子,设 G 是一个由三个元素{1,2,3}构成的群,H={1,2}。

那么,H 的子群包括 G 的所有其他子群,即 G={1,2,3}。

三、子群的应用子群在群论中有着广泛的应用。

下面我们来介绍一下子群在群论中的三大应用。

1. 子群的交叠可以用于证明群的同构定理。

2. 子群的补集可以用于证明群的分解定理。

3. 子群的子群可以用于证明群的同态定理。

近世代数基础课件

近世代数基础课件
37
第3讲 特殊的唯一分解环 1 主理想环 2 欧氏环 3 唯一分解环上的一元多项式环 4 因子分解与多项式的根
38
第六章 群论补充
39
第1讲 共轭元与共轭子群 1 第2讲 群的直积 第3讲 群在集合上的作用 第4讲 西罗定理
40
第1讲 共轭元与共轭子群
研究群内一些特殊类型的元素和子群
1 中心和中心化子 2 共轭元和共轭子群 3 共轭子群与正规化子
53
四 代数学发展的四个阶段
代数学经历了漫长的发展过程,抽象代 数(近世代数)是19世纪最后20年直到20世 纪前30年才发展起来的现代数学分支. 1 最初的文字叙述阶段 2 代数的简化文字阶段 3 符号代数阶段 4 结构代数阶段
54
1 最初的文字叙述阶段
古希腊之前直到丢番图(Diophantine,公元250年)时 代,代数学处于最初的文字叙述阶段,这一阶段除古希腊 数学之外还包括古巴比伦、古埃及与古代中国的数学. 此时算术或代数尚未形成任何简化的符号表达法,代数 运算则都采用通常的语言叙述方式表达,因而代数推理 也都采用直观的方法.在中国古代则有著名的筹算法,而 在古希腊则借助于几何图形的变换方法.最典型的代表 是毕达哥拉斯(Pythagoras,公元前585-497)几何数论方 法.例如通过图形的组合可以得到
}
} }
映射相关概念及举例
映射的运算 映射及其相关概念的推广
}
特殊映射
6
第3讲 基本概念之代数运算适应的规则 ——运算律 运算律
1 与一种代数运算发生关系的运算律 (1)结合律 (2)交换律 (3)消去律 2 与两种代数运算发生关系的运算律 (1)第一分配律 (2)第二分配律
7
第4讲 基本概念之与代数运算发生关系的映射 ——同态映射 同态映射 1 同态映射 2 同态满射 3 同构映射 4 自同构映射 5 举例

代数学基础课件群和子群的基本概念

代数学基础课件群和子群的基本概念
对于群中的任意元素a,都存 在一个元素b,使得
a*b=b*a=e,其中e为单位元 。
群的例子
01
02
03
整数加法群
整数集合和加法运算,单 位元为0,逆元为-a。
矩阵乘法群
n阶矩阵集合和乘法运算 ,单位元为单位矩阵,逆 元为矩阵的逆。
置换群
n个元素的集合和所有可 能的置换,单位元为恒等 置换,逆元为元素的逆置 置换。
要点一
总结词
向量表示法是将群中的元素表示为向量,利用向量的加法 、数乘和向量的模等性质来描述群的结构和性质。
要点二
详细描述
向量表示法适用于连续群或无限群,通过将群中的元素表 示为向量,可以更好地描述群的连续性和无穷性。这种方 法在物理学、工程学等领域有广泛应用。
符号表示法
总结词
符号表示法是一种简洁的表示群和子群的方法,通过 符号的组合和运算规则来描述群的结构和性质。
群具有单位元和逆元,满足结合 律、交换律和幺半群的定义。
群的基本性质
01
02
03
04
封闭性
群中的任意两个元素通过二元 运算得到的仍然是群中的元素

结合律
群中的任意三个元素按照任意 顺序进行二元运算,结果都相
等。
单位元存在
存在一个元素e,使得对于群 中的任意元素a,都有 e*a=a*e=a。
逆元存在
单位元
群中存在一个单位元e,使 得对于群中任意元素a,都 有ea=a和ae=a。
逆元
群中任意元素a都存在一个 逆元a',使得aa'=e和 a'a=e。
子群的运算规则
子群必须是封闭的
子群必须具有逆元
子群中的元素按照群中的运算规则进 行组合时,结果仍属于子群。

离散数学群与子群-PPT

离散数学群与子群-PPT

解:由题意,R上得二元运算★得运算表如上所示,由表知,运算★在R上就 是封闭得。
对于任意a, b, cR,(a★b)★c表示将图形依次旋转a, b和c,而 a★(b★c)表示将图形依次旋转b,c和a,而总得旋转角度都就是 a+b+c(mod 360),因此(a★b)★c= a★(b★c),即★运算满足结合性。
a
b
c
d
b
d
a
c
定理5、4、4 群〈G,*〉得运算表中任一行(列)得元素都就是G中元 素得一个置换。且不同行,不同列得置换都不同。 证明 首先,证明运算表中得任一行或任一列所含G中得一个元素不可能多 于一次。用反证法,如果对应于元素a∈G得那一行中有两个元素都就 是c,即有 a*b1=a*b2=c 且b1≠b2 由可约性可得 b1=b2,这与b1≠b2矛盾。
其次,要证明G中得每一个元素都在运算表得每一行和每一列中出现。考 察对应于元素a∈G得那一行,设b就是G中得任一元素,由于 b=a*(a1*b),所以b必定出现在对应于a得那一行中。
再由运算表中没有两行(或两列)相同得事实,便可得出:<G,*>得运算表中 每一行都就是G得元素得一个置换,且每一行都就是不相同得。同样得 结论对于列也就是成立得。
结果都等于另一个元素, ) 3) G中任何元素得逆元就就是她自己; 。 故〈G,*〉为一个群。 此外,运算就是可交换得,一般称这个群为克莱因(Klein)四元群,简称四元群。
思考练习
已知:在整数集 I 上得二元运算定义为:a,b∈I,
a b=a+b-2
证明:< I , >为群。
么元为:2 逆元:x-1=4-x
离散数学群与子群
一、群得概念

子群总结范文

子群总结范文

子群总结子群概述子群,又称为群的子集,是在一个群基础上选出的一部分元素,仍然满足群的运算封闭性、结合律、单位元和逆元等性质。

子群是群论中的重要概念,在代数学和离散数学等领域有广泛的应用。

本文将对子群的定义、特性以及实际应用进行总结和讨论。

子群的定义与特性子群的定义设G是一个群,H是G的一个非空子集。

如果H中的元素对于群G的运算仍然封闭,即对于任意a,b∈H,ab也属于H中,并且H对于G的运算结合律、单位元和逆元等性质仍然成立,则称H为群G的子群。

子群的性质•子群必须包含群G的单位元。

•子群必须对于群G的运算封闭,即对于任意a,b∈H,ab也属于H 中。

•子群必须包含群G中每个元素的逆元,即对于任意a∈H,存在b∈H,使得ab=ba=单位元。

•子群的单位元与群G的单位元相同。

•子群必须遵守群G的运算结合律。

子群的分类根据子群的定义和特性,我们可以将子群分为以下几类:•群的本身是自己的子群,称为自身子群。

•群的单元素组成的子群,称为平凡子群。

•群中包含所有元素的子群,称为全子群。

•群中只包含单位元的子群,称为平凡子群。

•群G的除了单位元外,只有一个非单位元素的子群,称为循环子群。

子群的实际应用子群在数学和计算机科学中有广泛的应用。

以下是子群在实际中的一些应用场景:密码学在密码学中,子群被用于生成加解密密钥、密码生成和验证等领域。

子群的特性可以保证密码算法的安全性和可靠性。

编码理论在编码理论中,子群被用于生成纠错码、哈密顿码和循环码等编码方法。

子群的运算特性可以用于设计和实现各种优秀的编码算法。

图论在图论中,子群可以用于研究图的自同构性质,从而帮助解决一些图论中的难题,例如图同构和图同构的自动判定问题。

计算机图形学在计算机图形学中,子群可以用于生成和变换图形对象,例如平移、旋转和缩放等操作。

子群的性质可以保证图形变换的正确性和一致性。

总结子群是群论中的重要概念,具有丰富的定义和特性。

子群的运算封闭性、结合律、单位元和逆元等性质使其在数学、密码学、编码理论、图论和计算机图形学等领域都有广泛的应用。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
= b-1arb= b-1eb=e,所以 t|r 同理r|t 2) ab=b-1 (bab )
2020/3/3
13
例4 元素乘积的阶(2)(注)
例: G为群,a,b∈G是有限阶元,则:
(1)|b-1ab| = |a|
(2) |ab| = |ba| 证: (1)|设|a| = r, |b-1ab|=t ,则
(3) 假设r>n, 令G´={e,a,a2, …, ar-1}, 则G´中元素两两不 同,否则与|a|=r矛盾. 从而|G´|>n,与G´⊆G矛盾.
2020/3/3
7
例1 元素的阶1
例: G为群,a∈G, |a|=r, 证明|at| = r/(t,r) 证: 令|at| = s, 设(t, r) = d , t =dp, r = dq , r/(t,r) = r/d = q 只要证s = q
证:必要性显然,证充分性
1.封闭性 条件一
2.可结合性 显然 3.有单位元 因为H非空,必存在aH,由条件2,必有
a-1H,再根据条件1有aa-1 H ,即eH
4.H 中每一元都有逆元 条件二
∴H 为 G的子群.
2020/3/3
18
子群的判定定理1(注)
定理10.4:一个群G的一个不空子集H作成G的一个子群的充分而 且必要条件是:
2
例10.4(1-2)
(1) <Z,+>整数加群 (2) <Zn,+n>模n整数加群
思考: <Zn,n> 是不是群?
2020/3/3
3
例10.5
Klein 四元群G={e,a,b,c}
*eabc eeabc aaecb bbcea ccbae
2020/3/3
4
群的相关术语(定义10.2)
1) (b-1ab)r= (b-1ab) (b-1ab) …… (b-1ab)
= b-1arb= b-1eb=e
所以 t|r 同理 e=(b-1ab)t= b-1atb 所以 r|t 2) ab=b-1 (bab ) )= b-1(ba)b
2020/3/3
b-1b=at
此时, 方法同 理1)
直括a接号t=去就e
⇒n|mr⇒n|r, 同理m|r,
⇒mn|r
2020/3/3
11
例3 元素乘积的阶(注)
例: G为群,a,b∈G且可交换, |a|=m, |b|=n,若(m,n)=1, 则|ab| = mn.
证:设|ab| = r 1) (ab)mn= (a)mn (b)mn= ( (a)m)n((b)n)m=ee
∴H为G的子群.
2020/3/3
21
有限子群的判定定理
定理10.6:G为群,H是G的非空子集,如果H是有 穷集,则H是G的子群当且仅当 a, b∈H,有ab∈H
证:必然性是显然的.为证明充分性,只需证明
a∈H 有 a-1∈H.任取 a∈H,若a=e,则a-1=e-1=e ∈H.
若a ≠ e,令S={a,a2, …},则 S H.由于H是有穷集,必有
第十章 群与环-
子群的定义和性质
群(Group)
定义10.1(3):设<G,∘>是一个代数系统,其中G 是非空集合,∘是G上一个二元运算,如果 (1).运算∘是封闭的 (2).运算∘是可结合的 (3).存在单位元e (4).对于每一个元素x∈G,存在着它的逆元x-1
则称<G,∘>是一个群
平凡群 只含单位元的群 {e} 有限群与无限群 群G 的阶 G 的基数,通常有限群记为|G| 交换群或阿贝尔(Abel)群
2020/3/3
5
群的阶和元素的阶
群G 的阶 G 的基数,通常有限群记为|G|
元素a 的n 次幂 e n 0
an


a n 1a
n0
(a1)n n 0
元素a 的阶 |a|:使得ak=e 成立的最小正整数k
有限群的元素都是有限阶,比群的阶小(为群 的阶的因子!!!);
元素都是有限阶的群不一定是有限群
2020/3/3
6
群中元素的性质
|a|=r表示: 元素a的阶是
r
定理10.3 G为群,a∈G, 且|a|=r, 则
(1) ak =e ⇔ r | k 注:元素的阶表示能够使得am e的最小整数m
=e⇒r|mn 2) e = ((ab)r)m =(ab)mr=(am)r(bmr)=bmr
⇒n|mr⇒n|r,=e 同理m|r,
2020/3/3
12
例4 元素乘积的阶(2)
例: G为群,a,b∈G是有限阶元,则: (1)|b-1ab| = |a| (2) |ab| = |ba|
证: (1)|设|a| = r, |b-1ab|=t ,则 1) (b-1ab)r= (b-1ab) (b-1ab) …… (b-1ab)
<Z12,+12>
2生成的子群<2> = { 0,2,4,6,8,10 } 3生成的子群<3> = { 0,3,6,9 }
Klein 四元群
<e>={e},<a>={a,e}, <b>={b,e},<c>={c,e}
生成的子群举例3
<Z12,+12>
B={2,3}生成的子群<B> = Z12
证:1.G中单位元e也为H中的单位元
aHG, 则aa-1 =eH,且ae=ea=a,∴e也为H中么元
2.H 中每一元都有逆元 aH,∵eH,由题设得,ea-1H,即a-1H
3.H 对乘法封闭 a,bH,由上可知b-1H,∴有a(b-1) -1=abH
4.可结合性显然,
由于G是有限群,而G的阶大于2的元总是成对出现,所以G里这种元 的个数一定是偶数。
2020/3: G为群,a,b∈G且可交换,
|a|=m, |b|=n,若(m,n)=1, 则|ab| = mn.
证:设|ab| = r
1) (ab)mn=e ⇒r|mn
2) e = ((ab)r)m =(ab)mr=(am)r(bmr)=bmr
(at)q = (at)r/d = (ar)t/d= ep = e s|q (at)s= e ⇒ ats=e ⇒ r | ts ⇒ q | ps q | s (p, q互素) 故: q=s
2020/3/3
8
例2 元素的阶(2)
例: G为有限群,则G中阶大于2的元素 有偶数个。
证: a2 = e a2 = a-1a a = a-1,所以 阶大于2的元素必有a a-1.又由于|a|=|a-1| 所以G中阶大于2的元素一定成对出现。
(2) |a|=|a-1| (3) 若|G| = n, 则r≤n. 证(1) 充分性. ak = arl =(ar)l=el = e 必要性. k=rl+i, l∈Z, i∈{0,1,…,r-1}
⇒ e = ak = arl+i = ai ⇒ i=0 ⇒ r | k (2) (a-1)r= (ar)-1=e-1=e ⇒ |a-1| 存在, 令|a-1|=t, 则t | r. 同理r | t.
2020/3/3
23
子群证明举例2
设H,KG, 则HKGHKKH 证 :只证必要性,反证法 假若h(hH,hK), k(kK,kH), 则hkH,否则k=h-1(hk)H,矛盾. 同理hkK, 从而hkHK。 但是h,kHK, 与HKG矛盾。
2020/3/3
Klein 四元群G={e,a,b,c}
<a,b>= G
子群格
设G是一个群,S={H |HG}是G的 所有子群的集合,在S上定义关系
R如下:
A R B当且仅当A是 B的子群
则<S, R >构成偏序集,称为群G的 子群格。
子群格举例
写出下列群的所有子群
e’ =e H
这样,因为H是一个群,方程ya=e在H中有解a’,但a’也是这个方程在 G里的解,而这个方程在G里只有一个解,就是a-¹所以
a’= a-¹=e
2020/3/3
20
子群的判定定理2
定理10.5:设G为群,HG非空,若对H中的
任意元素a,b都有ab-1∈H,则H为G的子群.
24
生成的子群
a生成的子群<a> = { ak | k∈Z } , a∈G
注:e=a0,a的逆元为a-1
B生成的子群<B> = ∩{ H | H≤G, B⊆H },
B⊆G

B

{a1k1
ak2 2
.
..ankn
|nZ
且i 1,2,...,n, ai B, ki Z}
2020/3/3
否则
a2≠ a a-1 =e
与n>2的假设矛盾。这样我们就有一对不同的阶大于2的元a和a-1。
设G还有元b,b ≠a,b≠a-1,并且b的阶大于2。那么b-1的阶也大于2, 并且b-1≠b。我们也有b-1≠a。
否则
e= b-1b= a a-1= b-1 a-1
消去b-1得b=a-1,与假设矛盾。同样可证b-1≠a-1。这样,除a和a-1 外,又有一对不同的阶大于2的元b和b-1。
a a-¹=e
2020/3/3
19
子群的判定定理1(注)
定理10.4:一个群G的一个不空子集H作成G的一个子群的充分而 且必要条件是:
1) a,b H ab H 2) a H a1 H
反过来看,假如H是一个子群,1)显然成立,我们证明,这时2)也一 定成立。H既是一个群,H一定有一个单位元e’。我们在H里任意取一 个元a,就得到e’a=a,但e’和a就属于G,所以e’是方程ya=a在G里的一 个接。但这个方程在G里只有一个解,就是G的单位元e。所以
相关文档
最新文档