第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 群的一个子群。
《子群的陪集》课件

• 子群与陪集的定义 • 子群的分类 • 陪集的分类 • 子群的性质 • 陪集的性质 • 子群与陪集的应用
目录
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代数学基础群和子群的基本概念

群的例子(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. 子群的子群可以用于证明群的同态定理。
近世代数基础课件

第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=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

解:由题意,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的除了单位元外,只有一个非单位元素的子群,称为循环子群。
子群的实际应用子群在数学和计算机科学中有广泛的应用。
以下是子群在实际中的一些应用场景:密码学在密码学中,子群被用于生成加解密密钥、密码生成和验证等领域。
子群的特性可以保证密码算法的安全性和可靠性。
编码理论在编码理论中,子群被用于生成纠错码、哈密顿码和循环码等编码方法。
子群的运算特性可以用于设计和实现各种优秀的编码算法。
图论在图论中,子群可以用于研究图的自同构性质,从而帮助解决一些图论中的难题,例如图同构和图同构的自动判定问题。
计算机图形学在计算机图形学中,子群可以用于生成和变换图形对象,例如平移、旋转和缩放等操作。
子群的性质可以保证图形变换的正确性和一致性。
总结子群是群论中的重要概念,具有丰富的定义和特性。
子群的运算封闭性、结合律、单位元和逆元等性质使其在数学、密码学、编码理论、图论和计算机图形学等领域都有广泛的应用。
第6讲 循环群和置换群

12 第十二页,编辑于星期三:十六点12分。
证明思路:
(1) 子群H 中最小正方幂元am 为H 的生成元; (2) 若子群H=<am>有限,a≠e, 则 |a| 有限; (3) <an/d>是d 阶子群,再证唯一性.
2021/12/28 2021/12/28
13 13
第十三页,编辑于星期三:十六点 分。
Lagrange定理
Lagrange 定理: |G| = |H| [G:H] 证明: 令G 的不同的陪集为Ha1, Ha2, …, Har, |G| = |Ha1|+|Ha2|+…+|Har|
= |H| r = |H| [G:H]
2021/12/28 2021/12/28
1
第一页,编辑于星期三:十六点 分。
f1={<1,1>,<2,2>,<3,3>}
f2={<1,2>,<2,1>,<3,3>}
11
2 2
33
1 2
2 1
33
f3={<1,3>,<2,2>,<3,1>} f4={<1,1>,<2,3>,<3,2>}
1 3
2 2
13
11
2 3
3 2
f5={<1,2>,<2,3>,<3,1>} f6={<1,3>,<3,2>,<2,1>}
x,y∈ G ,必r,s∈Z, s.t. x=ar ,y=as 而且,
x*y=ar*as=ar+s=as+r=as+ar=y*x
全特征子群,特征子群,正规子群的关系

《近世代数》论文课程:《近世代数》姓名:XXX学号:XXXXXXX专业:XXXXXXXXXXXXX全特征子群,特征子群,正规子群的关系内容:1)引入群的定理2)表述其关系3)证明并且举例4)总结摘要:本论文通过对近世代数的一些基本定理及相关性质的阐述,如:全特征子群,特征子群,正规子群等等。
从而推导出全特征字群,特征子群,正规子群间的关系。
本文的结构是先从相关的定理及相关性质着手,然后根据定理及相关性质来推导全特征字群,特征子群,正规子群间的关系。
本文先从全特征子群开始研究,依次为特征子群,正规子群。
经过本文对全特征字群,特征子群,正规子群的研究,我发现了其规律:全特征子群包含与特征子群,特征子群包含于正规子群;全特征子群特征子群正规子群。
一、有关群的定理定理1设H是群G的一个子群,如果H对G的每个自同态映射都不变,既对每个自同态映射θ都有θ(H)∈H,则称H为群G的一个全特征子群。
定理2设H是群G的一个子群,a∈G。
则称群G的子集aH={ax|x∈H}为群H关于子群H的一个左陪集。
而称Ha={xa|x∈H}为群G关于子群H的一个右陪集。
左陪集的相关性质:⑴如果a∈H,则a∈aH。
⑵a∈H ﹤﹦﹥aH=H⑶b∈aH﹤﹦﹥aH=bH⑷aH=bH,即a与b同在一个作陪集中﹤﹦﹥a b∈H(b ∈H)⑸若aH∩bH≠空集,则aH=bH定理3对群G的所有自同构都不变的子群,亦即对G的任何自同构ε都有ε(N)∈N的子群N,叫做G的一个特征子群。
定理4如果用aH,bH,cH,…表示子群G中的所有不同的左陪集,则有等式G=aH∪bH∪cH…,称其为群G关于子群H的左陪集分解。
而称{a,b,c, …}为G关于H的一个左陪集代表系。
同理关于有陪集的分解:G=H a ∪H b ∪Hc …。
则称{ a ,b ,c ,…}是关于子群H的一个右陪集代表系。
例1:取S的子群H={(1),(12)},则(1)H={(1),(12)},H(1)={(1),(12)},(13)H={(13),(123)},H(13)={(13),(132)},(132)H={(132),(23)};H(123)={(123),(23)}。
群与子群

