近世代数课件群的概念
合集下载
近世代数简介
k
= i( x )
i 1
(2-4)
这里，
GCD表示最大公约数(Greatest Common Divisor)
推理
循环群中n阶元素的n次幂恒等于1
各次幂 k
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14
的
多项式系数
多项式
m重
1
(0001)
(0010)
2
(0100)
多项式环Rq(x)g(x)
系数GF(q),模g(x)
g(x) 一般多项式：多项式环 m素数或合数,有限数环
PI(x) 既约多项式：多项式域（q元扩域）
q素数,整环
P(x) 本原多项式：域元素构成循环群
例2.8：剩余类环Rq(x) f(x) 中，q =2，f(x) = x3+x+1。若A(x)= x2+x+1、B(x)= x2+ 1 是 两个环元素，求A(x) B(x)是什么元素？该剩余类环至多由多少元素组成？
有限环（Ring)
一个有限集合，模m加，模m乘
一般m 素数q
可能是零因子环 整环
子环（ subring ）
理想子环（强收敛性）
主理想（所有元素是一个元
素幂的线性组合）
若集合S是集合R的子集（S R）， 判断(S ,+, ·)是(R ,+, ·) 子环的充要条件是 1． a、b S， a－b S。 2． a、b S， a b S。 上述条件1强调了子环中加法逆元的存在和封闭 性，条件2强调了乘法封闭性。 理想子环的充要条件是：
元素的阶
15 / GCD(k,15)
1 15 15 5 15 3 5 15 15 5 3 15 5 15 15
近世代数课件-2-2_群的定义
（2）运算 o适合结合律；（3）运算 o适合消去律.
2020/4/27
五. 有限群的特殊性
推论 一个非空有限集G 构成有限群的条件 : (1)存在G上的一个代数运算•; (2)运算 • 适合结合律; (3)运算 • 适合消去律.
2020/4/27五. 来自限群的特殊性2020/4/27
六、特殊群-Klein（克莱因）四元群
本节教学目的与要求： 记住群的定义，掌握群的基本性质和有限群的特殊性质，并
能熟练判定一个给定的代数系是否是群.
一. 群的定义及常见的群 二. 群的4个等价定义 三. 一些特殊群的例子 四. 群的消去率性质 五. 有限群的特殊性 六. 特殊的群—Klein（克莱因）四元群
2020/4/27
一. 群的定义及常见的群
近世代数
第二章 群
近世代数的主要研究对象是各种各样的代数系， 即具有一些代数运算的集合。
群是具有一种代数运算的代数系，它是近世代数 中一个比较古老，而且内容丰富的重要分支，在数学、 物理、化学、计算机等自然科学的许多领域都有广泛 应用。
从本节开始，学习群的有关性质。
2020/4/27
2.2 群的定义
注：
2020/4/27
一.群的定义及常见的群
2020/4/27
一.群的定义及常见的群
注：
2020/4/27
二. 群的四个等价定义
2020/4/27
三. 几个特殊群的例子
2020/4/27
四. 群的消去率性质
注：
2020/4/27
五. 有限群的特殊性
推论 一个非空有限集G构成有限群的条件: 1存在G上的一个代数运算o;
2020/4/27
六、特殊群-Klein（克莱因）四元群
2020/4/27
五. 有限群的特殊性
推论 一个非空有限集G 构成有限群的条件 : (1)存在G上的一个代数运算•; (2)运算 • 适合结合律; (3)运算 • 适合消去律.
2020/4/27五. 来自限群的特殊性2020/4/27
六、特殊群-Klein（克莱因）四元群
本节教学目的与要求： 记住群的定义，掌握群的基本性质和有限群的特殊性质，并
能熟练判定一个给定的代数系是否是群.
一. 群的定义及常见的群 二. 群的4个等价定义 三. 一些特殊群的例子 四. 群的消去率性质 五. 有限群的特殊性 六. 特殊的群—Klein（克莱因）四元群
2020/4/27
一. 群的定义及常见的群
近世代数
第二章 群
近世代数的主要研究对象是各种各样的代数系， 即具有一些代数运算的集合。
群是具有一种代数运算的代数系，它是近世代数 中一个比较古老，而且内容丰富的重要分支，在数学、 物理、化学、计算机等自然科学的许多领域都有广泛 应用。
从本节开始，学习群的有关性质。
2020/4/27
2.2 群的定义
注：
2020/4/27
一.群的定义及常见的群
2020/4/27
一.群的定义及常见的群
注：
2020/4/27
二. 群的四个等价定义
2020/4/27
三. 几个特殊群的例子
2020/4/27
四. 群的消去率性质
注：
2020/4/27
五. 有限群的特殊性
推论 一个非空有限集G构成有限群的条件: 1存在G上的一个代数运算o;
2020/4/27
六、特殊群-Klein（克莱因）四元群
近世代数课件群的概念
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
近世代数12群的概念
(1)“ ”适合结合律; (2)存在 e G ,使得
ae ea , a G ; (3)对于任意的 a G ,存在 bG ,使得
ab ba e , 则称 (G, ) 是一个群;不致混淆时,简称 G 是一个群.
2020/6/
数学与计算科学学院Company Logo
2020/6/
数学与计算科学学院Company Logo
§2 群的概念
例 1 令 N , Z, Q , R 和C 依次表示正整数集、 整数集、有理数集、实数集和复数集.则 Z, Q ,R 和 C 关于加法分别构成交换群; N 关于加法不构成
群. Q \{0}, R \{0} 和C \{0}关于乘法分别构成交换
2020/6/
数学与计算科学学院Company Logo
§2 群的概念
设 G 是一个群, a G .由于“ ”适合结合律,因
此对于任意的 nN , a 的 n 次幂 an 有意义.现在,对
于任意整数 n 0 ,我们定义 a 的 n 次幂 an 如下:
第一章 群 论
2020/6/26
数学与计算科学学院
LOGO
目录
§1 代数运算 §2 群的概念 §3 子 群 §4 循环群 §5 正规子群与商群 §6 群的同构与同态 §7 有限群
2020/6/
数学与计算科学学院Company Logo
§2 群的概念
定义 2.1 一个代数运算.若“ ”满足条件:
an
e, (a1)n ,
当 n 0 时; 当n 0 时.
这样一来,对于任意整数 n , an 都有意义.
2020/6/
数学与计算科学学院Company Logo
§2 群的概念
不难验证,幂具有如下性质:对于任意的 a, b G 和 m, n Z ,总有
ae ea , a G ; (3)对于任意的 a G ,存在 bG ,使得
ab ba e , 则称 (G, ) 是一个群;不致混淆时,简称 G 是一个群.
2020/6/
数学与计算科学学院Company Logo
2020/6/
数学与计算科学学院Company Logo
§2 群的概念
例 1 令 N , Z, Q , R 和C 依次表示正整数集、 整数集、有理数集、实数集和复数集.则 Z, Q ,R 和 C 关于加法分别构成交换群; N 关于加法不构成
群. Q \{0}, R \{0} 和C \{0}关于乘法分别构成交换
2020/6/
数学与计算科学学院Company Logo
§2 群的概念
设 G 是一个群, a G .由于“ ”适合结合律,因
此对于任意的 nN , a 的 n 次幂 an 有意义.现在,对
于任意整数 n 0 ,我们定义 a 的 n 次幂 an 如下:
第一章 群 论
2020/6/26
数学与计算科学学院
LOGO
目录
§1 代数运算 §2 群的概念 §3 子 群 §4 循环群 §5 正规子群与商群 §6 群的同构与同态 §7 有限群
2020/6/
数学与计算科学学院Company Logo
§2 群的概念
定义 2.1 一个代数运算.若“ ”满足条件:
an
e, (a1)n ,
当 n 0 时; 当n 0 时.
这样一来,对于任意整数 n , an 都有意义.
2020/6/
数学与计算科学学院Company Logo
§2 群的概念
不难验证,幂具有如下性质:对于任意的 a, b G 和 m, n Z ,总有
近世代数(抽象代数)课件
意一个二元运算,并将其称为乘法.当 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 .
近世代数--群的概念
(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）；
《近世代数13子群》PPT课件
我们约定,将“ ”在 S 上的限制“ '”也记作 “ ”.显而易见,当 A 上的代数运算“ ”适 合结合律时, S 上的代数运算“ ”也适合结 合律.
2021/1/22
4
精选课件ppt
§3 子 群
定义 3.1 设 G 是一个群,集合 H 是集合 G 的一个非空子集.我们称 H 是 G 的一个子群,是 指 H 满足如下条件:
2021/1/22
11
精选课件ppt
§3 子 群
例 1 (R , ) 是 (C, ) 的子群, (Q , ) 是 (R , ) 的 子 群 , (Z, ) 是 (Q , ) 的 子 群 ; (R \{0}, ) 是 (C \{0}, ) 的子群, (Q \{0}, ) 是 (R \{0}, ) 的子群.
2021/1/22
7
精选课件ppt
§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' .□
2021/1/22
9
精选课件ppt
§3 子 群
对于任意的 aH ,根据子群的定义, a 在 H 中 有逆元 a' .根据命题 3.2, a' a1 .因此 a1 H . 所以 H 满足条件(2).
2021/1/22
4
精选课件ppt
§3 子 群
定义 3.1 设 G 是一个群,集合 H 是集合 G 的一个非空子集.我们称 H 是 G 的一个子群,是 指 H 满足如下条件:
2021/1/22
11
精选课件ppt
§3 子 群
例 1 (R , ) 是 (C, ) 的子群, (Q , ) 是 (R , ) 的 子 群 , (Z, ) 是 (Q , ) 的 子 群 ; (R \{0}, ) 是 (C \{0}, ) 的子群, (Q \{0}, ) 是 (R \{0}, ) 的子群.
2021/1/22
7
精选课件ppt
§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' .□
2021/1/22
9
精选课件ppt
§3 子 群
对于任意的 aH ,根据子群的定义, a 在 H 中 有逆元 a' .根据命题 3.2, a' a1 .因此 a1 H . 所以 H 满足条件(2).
近世代数--群的概念
所以+与
都是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
乘法运算的分配律
乘法运算在加法运算上满足分配律，即对 于任意三个元素的运算，结果在加法和乘 法之间保持一致。
近世代数--群的概念
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．习惯上，只有当群为交换群时，才用“＋” 来表 示群的运算，并称这个运算为加法 加法，把运算的 加法 结果叫做和，同时称这样的群为加群 和 加群．相应地, 将 加群 不是加群的群称为乘群 乘群，并把乘群的运算叫做乘法 乘法， 乘群 乘法 运算的结果叫做积．在运算过程中，乘群的运算符号 积 通常省略不写．今后，如不作特别声明，我们总假定 群的运算是乘法．当然, 所有关于乘群的结论对加群 也成立（必要时, 作一些相关的记号和术语上改变）．
近世代数讲义之第2章 群x
−1 −1
� a = a −1 + a − 2 ， a −1 = 4 − a .
至此，根据群的定义知道， Z 关于运算 � 确构成一个群. 另外，根据群的性质，我们易知群有如下等价的定义. 定义 1.1' 若代数体系 {G； �} 满足以下条件，那么称 G 关于运算“ � ”是群： （1）运算“ � ”满足结合律： a � (b � c) = ( a � b) � c ， ∀a, b, c ∈ G ； （2） G 有单位元素 e ： e � a
( a � b ) � c = ( a + b − 2) � c = a + b − 2 + c − 2 = a + (b + c − 2 ) − 2 = a + (b � c ) − 2 = a � (b � c )
（3）找单位元 e .若 a = e � a = e + a − 2 ，则 e = 2 . （4）对 ∀a ∈ Z ，找逆元 a . 2 = e = a
−1 −1
- 23 -
第二章 群
证明 (1) ⇒ ( 2) ⇒ (3) 是显然的，现在证明 (3) ⇒ (1) . 因为 H 是 G 的非空子集，所以对于 a ∈ H ，由（3）有 e = aa ∈ H ，即 H 有单位元.又对于任 意 a ∈ H ，有 a
−1 −1
= ea −1 ∈ H ，即 H 中的任意元素有逆元，所以 H 是 G 的子群.
第二章 群
第二章 群
本章我们讨论具有一个运算的代数体系——群的结构和性质.
第 1 节 群的概念和性质
定义 1.1 若代数体系 {G； �} 满足以下条件，那么称 G 关于运算“ � ”是群： （1）对于 G 中任意元素 a, b, c ，有 a � (b � c) = (a � b) � c ； （2）在 G 中存在元素 e ，对任意 a ∈ G ，有 e � a = a ； （3）对 G 中任意元素 a ，存在 b ∈ G ，使得 b � a = e . 一般地，称群 G 是乘法群，并简记 a � b 为 ab .特别地，若群 G 的运算“ � ”还满足交换律（ ，则称 G 是加群或交换群（Abel 群） ，并用 a + b 表示 a � b . ab = ba , ∀a, b ∈ G ） 定义 1.2 我们称群 G 所含元素的个数为群 G 的阶数，记为 G .如果 G < ∞ ，则称 G 是有限群， 否则称 G 是无限群. 例 1.1 有理数集合关于数的通常加法运算构成 Abel 群.整数集合关于数的加法运算是 Abel 群， 常称 {Z； +} 为整数加群. Z n 关于加法运算是 Abel 群，常称 {Z n； +} 为剩余类加群（参看第一章第 4 节中有关运算的规定）. {Q ； +} 是无限群. {Z n； +} 是有限群，阶数为 n . +} 和 {Z； 注意， Q ， Z 和 Z n 关于乘法运算都不是群，因为 Q ， Z 中的数 0 及 Z n 中的元素 0 不满足群的 定义条件（3）. 例 1.2 证明： {Z p
� a = a −1 + a − 2 ， a −1 = 4 − a .
至此，根据群的定义知道， Z 关于运算 � 确构成一个群. 另外，根据群的性质，我们易知群有如下等价的定义. 定义 1.1' 若代数体系 {G； �} 满足以下条件，那么称 G 关于运算“ � ”是群： （1）运算“ � ”满足结合律： a � (b � c) = ( a � b) � c ， ∀a, b, c ∈ G ； （2） G 有单位元素 e ： e � a
( a � b ) � c = ( a + b − 2) � c = a + b − 2 + c − 2 = a + (b + c − 2 ) − 2 = a + (b � c ) − 2 = a � (b � c )
（3）找单位元 e .若 a = e � a = e + a − 2 ，则 e = 2 . （4）对 ∀a ∈ Z ，找逆元 a . 2 = e = a
−1 −1
- 23 -
第二章 群
证明 (1) ⇒ ( 2) ⇒ (3) 是显然的，现在证明 (3) ⇒ (1) . 因为 H 是 G 的非空子集，所以对于 a ∈ H ，由（3）有 e = aa ∈ H ，即 H 有单位元.又对于任 意 a ∈ H ，有 a
−1 −1
= ea −1 ∈ H ，即 H 中的任意元素有逆元，所以 H 是 G 的子群.
第二章 群
第二章 群
本章我们讨论具有一个运算的代数体系——群的结构和性质.
第 1 节 群的概念和性质
定义 1.1 若代数体系 {G； �} 满足以下条件，那么称 G 关于运算“ � ”是群： （1）对于 G 中任意元素 a, b, c ，有 a � (b � c) = (a � b) � c ； （2）在 G 中存在元素 e ，对任意 a ∈ G ，有 e � a = a ； （3）对 G 中任意元素 a ，存在 b ∈ G ，使得 b � a = e . 一般地，称群 G 是乘法群，并简记 a � b 为 ab .特别地，若群 G 的运算“ � ”还满足交换律（ ，则称 G 是加群或交换群（Abel 群） ，并用 a + b 表示 a � b . ab = ba , ∀a, b ∈ G ） 定义 1.2 我们称群 G 所含元素的个数为群 G 的阶数，记为 G .如果 G < ∞ ，则称 G 是有限群， 否则称 G 是无限群. 例 1.1 有理数集合关于数的通常加法运算构成 Abel 群.整数集合关于数的加法运算是 Abel 群， 常称 {Z； +} 为整数加群. Z n 关于加法运算是 Abel 群，常称 {Z n； +} 为剩余类加群（参看第一章第 4 节中有关运算的规定）. {Q ； +} 是无限群. {Z n； +} 是有限群，阶数为 n . +} 和 {Z； 注意， Q ， Z 和 Z n 关于乘法运算都不是群，因为 Q ， Z 中的数 0 及 Z n 中的元素 0 不满足群的 定义条件（3）. 例 1.2 证明： {Z p
近世代数群的概念课件
反身性
任何元素与自己相乘的结果仍为该元素本身。
可交换性
对于任意$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$是单位元。
近世代数课件(全)--2-1 群的定义
3.群的乘法适合消去律：
ab ac b c
ba ca b c
ab ac a ab a ac
1
1
eb ec b c
2012-9-19
二、群的性质及等价判定方法 定理1 群中 1.左逆元也是右逆元（逆元）； 2.左单位元也是右单位元（单位元）；
3.群的乘法适合消去律：
G
G
中有解.
证明： " " 半群
1
作成群 a , b G , ax b , ya b 有解
G
x a b G ; a , b G , ax b , ya b 都在 G 中有解. 取定 b G , yb b 有解，设为e： eb b a G , bx a 有解，设为c： bc a e a ebc ( eb ) c b c a 即有左单位元e 1 a G , ya e 有解，即存在左逆元 a 综上G是群.
对于数的普通乘法
做成交换群，称为正有理数乘群. 例3
G {全体整数}，对于运算
1 2
ab a
1
2
b
2 1 2 2
4
2 1 2 2
2
结合律不成立,不做成群.
2012-9-19
注意：
（1）对于考察集合是否作成群： 既要考虑元素，又要考虑代数运算； （2）将群的代数运算叫做乘法，简记
ab ac b c
ba ca b c
4.单位元唯一；逆元唯一；
设
1
e, e '
都是单位元 ee ' e e '
由消去律 a
近世代数课件 第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|
近世代数第二章课件
第二章群论 20第二章群论本章讨论具有一个代数运算的代数结构——半群与群，但重点是群的基本知识及典型的两个群-变换群和循环群．群是概括性比较强的一个概念，是近世代数中比较丰富的一个分支，它产生于19世纪初人们对高次方程根号解问题的研究，发展到现在，群论已经应用到数学许多其它分支及一些别的科学领域．如在近世几何中，利用群的观点，把几何加以科学分类；在晶体学中，利用群论的方法，解决了空间晶体的分类问题；在现代通讯理论中，利用群来进行编码，有所谓的群码．我们先从半群开始来研究群．§1 群的定义及基本性质2.1 半群的定义设S是具有一个代数运算的集合，为了方便，将此代数运算叫S的乘法，并且仍用通常的乘法记号“·”来表示，把S的两个元素ba,关于“·”运算结果ba∙简记为ab．当然，这样被叫做乘法不一定就是指数的乘法，还可表示像矩阵、函数、向量的乘法，但一般来说它们都不是数的乘法．定义1如果代数结构（S，·）的乘法适合结合律，即ba∈c∀)有,S,,ab=，则称S关于它的乘法是一个半群，简称Sac(bc()是一个半群．2关于数的乘法是一个半群．关于数的加法也是一例1 偶数集Z个半群．n⨯矩阵作成的集合M n(F)，关于矩阵乘法例2数域F上的所有n是一个半群．例3 A 是一个非空集合，A 的幂集}|{A x x A P ⊆=）（关于∩、∪分别是半群．例4 +Z （正整数）关于数减法不能作成一个半群，因为数的减法不是+Z 的一个代数运算；Z 虽然关于数的减法是Z 的代数运算，但结合律不成立，故),(-Z 不是一个半群．注 由于一个半群),(⋅S 的乘法适合结合律，故可以在半群),(⋅S 中可以引进一个元素a 的正整数次幂的概念，规定：, 个n n a aa a =那么，易见半群里有以下指数运算规律：ba ab b a ab a a a a a n n n nm m n n m n m =⋅===⋅+当,)(,)(,，这里+∈Z n m ,。
近世代数课件(全)--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. 小结群是一种基础的代数结构，其定义非常简单，但却具有广泛的应用和深刻的理论结构。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
2020/9/14
数学与计算科学学院Company Logo
§2 群的概念
对于命题 2.3 中所说的元素 a, b ,我们称 b 为 a 的逆元,记作 b a1 .
显然, e1 e ,并且 (a1)1 a , a G . 群的概念常常表述为: 设 G 是一个非空集 合，“ ”是 G 上的一个代数运算.若“ ”适合结合 律, G 中有单位元并且 G 中每个元素都有逆元,则 称 (G, ) 是一个群.
这样一来,对于任意整数 n , an 都有意义.
2020/9/14
数学与计算科学学院Company Logo
§2 群的概念
不难验证,幂具有如下性质:对于任意的 a, b G 和 m, n Z ,总有
Ⅰ. (an )1 an ; Ⅱ. aman amn ; Ⅲ. (am )n amn ; Ⅳ.当 a 与 b 可交换(即 ab ba )时,
ab ba e .
2020/9/14
数学与计算科学学院Company Logo
§2 群的概念
证明 根据定义,对于任意的 aG ,存在元素 bG ,使得
ab ba e . 为了阐明这样的 b 是唯一的,假设 b'G 也是这样的 元素,即 b' 满足
ab' b'a e. 于是,我们有 b' b'e b'(ab) (b'a)b eb b .所以我 们的命题成立.□
2020/9/14
数学与计算科学学院Company Logo
§2 群的概念
例 1 令 N , Z, Q , R 和C 依次表示正整数集、 整数集、有理数集、实数集和复数集.则 Z, Q ,R 和 C 关于加法分别构成交换群; N 关于加法不构成
群. Q \{0}, R \{0} 和C \{0}关于乘法分别构成交换
ae' e'a a , a G . 于是,我们有 e' ee' e .所以我们的命题成立.□
2020/9/14
数学与计算科学学院Company Logo
§2 群的概念
对于命题 2.2 中所说的群 G 和元素 e ,我们称元 素 e 为群 G 的单位元.不致混淆时,简称 e 为 G 的单位 元.
命题 2.3 设 (G, ) 是一个群.那么,对于任意的 a G ,存在唯一的元素 bG ,使得
2020/9/14
数学与计算科学学院Company Logo
§2 群的概念
设 G 是一个群, a G .由于“ ”适合结合律,因
此对于任意的 nN , a 的 n 次幂 an 有意义.现在,对
于任意整数 n 0 ,我们定义 a 的 n 次幂 an 如下:
an
e, (a1)n ,
当 n 0 时; 当n 0 时.
2020/9/14
数学与计算科学学院Company Logo
§2 群的概念
例 3 设V 是某个数域 P 上的向量空间.则V 关于向 量的加法构成交换群.
例 4 在上一节的例 4 中, K4 关于 K4 上的乘法“ ” 构成交换群.这个群称为 Llein 四元群.
为了方便起见,这里约定:以下,如无具体说明,凡 是提到“群 G ”,总是指“群 (G, ) ”,并且在对 G 中 元素施行乘法运算时常常略去乘号“ ”,例如,将 a b 写成 ab .
群; Z \{0}关于乘法不构成群. N , Z, Q , R 和C 关于
乘法都不构成群.
2020/9/14Fra bibliotek数学与计算科学学院Company Logo
§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 ) 都不是交换群.
(ab)n anbn .
2020/9/14
数学与计算科学学院Company Logo
§2 群的概念
这里我们约定:如果 G 是一个交换群,其代 数运算称为加法(并且用加号“”来标记),那么, 群 G 的“单位元”改称为群 G 的“零元”,通 常记作 0 ;对于任意 a G , a 的“逆元”改称为 a 的“负元”,记作 a ; a 的“n 次幂”改称为 a 的“n 倍”,记作 na .
(1)“ ”适合结合律; (2)存在 e G ,使得
ae ea , a G ; (3)对于任意的 a G ,存在 bG ,使得
ab ba e , 则称 (G, ) 是一个群;不致混淆时,简称 G 是一个群.
2020/9/14
数学与计算科学学院Company Logo
§2 群的概念
当 (G, ) 是一个群时,我们就称 G 关于“ ”构成一 个群.
设 (G, ) 是一个群. 若“ ”适合交换律,则称 (G, ) 是交换群或 Abel 群. 若 G 是有限集,则称 (G, ) 是有限群.若 G 是无限集,则 称 (G, ) 是无限群.当 (G, ) 是有限群时,如 G 是由 n 个不同的 元素构成集合,我们就说群 (G, ) 的阶为 n ,记作 | G | n .当 (G, ) 是 无限 群时,我们就说群 (G, ) 的 阶为无 限 大,记作 |G|.
2020/9/14
数学与计算科学学院Company Logo
§2 群的概念
命 题 2.2 e G ,使得
设 G 是一个群.则存在唯一的一个元素 ae ea , a G .
证明 根据定义,存在 e G ,使得 ae ea a , a G .
为了阐明这样的 e 是唯一的,假设 e'G 也是这样的元素, 即 e' 满足
第一章 群 论
2020/9/14
数学与计算科学学院
LOGO
2020/9/14
目录
§1 代数运算 §2 群的概念 §3 子 群 §4 循环群 §5 正规子群与商群 §6 群的同构与同态 §7 有限群
数学与计算科学学院Company Logo
§2 群的概念
定义 2.1 设 G 是一个非空集合,乘法“ ”是 G 上的 一个代数运算.若“ ”满足条件: