正规子群
1.31.5共轭元正规子群

对于矩阵群,两个元共轭就是两个矩阵相似.
2. 类 • 定义:群中互为共轭的元的完全集合就称作 类.
即,群G中的任何一个类 C 都满足
XCX 1 C X G
(1.3-5)
例如,包含群元 A 的类,就由群中的每一个元 X 与 A 作乘积XAX-1形成,A 本身就是这个类的一个元, 因为 A = EAE-1.
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的 每个元都有逆元.
C3V群分成几类?
• 类的简单性质 ( l ) 单位元自成一类. ( 2 ) 群中没有任何一个元是属于两个不同的类的, 即不同的类中没有共同的元. ( 3 ) 除单位元这一类外,其余各类都不是子群,因 为这些类中不包含单位元. ( 4 ) 交换群(阿贝尔群)每元自成一类.因为交换 群中的每一个元都可与其它元对易,因此对一切 X∈G 都有
(1.3-7)
于是
(Si Sj)X(SiSj)-1 = Si ( SjXSj)-1Si-1 = Si XSi-1 =X
(1.3-8)
近世代数考试复习

<近世代数复习题>一、定义描述(8’)1、群:设G是一个非空集合,是它的一个代数运算。
如果满足以下条件:(1)结合律成立,即对G中任意元素a,b,c都有(a b)c = a (b c).(2)G中有元素e.叫做G的左单位元,它对G中每个元素a都有e a = a .(3)对G中每个元素a,在G中都有元素a-1,叫做a的左逆元,使a-1 a = e .则称G对代数运算做成一个群。
2、正规子群:设N是群G的一个子群,如果对G中每个元素a都有aN=Na,即aNa-1=N ,则称N是群G的一个正规子群(或不变子群)。
3、环:设非空集合R有两个代数运算,一个叫做加法并用加号+ 表示,另一个叫做乘法用乘号表示,如果:(1)R对加法作成一个加群;(2)R对乘法满足结合律:(ab)c = a(bc);(3)乘法对加法满足左右分配率:a(b+c)= ab + ac ,(b+c)a = ba + ca .其中a,b,c为R中任意元素,则称R对这两个代数运算作成一个环。
4、极大理想:设N是环R的一个理想,且N≠R .如果除R和N外,R中没有包含N的其它理想,则称N为环R的一个极大理想。
5、惟一分解整环:设K是有单位元的整环。
如果K中每个既不是零又不是单位的元素都能惟一分解,则称K为惟一分解整环。
整数环Z及域F上多项式环F[ x ]都是惟一分解整环。
6、欧氏环:设K是一个有单位元的整环,如果(1)有一个从K的非零元集K – { 0}到非负整数集的映射ψ存在;(2)这个ψ对K中任意元素a及b≠0,在K中有元素q,r使a=bq + r,r=0或ψ(r)<ψ(b),则称R关于ψ作成一个欧氏环。
-------------7、素理想:设R是一个交换环,P ◁R .如果ab∈P => a∈P或b∈P,其中a,b∈R,则称P是R的一个素理想。
显然,环R本身是R的一个素理想;又零理想{ 0}是R的素理想当且仅当R无零因子,亦即R是一个整环。
浅谈正规子群的判定条件

重要的角色。对于群 G 如何确定子群 日为 G的正规子群对于判定 G是否可解起到关键作用。 , 所以讨论子 群 成为正 规子 群 的条 件也显 得非 常 的重 要 , 献 。 其作 了一定 的探讨 。 文 在此 基础 上 从正 规 子群 的 文 对 本
定 义 出发 , 出 了子 群成 为正规 子群 的若干条 件 。 给
已有 的简 单结论 列 出如下 :
( ) G的两个平凡子群 {} G都是 G的正规子群 ; 1群 e与 ( )交换 群 的任 一子 群都是 正规 子群 ; 2 ( )群 G的中心 C G 3 ( )是 G的正 规子群 , C G 且 ( )的任一 子群也 是 G的正规 子群 ; () 4 两个正规子群的交( ) 积 仍为正规子群; ( )群 G的指数 为 2的子 群 必 是 G的正 规子群 ; 5 () 6 n次交错 群是 n次对 称群 的正规 子群 下 面给 出正规子 群 的一些 判别 条件 : 定理 1 G为任 意 的群 , 为 G任一 子群 , 么 以下 四个条 件是 等价 的 : J 日 那
群.
证 明 a ・ H =c 故 ab H b H, ee∈ a b : c . a HH H 因 b∈ c 故 a H =c .Va∈ G,l —H =a ~ = H, b H aa i aH
,
所 以 a a a a H =H, a a H, i l e i l~ 即 l e i 故 是 的一 个正规 子群.
证 明 e= e e e , e∈ C, C非空. — ~ e故 即
有限个换位子的乘积与有限个换位子的乘积还是有限个换位子的乘积 , C关于 G的乘法是封闭的. 故 因为 ( b b ~ =6 a 1a 于是换 位子 的逆还 是换 位子. 以有 限个 换位 子 的乘积 的逆还是 有 限个 a a ) ~ - , b 所 换位 子 的乘 积 , Vc∈ C 有 C ∈C 因此 , 故 , ~ . C是 G的子群.
正规子群和商群