定义5-4.4设<G,>为代数结构,如果存在 aG,有a a= a ,则称 a为等幂元。 定理5-4.5 在群<G,>中,除幺元e之外, 不可能有任何别的等幂元。 证明: 因为e e = e ,所以e是等幂元。 现设 aG, a≠e 且 a a= a 则有 a=ea=(a-1a)a =a-1(aa)=a-1a=e 与假设 a≠e 且矛盾。
定理定理554242设g为群对于abg必存在必存在使得使得关于x的方程axbxab都有唯一设a的逆元a12再证解唯一性若另有解x定理定理554343设g为群那麽对任意1则有定义定义554343设s是一个非空集合从集合s到s的一个双射称为s的一个置换
5-4 群与子群 一、群
定义5-4.1 称代数结构<G,>为群(groups),如果
(1) <G,>中运算是封闭的。 (2) <G,>中运算是可结合的。 (3) <G,>中有么元e. (4) <G,>中每一元素x都有逆元x-1。 例如,<R-{0}, >,<(S) , >等都是群。
例题1 设R={0°,60°,120°,180°,240°,300°}表 示在平面上几何图形绕形心顺时针旋转角度的六 种可能情况,设★是R上的二元运算,对于R中任 意两个元素a和b,a★b表示平面图形连续旋转a和 b得到的总旋转角度。并规定旋转360°等于原来 的状态,就看作没有经过旋转。验证<R, ★>是一 个群。
定义5-4.6 设<G,>为群,<S,>为G的子群, 如果, S ={e}或S =G,那么称<S,>为 <G,>的平 凡子群。
例题3 <I,+>是一个群,设IE={x|x=2n,nI},证明< IE,+> 是<I,+>的一个子群。
近世代数ppt

第4讲 基本概念之与代数运算发生关系的映射 ——同态映射
1 同态映射 2 同态满射 3 同构映射 4 自同构映射 5 举例
9
第5讲 基本概念之等价关系与集合的分类 ——商集
1 商集 2 等价关系 3 集合的分类 4 集合A上的等价关系与 集合A的分类之间的联系
10
第三章 群
11
第1讲 代数系统
0下载券文档一键搜索 VIP用户可在搜索时使用专有高级功能:一键搜索0下载券文档,下载券不够用不再有压力!
内容特 无限次复制特权 权 文档格式转换
VIP有效期内可以无限次复制文档内容,不用下载即可获取文档内容 VIP有效期内可以将PDF文档转换成word或ppt格式,一键转换,轻松编辑!
阅读页去广告
第一章 绪 论
1
第1讲 绪 论
一 关于代数的观念 二 数学史的发展阶段 三 代数发展的阶段(数学发展史) 四 代数学发展的四个阶段 五 几类与近世代数的应用有关的实际
问题
2
第二章 基本概念
3
特权福利
特权说明
VIP用户有效期内可使用VIP专享文档下载特权下载或阅读完成VIP专享文档(部分VIP专享文档由于上传者设置不可下载只能 阅读全文),每下载/读完一篇VIP专享文档消耗一个VIP专享文档下载特权。
集合与元素的相关概念
集合的相关概念
集合的运算及运算律
集合的补充及说明
6
第2讲 基本概念之集合及其之间的关系 —对应关系(映射)(人造关系)
1 映射概念回忆
2 映射及相关定义 3 映射的充要条件
4 映射举例
5 符号说明
6 映射的合成及相关结论
7 映射及其映射相等概念的推广
8 集合及其之间的关系——特殊
密码学数学基础第六讲 群(1)

