1.31.5共轭元正规子群

合集下载

群与共轭子群的个数关系_概述及解释说明

群与共轭子群的个数关系_概述及解释说明

群与共轭子群的个数关系概述及解释说明

1. 引言

1.1 概述

本文旨在探讨群与共轭子群之间的关系,具体而言是研究它们数量上是否存在某种规律或者模式。群论作为数学中的一个重要分支,对于研究各种结构和现象有着广泛的应用。而共轭子群则是群论中一个重要的概念,描述了在一个给定群内部变换时所形成的特殊子群。

1.2 文章结构

本文将首先介绍群与共轭子群的定义和性质,然后详细解释二者之间的关系。接下来,我们将进行证明,展示了不同情况下群与共轭子群个数关系的具体计算方式和结果。最后,我们将讨论该关系在密码学、物理学以及对数学研究方面的应用和意义。

1.3 目的

通过研究群与共轭子群之间的个数关系,我们可以更深入地了解这两个概念在数学中的重要性,并且探索它们在其他领域中的实际应用价值。同时,通过证明与计算具体例子,我们希望能够揭示出不同情况下群与共轭子群个数的规律,为相关研究提供一定的指导和启示。

以上是文章“1. 引言”部分的内容,介绍了文章的概述、结构和目的。通过阅读本部分,读者可以对整篇文章的内容有一个初步的了解,并对后续章节所涉及到的群与共轭子群关系问题有一个大致的预期。

2. 群与共轭子群的关系:

2.1 群的定义和性质:

群是一个集合,其中包含了一种二元运算,通常表示为乘法或加法。群必须满足四条性质:封闭性、结合律、存在单位元和存在逆元。

2.2 共轭子群的定义和性质:

在一个群中,对于给定的一个元素g,在该群中与g相似的所有元素所组成的集合称为共轭类。

而与给定子群H具有相同共轭类的所有子群所组成的集合称为共轭子群。

正规子群和群基本同态定理

正规子群和群基本同态定理

e123 123 123
123
213
321
123 123 123
{e,,}构1成3正2规子群。231
312
注意:H={e,}构成子群,但不是正规子群:
H={,}, 而H={,}
又一个正规子群的例子
设G是群,定义G的子集H=பைடு நூலகம்a|aG, 对任意 bG: ab=ba},则H是正规子群。
正规子群和群基本同态定理
上一讲内容的回顾
同构与同态 循环群与生成元 循环群的子群 无限循环群与整数加群同构 有限循环群与相应的剩余加群同构
群同态的基本定理
正规子群 商群 同态核 自然同态 群同态基本定理 同态基本定理的应用
正规子群的概念
定义:群G的子群H是G的正规子群,当且仅当:对任
等价类: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
令ap-1=n1, bq-1=n2 (n1,n2N) 则: (ab)(pq)-1 = abq-1p-1 = an2p-1 而N是正规子群,an2=n3a (n3N) 所以: (ab)(pq)-1 = n3ap-1 =n3n1N

正规子群求解方法的一个注记

正规子群求解方法的一个注记

第 1 期 陈 一 萍 :正 规 子 群 求 解 方 法 的 一 个 注 记
81
一些共轭类的并集和单位元构成群,则它一定是 G 的正规子群.那么,求解群 G 的正规子群归根结底就 是要确定群G 的共轭类.在下面一节将要讨论n 元对称群的共轭类.
3 共轭类和n 元置换的型
我们首先回忆一下:Sn 中任意一个n 元置换都可以写成不相交轮换的乘积.假设 α = (a11������a1i)(a21������a2j)������(ar1������ark)
是 {1,������,n}的一个n 元置换α 的不相交轮换的分解,并 且 假 设 1,������,n 这 些 数 字 在 这 些 轮 换 中 都 已 经
[关键词] 对称群;正规子群;共轭关系;共轭类 [中 图 分 类 号 ]O152.1 [文 献 标 识 码 ]C [文 章 编 号 ]1672G1454(2018)01G0080G04
1 引 言
给定一个有限群 G ,如何确定 G 的结构是群论 中 的 一 个 主 要 问 题.Cayley定 理 是 抽 象 代 数 中 很 重 要的一个定理.因为这个定理给出了研究抽象的有限群的一种表示论的看法.根据 Cayley定理的叙述: 设G 是阶为n 的群,则G 同构于Sn 的一个子群.这样,有限的抽象群就可以用一个具体的对称群表示出 来.如果想要弄清所有的有限群的结构,就只需要弄清楚对称群的 所 有 子 群.可 是,事 实 上,这 种 做 法 比 较 困 难 .但 是 ,尽 管 如 此 ,对 称 群 的 研 究 对 我 们 理 解 一 般 抽 象 群 是 十 分 有 益 的 .

