[理学]群论群论基础

合集下载

群论群论基础课件

群论群论基础课件
f :A → B 或写为 f :x → y = f ( x ) ,
式中 y 称为 x 在B 上的象,而 x 称为 y 在 A 上的原象。
对应规则:与函数的比较
群论-群论基础-集合与运算
满射 单射 一一映射 逆映射: f -1 恒等映射:e
变换: 体系A 的一个自身映射f 称为A 的一个变换 若f 是一一映射,则称为对称变换 一一变换有性质:
物理学中的群论
—— 群论基础
主讲 翦知渐
群论
教材与参考书
教材: 自编
参考书:群论及其在固体物理中的应用 (徐婉棠)
物理学中的群论 (马中骐)
物理学中的群论基础 (约什)
群论
物理学中的群论
第一章 群论基础 第二章 晶体对称群 第三章 群表示理论 第四章 三维转动群 第五章 群论在量子力学中的应用
群论-群论基础
二元运算一般也称为“乘法”—— 数值加法 数值乘法 对称操作……
集合的所有代数性质都由其乘法结果决定
群论-群论基础-集合与运算
乘法表:有限集
A
l
m
O
D3
e
a
b
B
k
l
k
m
C
ee
a
b
k
l
m
aa
b
e
m
k
l
bb
e
a
l
m
k
kk
l
m
e
a
b
ll
m
k
b
e
a
mm
k
l
a
b
e
4 同态与同构
群论-群论基础-集合与运算
设 A 和 B 是两个不同集合,其中分别定义了乘法 ·和 ×; 若有满射 f ,使得对于 yi = f ( xi ), yj = f ( xj )来说有

第七章 群论基础 - ===欢迎访问结构化学精品课程网站===

第七章 群论基础 - ===欢迎访问结构化学精品课程网站===
⎡− 1 ⎢ 2 ⎢ ' ˆ C3 = ⎢ 3 ⎢ 2 ⎢ 0 ⎢ ⎣ − 3 −1 0 2 0⎤ ⎥ ⎥ 0⎥ ⎥ 1⎥ ⎥ ⎦
⎡ −1 ⎢ 2 ⎢ 2 ˆ C3 = ⎢ − 3 2 ⎢ ⎢ 0 ⎢ ⎣ 3 2 2 0⎤ ⎥ ⎥ ˆ (240) 0⎥ = C 3 ⎥ 1⎥ ⎥ ⎦
ˆ φ = 1200 C 3,
n
y ' = x sin φ + y cos φ
(x, y)
φ
α
z' = z
⎡ x' ⎤ ⎡ x ⎤ ⎡cos φ ⎢ '⎥ ˆ ⎢ ⎥ ⎢ ⎢ y ⎥ = C (φ ) ⎢ y ⎥ = ⎢ sin φ ⎢ z' ⎥ ⎢ ⎣z⎥ ⎦ ⎢ ⎣ 0 ⎣ ⎦ − sin φ cos φ 0 0⎤ ⎡ x ⎤ ⎢ y⎥ 0⎥ ⎥⎢ ⎥ 1⎥ ⎦⎢ ⎣z⎥ ⎦
理论与计算化学实验室
第七章 群论基础
量子化学与群论
Ĉ3
Ĉ
Ĉ3
3
3
Ĉ
3=
Ĉ
3
2
Ĉ3

Ĉ3
旋转轴次 n =

α
; α 为基转角 (规定为逆时针旋转)
理论与计算化学实验室
第七章 群论基础
量子化学与群论
7.2.2 分子点群
分子中或多或少地存在一些对称元素, 这些对称元 素对应的对称操作的组合满足群的定义, 构成群, 称为对 称操作群. 因为分子中的对称元素至少通过一点公共点, 故称为点群. 对称操作构成群的命题可以用通过乘法表示验证:
量子化学与群论
对称操作的表示矩阵为:
⎡ a11 ⎢a ⎢ 21 ⎢ ⎣ a31
a12 a22 a32
a13 ⎤ ⎥ a23 ⎥ a33 ⎥ ⎦

物理学中的群论基础第一章

物理学中的群论基础第一章

平面上所有平移的集合 平面上所有平移的集合 √ 平面上以一个定点为中心的所有旋转的集合 平面上以一个定点为中心的所有旋转的集合 平面上所有轴反射的集合 平面上所有轴反射的集合

a1 a2
×
1.1.2正方形的对称性群 正方形的对称性群 (1)平面上正方形 )平面上正方形ABCD的对称变换群 的对称变换群
B
A
A
B
6 :
C B D A D D C A
7:
C B D A C B B C
8 :
C D A D
(2)S(K)中的运算举例 ) 中的运算举例
2 1 = 2
B A B A A D
2π π
C D
1
C
2π π
D
2
B
——
π 2
C
2 5 = 7
B A C D D A
5
C D B A
2
C
B
(3)S(K)中的幺元 ) 中的幺元
生成一个群, 例:由元素A生成一个群,只要求 n=E,n是满足此关系式的最 由元素 生成一个群 只要求A , 是满足此关系式的最 小正整数. 小正整数. 由于A是群中的一个元素,所有它的整数幂必定也在这个群中. 由于 是群中的一个元素,所有它的整数幂必定也在这个群中. 是群中的一个元素 故可以生成群的新元素, , 故可以生成群的新元素,A2,A3,…,直到 n=E,更高次幂不能 ,直到A , 给出新元素,因为A 所求得群, 给出新元素,因为 n+k= Ak.所求得群,故所求得群阶为 所求得群 故所求得群阶为n. 生成一个群, 例:由两元素A和B生成一个群,只要求 2=B3=(AB)2=E. 由两元素 和 生成一个群 只要求A 由于A 由于 2=E和B3=E,此群必包含元素 ,A,B,B2. 它一定也包 和 ,此群必包含元素E, , , 含所有A,B和B2的乘积. 因此得到两个新元素AB和BA. A和B不 含所有 , 和 的乘积 因此得到两个新元素 和 和 不 对易,否则由(AB)2=E将得到 对易,否则由 将得到 E=ABAB=A2B2=B2. ABAB= AB 和BA是不同的元素. 由此生成6个元素E, A, B, B2, AB, BA. BA是不同的元素 由此生成6个元素E 是不同的元素. AB, 可以证明,这个集合是一个群,即它对乘法是封闭的. 可以证明,这个集合是一个群,即它对乘法是封闭的.

群论的基本概念与应用

群论的基本概念与应用

群论的基本概念与应用在现代数学中,群论是一门重要的研究对象。

它是数学中的一个分支领域,研究代数结构的深刻性质,以及在物理、化学、计算机科学等领域的应用。

本文将针对群论的基本概念和应用进行探讨。

一、群的定义和基本概念群是一种代数结构,具有以下特性:1. 封闭性:对于群中的任意两个元素,其运算结果仍然属于该群。

2. 结合性:群运算是一个可结合的运算。

3. 单位元素:群中存在一个单独的元素,对于该群中的任意元素,它与单位元素的运算结果等于其本身。

4. 逆元素:群中的每个元素都有一个逆元素,在该元素与其逆元素运算后等于单位元素。

5. 可交换性:在群运算中,交换任意两个元素的位置不会影响整个运算的结果。

此外,群还有两个重要的概念:群的阶和子群。

群的阶是指群中元素的个数,记为|G|。

对于一个有限群G,其阶等于元素个数。

而对于无限群G,其阶可以用“无穷大”来表示。

子群指一个群G的子集,它包含G中的所有单位元素和逆元素,并且对于G中的任意两个元素之间的运算,在该子群中仍然成立。

二、常见的群类型常见的群类型包括置换群、加法群和乘法群。

置换群是由一组置换组成的群,其中每个置换都是将集合中的元素重新排列的函数。

这种群在密码学、组合学和物理学中都有应用。

加法群是指一个按照加法运算组成的群,例如整数集上的加法和向量空间的加法。

这种群在物理、化学和工程学中得到广泛应用。

乘法群是指一个按照乘法运算组成的群,例如复数集合上的乘法和单位圆上的乘法。

这种群在数论、几何学和代数学的许多领域中都有应用。

三、群论在数论中的应用群论在数论中的应用非常广泛。

其中一项重要的应用是解决费马大定理(Fermat's last theorem)。

费马大定理是由法国数学家皮埃尔·费马于17世纪提出的。

它的表述是:当n大于2时,关于x、y和z的方程x^n + y^n = z^n没有正整数解。

这个问题一直是数学家们的难题,直到1994年,英国数学家安德鲁·怀尔斯(Andrew Wiles)通过运用群论的方法,完美地解决了费马大定理。

群论基础

群论基础

第七章 群论基础学习指导 7.1 群的定义及性质群 如果一个含幺半群中每个元素都有逆元,即:),(⊗G G g ∈∀都有逆元,则称为一个群,称二元运算“G g∈−1),(⊗G ⊗”为乘,一般将),(⊗G 的单位元记为e 。

为简便起见,在不致混淆的情况下,将群),(⊗G 简记为,a G b ⊗简记为。

类似于半群,我们可以将群分为交换群与非交换群,有限群与无穷群等等;集合中元素的个数称为有限群G 的阶,记为。

ab G ||G 群是一种特殊的含幺半群。

因而群具有半群(或含幺半群)所有的性质。

下面是群独有的性质:定理(无零元性质) 设G 是群并且,则群无零元。

1||>G G 定理(满足消去律) 群G 满足消去律,即对,,,G c b a ∈(1)由可以推出;(2)由ba ab ac =b c =ca =可以推出b c =。

定理(单位元是幂等元) 群G 中只有单位元e 是幂等元。

定理(方程唯一解性质) 设是群,则对于G G b a ∈∀,,方程ax b =和在中均有唯一的解。

ya b =G 定理(逆元性质) 设G 是群,则(1)对于G b a ∈∀,,有11()ab b a 1−−−=。

(2)对于,有。

G a ∈∀a a =−−11)(定理(交换群判别) 群G 是交换群的充分必要条件是对G b a ∈∀,,有。

222()a b ab =元素的阶 对于群G 的元素a ,如果存在正整数使得,则的阶定义为使得上式成立的最小正整数;如果对于任何正整数n 都不成立,则定义的阶为;a 的阶记为|。

任何群的单位元的阶都是1,而且只有单位元的阶才会是1。

n e a n =a n e a n =a ∞|a 定理(元素与其逆元有相同阶) 对群中的任何元素 G G a ∈,与均有相同的阶。

a 1−a定理(元素阶的性质) 设群G 中元素 G a ∈的阶是。

则对正整数,的充分必要条件是整除。

所以,如果存在正整数使得,则a 的阶是的因子。

群论的基本理论及其应用

群论的基本理论及其应用

群论的基本理论及其应用群论是现代数学中的一个重要分支,它研究的对象和思想对现代科学和技术的发展具有深远影响。

本文将简要介绍群论的基本理论,包括群的定义和基本性质、同构与同态、正则表示等,以及群论在物理、化学、密码学等领域的应用。

一、群的定义和基本性质群是指一个集合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,存在一个元素a^-1∈G,使得a·a^-1=a^-1·a=e。

以上四个条件被称作群的基本公理,满足这些公理的集合和运算就构成了一个群。

除了以上四个基本性质,群还具有一些重要的衍生性质,如:1. 唯一性:群的单位元和逆元是唯一的。

2. 闭合性:群的任意子集在运算下仍构成一个群。

3. 基本定理:任意群都同构于一个置换群。

二、同构与同态同构和同态是群论中最重要的概念之一。

同构指两个群之间存在一个双射函数,满足这个函数保持乘法运算,即对于任意的群元素a,b∈G,有f(a·b)=f(a)·f(b)。

同构很像一种数学上的等价关系,它说明两个群结构上是相同的。

同态指两个群之间存在一个映射,满足这个映射保持群的乘法和单位元素,即对于任意的群元素a,b∈G,有f(a·b)=f(a)·f(b)且f(e)=e',其中e和e'分别是两个群的单位元素。

同态具有保持群结构的性质,它将一个群映射到另一个群上,并保留了群的结构特征。

三、正则表示群的正则表示是指把一个任意群转化成可逆矩阵群的一种数学方法。

这种转化方法常用于群论与物理学、化学等学科的交叉研究领域。

群的基本概念

群的基本概念
2、 (A-1)-1 = A, 逆元之逆元为元素本身 证: (A-1)-1 = (A-1)-1 E= (A-1)-1 (A-1 A )=[(A-1)-1 A-1 ]A=EA=A
3、 (AB)-1 = B-1 A-1 证明: ∵ (AB)-1 = (AB)-1E = (AB)-1AA-1 E = (AB)-1 AEA-1 = (AB)-1A (BB-1)A-1
3, 单位元(不变元素)E,
EA = AE = A
4, 逆元A-1, A A-1 = A-1 A = E
二、 群的性质:
1、 E-1 = E ,
单位元 E 的逆元仍为E,
证:(1)E-1 E= E E-1 = E (令:A=E, 由A-1 A = A A-1 =E ) (2)E E-1 = E-1 E = E-1 (令:A= E-1 , 由EA = A E= A ) 由(1)和(2) E = E-1
年迈的泊松感到难于理解
• 由于论文中出现了“置换群”等崭新的数 学概念和方法,泊松感到难于理解。几个 月后,他将论文退还给伽罗瓦;嘱咐写一 份详尽的阐述送来,可是,伽罗瓦已经没 有时间了。
• 在大学里,伽罗瓦由于积极参加资产阶级 革命活动,被学校开除了。
伽罗瓦预感到死亡即将来临
• 1831年5月和7月,他又因参加游行示威活动两次被 捕入狱,遭受路易--菲利浦王朝的迫害,直到1832 年4月29日,由于监狱里流行传染病,伽罗瓦才得 以出狱。
他盯上了著名的世界数学难题
• 不久,伽罗瓦的眼睛盯上了:高次方程的求根公 式问题。
• 16世纪时,意大利数学家塔塔利亚和卡当等人, 发现了三次方程的求根公式。这个公式公布后没 两年,卡当的学生费拉里就找到了四次方程的求 根公式。当时,数学家们非常乐观,以为马上就 可以写出五次方程、六次方程,甚至更高次方程 的求根公式了。然而,时光流逝了几百年,谁也 找不出一个这样的求根公式。

[理学]群论群论基础

[理学]群论群论基础

物理学中的群论——群论基础主讲翦知渐教材教材:自编参考书:群论及其在固体物理中的应用参考书群论及其在固体物理中的应用(徐婉棠)物理学中的群论(马中骐)物理学中的群论基础(约什)群的基本概念和基本性质1.11.21.3131.41.51.6161.71.81.1抽象代数的基本概念1抽象代数研究的对象什么都不是,所以什么都是集合的直乘:C=A×B,表示“C的元素是由A和B两个集合的元素构成的C A表示“一对有序元”,也称为A和B的直乘,用符号表示即:, a2,…, a i,…},B={b1, b2,…, b j,…},则集合设A={aA}B b b}则集合1C=A×B={(a i,b j)| a i∈A, b j∈B}是A与B的直乘。