性质1 群 G 的任何两个不变子群的交还是 G 的不变子群.
证明:首先由前面可知它是子群;而且
a H I N , H , N是G的不变子群,则x G, xax1 H且xax1 N xax1 H I N 因此H I N是G的不变子群.
性质2 不变子群与子群的乘积是子群;
h1n1 1 h2n2 n11 h11h2 n2
n11h3n2
h3n3n2
h3 n3n2 HN
解:因为 H(13) {(13),(123)}
(13)H {(13), (132)} 所以 H 不是 G 的不变子群.
因为 (1)N {(1), (123), (132)} N (1 ) (12)N {(12), (23), (13)} N(1 2)
所以 N 是 G 的不变子群.
定理 设 N G ,则 N 是 G 的正规子群
a G ,有 aN Na a G ,有 aNa1 N a G ,n N ,有 ana1 N a G ,有 aNa1 N
由前面讨论可知:由不变子群确定的群的左右陪集分解是 一回事,即由此得到的左右商集是一致的。
叫做正规子群(也叫不变子群),由它可以 定义一种和G相关的新群—商群.
定义 1 N G, a G, 都有aN Na, 则称 N 是群 G 的一个正规子群(或不变子群)
记作 N G .
例1 任意群 G 的两个平凡子群都是正规子群.
{e}: a G, a{e} {a} {e}a G : a G, aG G Ga
性质3 不变子群与不变子群的乘积是不变子群.
(留作练习) 我们知道“子群”的概念具有传递性:
N H,H G N G
3-2正规子群和商群

因为 H (13) = {(13), (123)}
(12) N = {(12), (23), (13)} = N (1 2)
的不变子群. ,所以 N 是 G 的不变子群.
2011-12-12 14:23
二、正规子群的性质 性质1 性质1 设 N ≤ G ,则 N 是 G 的不变子群 ⇔ ∀a ∈ G ,有 aN = Na
2011-12-12 14:23
G G / N = { aN | a ∈ G } aN ⋅ bN = ( ab ) N 做成群 做成群.
四、商群
N
关于
G G / N = { aN | a ∈ G } aN ⋅ bN = ( ab ) N 做成群 做成群.
定义 2
G ,则称 G / N = { aN | a ∈ G } 关于 aN ⋅ bN = ( ab ) N 做成的群为 G 关于
2011-12-12 14:23
五 商群的应用
定理5 是一个pn阶有限交换群 其中p是一个素数 定理 设G是一个 阶有限交换群 其中 是一个素数 则 是一个 阶有限交换群,其中 是一个素数,则 G有p阶元素 从而有 阶子群 阶元素,从而有 阶子群. 有 阶元素 从而有p阶子群 证:
对n用数学归纳法. 当n = 1时, G是p阶循环群, 则G的生成元就是一个p阶 元, 定理成立. 假定定理对阶为pk(1 ≤ k < n)的交换群成立, 下证对 阶为pn的交换群G定理成立. 在G中任取a ≠ e, 若p a , 令
2011-12-12 14:23
例
n次交代群 A n 是n次对称群 Sn的一个正规子群 . 证 :由于任意 n次置换 σ与其逆 σ −1有相同的奇偶 性, 从而易知 σA nσ A n > Sn .
第三章 正规子群和群的同态与同构