近世代数课件--1.5正规子群与商群

近世代数课件--1.5正规子群与商群
可将 AB 简记作 Ab .
2013-8-7www.themegallery.com 数学与计算科学学院Company Logo
§5
正规子群与商群
显然, G 的子集的乘法适合结合律;当 G 是 交换群时,群 G 的子集的乘法适合交换律;若 H 是 G 的子群时,对于 H 的任意非空子集 A ,总有
第一章 群 论
LOGO
2013-8-7
数学与计算科学学院

§1 §2 §3 §4 代数运算 群的概念 子 群

循环群
正规子群与商群 群的同构与同态 有限群
数学与计算科学学院Company Logo
§5
§6 §7
2013-8-7www.themegallery.com
§5
正规子群与商群
定义 5.1 件:
数学与计算科学学院Company Logo
§5
正规子群与商群
为了进一步讨论右陪集,先引入如下定 义:对于群 G 的任意非空子集 A 和 B ,我们 将集合
{ab | a A, b B}
称为 A 与 B 的乘积,记作 AB . 特别 地,当
A {a} 时,可将 AB 简记作 aB ;当 B {b} 时,
[a] [a] [a a] [0] [(a) a] [a] [a] .
所以 (Z n , ) 是群. 易见, Z n [1] , | Z n | n .□

(完整word版)正规子群