定义设是两个集合若有种规则使得2定义:设A 与B 是两个集合,若有一种规则f ,使得A 的每一个元素在B 上都有唯一的元素与之对应,这种对应规则f 的一个映射记为就称为A 到B 的个映射,记为f :A → Bf :x → y = f ( x ) , 或写为f y f (),式中y 称为x 在B 上的象,而x 称为y 在A 上的原象。

对应规则函数对应规则:函数满射单射一一映射逆映射:f -1恒等映射:e 变换恒等映射:体系A 的一个自身映射f 称为A 的一个变换,若f 是一一映射则称为对称变换一一变换有性质:射,则称为对称变换。

变换有性质:f f -1= f -1f = e3定义:若对A 上的每对有序元(a, b ) ,在A 上有唯确定的A每一对a,b)A上有唯一确定的c与之对应,即有一规则R 使得A×A → A,则R 称为A上的一个二元运算,记为()()R:A×A → A,或R:a, b ) →c= R(a, b)一般记为c = a·b,或c = ab。

二元运算般也称为乘法二元运算一般也称为“”——数值加法数值乘法对称操作……AmlOC kBe a b k l m D3e e a b k l ma ab e m k lb b e a l m k k k l m e a b l l m k b e a m m k l a b e4设A和B是两个不同集合,其中分别定义了乘法· 和×,若有满射f,使得对于y i f( x i ), y j f( x j)来说,=f(i)=f(f( x i · x j) = f( x i) ×f( x j)——即像的乘积=乘积的像则称f 为A到B的同态,记为A ~ B同态映射若是一一映射→同构同构:乘法表完全一样的结构,只是换了记录的符号数学上,同构即是同一数学上同构即是同→1:1= {e= a4, a, a2, a3} →G ={ 1, i, -1, -i}例如:C4物理上同构的集合有分别:物理上,同构的集合有分别:C 2= {e, c 2} 和C i = {e, c i }同态:A 到B 的等比例缩小保持了乘法结构3:1例如{{1→ 3:1例如:C 4= {e, a, a 2, a 3}→ G ' ={ 1, -1}二对一的同态二对的同态1.2什么是群?1G ={ e, g2, …, g i, …} 是一个集合,其中定义了乘法。

群论课件ppt

群论课件ppt
有限集合
元素数量是有限的集合。
03
02
置换
将一个有限集合的元素重新排列。
乘法
置换之间的运算。
04
循环群
01
02
03
循环群
由一个元素生成的群,即 置换群中所有元素都是该 元素的循环。
循环
将一个元素替换为另一个 元素,其它元素保持不变 。
元素生成
由一个元素开始,通过重 复应用某种变换得到的所 有元素。
群论课件
目录
• 群论基础 • 置换群 • 群论的应用 • 群表示论 • 群论中的问题与挑战 • 群论与其他数学领域的联系
01
CATALOGUE
群论基础
群的定义
群是由一个集合和定义在这个集合上 的一个二元运算所组成的一个代数结 构。这个二元运算被称为群中的“乘 法”。
群中的元素可以是有理数、整数、矩 阵、变换等,具体取决于实际应用和 研究领域。
群论与几何学的联系
对称性
群论在几何学中广泛应用于描述对称性。例 如,晶体学中的晶格结构可以用群论来描述 其对称性。此外,在几何图形中,我们也可 以用群论来描述图形的对称变换。
几何形状的分类
通过群论的方法,我们可以对几何形状进行 分类。例如,根据其对称性,我们可以将几 何形状分为不同的类型。这种分类方法有助 于我们更好地理解和研究几何形状的性质和
群表示是群论中一个重要的概念,它有助于将群的结构和性质转化为线性 代数的语言,从而更好地理解和研究群。
特征标与维数
01
特征标是群表示的一个重要概念 ,它描述了群在某个向量空间上 的作用方式。
02
特征标是一个函数,将群中的每 元素映射到复数域上,它反映
了群元素的性质和作用方式。

群论61群论基础

群论61群论基础
Ex1 构造五阶群的乘法表。
3 子群 在 G4(2)中,子集:{E, A}; {E, B}; {E, C} 构成较小的群——子
群。 定理: g 阶群 G 的任意子群 H, 它的阶 h 必为 g 的除数。即, g =hn, n 为整数。 如:G6 的子群的阶是:6 和 1,2,3。 4类 若 A = X-1BX, 称 A 和 B 共轭。若 A 和 B 及 C 共轭,则 B 与 C
共轭。相互共轭的元素完整集合称为群的类。 所有类的阶必定是群阶的整数因子。
Ex 2 把 G3, G4(1), G4(2), G5 群的元素整理成类。
6.2 对称点群
1 对称元素与对称操作
C3
σv C2
σv C2
σh C2 σv
AB3
对称元素
对称操作
——————————————————————————
A2
A2 E A
— 循环群
G = { X, X2, X3, …, Xn = E}
— Abel 群 AB = BA.
四阶群 (i) 四阶循环群
X = A X2 = B X3 = C X4 = E
G4(1) E A B C E E A BC A ABCE B B CE A C C EAB
(ii)
G4(2) E A B C E E A BC A AECB B B CE A C C BAE
E AB
E
EAB
A
ABE
B
BE A
(i) 若 AA = A2 = E -> BB = B2 = E; -> AB = B -> A = E(不合理)
(ii) 若 AA = A2 = B, AB = AA2 = A3 = E; BA = E, BB = A.

群论基础-第1章 群的基本知识

群论基础-第1章 群的基本知识

其中的元素左乘或右乘仍为该群 G. ( 群中群论无顺序 )
Ak G = G Ak = G
*
五 子群和陪集
P.12
1 子群 (subgroup)
(1) 定义:群 G 中集合 S 在相同的群乘下构成的群,为 G
的子群
( 2) 显然子群:(1)E, (2)G
(3) 子群 S 的条件和检验: (1)不变元素;
σˆv σˆv σˆv σˆ v Ĉ32 Ê Ĉ31 σˆv σˆv σˆ v σˆv Ĉ31 Ĉ32 Ê
P.8 5 列表
群的名称 数群 置换群 矩阵群 对称群
群元
群乘
数 运算(加、乘等)
置换
相继置换
矩阵
矩阵乘法
对称操作 相继操作
举例 例(1) Z3群 d3群 D3群
*
七 不变子群
P.19
1 定义:有子群 N G
若 XNX- 1 = N 或 XN = NX (X 为 G 中的任一元素)
则 N为不变子群
2 性质
(1)不变子群必包括一个或几个完整的类
(即不变子群由完整的类构成)
证明:若 群元 C N ( 注意 群元 C 与类 C 不同)
则 X C X- 1 N (∵ XNX- 1 = N, C N )
= (YX)A(YX)-1 = ZAZ-1 ( Z = YX G )
故 C 与 A 共轭
(3) 相似矩阵
矩阵群中彼此共轭的元为彼此相似的矩阵
*
2 类: 群 G 中彼此共轭的群元构成类
P.17
对于类 C, 自然有 XCX-1 = C ( X为群 G 中任一群元)
[提问: 为什么?]
3 类的性质
(1) 单位元自成一类 (XEX-1= E)

群论群论基本

群论群论基本

1.2.2 共轭类 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.3 子群和陪集 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.6.1 Abel群的分类 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.6.2 非Abel群的分类 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
定义 1 (群) 设G是一些元素的集合, G = {g, h, · · · }. 在G中已经定义了二元运算·, 如果G对这种运算满足以下四个条件,
• 封闭: ∀f, g ∈ G, f · g ∈ G; • 结合律: ∀f, g, h ∈ G, (f · g) · h = f · (g · h); • 存在唯一的单位元素: ∃e ∈ G, ∀f ∈ G, ef = f e = f ; • 有逆: ∀f ∈ G, ∃唯一的f −1 ∈ G, f · f −1 = f −1 · f = e, 则称代数结构(G, ·)是一个群, 二元运算“·”称为群的乘法.
1.4.1 置换群 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4.2 置换可表示为轮换的乘积 . . . . . . . . . . . . . . . . . . . . . . . 15
1.4.3 置换群的共轭类 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16

群论-1 群论基础

群论-1 群论基础

一般记为c = a· b,或c = ab 。
二元运算一般也称为“乘法”—— 数值加法 数值乘法 对称操作…… 集合的所有代数性质都由其乘法结果决定
群论-群论基础-集合与运算
A
乘法表:有限集
l m O
D3 e a b k
B
k
C
e
e a b k
a
a b e l
b
b e a m
k
k m l e
l
l k m a
群论-群论基础-集合与运算
3 一些基本概念
1) 阿贝尔群:交换群
2) 有限群:可给出群表
3) 无限群:离散群,连续群
4) 群元素的阶: gn = e 群阶:|G| 5) 生成元:通过乘法产生群G的最小子集
6) 循环群:一个生成元
群论-群论基础-集合与运算
4 一些基本性质 设G = {gi } 是一个群 ∀ gi , gj ∈ G, 方程 gi x = gj , x gi = gj 有唯一解 ( gi -1 ) -1 = gi ( gi gj ) -1 = gj -1 gi -1
群论-群论基础
第一章 群论基础
群的基本概念和基本性质
§1.1 §1.2 §1.3 §1.4 集合与运算 群的定义和基本性质 子群及其陪集 群的共轭元素类
§1.5
§1.6 §1.7 §1.8
正规子群和商群
直积和半直积 对称群 置换群
群论-群论基础-集合与运算
§0 绪论
群论的发展历史
群论在数学中的作用
物理学中的群论
—— 群论基础
主讲 翦知渐
群论
教材与参考书
教材: 自编 参考书:群论及其在固体物理中的应用 (徐婉棠) 物理学中的群论 (马中骐) 物理学中的群论基础 (约什)

