近世代数课件 第3节 群的定义及性质
合集下载
近世代数课件群的概念
ab ba e . 为了阐明这样的 b 是唯一的; 满足
ab' b'a e. 于是,我们有 b' b'e b'(ab) (b'a)b eb b .所以我 们的命题成立.□
§2 群的概念
对于命题 2.3 中所说的元素 a, b ,我们称 b 为 a 的逆元,记作 b a1 .
乘法都不构成群.
§2 群的概念
例 2 令 P nn 表示某个数域 P 上的全体 n 阶方阵构 成的集合.显然, P nn 关于矩阵的加法构成交换群, P nn 关于矩阵的乘法不构成群.但是,容易明白,数域 P 上的 全体 n 阶可逆矩阵构成的集合关于矩阵的乘法构成群, 称为 n 级一般线性群,记作 GLn (P ) .数域 P 上的全体行 列式的值等于1的 n 阶方阵构成的集合关于矩阵的乘法 构 成 群, 称为 n 级 特 殊线性群 ,记 作 SLn (P ) . 注意,当 n 1时, GLn (P ) 和 SLn (P ) 都不是交换群.
此对于任意的 nN , a 的 n 次幂 an 有意义.现在,对
于任意整数 n 0 ,我们定义 a 的 n 次幂 an 如下:
an
e, (a1)n ,
当 n 0 时; 当n 0 时.
这样一来,对于任意整数 n , an 都有意义.
§2 群的概念
不难验证,幂具有如下性质:对于任意的 a, b G 和 m, n Z ,总有
§2 群的概念
下面介绍置换的表示方法.
设 A {a1, a2 , , an} 是一个有限集, f Sn .我们
可以将 f 表示成下表的形式:
f
a1 (a1)
a2 f (a2 )
f
an (an
ab' b'a e. 于是,我们有 b' b'e b'(ab) (b'a)b eb b .所以我 们的命题成立.□
§2 群的概念
对于命题 2.3 中所说的元素 a, b ,我们称 b 为 a 的逆元,记作 b a1 .
乘法都不构成群.
§2 群的概念
例 2 令 P nn 表示某个数域 P 上的全体 n 阶方阵构 成的集合.显然, P nn 关于矩阵的加法构成交换群, P nn 关于矩阵的乘法不构成群.但是,容易明白,数域 P 上的 全体 n 阶可逆矩阵构成的集合关于矩阵的乘法构成群, 称为 n 级一般线性群,记作 GLn (P ) .数域 P 上的全体行 列式的值等于1的 n 阶方阵构成的集合关于矩阵的乘法 构 成 群, 称为 n 级 特 殊线性群 ,记 作 SLn (P ) . 注意,当 n 1时, GLn (P ) 和 SLn (P ) 都不是交换群.
此对于任意的 nN , a 的 n 次幂 an 有意义.现在,对
于任意整数 n 0 ,我们定义 a 的 n 次幂 an 如下:
an
e, (a1)n ,
当 n 0 时; 当n 0 时.
这样一来,对于任意整数 n , an 都有意义.
§2 群的概念
不难验证,幂具有如下性质:对于任意的 a, b G 和 m, n Z ,总有
§2 群的概念
下面介绍置换的表示方法.
设 A {a1, a2 , , an} 是一个有限集, f Sn .我们
可以将 f 表示成下表的形式:
f
a1 (a1)
a2 f (a2 )
f
an (an
群的基本概念和性质
群的基本概念和性质数学中的一个重要结构是群，它是一种代数结构，可以用来描述对象之间的对称性和变换，以及它们之间的关系。
群是数学家们在研究几何、物理、化学等领域中发现的一种普遍存在的数学结构，具有广泛的应用价值。
一、群的定义群是一个集合G和一种操作“*”的代数结构，满足以下四个条件：1.封闭性：对于任意a和b属于G，a*b也属于G。
2.结合性：对于任意a、b和c属于G，(a*b)*c=a*(b*c)。
3.单位元：存在一个元素e属于G，满足对于任意a属于G，a*e=e*a=a。
4.逆元：对于任意a属于G，存在一个元素b属于G，满足a*b=b*a=e。
如果一个集合和它上面的运算满足以上四个条件，那么它就是一个群。
二、群的例子1.整数群整数集合Z构成了一个群，加法作为群操作符号。
整数集满足封闭性、结合性、单位元是0，逆元是-a。
2.置换群置换是一种把集合映射到自身的变换。
所有置换组成的集合构成了一个群，置换的乘法作为群的操作符号。
置换群的中心思想是通过变换得到更多结构的信息。
三、群的性质1.唯一性：给定一个群，它必须具有惟一的操作和单位元。
2.同态性：两个群h和g之间的函数f如若满足：（1） f(a* b)= f(a)* f(b)，(2)对于所有的a∈g, f(a)∈h,那f就是从h到g群的同态。
3.子群：一个群的子集，如果它自己也构成了一个群，那么它就是一个子群。
4.阶：一个群G的阶是指它包含的元素数量。
5.交换性：如果一个群的元素满足交换律，它就是一个交换群，也称为abelian群。
四、群的应用群的应用领域非常广泛，包括几何、物理、化学、密码学等。
在几何学中，群用于描述对象的对称性和变换，例如对称群是描述几何体对称性的群。
在物理学中，群被用于描述物理现象的对称性和变换，例如它可以用于描述粒子对称性和电磁场的对称性。
在化学中，群被用于描述分子的对称性。
在密码学中，群被用于构建公钥密码体制。
总的来说，群是一种非常有用的数学结构，它在科学、工程、计算机科学等领域都有着广泛而重要的应用。
近世代数(抽象代数)课件
意一个二元运算,并将其称为乘法.当 ab c
时, c 称为 a 与 b 的乘积;甚至还将等式 ab c
简写成 ab c .
6
Logo
§1 代数运算
例 1 设 R 是实数集.于是,平常的加法“”,减 法“-”和乘法“”都是 R 上的二元运算;除法“”是 R , R \{0}到 R 的代数运算,不是 R 上的二元运算.
第一章 群 论
LOGO
1
目录
§1 代数运算 §2 群的概念 §3 子 群 §4 循环群 §5 正规子群与商群 §6 群的同构与同态 §7 有限群
2
Logo
§1 代数运算
设 A1, A2 , , An ( n 为正整数)都是集合.我们将 集合
{(a1, a2 , , an ) | ai Ai , i 1, 2, n} 称为 A1, A2 , , An 的直积或笛卡儿积,记作
A1 A2 An . 特别地,当 A1 A2 An A 时, A1 A 2 A n 可 以简记作 An (读作 A 的 n 次方).这里约定,当 n 1 时, A1 A 2 A n 就是 A1 .
3
Logo
§1 代数运算
定义 1.1 设 A1, A2 , , An ( n 为正整数)和 A 都是非空集合. A1 A2 An 到 A 的映射 又 称 为 A1, A2 , , A n 到 A 的 代 数 运 算 ; 特 别 地, An 到 A 的映射又称为 A 上的 n 元运算.
设 A 是一个非空集合. f 是 A 上的一个二
元运算.于是，对于任意的 a, b A ，存在唯
一的 c A ，使得 f (a, b) c .我们约定,将等
式 f (a, b) c 改写成 afb c .
近世代数简介ppt
若R是交换环，I是R的非空子集，如满足 1． a、b I， a－b I。 2． a I、r R， a r = r a I， 则I是R的理想子环，简称理想
若理想子环的所有元素可由一个元素a的各
次幂或各次幂的线性组合生成，则称该理想子环 主理想子环，简称主理想
域（Field)
一个集合，二种运算
不能被 x5+1 整除 不能被 x6+1 整除
…
…
不能被 x14+1 整除
能被 x15+1 整除 ∴ x4+x+1 是本原多项式
而 x4+ x3+ x2+ x+1
能被 x5+1 整除
能被 x15+1 整除
∴ x4+x3+x2+x+1是既约的，但不是本原的
多项式环Rq(x)g(x)
系数GF(q),模g(x)
对于有限域GF(q)上的m次既约多项式P(x)，若能 被它整除的最简首一多项式(x n -1)的次数n qm
–1, 则称该多项式为本原多项式。 本原多项式一定既约；
反之，既约多项式未必本原。
多项式循环群 Cycle Group
由多项式的各次幂所构成的群称为多项式循环群
比如， x4+x+1
(q=2, m=4, 2m-1=15)
VIP专享文档下载特权自VIP生效起每月发放一次， 每次发放的特权有效期为1个月，发放数量由您购买 的VIP类型决定。
每月专享9次VIP专享文档下载特权， 自VIP生效起每月发放一次，持续有 效不清零。自动续费，前往我的账号 -我的设置随时取消。
服务特 权
共享文档下载特权
VIP用户有效期内可使用共享文档下载特权下载任意下载券标价的文档（不含付费文档和VIP专享文档），每下载一篇共享文
若理想子环的所有元素可由一个元素a的各
次幂或各次幂的线性组合生成，则称该理想子环 主理想子环，简称主理想
域（Field)
一个集合，二种运算
不能被 x5+1 整除 不能被 x6+1 整除
…
…
不能被 x14+1 整除
能被 x15+1 整除 ∴ x4+x+1 是本原多项式
而 x4+ x3+ x2+ x+1
能被 x5+1 整除
能被 x15+1 整除
∴ x4+x3+x2+x+1是既约的，但不是本原的
多项式环Rq(x)g(x)
系数GF(q),模g(x)
对于有限域GF(q)上的m次既约多项式P(x)，若能 被它整除的最简首一多项式(x n -1)的次数n qm
–1, 则称该多项式为本原多项式。 本原多项式一定既约；
反之，既约多项式未必本原。
多项式循环群 Cycle Group
由多项式的各次幂所构成的群称为多项式循环群
比如， x4+x+1
(q=2, m=4, 2m-1=15)
VIP专享文档下载特权自VIP生效起每月发放一次， 每次发放的特权有效期为1个月，发放数量由您购买 的VIP类型决定。
每月专享9次VIP专享文档下载特权， 自VIP生效起每月发放一次，持续有 效不清零。自动续费，前往我的账号 -我的设置随时取消。
服务特 权
共享文档下载特权
VIP用户有效期内可使用共享文档下载特权下载任意下载券标价的文档（不含付费文档和VIP专享文档），每下载一篇共享文
近世代数--群的概念
(a b ) c a b c (a b) c a (b c) a b c a (b c ),
所以结合律成立．
(3) 对任意的 a,b Zm ,
a b a b b a b a,
所以交换律成立．
(4) 对任意的 a Zm ，
a 0 a 0 a,
且
0 a 0 a a,
的代表元的选取无关即可．设
a a ', b b ',
则
m | a a ', m | b b '.
于是 m | (a a ') (b b ') (a b) (a ' b '),
m | (a a ')b (b b ')a ' (ab) (a 'b ').
从而
a b a ' b ', ab a 'b'. 所以+与 都是Zm上的代数运算.
的逆元记作 a, 并称a为 a 的负元．
2．习惯上，只有当群为交换群时，才用“＋” 来表 示群的运算，并称这个运算为加法，把运算的 结果叫做和，同时称这样的群为加群．相应地, 将 不是加群的群称为乘群，并把乘群的运算叫做乘法， 运算的结果叫做积．在运算过程中，乘群的运算符号 通常省略不写．今后，如不作特别声明，我们总假定 群的运算是乘法．当然, 所有关于乘群的结论对加群 也成立（必要时, 作一些相关的记号和术语上改变）．
a b b a e. 则称 G关于运算“ ”构成一个群（group），记作 (G,) ．在不致引起混淆的情况下, 也G称为群．
注 1．(G2)中的元素 e 称为群 G的单位元
（unit element）或恒等元（identity）；
所以结合律成立．
(3) 对任意的 a,b Zm ,
a b a b b a b a,
所以交换律成立．
(4) 对任意的 a Zm ，
a 0 a 0 a,
且
0 a 0 a a,
的代表元的选取无关即可．设
a a ', b b ',
则
m | a a ', m | b b '.
于是 m | (a a ') (b b ') (a b) (a ' b '),
m | (a a ')b (b b ')a ' (ab) (a 'b ').
从而
a b a ' b ', ab a 'b'. 所以+与 都是Zm上的代数运算.
的逆元记作 a, 并称a为 a 的负元．
2．习惯上，只有当群为交换群时，才用“＋” 来表 示群的运算，并称这个运算为加法，把运算的 结果叫做和，同时称这样的群为加群．相应地, 将 不是加群的群称为乘群，并把乘群的运算叫做乘法， 运算的结果叫做积．在运算过程中，乘群的运算符号 通常省略不写．今后，如不作特别声明，我们总假定 群的运算是乘法．当然, 所有关于乘群的结论对加群 也成立（必要时, 作一些相关的记号和术语上改变）．
a b b a e. 则称 G关于运算“ ”构成一个群（group），记作 (G,) ．在不致引起混淆的情况下, 也G称为群．
注 1．(G2)中的元素 e 称为群 G的单位元
（unit element）或恒等元（identity）；
群的基本概念ppt课件
由此可得到 S3 置换群的乘法表。
S3 置换群表：
S3
E (132) (123) (23) (13) (12)
E E (132) (123) (23) (13) (12)
(132) (132) (123) E (12) (23) (13)
(123) (123) E (132) (13) (12) (23)
Eˆ ECˆ31
Cˆ32
Aˆˆvv((12)) ˆv(3)
同构与同态在构造群表和群的特征标表中作用很大。
2.4 群的直积：直积群
2.4.1 子群 若一个群 H 的群元素皆包含于另一个群 G 之中，就称群 H 是群 G 的子群。 或者说，群 H 的阶为 h，群 G 的阶为 g，且 h ≤ g，H ∈ G。就称群 H 是群 G 的子群。 因为有相同的乘法关系，子群 H 与群 G 有相同的单位元素。
例 1 C6 群包含 C2 子群和 C3 子群。
C 6:
E ˆ C ˆ6 2(C ˆ3 1) C ˆ6 3(C ˆ2 1) C ˆ6 5
C ˆ6 4(C ˆ3 2) C ˆ6 1
C 6 C 3 C 2
例 1 C6 群包含 C2 子群和 C3 子群。
Eˆ
C2v Eˆ Cˆ 2 (Z)
ˆ XZ
ˆYZ
Eˆ Eˆ Cˆ 2 (Z)
ˆ XZ ˆYZ
Cˆ 2 (Z) Cˆ 2 (Z)
Eˆ
ˆYZ
ˆ XZ
ˆ XZ
ˆ XZ
ˆYZ
Eˆ Cˆ 2 (Z)
ˆYZ
ˆYZ
ˆ XZ
Cˆ 2 (Z) Eˆ
例 2-5 S3 置换群
S3 置换群是三个数码 1，2，3 的所有可能的置换，共有 6 个群 元素：
S3 置换群表：
S3
E (132) (123) (23) (13) (12)
E E (132) (123) (23) (13) (12)
(132) (132) (123) E (12) (23) (13)
(123) (123) E (132) (13) (12) (23)
Eˆ ECˆ31
Cˆ32
Aˆˆvv((12)) ˆv(3)
同构与同态在构造群表和群的特征标表中作用很大。
2.4 群的直积：直积群
2.4.1 子群 若一个群 H 的群元素皆包含于另一个群 G 之中，就称群 H 是群 G 的子群。 或者说，群 H 的阶为 h，群 G 的阶为 g，且 h ≤ g，H ∈ G。就称群 H 是群 G 的子群。 因为有相同的乘法关系，子群 H 与群 G 有相同的单位元素。
例 1 C6 群包含 C2 子群和 C3 子群。
C 6:
E ˆ C ˆ6 2(C ˆ3 1) C ˆ6 3(C ˆ2 1) C ˆ6 5
C ˆ6 4(C ˆ3 2) C ˆ6 1
C 6 C 3 C 2
例 1 C6 群包含 C2 子群和 C3 子群。
Eˆ
C2v Eˆ Cˆ 2 (Z)
ˆ XZ
ˆYZ
Eˆ Eˆ Cˆ 2 (Z)
ˆ XZ ˆYZ
Cˆ 2 (Z) Cˆ 2 (Z)
Eˆ
ˆYZ
ˆ XZ
ˆ XZ
ˆ XZ
ˆYZ
Eˆ Cˆ 2 (Z)
ˆYZ
ˆYZ
ˆ XZ
Cˆ 2 (Z) Eˆ
例 2-5 S3 置换群
S3 置换群是三个数码 1，2，3 的所有可能的置换，共有 6 个群 元素：
近世代数课件全21 群的定义.ppt
aa1 eaa1 a'a1 aa1 a' a1a a1 a'ea1 a'a1 e
2019/12/12
二、群的性质及等价判定方法 定理1 群中
1.左逆元也是右逆元（逆元）； 2.左单位元也是右单位元（单位元）；
aa1 a1a e ae aa1a ea a
做成交换群，称为正有理数乘群.
例3 G {全体整数}，对于运算 a b ab
2
1Leabharlann 22124
2
1
2 212 2
结合律不成立,不做成群.
2019/12/12
注意：
（1）对于考察集合是否作成群： 既要考虑元素，又要考虑代数运算；
（2）将群的代数运算叫做乘法，简记
a b a b ab
近世代数 第二章 群论 §1 群的定义
2019/12/12
一、群的定义与例子
定义1设 G 是一个具有代数运算 的非空集合，
并且满足:
Ⅰ. 结合律: a,b,c G, 有
(a b) c a (b c)
Ⅱ. G 中有左单位元 e ：a G, e a a Ⅲ. 对 G 中每一个元素 a , 有左逆元
左单位元1， a 1 无逆元,不能做成群；
2019/12/12
（3）对于运算 a b a b 4
a b c a b 4 c a b 4 c 4 a b c 8
a b c a b c 4 a b c 4 4 a b c 8
2019/12/12
定义4
设 G 是一个具有代数运算 的非空集合 ，并且满足结合律，则称 G 关于代数运算
2019/12/12
二、群的性质及等价判定方法 定理1 群中
1.左逆元也是右逆元（逆元）； 2.左单位元也是右单位元（单位元）；
aa1 a1a e ae aa1a ea a
做成交换群，称为正有理数乘群.
例3 G {全体整数}，对于运算 a b ab
2
1Leabharlann 22124
2
1
2 212 2
结合律不成立,不做成群.
2019/12/12
注意：
（1）对于考察集合是否作成群： 既要考虑元素，又要考虑代数运算；
（2）将群的代数运算叫做乘法，简记
a b a b ab
近世代数 第二章 群论 §1 群的定义
2019/12/12
一、群的定义与例子
定义1设 G 是一个具有代数运算 的非空集合，
并且满足:
Ⅰ. 结合律: a,b,c G, 有
(a b) c a (b c)
Ⅱ. G 中有左单位元 e ：a G, e a a Ⅲ. 对 G 中每一个元素 a , 有左逆元
左单位元1， a 1 无逆元,不能做成群；
2019/12/12
（3）对于运算 a b a b 4
a b c a b 4 c a b 4 c 4 a b c 8
a b c a b c 4 a b c 4 4 a b c 8
2019/12/12
定义4
设 G 是一个具有代数运算 的非空集合 ，并且满足结合律，则称 G 关于代数运算
近世代数--群的概念
所以+与
都是Z
上旳代数运算.
m
定义1.2.2 设G是一种非空集合，“ ”G是 上旳 一种代数运算，即对全部旳a,b G,有 a b G. 如 果G旳运算还满足
(G1) 结合律，即对全部旳a,b,c G, 有； (a b) c a (b c);
(G2) G中有元素e，使对每个a G ，有 e a a e a;
(5) 在群中消去律成立，即设 a,b, c G ，
假如 ab ac ，或 ba ca ，则 b c ．
证 (1) 假如 e1,e2都是 G旳单位元，则 e1 e2 e2（因为e1是G旳单位元）， e1 e2 e（1 因为e2是G旳单位元），
所以
e2 e1 e2 e1,
所以单位元是惟一旳．
对任意旳正整数 n ，定义 an a a a
n个a
再约定
a0 e， an (a1)n，（n为正整数） 则 a n对任意整数都有意义，而且不难证明：
对任意旳 a G，m,n Z， 有下列旳指数法则 (1) an am anm ； (2) (an )m anm； (3) 假如 G是互换群，则 (ab)n anbn
所以结合律成立.
(3) 因为(1, m) 1，从而 1 Zm ，且对任意旳 a U (m),
a 1 a1 a,
且
1a 1a a, 所以1是U (m)旳单位元．
(4) 对任意旳 a U (m),，有(a, m) 1 ， 由整数旳性质可知，存在 u,v Z ，使au mv 1, 显然(u, m) 1, 所以 u U (m) ，且
易知， Z*p 1, 2, , p 1
(2) 由初等数论可知（参见[1]），U (m)旳阶等于
(m) 这里 (m) 是欧拉函数．假如
近世代数课件-3.1. 加群、环的定义
近世代数课件-3.1. 加群、环的 定义
欢迎大家来到本次近世代数课程，今天我们将学习加群和环的基本定义和性 质。
什么是加群
群的定义和性质
群是一个集合，具有封闭性、 结合律、单位元素和逆元素。
加法运算的封闭性
加法运算在集合内是封闭的， 即两个元素的和仍然属于该 集合。
加法运算的结合律
对于三个元素进行连续加法 运算时，结果与加法运算的 顺序无关。
加法运算的存在单位元素
加群中存在一个特殊元素，称为单位元素，它 与任何元素相加不改变元素的值。
加法运算的存在逆元素
加群中的每个元素都有一个对应的逆元素，使 得它们相加的结果等于单位元素。
什么是环
1
环的定义和性质
环是一个集合，具有加法运算和乘法运算，
加法运算和乘法运算的关系
2
ห้องสมุดไป่ตู้
同时满足封闭性、结合律和分配律。
加法运算是环的基本结构，而乘法运算是
在此基础上进一步定义的。
3
乘法运算的封闭性
乘法运算在集合内是封闭的，即两个元素
乘法运算的结合律
4
的乘积仍然属于该集合。
对于三个元素进行连续乘法运算时，结果
与乘法运算的顺序无关。
5
乘法运算的分配律
乘法运算在加法运算上满足分配律，即对 于任意三个元素的运算，结果在加法和乘 法之间保持一致。
欢迎大家来到本次近世代数课程，今天我们将学习加群和环的基本定义和性 质。
什么是加群
群的定义和性质
群是一个集合，具有封闭性、 结合律、单位元素和逆元素。
加法运算的封闭性
加法运算在集合内是封闭的， 即两个元素的和仍然属于该 集合。
加法运算的结合律
对于三个元素进行连续加法 运算时，结果与加法运算的 顺序无关。
加法运算的存在单位元素
加群中存在一个特殊元素，称为单位元素，它 与任何元素相加不改变元素的值。
加法运算的存在逆元素
加群中的每个元素都有一个对应的逆元素，使 得它们相加的结果等于单位元素。
什么是环
1
环的定义和性质
环是一个集合，具有加法运算和乘法运算，
加法运算和乘法运算的关系
2
ห้องสมุดไป่ตู้
同时满足封闭性、结合律和分配律。
加法运算是环的基本结构，而乘法运算是
在此基础上进一步定义的。
3
乘法运算的封闭性
乘法运算在集合内是封闭的，即两个元素
乘法运算的结合律
4
的乘积仍然属于该集合。
对于三个元素进行连续乘法运算时，结果
与乘法运算的顺序无关。
5
乘法运算的分配律
乘法运算在加法运算上满足分配律，即对 于任意三个元素的运算，结果在加法和乘 法之间保持一致。
第3节 群的定义及性质
4/28
近世 代数
群的三个等价定义
定义2 设G是一个非空集合， “∘”是G上的二元代 数 运算，称为乘法。如果下列四个条件成立，则称 G关于乘法“∘”作成一个群. I G关于乘法“∘”封闭，即a,b∈G，a ∘ b∈G； II 乘法“∘”满足结合律，即a,b,c∈G (a ∘ b) ∘ c=a ∘ (b ∘ c)； III G关于乘法“∘”有一个左单位元e，即 a∈G ，存在元e∈G，使得e ∘ a=a； IV 对于G的每个元素，关于乘法“∘”有一个左 5/28 逆元，即a∈G ，存在元b∈G，使得b ∘ a=e，其中
近世 代数
群的性质：幂运算规则
性质6 设G 为群，则G中的幂运算满足： (1) a∈G，anam = an+m，n, m∈Z (2) a∈G，(an)m = anm，n, m∈Z (3) 若G为交换群，则 (ab)n = anbn.
17/28
近世 代数
元素的阶
定义6 设G是群，a∈G，使得等式 ak=e 成立的最小 正整数k 称为a 的阶，记作|a|=k，称 a 为 k 阶元. 若不存在这样的正整数 k，则称 a 为无限阶元. 例如，在(Z6, )中， [2]和[4]是3阶元， [3]是2阶元， [1]和[5]是6阶元， [0]是1阶元. 在(Z, +)中，0是1阶元，其它整数的阶都不存在.
e a b c a e c b b c e a c b a e
近ห้องสมุดไป่ตู้ 代数
群的性质：例题
例3 设群G=(P({a,b}), )，其中为对称差.
解下列群方程
{a}X=， Y{a, b}={b}. 解: X={a}1={a}={a}， Y={b}{a, b}1={b}{a, b}={a}
近世 代数
群的三个等价定义
定义2 设G是一个非空集合， “∘”是G上的二元代 数 运算，称为乘法。如果下列四个条件成立，则称 G关于乘法“∘”作成一个群. I G关于乘法“∘”封闭，即a,b∈G，a ∘ b∈G； II 乘法“∘”满足结合律，即a,b,c∈G (a ∘ b) ∘ c=a ∘ (b ∘ c)； III G关于乘法“∘”有一个左单位元e，即 a∈G ，存在元e∈G，使得e ∘ a=a； IV 对于G的每个元素，关于乘法“∘”有一个左 5/28 逆元，即a∈G ，存在元b∈G，使得b ∘ a=e，其中
近世 代数
群的性质：幂运算规则
性质6 设G 为群，则G中的幂运算满足： (1) a∈G，anam = an+m，n, m∈Z (2) a∈G，(an)m = anm，n, m∈Z (3) 若G为交换群，则 (ab)n = anbn.
17/28
近世 代数
元素的阶
定义6 设G是群，a∈G，使得等式 ak=e 成立的最小 正整数k 称为a 的阶，记作|a|=k，称 a 为 k 阶元. 若不存在这样的正整数 k，则称 a 为无限阶元. 例如，在(Z6, )中， [2]和[4]是3阶元， [3]是2阶元， [1]和[5]是6阶元， [0]是1阶元. 在(Z, +)中，0是1阶元，其它整数的阶都不存在.
e a b c a e c b b c e a c b a e
近ห้องสมุดไป่ตู้ 代数
群的性质：例题
例3 设群G=(P({a,b}), )，其中为对称差.
解下列群方程
{a}X=， Y{a, b}={b}. 解: X={a}1={a}={a}， Y={b}{a, b}1={b}{a, b}={a}
近世代数--群的概念
1 1 2 2 s s
1 = m∏ 1 − . pi t =1
s
* 例10 具体写出 Z 5 中任意两个个元素的乘积以
及每一个元素的逆元素．易知 Z = {1 , 2. 3, 4}.
* 5
直接计算，可得 表1.2.1
1⋅1 = 1 2 ⋅1 = 2 3 ⋅1 = 3 4 ⋅1 = 4
{
}
U 的阶等于 (2) 由初等数论可知（参见[1]）， ( m)
φ ( m) 这里 φ (m) 是欧拉函数．如果
r m = p1r1 p22 L psrs ,
其中 p1 , p2 ,L, ps 为的 m 不同素因子，那么
r r φ (m) = ( p1r − p1r −1 )( p2 − p2 −1 )( psr − psr −1 )
所以1是U ( m) 的单位元．
(4) 对任意的 a ∈ U ( m), ，有( a, m) = 1 ， 由整数的性质可知，存在 u , v ∈ Z ，使au + mv = 1, 显然(u , m) = 1, 所以 u ∈ U ( m) ，且
a ⋅ u = au = au + mv = 1 , (因m | mv） u ⋅ a = ua = au = 1，
2．习惯上，只有当群为交换群时，才用“＋” 来表 示群的运算，并称这个运算为加法 加法，把运算的 加法 结果叫做和，同时称这样的群为加群 和 加群．相应地, 将 加群 不是加群的群称为乘群 乘群，并把乘群的运算叫做乘法 乘法， 乘群 乘法 运算的结果叫做积．在运算过程中，乘群的运算符号 积 通常省略不写．今后，如不作特别声明，我们总假定 群的运算是乘法．当然, 所有关于乘群的结论对加群 也成立（必要时, 作一些相关的记号和术语上改变）．
1 = m∏ 1 − . pi t =1
s
* 例10 具体写出 Z 5 中任意两个个元素的乘积以
及每一个元素的逆元素．易知 Z = {1 , 2. 3, 4}.
* 5
直接计算，可得 表1.2.1
1⋅1 = 1 2 ⋅1 = 2 3 ⋅1 = 3 4 ⋅1 = 4
{
}
U 的阶等于 (2) 由初等数论可知（参见[1]）， ( m)
φ ( m) 这里 φ (m) 是欧拉函数．如果
r m = p1r1 p22 L psrs ,
其中 p1 , p2 ,L, ps 为的 m 不同素因子，那么
r r φ (m) = ( p1r − p1r −1 )( p2 − p2 −1 )( psr − psr −1 )
所以1是U ( m) 的单位元．
(4) 对任意的 a ∈ U ( m), ，有( a, m) = 1 ， 由整数的性质可知，存在 u , v ∈ Z ，使au + mv = 1, 显然(u , m) = 1, 所以 u ∈ U ( m) ，且
a ⋅ u = au = au + mv = 1 , (因m | mv） u ⋅ a = ua = au = 1，
2．习惯上，只有当群为交换群时，才用“＋” 来表 示群的运算，并称这个运算为加法 加法，把运算的 加法 结果叫做和，同时称这样的群为加群 和 加群．相应地, 将 加群 不是加群的群称为乘群 乘群，并把乘群的运算叫做乘法 乘法， 乘群 乘法 运算的结果叫做积．在运算过程中，乘群的运算符号 积 通常省略不写．今后，如不作特别声明，我们总假定 群的运算是乘法．当然, 所有关于乘群的结论对加群 也成立（必要时, 作一些相关的记号和术语上改变）．
近世代数ppt
8
第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 集合及其之间的关系——特殊
第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 集合及其之间的关系——特殊
近世代数群的概念课件
反身性
任何元素与自己相乘的结果仍为该元素本身。
可交换性
对于任意$a, b$在群中，有$a cdot b = b cdot a$。
可结合性
对于任意$a, b, c$在群中，有$(a cdot b) cdot c = a cdot (b cdot c)$。
子群与商群
子群
一个子群是一个集合在某个二元运算 下构成一个群，且该子集是原群的非 空子集。
05
有限群的结构
有限群的分 类
阿贝尔群和非阿贝尔群
01
根据群中元素的乘法是否满足交换律，可以将有限群分为阿贝
尔群和非阿贝尔群。
循环群和非循环群
02
根据群中是否存在循环子群，可以将有限群分为循环群和非循
环群。
素数阶群和非素数阶群
03
根据群的阶是否为素数，可以将有限群分为素数阶群和非素数
阶群。
有限群的Sylow定理
近世代数群的概念
目 录
• 群的定义与性质 • 群的表示与同态 • 循环群与交换群 • 群的扩张与直积 • 有限群的结构 • 群的应用
contents
01
群的定义与性质
群的定 义
群的定义
一个群是由一个集合和一个 在其上的二元运算所组成， 满足结合律、存在单位元、 存在逆元的代数系统。
结合律
群中的二元运算满足结合律， 即对于任意$a, b, c$在群中， 有$(a cdot b) cdot c = a cdot (b cdot c)$。
单位元
群中存在一个元素$e$，使 得对于任意$a$在群中，有 $e cdot a = a cdot e = a$。
逆元
对于任意$a$在群中，存在 一个元素$b$，使得$a cdot b = b cdot a = e$，其中 $e$是单位元。
近世代数课件 第3节 群的定义及性质
(1) 证明2: 设 |a| = r，则有
(b1ab)r (b1ab)(b1ab)...(b1ab)
r个
b1a rb b1eb e
可知b1ab的阶为有限. 令|b1ab| = t，从而有t | r.
另一方面，由 (b1ab)t=e可知
(b1ab)t = b1atb1 = e
at = e，从而有 r | t.
近世 代数
群论
主要内容:
群的定义与性质 有限群、子群 变换群 置换群 循环群 子群的陪集、正规子群与商群 群的同态基本定理
1/30
近世 代数
第3节 群的定义与性质
主要内容:
群的定义 群的基本性质 群的实例 群中的术语
2/30
近世 代数
群的三个等价定义
定义0 (1) 设(S, ∘)是一个代数系统，如果运算∘满足结合 律，则称(S, ∘)为一个半群. (2) 设(S, ∘)是半群，若e∈S是关于∘运算的单位元， 则称(S, ∘)是一个幺半群，也叫做独异点.
性质7 G为群，a∈G且 |a| = r. 设k是整数，则 (1) ak = e 当且仅当 r | k . (2 )|a1| = |a|.
证明： (2) 由 (a1)r = (ar)1 = e1 = e 可知 a1 的阶为有限. 令|a1| = t，从而有t | r. 同时，at = ((a-1)-1)t = (a-1)-t = ((a-1)t)-1 = e-1 = e ， 所以 r | t. 从而证明了r = t，即|a1| = |a| .
22/30
近世 代数
例题
例5 设G是群，a, b∈G是有限阶元. 证明
(1) |b1ab| = |a|
(2) |ab| = |ba|
近世代数课件(全)--2-1 群的定义
近世代数课件(全)--2-1 群的定义1. 引言在近代代数中，群是一种基础的对象。
它的定义极其简单，但却具有广泛的应用和深刻的理论结构。
本章我们将介绍群的定义及其基本性质。
2. 群的定义群是一种代数结构，具有以下三个性质：(1) 封闭性：对于群G中的任意两个元素a和b，a*b也在G中。
(3) 存在单位元：存在一个称为单位元的元素e，使得对于任意的a∈G，有a*e=e*a=a。
3. 群的注记通常我们称一个群为(G,*)，其中G称为群的集合，*称为群的运算，单位元用1或者e 表示，逆元用(a)^-1或者-a表示。
如果G是一个有限集合，那么称(G,*)为有限群，否则称其为无限群。
4. 群的例子(1) 整数的加法群(Z,+)对于整数集合Z，定义a+b为a加上b，即a+b=a＋b。
易证(Z,+)是一个群，其单位元为0，逆元为相反数。
(2) 非零有理数的乘法群(Q^*,×)(3) 旋转群SO(2)SO(2)表示二维空间中的旋转群，即所有的旋转操作组成的集合。
对于一个旋转操作R，我们可以用一个旋转矩阵表示，即：R = [cos(θ) -sin(θ)][sin(θ) cos(θ)]其中θ表示旋转角度。
易证，SO(2)是一个群，其运算为旋转操作的复合，单位元为不旋转，逆元为逆时针旋转同样的角度。
5. 群的性质(1) 唯一性：对于群G，单位元和逆元是唯一的。
这意味着，G中只能有一个单位元e，且a的逆元也只能是一个元素a^-1。
(2) 消去律：对于群G中的任意三个元素a、b和c，如果a*b=a*c，那么b=c。
这意味着，我们可以把群的运算看做加法，可以用消去律推导出类似乘法运算中的约分。
(3) 结构稳定性：对于群G中的任意两个元素a和b，它们的运算结果a*b仍然在G中。
这意味着，我们可以在群元素之间不断进行运算，而不用担心运算结果会跑到其他集合中去。
6. 小结群是一种基础的代数结构，其定义非常简单，但却具有广泛的应用和深刻的理论结构。
近世代数--13子群42页PPT文档
iI
Si 和 Si 分别称为 S 的这族子集的交(集)和并
iI
iI
(集).
2020/3/29
数学与计算科学学院Company Logo
2020/3/29
数学与计算科学学院Company Logo
§3 子 群
命题 3.2 设 G 是一个群, H 是 G 的一个子 群.那么,
(1) H 的单位元就是 G 的单位元; (2)对于任意的 a H , a 在群 H 中的逆元就 是 a 在群 G 中的逆元. 证明 (1)设 e 是群 G 的单位元, e' 是子群 H 的单位元.由于 e 是 G 的单位元,我们有 ee' e' .
2020/3/29
数学与计算科学学院Company Logo
§3 子 群
由 于 e' 是 H 的 单 位 元 , 我 们 有 e'e' e' . 因 此 ee' e'e' .将该式两边右乘 e' 在 G 中的逆元(或 者,根据消去律——第 9 页第 5 题),即得 e e' .
(2)对于任意的 a H ,设 a 在 G 中的逆元 为 a1 , a 在 H 中的逆元为 a' .根据(1),我们有 aa1 e aa' .将该式两边左乘 a1 (或者,根据 消去律——第 9 页第 5 题),即得 a1 a' .□
2020/3/29
数学与计算科学学院Company Logo
§3 子 群
定理 3.3 设 G 是一个群, H 是 G 的一个 非空子集.那么, H 为 G 的子群的充分必要条件 是:
(1) ab H , a, b H ; (2) a1 H , a H . 证明 先证明必要性.假设 H 是 G 的子群. 首先,根据子群的定义, H 满足条件(1). 其次,
Si 和 Si 分别称为 S 的这族子集的交(集)和并
iI
iI
(集).
2020/3/29
数学与计算科学学院Company Logo
2020/3/29
数学与计算科学学院Company Logo
§3 子 群
命题 3.2 设 G 是一个群, H 是 G 的一个子 群.那么,
(1) H 的单位元就是 G 的单位元; (2)对于任意的 a H , a 在群 H 中的逆元就 是 a 在群 G 中的逆元. 证明 (1)设 e 是群 G 的单位元, e' 是子群 H 的单位元.由于 e 是 G 的单位元,我们有 ee' e' .
2020/3/29
数学与计算科学学院Company Logo
§3 子 群
由 于 e' 是 H 的 单 位 元 , 我 们 有 e'e' e' . 因 此 ee' e'e' .将该式两边右乘 e' 在 G 中的逆元(或 者,根据消去律——第 9 页第 5 题),即得 e e' .
(2)对于任意的 a H ,设 a 在 G 中的逆元 为 a1 , a 在 H 中的逆元为 a' .根据(1),我们有 aa1 e aa' .将该式两边左乘 a1 (或者,根据 消去律——第 9 页第 5 题),即得 a1 a' .□
2020/3/29
数学与计算科学学院Company Logo
§3 子 群
定理 3.3 设 G 是一个群, H 是 G 的一个 非空子集.那么, H 为 G 的子群的充分必要条件 是:
(1) ab H , a, b H ; (2) a1 H , a H . 证明 先证明必要性.假设 H 是 G 的子群. 首先,根据子群的定义, H 满足条件(1). 其次,
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
)是群 (1)“∘”满足结合律； (2)G关于“∘”有一个单位元e；
G关于乘 法“∘”封
闭
(3) 对于G的每个元素，关于“∘”有一个逆元.
(I)“∘”满足结合律； (II)G关于“∘”有一个左单位元e； (III) 对于G的每个元素，关于“∘”有一个左逆元.
证明二者等价：
性质1 设(G,∘)为群，则a∈G，a的左逆元也是a的
8) 对任意k∈P，α，β∈V有k(α+β)=kα+kβ，
则称V为域P上的一个线性空间，或向量空间。 13/30
近世 代数
群的实例
例1 (Z, +)、(R, +)、(Zn, )、 (P(A), )是群. n阶(n≥2)实可逆矩阵集合Mn关于矩阵乘法构成群.
例2 设G={ e, a, b, c }，G上的运算由下表给出，称 为Klein四元群.
运算，称为乘法。如果下列两个条件成立，则称
G关于乘法“∘”作成一个群. I 乘法“∘”满足结合律，即a, b, c∈G (a ∘ b) ∘ c=a ∘ (b ∘ c)； IV a, b∈G，方程a ∘ x=b和y ∘ a=b在G中有解.
7/30
近世 代数
群的三个等价定义
代数系统(G,∘)是群 (1)“∘”满足结合律； (2)G关于“∘”有一个单位元e；
右逆元. 性质2 设(G,∘)为群，则G的左单位元e也是右单位元9/3.0
近世 代数
群的性质
讨论定义3中解的惟一性：
性质3 设(G,∘)为群，则a, b∈G，方程a ∘ x=b和 y ∘ a=b在G中的解惟一.
性质4 群(G,∘)中的乘法满足消去律，即a,b,c∈G 有 (1) 若 a ∘ b = a ∘ c，则 b = c.(左消去律) (2) 若 b ∘ a = c ∘ a，则 b = c.(右消去律)
eabc
e eabc a aecb b bcea c cbae
特征：
1. 满足交换律 2. 每个元素都是自己的逆元 3. a, b, c中任何两个元素运 算结果都等于剩下的第三个 元素
近世 代数
群论
主要内容:
群的定义与性质 有限群、子群 变换群 置换群 循环群 子群的陪集、正规子群与商群 群的同态基本定理
1/30
近世 代数
第3节 群的定义与性质
主要内容:
群的定义 群的基本性质 群的实例 群中的术语
2/30
近世 代数
群的三个等价定义
定义0 (1) 设(S, ∘)是一个代数系统，如果运算∘满足结合 律，则称(S, ∘)为一个半群. (2) 设(S, ∘)是半群，若e∈S是关于∘运算的单位元， 则称(S, ∘)是一个幺半群，也叫做独异点.
3) 存在一个元素0∈V，对一切α∈V有α+0=α，
元素0称为V的零元.
4) 对任一α∈V，都存在β∈V使α+β=0，β称为
α的负元素，记为-α.
5) 对P中单位元1，有1α=α(α∈V).
6) 对任意k，l∈P，α∈V有(kl)α=k(lα).
7) 对任意k，l∈P，α∈V有(k+l)α=kα+lα.
G关于乘法“∘”作成一个群.
I G关于乘法“∘”封闭，即a,b∈G，a ∘ b∈G；
II 乘法“∘”满足结合律，即a,b,c∈G
(a ∘ b) ∘ c=a ∘ (b ∘ c)；
III G关于乘法“∘”有一个左单位元e，即
a∈G ，存在元e∈G，使得e ∘ a=a；
IV 对于G的每个元素，关于乘法“∘”有一个左
有时也将独异点(S, ∘) 记作 (S,∘,e).
定义1 设(G,∘,e)是幺半群，若G中的每个元素都有逆 元，则称(G,∘,e)是群. 记作(G,∘)，有时简记为 G.
3/30
近世 代数
群的三个等价定义
定义2 设G是一个非空集合， “∘”是G上的二元代数
运算，称为乘法。如果下列四个条件成立，则称
G关于乘 法“∘”封
闭
(3) 对于G的每个元素，关于“∘”有一个逆元.
(I)“∘”满足结合律； (II)G关于“∘”有一个左单位元e； (III) 对于G的每个元素，关于“∘”有一个左逆元.
(I)“∘”满足结合律； (IV)a, b∈G，方程a ∘ x=b和y ∘ a=b在G中有解.
8/30
近世 代数
I G关于乘法“∘”封闭，即a, b∈G，a ∘ b∈G； II 乘法“∘”满足结合律，即a, b, c∈G
(a ∘ b) ∘ c=a ∘ (b ∘ c)； V a, b∈G，方程a ∘ x=b和y ∘ a=b在G中有解.
6/30
近世 代数
群的三个等价定义
定义3’ 设G是一个非空集合， “∘”是G上的二元代 数
10/30
近世 代数
群的性质
讨论群中特异元素的性质：
性质5 设(G,∘)为群，则 (1) a∈G，(a1)1=a； (2) a, b∈G，(a ∘ b)1=b1 ∘ a1.
思考： 一般群G中零元问题：是否存在？为什么？
11/30
近世 代数
线性空间的定义
设V是一个非空集合，P是一个域。若：
1. 在V中定义了一种运算，称为加法，即对V中任意 两个元素α与β都按某一法则对应于V内惟一确定的一 个元素α+β，称为α与β的和。
II G关于乘法“∘”有一个左单位元e，即
a∈G ，存在元e∈G，使得e ∘ a=a；
III 对于G的每个元素，关于乘法“∘”有一个左
逆元，即a∈G ，存在元b∈G，使得b ∘ a=e，其中
e是II中的左单位元.
5/30
近世 代数
群的三个等价定义
定义3 设G是一个非空集合， “∘”是G上的二元代数 运算，称为乘法。如果下列三个条件成立，则称 G关于乘法“∘”作成一个群.
2. 在P与V的元素间定义了一种运算，称为纯量乘法 (亦称数量乘法)，即对V中任意元素α和P中任意元素 k，都按某一法则对应V内惟一确定的一个元素kα， 称为k与α的积。
12/30
近世 代数
线性空间的定义
3. 加法与纯量乘法满足以下条件：
1) α+β=β+α，对任意α，β∈V.
2) α+(β+γ)=(α+β)+γ，对任意α，β，γ∈V.
逆元，即a∈G ，存在元b∈G，使得b ∘ a=e，其中
e是III中的左单位元.
4/30
近世 代数
群的三个等价定义
定义2’ 设G是一个非空集合， “∘”是G上的二元代 数
运算，称为乘法。如果下列三个条件成立，则称
G关于乘法“∘”作成一个群.
I 乘法“∘”满足结合律，即a,b,c∈G
(a ∘ b) ∘ c=a ∘ (b ∘ c)；
G关于乘 法“∘”封
闭
(3) 对于G的每个元素，关于“∘”有一个逆元.
(I)“∘”满足结合律； (II)G关于“∘”有一个左单位元e； (III) 对于G的每个元素，关于“∘”有一个左逆元.
证明二者等价：
性质1 设(G,∘)为群，则a∈G，a的左逆元也是a的
8) 对任意k∈P，α，β∈V有k(α+β)=kα+kβ，
则称V为域P上的一个线性空间，或向量空间。 13/30
近世 代数
群的实例
例1 (Z, +)、(R, +)、(Zn, )、 (P(A), )是群. n阶(n≥2)实可逆矩阵集合Mn关于矩阵乘法构成群.
例2 设G={ e, a, b, c }，G上的运算由下表给出，称 为Klein四元群.
运算，称为乘法。如果下列两个条件成立，则称
G关于乘法“∘”作成一个群. I 乘法“∘”满足结合律，即a, b, c∈G (a ∘ b) ∘ c=a ∘ (b ∘ c)； IV a, b∈G，方程a ∘ x=b和y ∘ a=b在G中有解.
7/30
近世 代数
群的三个等价定义
代数系统(G,∘)是群 (1)“∘”满足结合律； (2)G关于“∘”有一个单位元e；
右逆元. 性质2 设(G,∘)为群，则G的左单位元e也是右单位元9/3.0
近世 代数
群的性质
讨论定义3中解的惟一性：
性质3 设(G,∘)为群，则a, b∈G，方程a ∘ x=b和 y ∘ a=b在G中的解惟一.
性质4 群(G,∘)中的乘法满足消去律，即a,b,c∈G 有 (1) 若 a ∘ b = a ∘ c，则 b = c.(左消去律) (2) 若 b ∘ a = c ∘ a，则 b = c.(右消去律)
eabc
e eabc a aecb b bcea c cbae
特征：
1. 满足交换律 2. 每个元素都是自己的逆元 3. a, b, c中任何两个元素运 算结果都等于剩下的第三个 元素
近世 代数
群论
主要内容:
群的定义与性质 有限群、子群 变换群 置换群 循环群 子群的陪集、正规子群与商群 群的同态基本定理
1/30
近世 代数
第3节 群的定义与性质
主要内容:
群的定义 群的基本性质 群的实例 群中的术语
2/30
近世 代数
群的三个等价定义
定义0 (1) 设(S, ∘)是一个代数系统，如果运算∘满足结合 律，则称(S, ∘)为一个半群. (2) 设(S, ∘)是半群，若e∈S是关于∘运算的单位元， 则称(S, ∘)是一个幺半群，也叫做独异点.
3) 存在一个元素0∈V，对一切α∈V有α+0=α，
元素0称为V的零元.
4) 对任一α∈V，都存在β∈V使α+β=0，β称为
α的负元素，记为-α.
5) 对P中单位元1，有1α=α(α∈V).
6) 对任意k，l∈P，α∈V有(kl)α=k(lα).
7) 对任意k，l∈P，α∈V有(k+l)α=kα+lα.
G关于乘法“∘”作成一个群.
I G关于乘法“∘”封闭，即a,b∈G，a ∘ b∈G；
II 乘法“∘”满足结合律，即a,b,c∈G
(a ∘ b) ∘ c=a ∘ (b ∘ c)；
III G关于乘法“∘”有一个左单位元e，即
a∈G ，存在元e∈G，使得e ∘ a=a；
IV 对于G的每个元素，关于乘法“∘”有一个左
有时也将独异点(S, ∘) 记作 (S,∘,e).
定义1 设(G,∘,e)是幺半群，若G中的每个元素都有逆 元，则称(G,∘,e)是群. 记作(G,∘)，有时简记为 G.
3/30
近世 代数
群的三个等价定义
定义2 设G是一个非空集合， “∘”是G上的二元代数
运算，称为乘法。如果下列四个条件成立，则称
G关于乘 法“∘”封
闭
(3) 对于G的每个元素，关于“∘”有一个逆元.
(I)“∘”满足结合律； (II)G关于“∘”有一个左单位元e； (III) 对于G的每个元素，关于“∘”有一个左逆元.
(I)“∘”满足结合律； (IV)a, b∈G，方程a ∘ x=b和y ∘ a=b在G中有解.
8/30
近世 代数
I G关于乘法“∘”封闭，即a, b∈G，a ∘ b∈G； II 乘法“∘”满足结合律，即a, b, c∈G
(a ∘ b) ∘ c=a ∘ (b ∘ c)； V a, b∈G，方程a ∘ x=b和y ∘ a=b在G中有解.
6/30
近世 代数
群的三个等价定义
定义3’ 设G是一个非空集合， “∘”是G上的二元代 数
10/30
近世 代数
群的性质
讨论群中特异元素的性质：
性质5 设(G,∘)为群，则 (1) a∈G，(a1)1=a； (2) a, b∈G，(a ∘ b)1=b1 ∘ a1.
思考： 一般群G中零元问题：是否存在？为什么？
11/30
近世 代数
线性空间的定义
设V是一个非空集合，P是一个域。若：
1. 在V中定义了一种运算，称为加法，即对V中任意 两个元素α与β都按某一法则对应于V内惟一确定的一 个元素α+β，称为α与β的和。
II G关于乘法“∘”有一个左单位元e，即
a∈G ，存在元e∈G，使得e ∘ a=a；
III 对于G的每个元素，关于乘法“∘”有一个左
逆元，即a∈G ，存在元b∈G，使得b ∘ a=e，其中
e是II中的左单位元.
5/30
近世 代数
群的三个等价定义
定义3 设G是一个非空集合， “∘”是G上的二元代数 运算，称为乘法。如果下列三个条件成立，则称 G关于乘法“∘”作成一个群.
2. 在P与V的元素间定义了一种运算，称为纯量乘法 (亦称数量乘法)，即对V中任意元素α和P中任意元素 k，都按某一法则对应V内惟一确定的一个元素kα， 称为k与α的积。
12/30
近世 代数
线性空间的定义
3. 加法与纯量乘法满足以下条件：
1) α+β=β+α，对任意α，β∈V.
2) α+(β+γ)=(α+β)+γ，对任意α，β，γ∈V.
逆元，即a∈G ，存在元b∈G，使得b ∘ a=e，其中
e是III中的左单位元.
4/30
近世 代数
群的三个等价定义
定义2’ 设G是一个非空集合， “∘”是G上的二元代 数
运算，称为乘法。如果下列三个条件成立，则称
G关于乘法“∘”作成一个群.
I 乘法“∘”满足结合律，即a,b,c∈G
(a ∘ b) ∘ c=a ∘ (b ∘ c)；