(完整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是单射。

1.31.5共轭元正规子群

1.31.5共轭元正规子群

因此有
XC1X-1 = C1 及 XC2X-1 = C2
XSX-1 = XC1X-1 + XC2X-1 = C1 + C2 =S 所以,S 是 G 的正规子群.
( 2 ) 对于一切A∈ G ,正规子群 S 对于A 的左倍集 AS
及右陪集 SA 是一样的,即有
AS = SA
(1.4-5 )
证明:只要证明 SA 中的一个元也是 AS 中的一个元
(1.3-14)
上式说明, Rm, Rn属同一个左陪集RmSX.
第三步:根据式(1.3-10)及式(1.2-3 ) g=si ,得
i=hC=g/s 或 g/hC=s 其中,s是一个整数,是子群 SX的阶.
(1.3-15)
§1.4 正规子群与商群
正规子群
1. 共轭子群 若 S 是群 G 的一个s阶子群,即
对于矩阵群,两个元共轭就是两个矩阵相似.
2. 类 • 定义:群中互为共轭的元的完全集合就称作 类.
即,群G中的任何一个类 C 都满足
XCX 1 C X G
(1.3-5)
例如,包含群元 A 的类,就由群中的每一个元 X 与 A 作乘积XAX-1形成,A 本身就是这个类的一个元, 因为 A = EAE-1.
y
3
B
A
x 2
1
C
也可以这样来考虑: A、B、C 为转角相同而转轴不 同的操作,但 C 轴可通过操作 D 转成 A轴,B轴可通 过操作 F 转成 A轴,故 A、B 、C 同属一类.同样, D 、F 同属一类,因为 D 、F 转角相同,且用 A、 B、C 之中任一操作都可使 D、F 两操作的转轴转成 一致.

近世代数课件--1.3子群

近世代数课件--1.3子群

2020/9/27www.themegallery.com
数学与计算科学学院Company Logo
§3 子 群
设 S 是一个集合; I 是一个非空集合(称为指
标集);对于任何 i I , Si 都是 S 的子集.这时,我们
称{Si}iI 为 S 的一族子集.令
Si {a S | a Si , i I},
2020/9/27www.themegallery.com
数学与计算科学学院Company Logo
§3 子 群
定义 3.7 设 G 是一个群, c G .若 对于任意的 a G 总有 ac ca ,则称 c 为 G 的一个中心元.
命题 3.8 设 G 是一个群, C 是 G 的 全体中心元构成的集合.则 C 是 G 的交换 子群(称为群 G 的中心.)
数学与计算科学学院Company Logo
§3 子 群
定义 3.1 设 G 是一个群,集合 H 是集合 G 的一个非空子集.我们称 H 是 G 的一个子群,是 指 H 满足如下条件:
Ⅰ. ab H , a, b H ,即 H 关于群 G 的乘 法“ ”封闭;
Ⅱ. H 关于“ ”构成一个群.
2020/9/27www.themegallery.com
数学与计算科学学院Company Logo
§3 子 群
定理 3.3 设 G 是一个群, H 是 G 的一个 非空子集.那么, H 为 G 的子群的充分必要条件 是:

群论 商群

群论 商群
1 2 3 C4v ={E, C4 , C4 , C4 ,mx ,my, u, v }
(1)划分共轭类: (5个)
1 3 {E}{C4 };{C4 , C4 };{mx ,my };{ u, v } ;2
2
(2)寻找正规子群:(共8个真子群,一个二阶的,三个四阶的 )
由Lagrange 定理有:g mh
其中
X
0 A 0 1
1 0
为该群的生成元。
(第五章李群会详细讲)
11
一般群元可由如下形式生成
A( ) e X 矩阵函数泰勒展开
由于
0 X 1
E X
1 2 2 1 X n X n 2! n!
A ( E
(E
1 2 1 1 1 E 4 E ) ( X 3 X 5 X ) 2! 4! 3! 5!
E{(1
1 2 1 4 1 1 )} X ( 3 5 ) 2! 4! 3! 5!
③ 直积群记为 G H K ④ 直积群G元素 (Hi K j ) 的逆元 ( Hi 1K j 1 ) ⑤ 构成直积群G的群H与K为直积群的正规子群 ,这里H与K应理解为
H ' {(Hi , Ek ), Hi H}, K ' {( Eh , K j ), K j K

近世代数讲义子群

近世代数讲义子群
定义 3.1 设 G 是一个群,集合 H 是集合 G 的一个非空子集.我们称 H 是 G 的一个子群,是 指 H 满足如下条件:
Ⅰ. ab H , a, b H ,即 H 关于群 G 的乘 法“ ”封闭;
Ⅱ. H 关于“ ”构成一个群.
2020/8/13
数学与计算科学学院Company Logo
iI
Si 和 Si 分别称为 S 的这族子集的交(集)和并
2020/8/13
数学与计算科学学院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). 其次,
§3 子 群
设 G 是一个群. 显然,{e} 和 G 都是 G 的子群.{e} 和 G 都称为 G 的平凡子群. 若 H 是 G 的子群并且集合 H 是集合 G 的真子 集,则称 H 为 G 的真子群.
注意 若 G 是一个群, H 和 K 都是 G 的子群, 并且 K H ,则由子群的定义可知, K 也是 H 的 子群.
第一章 群 论
2020/8/13
数学与计算科学学院
LOGO
2020/8/13

共轭类长和有限群的正规结构

共轭类长和有限群的正规结构

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

ⶹ䆚∈റЎᙼᦤկӬ䋼䆎᭛

近世代数课件--正规子群

近世代数课件--正规子群
“⇐” ghg-1∈ H ⇒ gHg-1⊆ H ⇒ H =a(a-1Ha)a-1⊆ a-1Ha = gHg-1
2019/2/25 数学与计算科学学院
• 若H是群( G, ∘)正规子群,则H的右(或左)陪集称 为H的陪集。 • 若H是群( G, ∘)正规子群,则G关于 ∼ 的商集记作 G/H,即由H的陪集构成的集合,并且 ∼是(G, ∘) 上的同余关系。定义G/H上的运算⊙如下: Ha⊙Hb= H(a∘b), a, b ∈ G 于是(G/H, ⊙)是一个群,称为( G, ∘)关于正规子群 H的商群。当G为有限群时,有|G|/|H|=|G/H|
2019/2/25 数学与计算科学学院
定理7.5.3 任意一个群 ( G, ∘)的商群 (G/H, ⊙)都是 ( G, ∘)的满同态像。 自然同态 f : G → G/H, g →Hg 是一个满同态。
• 研究子群H的一个作用就是可以通过H来推测整个 群G的性质。如果现在是一个正规子群H 的话, 那么就有两个群,正规子群H以及商群G/H可以 利用了。
2019/2/25 数学与计算科学学院
定义7.5.2 设 f 是从群( G, ∘)到群( G’, *)的一个满同 态,则称G’ 的单位元 i 在 f 下的原像构成的G 的 子集 { g | f (g) = i , g ∈ G }为满同态 f 的核,记为 Ker f。
例如,f (x, y)=x是从群 (R2, +)到群 (R, +)的满同态, 群(R, +)的单位元是 0 Ker f={ (x, y) | f (x, y)=0 } ={ (0, y) | y ∈ R }

群的共轭类数

群的共轭类数

群的共轭类数

【原创版】

目录

1.群的共轭类数的定义

2.群的共轭类数的性质

3.群的共轭类数的计算方法

4.群的共轭类数在数学中的应用

正文

一、群的共轭类数的定义

在数学中,群的共轭类数是一个重要的概念。共轭类数是用于描述群的结构的一种工具,它可以帮助我们更好地理解群的性质。对于一个群 G,如果存在一个元素 a,使得 a 的 n 次方等于单位元(即 a^n=e,其中 e 表示群的单位元),那么我们就说元素 a 的 n 次方与单位元互为共轭元。根据这个定义,我们可以得到群的共轭类数的定义:对于群 G 中的任意元素 a,如果存在整数 n,使得 a 的 n 次方与单位元互为共轭元,那么我们就说元素 a 属于群 G 的第 n 个共轭类。

二、群的共轭类数的性质

群的共轭类数具有以下几个重要的性质:

1.每个元素都属于且仅属于一个共轭类。这是因为对于任意元素 a,我们可以找到一个整数 n,使得 a 的 n 次方与单位元互为共轭元。

2.共轭类之间是互不相同的。这是因为对于不同的元素 a 和 b,它们的 n 次方与单位元互为共轭元的 n 值是不同的。

3.群的共轭类数的集合与群的阶相等。这是因为群的阶是群中元素的最大公约数,而群的共轭类数的集合中的元素个数就是群的阶。

三、群的共轭类数的计算方法

计算群的共轭类数的方法有多种,其中比较常用的方法是利用拉格朗日定理。拉格朗日定理指出,如果群 G 的阶为|G|,那么 G 中元素的共轭类数的个数为φ(|G|),其中φ表示欧拉函数。欧拉函数的定义为:对于正整数 n,如果 n 与φ(n) 互质,则φ(n)=1;否则,φ(n)=0。利用拉格朗日定理,我们可以得到群的共轭类数的计算公式:共轭类数的个数=φ(|G|)。

子群与正规子群的判定及求法

子群与正规子群的判定及求法

子群与正规子群的判定及求法

1.引言

1.1 概述

在数学中,群是一种代数结构,它是集合及其上的一种二元运算构成的。群的研究在数学领域具有重要的地位,并且在许多领域中都有广泛的应用。在群论中,子群和正规子群是两个基本的概念。

子群是指群中的一个子集,该子集在相同的二元运算下也构成一个群。子群的判定是群论的一个重要问题,它涉及到对群的结构和性质进行分析。如何判定一个集合是否是给定群的子群,这是我们在本文中要探讨的一个问题。

正规子群是在子群的基础上,具有一些更为特殊的性质。具体来说,对于一个群的正规子群,它在群的乘法运算下是不变的。这意味着正规子群对于群的乘法运算是封闭的,并且对于群的元素进行乘法运算后,结果仍然在正规子群中。正规子群的判定和求法是群论中的一个重要主题。

本文的目的是介绍子群和正规子群的判定方法和求法。我们将详细讨论如何判定一个集合是否是给定群的子群,并给出相应的证明方法。同时,我们还将探讨正规子群的定义和性质,以及正规子群与子群之间的关系。

通过本文的研究,我们能够深入理解子群和正规子群的概念,并掌握判定和求法的方法。同时,研究子群和正规子群也对于深入理解群论以及其他数学领域中的概念和应用具有重要意义。通过对子群和正规子群的研究,我们可以进一步拓展和应用这些数学工具,促进数学领域的发展。

接下来,我们将在正文部分详细介绍子群的判定方法、正规子群的判定方法,以及子群和正规子群的求法。最后,我们将对本文进行总结,并展望子群和正规子群研究的未来发展方向。

1.2文章结构

文章结构部分的内容如下:

P15-44 北师大的群论

P15-44 北师大的群论

复习:

群、方矩阵群、对称操作群 群表

(左因子)

D

E

A

C

B

F

E F B A C D B A E F D C A C D E F B C B F D E A F D C B A E F D C B A E F D C B A E

同构的群: (1)d 3群

⎪⎪⎪⎭

⎫ ⎝

⎛=10

0010

001E

⎪⎪⎪⎭

⎫ ⎝

⎛=10

0001

010

A

⎪⎪⎪⎭⎫ ⎝⎛=010100

001

B

⎪⎪⎪⎭

⎫ ⎝

⎛=00

1010

100

C

⎪⎪⎪⎭

⎫ ⎝

⎛=01

0001

100

D ⎪⎪⎪⎭

⎫ ⎝

⎛=00

1100

010F

(2)2×2矩阵构成一个群D 3(2)或群C 3v (2)

⎪⎪⎭

⎫ ⎝

⎛=10

01

E

⎪⎪⎭

⎫ ⎝⎛-=10

01

A

⎪⎪⎪⎪⎭

⎫ ⎝⎛-=2123232

1

B

⎪⎪

⎪⎪⎭

⎛--

-=212

32321C

⎪⎪⎪⎪⎭

⎛---=212

32321D

⎪⎪⎪⎪⎭

⎫ ⎝⎛--

-=2123232

1F

(3)C 3v 群 (4)D 3群

(5)C 3v (3)

群(p.7)

(6)D 3(3)

另外,C 6与上面的6阶群,群表不同。

§1.2 子群和陪集

子群

子群的封闭性,表示为:SS=S

平庸子群,真子群。

陪集

1、定义

右陪集SX,左陪集XS。其中S

X 。

2、定理

子群阶定理:g=s×i

可以将群G按子群S的陪集来分解

G=S+SA2+SA3+…+SA i(1.2-4)

§1.3 共轭元与类

共轭元

B=XAX-1(1.3-1)群元B与A共轭(矩阵相似)。

共轭具有传递性。

类C

1、定义:互为共轭的元的完全集合。

类C 的阶h C 。 2、类的性质

3、类的定理 定理一

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
y
3
B
A
x 2
1
C
( 8 ) 若 C 是群 G 的一个类,且 C = { C1, C2,…, Cm},C’是 C 中所有元的逆的集合,即C’ = {C1-1, C2-1,…,Cm-1}.那么, C’也是群 G 的一个类,称 作 C 的逆类.
证明:己知 XCX-1 = C 对任一X ∈G 成立,那么 XC’X-1 =(XCX-1)-1= C-1 = C’ 对任一 X∈G 成立. 所以, C ’是群 G 的类. ( 9 ) 互逆类乘积的集合中一定有单位元出现,且出现 的次数等于类的群元数 h c(有时称 h c为类的阶)
对于矩阵群,两个元共轭就是两个矩阵相似.
2. 类 • 定义:群中互为共轭的元的完全集合就称作 类.
即,群G中的任何一个类 C 都满足
XCX 1 C X G
(1.3-5)
例如,包含群元 A 的类,就由群中的每一个元 X 与 A 作乘积XAX-1形成,A 本身就是这个类的一个元, 因为 A = EAE-1.
商群 1 .定义 群 G 的阶是 g ,其正规子群S的阶是s.于是存在 i = g/s个陪集(包括正规子群):SA1(= S), SA2 ,…, SAi. 现在,把正规子群及陪集这i个集合 作为“数学对象”,以集合的乘法作为群乘而构成
的 群,定义为群 G 对其正规子群 S 的商群,记作 G/S. 有
G / S ={ S , SA2 , … , SAi} ( 1.4-7 )
证明:
(1)满足封闭性.由群乘定义及式( l . 4-6 ) ,应有
SAm∙SAn = S(AmAn )
( 1.4-8 )
可见商群任两个元的乘积仍为 S 的一个陪集(在此不
必区分左陪集与右陪集,因为对于正规子群,左陪集
与右陪集是相同的) .
(1.3-7)
于是
(Si Sj)X(SiSj)-1 = Si ( SjXSj)-1Si-1 = Si XSi-1 =X
(1.3-8)
上式表明, Si Sj ∈ SX . 由于SX是群G的具有封闭性的
子集,故SX是群 G 的子群.
第二步:将群 G 按子群 SX的陪集来分解,得
G = R1SX +R2 SX +…+Ri SX
D3 群中,E自成 一类,D、F属一类,因为: EDE-1 = D
ADA-1 = BA= F BDB-1 = CB = F CDC-1 =AC= F DDD-1 = FD-1=D FDF-1 = ED=D A、B、C属一类.
D3 E A B C D F E E ABCDF A AEDF BC B B F E DC A C CDF E AB D DC AB F E F F BC AED
y
3
B
A
x 2
1
C
也可以这样来考虑: A、B、C 为转角相同而转轴不 同的操作,但 C 轴可通过操作 D 转成 A轴,B轴可通 过操作 F 转成 A轴,故 A、B 、C 同属一类.同样, D 、F 同属一类,因为 D 、F 转角相同,且用 A、 B、C 之中任一操作都可使 D、F 两操作的转轴转成 一致.
定理三
有限群G的阶为 g ,类 C 的元数为hC,则有 g / hC = 整 数成立,即 hC 是 g 的整数因子.
证明:分三步来证明这个定理.
第一步:取群 G 中某一个确定的元 X∈G,取
S∈G,满足SXS-1 =X 的所有元的集合{ S} =SX,证明
SX是群 G 的 一个子群.设
则有
Si , Sj ∈ SX SiXSi-1 =X, SjXSj-1 =X
§1.3 共轭元与类
1. 共轭元
若群 G 中存在一个元 X ,使群中的元A、 B 满足
B = XAX -1
(1.3-1)
那么,群元 B 与群元 A 共轭.
若 B 共轭于A,则A亦共轭于 B ,因为
A =X-1B(X-1)-1 = YBY-1
(1.3-2)
其中Y= X-1,是群 G 中的一个元,所以,A 与 B 是
证明:设正规子群 S 的两个陪集是 SA 及 SB, 其中A、B是群G 的两个元,二者可以相同.这两个 陪集的乘积:
SASB= SASA-1AB= S(ASA-1)AB= SSAB= SAB (1. 4-6)
群元 A 、B∈G,如果 A 、B 不在子群 S中,那么, 乘积 SAB就是一个陪集.如果(AB)∈S ,那么,乘 积就是正规子群本身.
因此有
XC1X-1 = C1 及 XC2X-1 = C2
XSX-1 = XC1X-1 + XC2X-1 = C1 + C2 =S 所以,S 是 G 的正规子群.
( 2 ) 对于一切A∈ G ,正规子群 S 对于A 的左倍集 AS
及右陪集 SA 是一样的,即有
AS = SA
(1.4-5 )
证明:只要证明 SA 中的一个元也是 AS 中的一个元
例:D3群中,六个元共分三类,可表为 C1 = E;C2 = {A, B, C}; C3 ={D,F} 于是, C1C2 = C2; C1C3 = C3; C2C3 =2C2; C2C2 =3C1 +3C3; C3C3 =2C1 + C3;
D3 E A B C D F E E ABCDF A AEDF BC B B F E DC A C CDF E AB D DC AB F E F F BC AED
• 有关类的定理 定理一
若η为由群中若干完整的类构成的集合,即
C1 C2 Ck
k
X是群G中的任意元,则 XηX-1 =η成立.
证明:已知XCkX-1=Ck ; 所以
X X 1 X (C1 C2 ) X 1 XC1X 1 XC2 X 1
C1 C2 Ck k
逆定理:任何一个服从关系 X X 1 ,X G 成 立的集合η,必由若干完整的类构成.
(1.3-14)
上式说明, Rm, Rn属同一个左陪集RmSX.
第三步:根据式(1.3-10)及式(1.2-3 ) g=si ,得
i=hC=g/s 或 g/hC=s 其中,s是一个整数,是子群 SX的阶.
(1.3-15)
§1.4 正规子群与商群
正规子群
1. 共轭子群 若 S 是群 G 的一个s阶子群,即
这就是式( 1.3-11 ) .
( 2 ) 若Rm, Rn满足式(1.3-11 ) ,则Rm, Rn属同 一 个陪集.
以Rm-1左乘式(1.3-11 )后,再以Rm右乘之,得 X= Rm-1 RnX Rn-1Rm =(Rm-1Rn) X (Rm-1Rn)-1
(1.3-13)
可见Rm-1Rn ∈SX ,所以Rn ∈RmSX
2. 正规子群
对于群G中的每一个元 X,当G的子群S满足
XSX-1 = S
(1. 4-3)
时,称子群S为群G的正规子群, 亦称为不变子群.
3. 正规子群的性质
( l ) 群 G 的正规子群 S 是由群 G 的一个或几个完整的
类构成的.反之,凡是包含群 G 中的一个或几个完整
类的子群,都是 G 的正规子群.
其中类乘是这样定义的:两个类的类乘为 一个集 合,其中的元分别由两个类中的元两两相乘而成.如 集合中有重复出现的元,则出现几次就取几次.
证明:由式XCX-1 = C 得 XCiX-1 = Ci, XCjX-1 = Cj
所以, Ci Cj = XCiX-1 XCjX-1 = XCiCjX-1 对所有 X ∈ G 成立.根据刚刚证明过的逆定理,集合 Ci Cj必由一些完整的类构成,因而可写成式( 1 . 3 – 6 )的形式.
C3V群分成几类?
• 类的简单性质 ( l ) 单位元自成一类. ( 2 ) 群中没有任何一个元是属于两个不同的类的, 即不同的类中没有共同的元. ( 3 ) 除单位元这一类外,其余各类都不是子群,因 为这些类中不包含单位元. ( 4 ) 交换群(阿贝尔群)每元自成一类.因为交换 群中的每一个元都可与其它元对易,因此对一切 X∈G 都有
所以,A与XAX-1有相同的阶.
( 7 ) 对于含转动操作的群, 转角相同而转轴可由群中
的元转成一致的,属同一类.
例如在D3 群中, A、B、C 同属一类,因为
DCD-1 = A
FBF-1 = A
D3 E A B C D F E E ABCDF A AEDF BC B B F E DC A C CDF E AB D DC AB F E F F BC AED
即可.
当 S 是正规子群时,设B是SA中的元,那么,必
存在一个元Sm∈S,使B=SmA ,于是 A-1B=A-1SmA , 这是 A-1SA中的一个元.所以也是S中的一个元,即
A-1B ∈S,令A-1B=Sk,则A(A-1B) =B=ASk是AS中的 一个元,得证.
这个性质表明,S 作为一个整体,可以与 群 G 中的任意元对易. ( 3 ) 正规子群的一个陪集与另一个陪集的乘积(包 括陪集自身相乘)必为一个陪集或者正规子群.
互为共轭的.
共轭具有传递性.若 A 与 B 共轭,B与C共轭,则A与
C共轭.
因为如果存在群元 X 及 Y 满足
B = XAX-1 及 C = YBY-1
(1 . 3 - 3 )

C = YBY-1= Y(XAX-1)Y-1=(YX)A(YX)-1 (1 . 3 - 4 )
YX 是群中的一个元,所以, A 与 C 共轭.
(1.3-9)
其中,R1=E,R2,…,Ri是陪集代表元. 作R1XR1-1,
R2XR2-1,…,RiXRi-1 .
下面将证明,全部与 X共轭的元共有i个,即
hc= i
(1.3-10)
为此只要证明:
( l ) 用属于同一个陪集内的元 Rm及Rn作 X 的共轭 元,必有
RmX Rm-1= RnX Rn-1
证明:令Sm是S 中的任一元,当 S是 G 的正规子 群时,对于每一个X∈G ,群元XSmX-1必然也是 S 的 一个元,所以 S 包含了Sm的整个类. 反之,若子群包 含了群 G 中的一个或几个完整类,例如:
S = C1 + C2 根据式(1.3-5 ) ,对一切 X∈ G 存在
(1. 4-4)
XAX-1 = XX-1A = A , A ∈ G
( 5 ) 对于矩阵群,同一类中的各元互为相似 矩阵,因此,同类中各元具有相同的矩阵 迹. ( 6 ) 同类的元素有相同的阶.即:
如群中有一元 A,其阶为a,则Aa = E, 那么与A同类的任意元 XAX -1亦具有相同的 阶a。
证明: (XAX-1) a = (XAX-1)(XAX-1) …(XAX-1) = XAaX-1 = XEX-1 = E
( 2 ) 满足结合律.根据式( 1.4-8 )
(SAm SAn) SAp =S (AmAnAp)= SAm(SAnSAp) ( 1.4-9 )
( 3 ) 单位元就是正规子群 S, S = SA1 =SE. SESAm = S(EAm) = SAm
(1.3-11)
因为,若Rm, Rn同属于左陪集 RmSX ,必有一Sg存
在,使
于是
Rn= Rm Sg ,其中Sg ∈SX
RnX Rn-1= (Rm Sg) X( Rm Sg) -1 = Rm (Sg X Sg -1 ) Rm-1 (1.3-12)
根据式(1.3-7) , Sg X Sg-1 = X ,所以,上式变成 RnX Rn-1 = RmX Rm-1
证明:首先将η中的完整的类抽出,余下的 元的集合是ξ. 于是 XξX-1=ξ. 考虑ξ中的某个 元R,则上式左边是 R 类的所有元,因此右边的ξ
就是一个完整的类.即η必由一些完整的类构
成.
定理二
两个类的类乘有
CiC j cijkCk
k
( 1 . 3 -6 )
式中cijk是个整数,说明类Ck在类乘 C iCj 中出现的次 数.
S = { E= S1, S2,…,Ss} , X是群G中某个确定的元,则集合
( 1. 4 -1)
{ XS1X-1, XS2X-1 ,…, XSsX-1}= XSX-1 (1. 4-2)
பைடு நூலகம்
构成群,称为群G的共轭子群 .
证明: (1)若XSmX-1及XSnX-1是集合XSX-1中的任意两元, 那么,由于Sm及Sn是群S中的元,(XSmX-1)(XSnX-1)=X (SmSn) X-1也是XSX-1中的一个元,满足封闭性条件. (2)若XSmX-1 , XSnX-1及XSpX-1是XSX-1中的三个 元,那么它们之间的乘积满足结合律. (3) 由于S 中有单位元, XSX-1中肯定有单位元. (4) 同样,由于S中每个元都有逆元,所以XSX-1的 每个元都有逆元.
相关文档
最新文档