群论(基本)

群论(基本)

群论(基本)(Upd 2021.07.19 关于⼀些定理的补充和证明,school )简介群论,是数学概念。

在数学和抽象代数中,群论研究名为群的代数结构。

群在抽象代数中具有基本的重要地位:许多代数结构,包括环、域和模等可以看作是在群的基础上添加新的运算和公理⽽形成的。

群的概念在数学的许多分⽀都有出现,⽽且群论的研究⽅法也对抽象代数的其它分⽀有重要影响。

群论的重要性还体现在物理学和化学的研究中,因为许多不同的物理结构,如晶体结构和氢原⼦结构可以⽤群论⽅法来进⾏建模。

于是群论和相关的群表⽰论在物理学和化学中有⼤量的应⽤。

群论是法国数学家伽罗⽡(Galois )的发明。

伽罗⽡是⼀个极具传奇性的⼈物,年仅21岁就英年早逝于⼀场近乎⾃杀的决⽃中。

伽罗⽡他⽤该理论,具体来说是伽罗⽡群,解决了五次⽅程问题。

在此之前柯西(Augustin-Louis Cauchy),阿贝尔(Niels Henrik Abel )等⼈也对群论作出了贡献。

最先产⽣的是n 个⽂字的⼀些置换所构成的置换群,它是在研究当时代数学的中⼼问题即五次以上的⼀元多项式⽅程是否可⽤根式求解的问题时,经由J.-L.拉格朗⽇、P.鲁菲尼、N.H.阿贝尔和E.伽罗⽡引⼊和发展,并有成效地⽤它彻底解决了这个中⼼问题。