例2 在群< Z , + >中,
30 = 0
在群 < Z3 , ⊕ >中,
20 = 0 23 = 2 ⊕ 2 ⊕ 2 = 0
2−3 = (2−1 )3 = 13 = 0
35 = 3 + 3 + 3 + 3 + 3 = 15
3−5 = (3−1 )5 = (−3)5 = −15
定理1 中的幂运算性质如下: 定理 群<G,*>中的幂运算性质如下: , 中的幂运算性质如下
四、子群及其如果H关于 的非空子集, 定义 设<G,*>为群,H是G的非空子集,如果 关于 , 为群 G中的运算 构成群,则称 是G的子群,记作 H ≤ G。若H 中的运算*构成群 的子群, 中的运算 构成群,则称H是 的子群 的子群, 的真子集, 的真子群, 是G的子群,且是 的真子集,则称 是G的真子群,记 的子群 且是G的真子集 则称H是 的真子群 作H < G 。 例1 的子群。 nZ = {nZ | n ∈ N }是整数加群 < Z , + > 的子群。 的真子群。 当 n ≠ 1 时,nZ是Z的真子群。 是 的真子群 定义2 也是G的子群 的平凡子群。 定义 G和{e}也是 的子群,称为 的平凡子群。 和 也是 的子群,称为G的平凡子群
定理2 为群, ∈ , 是整数, 定理 设<G,*>为群,a∈G,且|a|=r。设k是整数, , 为群 =。 是整数 当且仅当r|k。 则 a k = e当且仅当 。 定理3 为群, 与其逆元a 定理 设< G,*>为群,则群中任何元素 与其逆元 -1具 , 为群 则群中任何元素a与其逆元 有相同的阶。 有相同的阶。
正规子群和群基本同态定理

同态群的子群的对应
设f是群G到G’的满同态。A={H|HG, 且ker fH},A’是G’的幂集。定 义g: AA’: 对任意HA,g(H)=f(H)。则g是双射。 g是映射:对任意HA, f(H)是G’的子群 g是满射:对任意H’A’, 令H={a|aG, f(a)H’},则a,bHf(a), f(b)H’f(a)f(b) H’f(ab)H’abH (封闭性);又:aH’ f(a)H’ [f(a)]-1H’f(a-1)H’a-1H (逆元素);所以H是子群。任给xker f, f(x)=e’H’,即xH, 所以:ker fH。 g是单射:注意:若H包含ker f ,则f -1(f(H))=H(这里的f -1不是反函数, 表示集合的完全原象集); 因此:f(H1)=f(H2) f -1(f(H1))= f -1(f(H2)) H1=H2。
等价类:1={…-3,0,3,6,9,…} 2={…-2,1,4,7,10,…} 3={…-1,2,5,8,11,…}
“运算按照等价类保持。”
aRb, cRd ac R bd
同余关系
正规子群的陪集关系是同余关系
设N是群G的正规子群,可以证明: 若ap-1N, bq-1N,则(ab)(pq)-1N
定义h:G/KG’: h(Ka)=f(a)。
由上述讨论可知:h是一对一的;由于f是满射,显然h也是满 射,h是从G/K到G’的双射。对任意Ka,KbG/K, h(Ka⊗Kb)=h(K(ab))=f(ab)=f(a)*f(b)=h(Ka)*h(Kb)
所以:G/K≅G’
群同态的例子
(R,+)是实数加群。<2>是其生成子群。显然这是不变子 群。
注意:Ha=Hb ab-1H ab-1K Ka=Kb
17代数学基础群和子群的基本概念