_
_
_
G ~ G,
_
例 令 G = {全体正负奇数 },代数运算为数的普通 乘法;
G = {1,−1}关于数的普通乘法 作成群, _ _ 令 ϕ : 正奇数 → 1, G ~ G , G 是群,但 G不是! 负奇数 → − 1.
结论: 如果 G与G 为各有一个代数运算的 代数系统,
为素数.
∴ a = n,
从而 G =< a > 为循环群,
由G为单群知n为素数. 练习 设G = Z , N = mZ < G , (1)写出商群的全部元素;(2)商群是否为循环群?
作 业
习题3.2 第91页 2,3,4,5
3.3
群同态基本定理
一、复习 二、 群同态基本定理 三、应用
一、复习
1、正规子群:
在 ϕ之下的所有逆象作成的 集合,叫做 ϕ的核 ,记为 ker ϕ .
_
_
G中所有元素在 ϕ之下的象作成的集合, 叫做
ϕ的象集 ,记为 Im ϕ .
结论: 设 ϕ为群 G到群 G 的一个同态映射, K = ker ϕ ,
.
_
则 : (1) ker ϕ
<G , Im ϕ < G; ( 2) ϕ (a ) = ϕ (b ) ⇔ ∀a , b ∈ G , 有 aK = bK . (3)一个同态 ϕ 是单同态 ⇔ Kerϕ = {e } ⊆ G
设N是G的一个正规子群,任取二陪集aN与bN,有
(aN )(bN ) = a ( Nb) N = a (bN ) N = (ab) NN = (ab) N ,
即(aN )(bN ) = (ab) N , 称此为陪集的乘法.
正规子群,商群与同态基本定理