某个数域上⼀元n 次多项式⽅程,它的根之间的某些置换所构成的置换群被定义作该⽅程的伽罗⽡群,1832年伽罗⽡证明了:⼀元 n 次多项式⽅程能⽤根式求解的⼀个充分必要条件是该⽅程的伽罗⽡群为“可解群”(见有限群)。

由于⼀般的⼀元n 次⽅程的伽罗⽡群是n 个⽂字的对称群Sn ,⽽当n≥5时Sn 不是可解群,所以⼀般的五次以上⼀元⽅程不能⽤根式求解。

群论我们将满⾜以下性质的集合成为群:封闭律:a ,b ∈S ,ab ∈S 结合律:a (bc )=(ab )c⼳元:∃e ∈S ,∀b ∈S ,eb =be =b 逆元:∀a ∈S ,∃b ∈S ,ab =e ⼦群定义若(S ,·)是群,T 是S 的⾮空⼦集,且(T ,·)也是群,则称(T ,·)是(S ,·)的⼦群。

群论基础-第3章 特征标理论(2)

群论基础-第3章 特征标理论(2)

可知
Di Dj = k Cijk Dk --------------------- (8)
由(4)式
Di = i I
--------------------- (4)

i j I I = k Cijk k I
[ 提问: I I = ? ]
i j = k Cijk k
[ 提问: I I = I ]
由第二步的证明结果可知, Ci Cj 必然只包含完整的类

Ci Cj = k Cijk Ck
因此, (1)式得证
2, 证明 (2) 式: 令 Di p 为 Ci 中诸群元第 p 个不可约表示 Dp ( np 维)
矩阵的矩阵和 ( 不是直和 ), Di p 亦为 np 维.
Di p = R Dp ( R )
( hi = hj = h3 = 2, h1 = 1, h2 = 3, E = 1 = 1 ) 4 3 2 = 2 + 2 3 2 3 2 - 3 - 1 = 0 3 = - 1/2 或 + 1
[ 提问: 哪个该舍去? 为什么? ]
[ 答案: - 1/2 该舍去, 因为模小于1 ]
*
为求2 , 再取
从而可得不可约表示特征标表的第一行和第一列 *
D3 E 3C2 2C3
3
D1 1 1
1
D2 1 a
b
D3 2 c
d
(3) 由不可约表示特征标正交性和完全性定理求其它各未知数
正交性定理: C ( hC / h ) i * ( C ) j ( C ) = ij ( 行间正交 ) 完全性定理: j ( h m / h ) i* ( Cm ) i ( Cn ) = mn ( 列间正交 ) 1, 利用正交性定理确定一维表示D2 的 a 和 b, 有

群论基础-第3章 特征标理论(1)

群论基础-第3章 特征标理论(1)

D ( R ) = i D i ( R ) ai ( i = 1 ------ r ) ------ (3) *
(3) 例: D3 群表示的特征标和约化 ( D5 和 D6 前面给出过) 5
类 群元
D4
4
D5
5
D6
6
┌1 0 0┐
┌1 0 0┐
┌1 0 ┐
C1 E ∣ 0 1 0∣ 3 ∣0 1 0∣ 3 ∣
R Dr i * ( R ) D j ( R ) = ij r h / nj (1) 取对角元, 即 = , = [ 思考题: 为什么? ]
则有
R D i * ( R ) D j ( R ) = ij h / nj
(2) 对 求和
[ 思考题: 是何目的? ]
1
D3 1 1 1 -1 -1
D4 1 1 -1
1 -1
D5 2 -2 0
0
0
________________________________________________________
D6 6 2 2
2
0
*
(五) 不可约表示特征标完全性定理
14
一, 关系式 [ 对照(4)’式 C hC i * (C) j (C) = ij h --- (4)’ ] i ( h m / h ) i * ( Cm ) i ( Cn ) = mn ------------------- (8)
C hC i * ( C ) j ( C ) = 1•1•2 + 3•(-1)•0 + 2•1•(-1) = 2 – 2 = 0 若令 i = j = 3, 则有
C hC i * ( C ) j ( C ) = 1•2•2 + 3•0•0 + 2•(-1)•(-1) = 4 + 2 = 6 *

群论基础——精选推荐

群论基础——精选推荐