内容提要
群 环和域 有限域
群
一般来说,一个代数结构是指一个非空 集合S以及定义在S上的二元运算的总体, 要求二元运算满足一定的条件。
定义 群的定义
群的定义:设 G 是一个集合, “ ”是定义在 G 上的一个二元运算。如果
下面四个条件成立,就将代数系统 (G ,) 称为群 (Group): 1. a, b G ,有 a b G (封闭性) (结合律)
封闭性 结合律(不必验证) 单位元 逆元素
子群的例子(1)
在加法运算下,Z Q R C.
注意,在这个例子中:
子群中的单位元和群中的单位元相同,都是0 子群中元素的逆元素和群中该元素的逆元素一致
子群的例子(2)
全体偶数的集合(包括0),在加法运算 下,是整数加法群的一个子群。因此也 是 (1)中所有群的子群。
群的例子(6)
集合B={0,1},在异或运算下形成群。
群的例子(7)
x3 -1=0的根在乘法运算下构成一个有限 群。
x =1是方程的一个解,该方程有三个根。
用u和v表示其它两个根。由于 x3 -1=(x-1)(x2 + x + 1) 则u和v是 x2 + x + 1=0的两个根。 由二次方程根与系数的关系, u和v互逆。 封闭性: (x2)3 –1 =0 。
群的例子(4)
时钟上表示小时的数字在模12加法下构 成群Z12 , 将( Z12 , +(mod 12))称为时钟 群。
群的例子(5)
Zn={0, 1, 2, …, (n-1)}
Zn中所有与 n 互素的的元素是Zn的一个子 集, 这个子集按照模 n 乘法运算构成一个群,用 Zn*表示。 例如, (Z15*, (mod15) ) = ({1, 2, 4, 7, 8, 11, 13, 14}, (mod15) )
第6讲子群的性质