(VIII )正规子群,商群与同态基本定理一、正规子群(不变子群)GH G H Ha aH G a G H 的正规子群,记为为则称,有如果、定义:设=∈∀≤,,1·G 为交换群(Abel 群),G 的子群为正规子群。
·{e},G 是平凡正规子群(trivial ) HaHa HaHa H h G a H aha G H G H =⊆∈∈∀∈⇔≤---111)3()2(,,)1(,2 则设、判法Eg1.)()(R GL R SL n nEg2.群的中心G G C G x xa ax a G C )(},,|{)(∈∀==Eg3.44S AEg4.)}23)(14(),24)(13(),34)(12(),1{(K 4=四元群,Klein ,44S K ,44A K 正规子群不具有传递性!如H={(1),(12)(34)},H 左三角K4,K4左三角S4,但是H 不是S4的正规子群。
二、商群的商群关于称为是群则在上述条件下上定义代数运算:在、【商群】:设H G H G HG bH aH H ab bH aH H G G a aH H G G H ),/(/,,)(:/}|{/,1⋅∈∀=⋅∈= .||||/]:[/2H G H G H G G H H G 的阶是,且当时有限群时,中的指数在的阶是、商群 (当G 为加群时,则正规子群N 的陪集为a+N ,商群G/N 的运算为(a+N )+(b+N)=(a+b)+N )三、群同态基本定理1、同态的像、同态核设G G f →:是群同态,同态的像}|)({Im G a a f f ∈=,核})(|{ker e a f G a f =∈= 则有:(1)G f ≤Im(2)G f ker 2、群同态基本定理设G G f →:是群同态⇒群同构:f f G Im ker /≅ 特别地,当f 为满射时,G f =Im 则有G f G ≅ker /。
正规子群的判定条件

正规子群的判定条件
在群论中,一个子集要成为一个正规子群,需要满足以下条件:
1. 封闭性:该子集对于群的乘法运算封闭,即对于任意的元素a和b属于该子集,它们的乘积ab也属于该子集。
2. 单位元:该子集包含原群的单位元素,即恒等元素e。
3. 逆元:对于该子集中的任意元素a,它的逆元素a⁻¹也属于该子集。
4. 对称性:对于该子集中的任意元素a和原群中的任意元素g,如果ag和ga都属于该子集,则称该子集是正规子群。
具体来说,如果一个子集N满足对于任意的元素a属于N和任意的元素g属于原群G,都有ag和ga都属于N,那么N就是G的正规子群。
正规子群的重要性在于它们可以作为群的商空间,用于定义群的商群和因子群等概念,进一步研究群的结构和性质。
正规子群

定理 11.14 设 N 是群 G 的子群, N⊴G ⇔ ∀g∈G 有 gNg−1=N 证 任取 g∈G 有 g G gNg−1 = N ⇔ (gNg−1)g = Ng ⇔ gN = Ng 由正规子群定义,定理得证.
2.正规子群的判别实例 例 设 N≤ G,若 G 的其他子群都不与 N 等势,则 N⊴G. 证 任取 g∈G,易证 gNg−1 是 G 的子群, 下面证 N ≈ gNg−1. ∀n∈N,令 f(n) = gng−1,则 f:N→ gNg−1. f(n1)=f(n2) ⇒ gn1g−1=gn2g−1 ⇒ n1=n2,即 f 是单射. ∀gng−1∈gNg−1,∃n∈N,f(n) = gng−1 ,f 是满射. 从而 N ≈ gNg−1. 根据已知条件,必有 gNg−1 = N. 所以 N⊴G.
例
设<Z,+>是整数加群,令
3Z = {3z | z∈Z} 则 3Z 是 Z 的正规子群. Z 关于 3Z 的商群 Z/3Z = {[0], [1], [2]} 其中 [i] = {3z+i | z∈Z},i = 0, 1, 2
且 Z/3Z 中的运算如下表所示.
例 设 N≤ G,若[G:N] = 2,则 N⊴G. 证 由[G:N] = 2 可知存在两个不交的右陪集 N 与 Ng,即 G = N∪Ng,g∉N 同理可知也存在两个不交的左陪集 N 与 gN,即 G = N∪gN,g∉N 任取 g∈G,若 g∈N,则有 gN = N = Ng. 若 g∉N,则有 gN = G−N = Ng. 从而证明了 N 是 G 的正规子群. 说明: 上述例题的结果可以作为正规子群的判别方法
三、商群 1. 商群定义及其实例 商群定义:设 G 是群,N 是 G 的正规子群,令 G/N 是 N 在 G 中的全体右陪集(或左陪集)构成的集合,即 G/N = {Ng | g∈G} 在 G/N 上定义二元运算ο如下:对于任意的 Na, Nb∈G/N, Na ο Nb=Nab 可以证明 G/N 关于ο运算构成一个群,称为 G 的商群.
近世代数考试复习

近世代数考试复习文件编码(008-TTIG-UTITD-GKBTT-PUUTI-WYTUI-8256)<近世代数复习题>一、定义描述(8’)1、群:设G是一个非空集合,是它的一个代数运算。
如果满足以下条件:(1)结合律成立,即对G中任意元素a,b,c都有(a b) c = a (b c).(2)G中有元素e.叫做G的左单位元,它对G中每个元素a都有e a = a .(3)对G中每个元素a,在G中都有元素a-1,叫做a的左逆元,使a-1 a =e .则称G对代数运算做成一个群。
2、正规子群:设N是群G的一个子群,如果对G中每个元素a都有 aN=Na,即aNa-1=N ,则称N是群G的一个正规子群(或不变子群)。
3、环:设非空集合R有两个代数运算,一个叫做加法并用加号 + 表示,另一个叫做乘法用乘号表示,如果:(1)R对加法作成一个加群;(2)R对乘法满足结合律:(ab)c = a(bc);(3)乘法对加法满足左右分配率:a(b+c)= ab + ac ,(b+c)a = ba + ca .其中a,b,c为R中任意元素,则称R对这两个代数运算作成一个环。
4、极大理想:设N是环R的一个理想,且N≠R .如果除R和N外,R中没有包含N的其它理想,则称N为环R的一个极大理想。
5、惟一分解整环:设K是有单位元的整环。
如果K中每个既不是零又不是单位的元素都能惟一分解,则称K为惟一分解整环。
整数环Z及域F上多项式环F[ x ]都是惟一分解整环。
6、欧氏环:设K是一个有单位元的整环,如果(1)有一个从K的非零元集K – { 0}到非负整数集的映射ψ存在;(2)这个ψ对K中任意元素a及b≠0,在K中有元素q,r使a=bq + r,r=0或ψ(r)<ψ(b),则称R关于ψ作成一个欧氏环。
-------------7、素理想:设R是一个交换环,P R .如果ab∈P => a∈P或b∈P,其中a,b∈R,则称P是R的一个素理想。
第三章正规子群和群的同态与同构

(不一定是满射).则群 G的单位元的象是群 G
的单位元; G的元素 a 的逆元的象是a的象的
逆元,即
a1
1
a
或
(a1) (a)1.
Taishan University
山东省成人高等教育品牌专业网络课程
抽象代数
证 设e是群 G的单位元,且在 之下(e) e.
由于 是同态映射,故在 之下有 e e2 e2 e.
复习回顾:
注:对于同构的群G与G,我们认为G与 G是代数相同的,因为这是对于近世代数所 研究的问题来说,除了符号与名称上的区别 之外,二者没有实质的差异.
Taishan University
山东省成人高等教育品牌专业网络课程
抽象代数
定理1 设G是一个群,G是一个有代数 运算(也称为乘法)的集合. 如果G ~ G,则 G 也是一个群.
H ~(H) . 但 H 是子群,从而(H)也是群且是G的子群.
Taishan University
山东省成人高等教育品牌专业网络课程
抽象代数
2) 当 H G时,由于 1(H )显然非空,任取
a,b1(H) ,且在 之下令(a) a, (b) b .则
(ab 1 )
1
ab ,
其中
a,b
H
,而
a(N)a1 (N), (N)G.
2)若NG,则可类似证明1(N )G.
Taishan University
山东省成人高等教育品牌专业网络课程
抽象代数
定理3 群G 的一个正规子群与一个子群 的乘积是一个子群; 两个正规子群的乘积仍是 一个正规子群.
Taishan University
山东省成人高等教育品牌专业网络课程
正规子群

§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|。
第二章2.群中的等价关系--陪集,共轭,正规子群与商群

第⼆章2.群中的等价关系--陪集,共轭,正规⼦群与商群群作为代数结构⾸先是⼀个集合,那么元素间可能有各种等价关系,这些等价关系给出了群的划分,也使群⾃⾝结构的特异性突出。
⼀、陪集 定义 设H是G的⼀个⼦群,a\in G,作集合aH=\{ax|x\in H\},称aH是关于⼦群H的⼀个左陪集。
类似地,可定义右陪集Ha=\{xa|x\in H\}. 对于陪集,我们有如下性质: (i) aH中元素个数与H⼀样。
(重新排列定理) (ii) H本⾝也是H的⼀个陪集(eH, He). (iii) a在陪集aH中,称a为陪集aH的⼀个代表。
(iV) 设b\in aH,则有aH=bH. 即aH中任⼀元素,均可作aH的⼀个代表。
(V) 由此可以定义等价关系a,b\in G,若a^{-1}b\in H, 则a\sim b. 此等价关系给出G的⼀个划分 G=a_1H\cup a_2H\cup...\cup a_l H. 下⾯重点证明(iV)和(V)。
证明: (iV) 有b=ah,\, h\in H。
则对\forall h_i\in H,有ah_i=b(h^{-1}h_i). 即aH\subset bH. 同理,bh_i=a(hh_i)\in aH,即bH\subset aH. 故aH=bH. (V) ⾃反: a^{-1}a=e\in H\quad\Rightarrow a\sim a. 对称: a\sim b\quad\Rightarrow a^{-1}b\in H\quad\Rightarrow (a^{-1}b)^{-1}=b^{-1}a\in H\quad\Rightarrow b\sim a. 传递: a\sim b, b\sim c\quad\Rightarrow a^{-1}b,\,b^{-1}c\in H\quad\Rightarrow(a^{-1}b)(b^{-1}c)=a^{-1}c\inH\quad\Rightarrow a\sim c. 定义 群G中⼦群H的相异陪集个数称为H在G中的指数,记为(G:H). 定理2.3(Lagrange定理) n阶群G的⼦群H的阶m是n的⼀个因数。
全特征子群,特征子群,正规子群的关系

《近世代数》论文课程:《近世代数》姓名: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)}。
第三章 正规子群和群的同态与同构