群论基础群论基础符号:记|G|为G的阶 ,即元素个数若H≤G ,记G/H为G中所有H的左陪集若H≤G ,记[G:H]为H对G的指数 ,即H在G中的不同的左陪集的数量群定义:若集合G≠∅ ,在G上的⼆元运算 ⋅ ,其共同构成的代数结构(G,⋅) ,满 ⾜:1.封闭性:∀a,b∈G,a⋅b∈G2.结合律:∀a,b,c∈G,(a⋅b)⋅c=a⋅(b⋅c)3.单位元:∃e∈G,∀a∈G,e⋅a=a⋅e=a4.逆元 :∀a∈G,∃I∈G,a⋅I=I⋅a=e则(G,⋅)称为⼀个群性质:1.单位元唯⼀:若∃e1,e2,e1≠e2 ,有e1=e1⋅e2=e2 ,⽭盾2.逆元唯⼀ :若∃I1,I2,I1≠I2 ,有I1=I1⋅e=I1⋅a⋅I2=I2 ,⽭盾⼦群定义:若H为G的⾮空⼦集 ,且(H,⋅)构成群 ,则称H是G的⼦群 ,记为H⩽商集定义:集合A为集合B关于等价关系\sim的商集合 ,记为A=B/\sim陪集定义:若G是⼀个群 ,H是G的⼀个⼦群 ,g是G的⼀个元素 ,则:gH=\{g \cdot h|h \in H\} ,则称gH为H在G内关于g的左陪集Hg=\{h \cdot g|h \in H\} ,则称Hg为H在G内关于g的右陪集性质(以左陪集为例):1.\forall g \in G,|H|=|gH|显然运算前后阶不变2.\forall g \in G,g\in gHH必然包含e ,故必然有g \in gH3.gH=H \Longleftrightarrow g \in H由封闭性可知4.aH=bH \Longleftrightarrow a \cdot b^{-1} \in H有a \cdot b^{-1} \in H ,故由(3)可知命题成⽴5.aH \cap bH \neq \varnothing \Longleftrightarrow aH=bH设c \in aH,c \in bH ,于是\exists p_1,p_2 \in H, 使得p_1 \cdot a=c,p_2 \cdot b=c ,故 a \cdot b^{-1}=p_1^{-1} \cdot p_2 \in H ,由(4)可得命题成⽴6.H全体左陪集的并为G因为e \in H ,故得证正规⼦群定义:对于\forall g \in G,\exists gH=Hg ,则称H是G的正规⼦群Loading [MathJax]/jax/element/mml/optable/SuppMathOperators.js商群定义:对于群G和G的⼀个正规⼦群N ,构筑G在N上的商群 ,记为G/N ,即N 在G中所有的左陪集的集合 ,G/N=\{gN,g \in G\}拉格朗⽇定理若H为有限群G的⼦群 ,则|H|整除|G| ,|G|=|H|[G:H]证明:因为H在G中的每⼀个左陪集都是⼀个等价类 ,把G做左陪集分解 ,由于 每⼀个左陪集的元素个数都为|H| ,故|H|整除|G| ,商为[G:H]置换定义:⼀个集合到⾃⾝的双射表⽰:\sigma=\begin{pmatrix}a_1,a_2,\cdots,a_n\\a_{i1},a_{i2},\cdots,a_{in}\end{pmatrix}轮换定义:\sigma是\Omega上⼀个置换 ,若\Omega中⼀些点a_1,a_2,\cdots,a_s , 使得a^\sigma_1=a_2,a^\sigma_2=a_3,\cdots,a^\sigma_{n-1}=a_n,a^\sigma_n=a_1 ,⽽\sigma保持\Omega中其余点保持不 动 ,那么\sigma称作⼀个轮换 ,记作(a_1,a_2,\cdots,a_n) ,若两个轮换没有公共的变 动点 ,则称两个轮换不相交 ,每⼀个置换都能表⽰为不相交轮换的乘积 ,且表⽰⽅法唯⼀ ,⼀个长度为n的置换的k次⽅可分解成的轮换数是 (n,k)置换群定义:⼀个n元集合的全体n元置换构成的群性质:1.封闭性:\begin{pmatrix}a_1,a_2,\cdots,a_n\\b_1,b_2,\cdots,b_n\end{pmatrix}\begin{pmatrix}b_1,b_2,\cdots,b_n\\c_1,c_2,\cdots,c_n\end{pmatrix}=\begin{pmatrix}a_ 1,a_2,\cdots,a_n\\c_1,c_2,\cdots,c_n\end{pmatrix}2.结合性:(\begin{pmatrix}a_1,a_2,\cdots,a_n\\b_1,b_2,\cdots,b_n\end{pmatrix}\begin{pmatrix}b_1,b_2,\cdots,b_n\\c_1,c_2,\cdots,c_n\end{pmatrix})\begin{pmatrix}d_ 1,d_2,\cdots,d_n\\e_1,e_2,\cdots,e_n\end{pmatrix}\\=\begin{pmatrix}a_1,a_2,\cdots,a_n\\b_1,b_2,\cdots,b_n\end{pmatrix}(\begin{pmatrix}b_1,b_2,\cdots,b_n\\c_1,c_2,\cdots,c_n\end{pmatrix}\begin{pmatrix}d_1,d_2,\cdots,d_n\\e_1,e_2,\cdots,e_n\end{pmatrix})3.单位元:\begin{pmatrix}1,2,\cdots,n\\1,2,\cdots,n\end{pmatrix}4.逆元 :\begin{pmatrix}a_1,a_2,\cdots,a_n\\b_1,b_2,\cdots,b_n\end{pmatrix}^{-1}=\begin{pmatrix}b_1,b_2,\cdots,b_n\\a_1,a_2,\cdots,a_n\end{pmatrix}作⽤:G是⼀个群 ,\Omega为⼀个⾮空集合 ,G中每⼀个元素g都对应\Omega的⼀个映射 ,x \rightarrow x_g,x \in \Omega ,若满⾜:1.x^{g_1g_2}=(x^{g_1})^{g_2}2.x^e=x则称G作⽤于\Omega上轨道-稳定⼦定理轨道:H=\{g \cdot x,x \in \Omega,g \in G\} ,则称H为\Omega在G作⽤下的⼀个轨道 ,代表元为 x ,记作G \cdot x稳定⼦:H=\{g \in G,g \cdot x=x\} ,则称H为\Omega的稳定⼦群 ,记作G_x有:|G|=|G \cdot x||G_x|证明:考虑⼀个映射f:G \rightarrow \Omega,\forall g \in G,f(g)=g \cdot x ,则可以在G_x的左陪集集合和 轨道G \cdot x间建⽴⼀个双射 ,gG_x唯⼀对应g \cdot x ,因为gG_x中的元素作⽤在x 上的结果均为g \cdot x ,根据拉格朗⽇定理 ,G_x在G中左陪集个数为[G:G_x] , 故|G \cdot x|=[G:G_x] \rightarrow |G|=|O_x||G_x|Burnside引理内容:G是⼀个有限群 ,G \rightarrow \Omega ,对每⼀个g \in G令\Omega^g表⽰\Omega在g作⽤下的不动 点 ,则有|\Omega/G|=\frac{1}{|G|}\sum\limits_{g \inG}|\Omega^g|证明:对\sum\limits_{g \in G}|\Omega^g|改变求和⽅式 ,\sum\limits_{g \in G}|\Omega^g|=|\{(g,x) \in G \cdot \Omega|g \cdot x=x\}|=\sum\limits_{x \in \Omega}|G_x|根据轨道-稳定⼦定理\sum\limits_{x \in \Omega}|G_x|=\sum\limits_{x \in \Omega}\frac{|G|}{|G \cdot x|}=|G|\sum\limits_{x \in \Omega}\frac{1}{|G \cdot x|}将x按照等价类划分 ,G \cdot x就是x所在等价类\sum\limits_{x \in \Omega}\frac{1}{|G \cdot x|}=\sum\limits_{A \in \Omega/G}\sum\limits_{x \in A}\frac{1}{|A|}=\sum\limits_{A \in \Omega/G}1=|\Omega/G|故:|\Omega/G|=\frac{1}{|G|}\sum\limits_{g \in G}|\Omega^g| ,得证Polya定理对于有m种颜⾊的染⾊问题 ,|\Omega^g|=m^{c(g)}考虑组合意义 ,|\Omega^g|表⽰在置换g作⽤下 ,保持不变的⽅案数 ,把g分解为不相 交的c(g)个轮换的乘积 ,若要其染⾊⽅案不变 ,则此染⾊⽅案中g分解成的每⼀ 个不相交轮换都要染相同的颜⾊ ,故|\Omega^g|=m^{c(g)}代⼊Burnside引理可得 ,|\Omega/G|=\frac{1}{|G|}\sum\limits_{g \in G}m^{c(g)}。

群论课件第二章

群论课件第二章
28
3.2 共轭类
(1)定义:群G中所有互相共轭的元素形成的完全集 合----群中的共轭类,常用C表示 即 XCX-1=C X∈G 式中:C={C1,C2,…,Cn}, XCiX-1=Cj (i,j=1,2,…,n) (2)性质 ①单位元自成一类 ②不同的类中没有共同元 ③除单位元这一类外,其余各类都不是子群,因为 这些类中不包含单位元 ④Abel群的每个元自成一类(请证明)
25