2020/3/3
16
子群举例
写出下列群的所有子群
Klein 四元群
<Z12,+12>
2020/3/3
17
子群的判定定理1
定理10.4:G是群,H是G的非空子集, 则 HG (1)a,bH, abH, (2) aH, a-1H.
平凡群 只含单位元的群 {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
证:必要性显然,证充分性
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的一个子群的充分而 且必要条件是:
可得
14
子群
定义10.5:设<G,*>是一个群,HG 非空,若<H,*>也构成群,则称<H,*> 为 <G,*>的一个子群。 记作HG.
如果子群 H 是 G 的真子集,则称为 真子群,记作 H<G.
子群{e}及 G 称为 G 的平凡子群。
2020/3/3
子群及其陪集

子群的例
例. (mZ,+)是整数加法群(Z,+) 的一个子群。
例. (C,+)以(R,+)、(Q,+)、(Z,+) 为其真子群。
例. (C*,·)以(R*,·)、(Q*,·) 为其真子群。
例. 行列式等于1的所有n阶矩阵作成所有n阶非 奇异矩阵的乘法群的一个子群。
例. n次交代群是n次对称群的一个真子群。
§6.4 子 群 及 其 陪 集
6.4.1 子 群 的 定 义 6.4.2 子群的判别条件 6.4.3 循 环 群 6.4.4 陪 集
精品PPT
捉大头游戏
它是一种相传很久的有趣游戏,如下图,最上面一排是参 加抽签者的名字,最下面一排是签号、奖品或公差。每 个人依次顺着竖线往下走,碰到有横线时,即转向横向 前进,碰到竖线再往下走,依次类推,则只要横线不要 跨过3条竖线(只能跨在两竖线之间),那么此游戏执 行完毕后,最上面的每个人会1-1对应到最下面一排的 位置。一般在设计游戏时,是由主持人先画好竖线和横 线,且在最下面先标好签号,由抽签者自行填上最上面 的人名。有时,为了增加趣味性,先画好竖线填好上排 的人名和下面的签号,再请参加者自行画上横线(不过 速度要快,要不然观察力强者,很快可以找出对应关 系)。请同学们考虑是否精可品P以PT 使用置换的复合编程处理
使用同样办法可以证明下面练习:
设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非空。
《代数系统群》课件

群的基本操作
封闭性
结合性
有单位元
群是由一个集合和定义在这个 集合上的一个二元运算构成的 代数系统。这个二元运算就是 群的操作,它必须满足封闭性 、结合性和有单位元三个基本 性质。
群的操作必须满足封闭性,即 对于任意两个元素$a$和$b$ ,如果$a$和$b$在群中,那 么它们的运算结果也必须在群 中。
传递性
群中的元素满足传递性,即如果知道两个 元素之间存在某种关系,那么可以通过这
个关系推导出其他元素之间的关系。
反身性
群中的每一个元素都可以作为单位元,即 每一个元素与自己进行运算的结果都等于 自己本身。
封闭性
群中的元素对于二元运算满足封闭性,即 两个群元素的运算结果仍然属于这个集合 。
群的例子
01
展为一个更大的群。
目的
扩展群的运算规则和性质,以便更 好地描述复杂系统的行为。
方法
通过定义新的元素和运算规则,将 原群嵌入到新群中,使得原群的运 算规则在新群中得以保持或扩展。
同态定理
定义
同态定理是指两个代数系统之间 存在一种映射关系,使得一个系 统的运算规则可以通过这种映射
关系映射到另一个系统上。
《代数系统群》ppt 课件
目录
CONTENTS
• 群的定义与性质 • 群的操作与表示 • 子群与商群 • 群的扩张与同态定理 • 群在数学中的应用
01 群的定义与性质
群的定义
群的定义
元素的封闭性
群是由一个集合和这个集合上的一个二元 运算所组成,其中这个二元运算满足结合 律。
群中的元素对于这个二元运算满足封闭性 ,即两个群元素的运算结果仍然属于这个 集合。
两个群之间存在一个映射,使得对于这两个群中的任意元素,它们的运算结果在 映射下保持不变。如果两个群的元素之间可以建立一个一一对应关系,并且这个 一一对应关系保持群的二元运算,那么这两个群就称为同态的。
(完整word版)正规子群

§3.4 正规子群同态基本定理在本节中讨论群的同态基本定理。
首先考虑一种特殊的等价关系。
3.4.1 定理H是G的子群,在G上定义二元关系~如下:a ~ b当且仅当ab-1∈H,则~是G上等价关系。
证(1) 任给a∈G,都有aa-1 = e∈H,所以a ~ a;(2) 任给a, b∈G,如果a ~ b,则ab-1∈H,所以ba-1 = (b-1)-1a-1 = (ab-1)-1∈H,因此b ~ a;(3) 任给a, b, c∈G,如果a ~ b且b ~ c,则ab-1, bc-1∈H,所以ac-1 = aec-1 = a(b-1b)c-1 = (ab-1)(bc-1)∈H,因此a ~ c。
■这种等价关系记为~H,称为由H生成的等价关系。
由H生成的等价关系中的等价类有一个明显的表示。
3.4.2 定理H是G的子群,~H是由H生成的等价关系。
(1) 任给a∈G,都有a= Ha = {ha | h∈H}。
特别地,e= He = H。
(2) 任给a∈G,都有|a|= |H|。
证(1) 任给x∈a,都有x ~H a,由~H的定义得xa-1∈H,设xa-1 = h∈H,则x = xe = x(a-1a) =(xa-1)a = ha,因此y∈Ha。
任给x∈Ha,都存在h∈H,使得x = ha,所以xa-1 = (ha)a-1 = h(aa-1) = he = h∈H,由~H的定义得x ~H a,因此x∈|a|。
(2) 取H到a的映射F:H→a F(h) = ha。
显然F是满射。
任给x, y∈H,如果F(x) = F(y),则xa = ya,由消去律得x = y,所以F是单射。
因为F是双射,所以|a| = |H|。
■因为e= H,所以a~H b当且仅当ab-1∈H=e当且仅当ab-1~H e。
1定理3.4.2的(2)告诉我们,商集G/~H中每个元素(作为G的子集)的基数都是|H|,这样的元素共有|G/~H|个,所以有:3.4.3 定理如果H是G的子群,则| G | = |H|⋅|G/~H|。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
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。所以