H
G,进一步,若还有H ∩ N = {e},
则∀h ∈ H , ∀n ∈ N 都有hn = nh
例4 若H ≤ G,那么N ( H ) = {x ∈ G | xH = Hx}叫做H 在G中 的正规化子,试证H N ( H ) ≤ G。
二
1. 商群的定义
设N 即
商
群
G,任取2个陪集aN , bN。则 (aN )(bN ) = a ( Nb) N = abNN = (ab) N, (aN )(bN ) = (ab) N
S3,
但是H1 = {(1), (12)} ≤ S3,(13)H1 ≠ H1(13),所以H1不是
命题1 如果H ≤ G且[G : H ] = 2,则H
G。
更一般地,在S n中, n : An ] = 2 ⇒ An [S
Sn
3.正规子群的判定
定理1 设G是一个群,N ≤ G,则 N 注: 定理1可改为:设G是一个群,N ≤ G,则 N G ⇔ ∀a ∈ G, ∀x ∈ N , axa −1 ⊆ N G ⇔ ∀a ∈ G, aNa −1 ⊆ N
H ≤G
事实上,设H ≤ G,则下面条件等价:
(1) aH = Ha, ∀a ∈ G; −1 ( 2 ) aHa = H ∀a ∈ G; ( 3) aHa −1 ⊆ H ∀a ∈ G; 4 ) aha −1 ⊆ H ∀a ∈ G, ∀h ∈ H (
例2 考虑:∀a ∈ S n , ∀x ∈ An , axa −1是一个偶排列,所以 axa −1 ∈ An,于是An Sn
已知子群的概念具有传递性的一个正规子群和一个子群之积仍是的子群两个正规子群之积仍是正规子群也就是说若都有进一步若还有xhhx那么叫做abnnabbnab称上述二式为陪集的乘法
正规子群和群基本同态定理

同态群的子群的对应
设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
Ch 17.6-7 正规子群与商群,群的同态和同构

f(e1)=e2 ,f(x −1)=f(x)−1.
第三编 代数结构
15
同态映射的性质
同态保持元素的性质
f(e1)=e2,f(x−1)=f(x)−1,f 将生成元映到生成元 |f(a)| 整除 |a|,同构条件下|f(a)| = |a|
同态保持子代数的性质
H≤ G1 ⇒ f(H)≤ G2. H⊴G1, f 为满同态⇒ f(H)⊴G2. 同态核的性质: ker f = { x | x∈G, f(x)=e2 }, ker f ={e1} ⇔ f 为单同态. kerf ⊴ G1;∀a,b∈G1, f(a)=f(b) ⇔ akerf = bkerf . 同态基本定理
第三编 代数结构
19
例题
V=<Z6,⊕>,求V 上的同余关系 方法一:确定所有的等价关系,然后判断置换性质
方法二:先找自同态,由同态像确定同余关系
自同态为:fi:Z6→Z6, fi(x)=(ix) mod 6, i=0,1,2,3,4,5 f0 的同态像为{0}, f0 导出的同余关系为全域关系 f1 和f5 的同态像为Z6, f1 导出的同余关系为恒等关 系
第三编 代数结构
5
证明
N是G的t 阶子群,且是唯一的t 阶子群,则N是G的正规子 群.
证明 任取g∈G,则gNg-1≤G。(证明N≈gNg-1 ) 令f: N→gNg-1,f(n)=gng-1,n∈N 假若f(n1)=f(n2),则有gn1g-1=gn2g-1, 从而推出 n1=n2,即f是单射。 任取gng-1∈gNg-1,则有n∈N且f(n)=gng-1, 所以 f 是满射。从而N≈gNg-1。 由于G只有一个t 阶子群,故gNg-1=N。 <N,*>是<G,*>的正规子群。
子群与正规子群的判定及求法

子群与正规子群的判定及求法1.引言1.1 概述在数学中,群是一种代数结构,它是集合及其上的一种二元运算构成的。
群的研究在数学领域具有重要的地位,并且在许多领域中都有广泛的应用。
在群论中,子群和正规子群是两个基本的概念。
子群是指群中的一个子集,该子集在相同的二元运算下也构成一个群。
子群的判定是群论的一个重要问题,它涉及到对群的结构和性质进行分析。
如何判定一个集合是否是给定群的子群,这是我们在本文中要探讨的一个问题。
正规子群是在子群的基础上,具有一些更为特殊的性质。
具体来说,对于一个群的正规子群,它在群的乘法运算下是不变的。
这意味着正规子群对于群的乘法运算是封闭的,并且对于群的元素进行乘法运算后,结果仍然在正规子群中。
正规子群的判定和求法是群论中的一个重要主题。
本文的目的是介绍子群和正规子群的判定方法和求法。
我们将详细讨论如何判定一个集合是否是给定群的子群,并给出相应的证明方法。
同时,我们还将探讨正规子群的定义和性质,以及正规子群与子群之间的关系。
通过本文的研究,我们能够深入理解子群和正规子群的概念,并掌握判定和求法的方法。
同时,研究子群和正规子群也对于深入理解群论以及其他数学领域中的概念和应用具有重要意义。
通过对子群和正规子群的研究,我们可以进一步拓展和应用这些数学工具,促进数学领域的发展。
接下来,我们将在正文部分详细介绍子群的判定方法、正规子群的判定方法,以及子群和正规子群的求法。
最后,我们将对本文进行总结,并展望子群和正规子群研究的未来发展方向。
1.2文章结构文章结构部分的内容如下:1.2 文章结构本文共分为三个部分:引言、正文和结论。
每个部分都有其特定的目标和内容,旨在全面介绍子群和正规子群的判定与求法的相关知识。
在引言部分,首先对本文的研究主题进行概述,明确讨论的范围和问题。
随后,介绍了文章的结构,以方便读者理解文章的整体安排和内容安排。
最后,明确了本文的目标,即通过详细讨论子群和正规子群的判定和求法,深入探究其原理和应用。
03 正规子群与商群.

2019/4/21
16
2019/4/21
17
2019/4/21
18
2019/4/21
19
2019/4/21
20
例
G S3
{(1), (12), (13), (23), (123), (132)}
H {(1), (12)}
① H G
②
H 在 G 中的全部不同的左陪集有:
(1) H {(1), (12)} (12) H (13) H {(13), (123)} (123) H (23) H {(23), (132)} (132) H
2019/4/21
21
例
G S3
{(1), (12), (13), (23), (123), (132)}
1
2019/4/21
12
2019/4/21
13
2019/4/21
14
陪集例
如:3元对称群S3关于交错群A3的所有右陪集? 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 1 2 3 S3 ={ , , , , , } 1 2 3 3 1 2 2 3 1 1 3 2 2 1 3 3 2 1 ( { 1),(12),(13),(23),(123),(132) } 交错群A3 ={(1),(123),(132)}。 A( ( ( , 3 1)=A 3 =A 3 123)=A 3 132) A( 12),(13),(23)}=A( ( 3 12)={( 3 13)=A 3 23). S3的全部6个元素已经被A3分为两个等价类, S3 =A( ( 3 1) A 3 12).
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
§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|。
■这个结果用在有限群上就有:3.4.4 定理Lagrange定理G是有限群。
任给G的子群H,都有|H| | |G|。
■如果|a| = d,则|<a>| = d,所以有:3.4.5 定理G是有限群。
任给a∈G,都有|a| | |G|。
■现在考虑正规的等价关系。
群只有一个运算⋅,所以群上的正规等价关系是条件是:如果x ~ y, a ~ b,则xa ~ yb。
这个条件称为正规性条件。
3.4.6 引理~是群G上的正规等价关系。
(1) 任给a, b∈G,如果a ~ b,则a-1 ~ b-1。
(2) e是G的子群。
证(1) 显然有a-1~a-1, b-1~b-1,由正规性得a-1ab-1 ~ a-1bb-1,所以b-1 ~ a-1,由对称性得a-1 ~ b-1。
(2)2.1 e∈e。
2.2 任给a, b∈e,都有a ~ e, b ~ e,由正规性得ab ~ ee= e,所以ab∈e。
2.3 任给a∈e,都有a ~ e,由(1)得a-1 ~ e-1 = e,所以a-1∈e。
■3.4.7 定理G是群,~是G上的正规等价关系,则存在G的子群H,使得~ = ~H。
证取G的子群H =e,证明~ = ~H。
如果a ~ b,则由正规性得ab-1 ~ bb-1 = e,所以ab-1∈e= H,因此a ~H b。
23如果a ~H b ,则由~H 的定义得ab -1∈H =e ,所以ab -1~ e ,由正规性ab -1b ~ eb ,所以a ~ b 。
■定理3.4.7说明了G 上任何一个正规等价关系都是由G 的子群生成的,但并不是每个子群都能生成正规等价关系。
3.4.8 定义 正规子群 H 是G 的子群,如果~H 是正规等价关系,则称H 是G 的正规子群,记为H G 。
3.4.9 例 {e }和G 都是G 的正规子群。
如果群G 除{e }和G 外没有其它正规子群,则称G 为单群。
3.4.10 例 G 是有限群,H <G 。
如果||||H G = 2,则H G 。
特别地,因为|S ||S |n n= 2,所以A n S n 。
取a ∉H =e ,则G /~H ={e ,a },任给x ∈G ,都有x ~H e 或x ~H a ,因此⌝(x ~H e ) 当且仅当 x ~H a 。
先证明如果x ~H y ,则x -1 ~H y -1。
设x ~H y 。
如果x -1 ~H e ,则x ~H e ,所以y ~H e ,所以y -1 ~H e ,所以y -1 ~H e ,因此x -1 ~H y -1。
如果x -1 ~H a ,则⌝(x -1 ~H e ),所以⌝(x ~H e ),所以⌝(y ~H e ),所以⌝(y -1 ~H e ),所以y -1 ~H a ,因此x -1 ~H y -1。
再证~H 是正规的。
设x ~H s ,y ~H t ,则由以上所证得y -1 ~H t -1,所以x ~H y -1 当且仅当 s ~H t -1。
如果xy ~H e ,则x (y -1)-1 ~H e ,所以x ~H y -1,所以s ~H t -1,所以s (t -1)-1 ~H e ,所以st ~H e ,因此xy ~ st 。
如果xy ~H a ,则⌝(xy ~H e ),所以⌝(x (y -1)-1 ~H e ),所以⌝(x ~H y -1),所以⌝(s ~H t -1),所以⌝(s (t -1)-1 ~H e ),所以⌝(st ~H e ),所以st ~H a ,因此xy ~ st 。
3.4.11 例 G 是一个群,集合Z(G ) = {a | a ∈G 且任给x ∈G ,都有ax = xa}称为G的中心,Z(G)是G的正规子群。
先证Z(G)是G的子群。
任给a, b∈Z(G),任给x∈G,都有(ab-1)x = a(b-1x) = a(x-1b)-1 = a(bx-1)-1 = a(xb-1) = (ax)b-1= (xa)b-1 = x(ab-1),所以ab-1∈Z(G)。
再证Z(G)是G的正规子群。
如果x ~Z(G)s,y ~Z(G)t,则由~Z(G)的定义得xs-1, yt-1∈Z(G),所以xs-1yt-1∈Z(G),由yt-1∈Z(G)得s-1yt-1 = yt-1s-1,所以xy(st)-1 = xyt-1s-1 = xs-1yt-1∈Z(G),由~Z(G)的定义得xy ~Z(G)st。
■用H本身的条件来刻画更为方便。
3.4.12 定理H是G的子群。
H是G正规子群当且仅当任给a∈G,任给h∈H,都有aha-1∈H。
证设H是G正规子群。
任给a∈G,任给h∈H,都有h ~H e,由正规性得ah ~H ae = a,由~H的定义得aha-1∈H。
设任给a∈G,任给h∈H,aha-1∈H。
如果x~H s,y~H t,则由~H的定义得xs-1∈H且yt-1∈H,由xs-1∈H得s-1x= x-1(xs-1)x∈H,所以s-1xyt-1∈H,因此xy(st)-1= xyt-1s-1 = s(s-1xyt-1)s-1∈H,由~H的定义得xy~H st。
■3.4.13 例同构保持正规子群不变。
H1<G1且H2<G2,如果H1≌H2且G1≌G2,则H1 G1当且仅当H2 G2。
3.4.14 例交换群的每个子群都是正规子群,因为在交换群中有aha-1 = h。
特别地,n Z是Z的正规子群。
3.4.15 例取例3.2.5中的群R*×R,则{1}×R是它的正规子群,而R*×{0}不是它的正规子群。
任给<a, b>∈R*×R,任给<1, h>∈{1}×R,都有<a, b><1, h><a, b>-1 = <1, bh>∈{1}×R。
取<1, 1>∈R*×R,<2, 0>∈R*×{0},则4<1, 1><2, 0><1, 1>-1 = <2, -1>∉R*×{0}。
和子群不一样,正规子群没有传递性。
从H K且K G一般不能得到H G。
如虽有B A4且A4 S4,但没有B S4。
但关于子群的另一性质对于正规子群仍然成立。
3.4.16 定理如果H G,K<G且H⊆K,则H K。
■因为每个正规的等价关系都是由正规子群生成,我们用正规子群来重述群的商结构。
3.4.17 定理<G, ⋅, e>是群,H G,则<G / ~H, ⋅, >是群。
证(1)任给x,y,z∈G / ~H,(x y)z=zx=x(y z)。
(yz(=)xy)(2) 任给x∈G / ~H,e x=ex=x。
(3) 任给x∈G / ~H,取1-x∈G / ~H,则x1-x=1-xx=e。
■群<G, ⋅, e>的商结构<G / ~H, ⋅, e>称为商群,因为~H由H生成,而e= H,所以也把商群<G / ~H, ⋅, e>记为<G / H, ⋅, H>,简记为G / H。
由定理3.4.15还可知,在商群<G / ~H, ⋅, e>中,a的逆元素a-1就是1-a。
3.4.18 例n≥1,Z对于n Z的商群Z / n Z≌Z / n。
3.4.19 例由定理2.3.14可知In(G)<Aut(G),由习题3.3.8可知,任给ηa∈In(G),任给σ∈Aut(G),都有σ◦ηa◦σ-1∈In(G),所以In(G) Aut(G)。
Aut(G)对于In(G)的商群Aut(G) / In(G)称为G的外自同构群。
以下考虑群的同态,G1和G2是两个群,σ是G1到G2的映射。
σ是同态条件是:(1) σ(e1) = e2。
(2) 任给a, b∈G,都有σ(ab) = σ(a)σ(b)。
53.4.20 定理如果σ是G1到G2的同态,则任给a∈G,都有σ(a-1) = σ(a)-1。
证同定理3.2.23。
■3.4.21 例H是G的子群,取σ:H→Gσ(a) = a则σ是H到G的单同态,因为σ(e) = e, σ(ab) = ab = σ(a)σ(b)。
如果H是G的真子群,则σ不是满同态。
3.4.22 例F:S n→U2F(σ) = sgn(σ) 是S n到U2的同态,因为F(e) = 1, F(σ◦τ) = sgn(σ◦τ) = sgn(σ)sgn(τ) = F(σ)F(τ)。
显然,F 是满同态。
3.4.23 例取例3.2.5中的群R*×R,取σ:R*×R→R* σ(<a, b>) = a则σ是R*×R到R*的满同态,因为σ(<1, 0>) = 1,σ(<a1, b1><a2, b2>) = σ(<a1a2, a1b2+b1>) = a1a2=σ(<a1, b1>)σ(<a2, b2>)。