1.根据D3群,请计算出D2=? D3=?DA=?AD=? 从上述计算中可以得到什么样的结论?
2.请写出D3群的子群及其与子群对应的左(右) 陪集
26
第3节 共轭元素和Байду номын сангаас轭类
3.1共轭元素 (1) 定义:如果群G中存在元素A,B,X, 使得下面 的关系成立 B=X-1AX 或者B=XAX-1 则称群元B与群元A互相共轭 (2) 性质 ①对称性: 由 B=X-1AX,左乘X,右乘X-1,得 XBX-1=XX-1AXX-1=A 即若A是B的共轭,B也是A的共轭。 27
8
2.群表定理(重排定理) 一个群的全部元,在群表中的每一行或每一 列都要出现,而且只出现一次,只是次序不同。 数学表述如下: G :{ E, A2, A3,A4 --------- Ag} AkG : { Ak, AkA2,AkA3,AkA4 --------- AkAg }中 或GAk : { Ak, A2AK,A3Ak,A4Ak --------- AgAk }中 每个元素必然出现并只出现一次 ( 只是重排 ), 即群 G 被其中的元素左乘或右乘仍为该群 G. Ak G = G Ak = G
②传递性:
若B=XAX-1, C=YBY-1, 则C=Y(XAX-1)Y-1=(YX)A(X-1Y-1)= (YX)A(YX)-1=ZAZ-1, (X,Y,Z,A,B,C∈G) 即若A与B共轭,B与C共轭,则A与C共轭

群论基础010

群论基础010

E
xy xz yz x2-y2 z2
C2
xy -xz -yz x2-y2 z2
(xz)
-xy xz -yz x2-y2 z2
(yz)
-xy -xz yz x2-y2 z2
上一ቤተ መጻሕፍቲ ባይዱ 下一张
返回
目录
E G 10000 01000 00100 00010 00001
C2 10000 0-1 0 0 0 0 0-1 0 0 00010 00001
预备知识
(1)价电子对互斥理论;
(2)配合物的立体异构体。
下一张
返回
目录
上一张
下一张
上一张
下一张
魏晋南北朝的建筑
唐朝太极殿复原图
In4Se4(phen)4
S4
分子的对称性
分子的等价变换 分子的恒等变换
对称元素 E Cn i
σh σv σd
Sn
群 论 基 础
Cn: σ: i: Sn:
下一张
返回
目录
2、有限群的乘法表
(1) G G 1 { 1, -1, 1 1 i, -i } -1 -1 i i -i -i
-1
i -i
-1
i -i
1
-i i
-i
-1 1
i
1 -1
有限群中元素的数目称为群的阶(h) 表中每一行每一列都是群元素的重新排列 不可能有重复排列的行或列同时出现
下一张
上一张
H2O, (C2); BCl3, (C3); Cr(C6H6)2, (C6) PCl3, PtCl4,
POCl3, (C3);
N2O2, N2F2, 反式Fe(C5H5)2 PF5, (S3); CH4, (S4); 反式C2H6, (S6)
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

物理学中的群论——群论基础主讲翦知渐教材教材:自编参考书:群论及其在固体物理中的应用参考书群论及其在固体物理中的应用(徐婉棠)物理学中的群论(马中骐)物理学中的群论基础(约什)群的基本概念和基本性质1.11.21.3131.41.51.6161.71.81.1抽象代数的基本概念1抽象代数研究的对象什么都不是,所以什么都是集合的直乘:C=A×B,表示“C的元素是由A和B两个集合的元素构成的C A表示“一对有序元”,也称为A和B的直乘,用符号表示即:, a2,…, a i,…},B={b1, b2,…, b j,…},则集合设A={aA}B b b}则集合1C=A×B={(a i,b j)| a i∈A, b j∈B}是A与B的直乘。

定义设是两个集合若有种规则使得2定义:设A 与B 是两个集合,若有一种规则f ,使得A 的每一个元素在B 上都有唯一的元素与之对应,这种对应规则f 的一个映射记为就称为A 到B 的个映射,记为f :A → Bf :x → y = f ( x ) , 或写为f y f (),式中y 称为x 在B 上的象,而x 称为y 在A 上的原象。

对应规则函数对应规则:函数满射单射一一映射逆映射:f -1恒等映射:e 变换恒等映射:体系A 的一个自身映射f 称为A 的一个变换,若f 是一一映射则称为对称变换一一变换有性质:射,则称为对称变换。

变换有性质:f f -1= f -1f = e3定义:若对A 上的每对有序元(a, b ) ,在A 上有唯确定的A每一对a,b)A上有唯一确定的c与之对应,即有一规则R 使得A×A → A,则R 称为A上的一个二元运算,记为()()R:A×A → A,或R:a, b ) →c= R(a, b)一般记为c = a·b,或c = ab。

二元运算般也称为乘法二元运算一般也称为“”——数值加法数值乘法对称操作……AmlOC kBe a b k l m D3e e a b k l ma ab e m k lb b e a l m k k k l m e a b l l m k b e a m m k l a b e4设A和B是两个不同集合,其中分别定义了乘法· 和×,若有满射f,使得对于y i f( x i ), y j f( x j)来说,=f(i)=f(f( x i · x j) = f( x i) ×f( x j)——即像的乘积=乘积的像则称f 为A到B的同态,记为A ~ B同态映射若是一一映射→同构同构:乘法表完全一样的结构,只是换了记录的符号数学上,同构即是同一数学上同构即是同→1:1= {e= a4, a, a2, a3} →G ={ 1, i, -1, -i}例如:C4物理上同构的集合有分别:物理上,同构的集合有分别:C 2= {e, c 2} 和C i = {e, c i }同态:A 到B 的等比例缩小保持了乘法结构3:1例如{{1→ 3:1例如:C 4= {e, a, a 2, a 3}→ G ' ={ 1, -1}二对一的同态二对的同态1.2什么是群?1G ={ e, g2, …, g i, …} 是一个集合,其中定义了乘法。

如果对于所定义的乘法,以下四个条件成立,则集合G称为群:1)闭合律:g i g j∈G, ׊g i,g j∈G2)结合律:g i(g j g k)=(g i g j)g k, ׊g i,g j, g k∈G3)存在单位元:g i e = e g i= g i, ׊g i∈G4)存在逆元素:׊g i∈G ,׌g i-1∈G ,使得g i g i-1 = g i-1 g i= e广群,半群,幺半群广群半群幺半群21){ 1 }:只含一个元素的群, 1 即是单位元e 。

2){1,-1 }:这个集合对普通乘法构成一个群。

{e,I}:e为恒等操作,I为反演操作;乘法:变换合成。

3){1,i,-1,-i}:四个元素的集合对普通数值乘法构成群。

{e, a, b, c}:乘法定义为:a2= b2= c2= e,ab= c, bc= a, b乘法定义为b b bca = b ,其中乘法可交换次序。

4)全体实数对普通加法构成群。

除0 之外的所有实数对普通乘法构成群。

5)全体n 阶非奇异方矩阵的集合对矩阵的乘法构成群。

6)D3群。

3)1)阿贝尔群:可交换群2)有限群:可给出群表3)无限群:离散群,连续群4)群元素的阶:g n= e群阶:|G|5)生成元:通过乘法产生群G的最小子集6)循环群:一个生成元4设G {g i}是个群G=是一个群׊g i, g∈G, 方程g i x = g,x g i= g有唯一解j j j( g i-1)-1=g i( g i g j)-1= g j-1g i-1单位元唯一;唯一逆元素唯若群G= { e, g2, …, g i,…} 与群G'= { e', g'2, …, g'j,…} 同态或同构,则:态或构则G的单位元e的象是G'的单位元e'׊g∈G,设g的象是g,则g的逆元g1的象是g1设'则-'-设G 是个N 阶群则G 的每个元素在群表的每G 是一个N 阶群,则G 的每一个元素在群表的每一行以及每一列中出现且只出现一次。

若f 是群元的任意函数,则有N Nxg x G =∀∈∑()()11,i ii i f g f g ==∑1.3群的乘法联系起来的内部结构1设的个子集若它则称H 为G 的一个子集,若它对G 的乘法构成群,则称H 为G 的子群平凡子群,真子群判别方法 判别方法:符合以下两个条件的G 的子集H 是G 的子群:g H g 若׊g i , g j ∈H ,有g i g j ∈H若׊g i ∈H ,则g i -1∈H对于有限群,只要满足第一个条件,即乘法的封闭性,就可证明H 是G 的子群。

2设H = { e , h 2, …, h m } 是G 的一个子群,对于某个元素x ∈G ,={}的一个集合xH = { x , xh 2, …, xh m } 称为H 的个左陪集。

H 的所有左陪集都包含有相同数目的元素若x ∈H ,则xH = H若x בH ,则xH ∩ H = ׎若某个g ∈xH ,则有gH = xH :陪集中任意元形成的陪集相同,或者说陪集中任意元可作为此陪集的“代表元” 右陪集:H 的右陪集和左陪集有同样的性质。

H H 不定相等左陪集xH 和右陪集Hx 不一定相等。

3根据陪集的性质,可以得到结论:任意两个左陪集xH 和yH ,要么完全相同,要么完全不同母群的每个元素都一定在子群的某个陪集中;每个陪集的元素个数相同;所有陪集要么没有公共元,要么全同——所以母群一定可以划分为子群的不同陪集的集合拉格朗日定理:的一个子群则所以母群定可以划分为子群的不同陪集的集合设H 是G 的一个子群,则G 的阶|G|一定是H 的阶|H|的整数倍,即|G| = k |H|。

其中k 是正整数,称为H 在G 中的指数,实际上也就是G 中含H 的陪集数。

推论 1.2 (定理.的推论):若群G 的阶为素数时,G 没有真子群,而且G 必为循环群。

D 只有三阶子群和二阶子群,即C C C 3 = {e, a, b }例:3只有阶子群和阶子群,即3和2左陪集(两个)右陪集(两个)======eC 3aC 3bC 3{e ,a ,b }C 3e C 3a C 3b {e ,a ,b }kC 3=lC 3=mC 3={k ,l ,m }C 3k =C 3l =C 3m ={k ,l ,m }C 2 = {e, k }左陪集(三个)右陪集(三个)====eC 2kC 2{e ,k }C 2e C 2k {e ,k }aC 2=mC 2={a ,m }C 2a =C 2l ={a ,l }====bC 2lC 2{b ,l }C 2b C 2m {b ,m }1.4等价关系联系起来的内部结构1g是G的一个元素,׊h∈G,元素g'= hgh-1称为g的设的个元素元素共轭元素,而g和g'具有共轭关系。

如果G是矩阵群,则共轭关系就是相似变换,共轭元素就是相似矩阵。

自反性:即G的任一元素与自身共轭对称性:即g i是g j的共轭元素,则g j也是g i的共轭元素 传递性:若g i与g j共轭,而g j与g k共轭,则g i也是g k的共轭元素——共轭关系是种等价关系共轭关系是一种2G中所有相互共轭的元素构成的集合,称为共轭类设g'是gi 的共轭元素,即有x∈G,使得g'=x gix-1,当x走遍G的所有元素时,所有不同的'构成的G的一个子集称g为G中含gi 的共轭类,记为Ci= { g1, g2, …, g m}同类元素有相同的阶。

直接验证即可。

两个类不能有公共元素,否则它们是同一个类。

可知若两个类有公共元素则根据共轭关系的传递性可知,若两个类有公共元素,则这两个类的所有元素都是相互共轭的,自然组成一个类。

单位元自成一类单位元可与任何元素交换乘积次序阿贝尔群的所有元素各成一类;循环群等,群元乘积可交换次序矩阵群:共轭关系对于矩阵是相似变换,而矩阵的相似变换不改变矩阵的迹,所以迹相同的矩阵属于同一个类群G 中任何一个类C i 满足:׊x ∈G ,xC i x -1 = C i 。

-1因为所有形如xg i x 的元素都是共轭的,而且每个都互不相同,个数与C i 中一样,所以xC i x -1 = C i 。

逆类:若C i = {g 1, g 2, …, g m } 是群G 的一个共轭类,集合C i '= { g 1-1, g 2-1, …, g m -1 } 也是G 的一个共轭类,称为C i 的逆类逆类。

设,g ∈-1=g g i , g j C i ,有xg i x g j ,所以可以得到(xg i x -1) -1= (g j ) -1——也就是说xg i -1x -1= g j -1,可见g i -1和g j -1也属于一个类。

又因为xC i x -1 = C i ,所以有xC i ' x -1 = (xC i x -1 )-1= C i -1= C i ' ,成立所以'的一个类称为的逆类׊x ∈G 成立,所以C i 是G 的个类,称为C i 的逆类。

可以把群分解为不相交的共轭类的并集 可以把群分解为不相交的共轭类的并集:G = C 1∪C 2…∪C c 式中C i 为第i 个共轭类,G 按共轭关系分成c 个不同的类。

D 3群的共轭类D 3群有三个共轭类:C 1= { e },C 2= { a , b },C 3= { k , 因为)称之为绕l , m }。

相关文档
最新文档