Ch-17.2-3---子群与循环群.pptx

.

1

17.2子群

子群定义

子群判别定理

重要子群的实例

生成子群

中心

正规化子

共轭子群

子群的交

子群格

.

2

子群定义

定义设G为群,H是G的非空子集，若H关于G中运

算构成群，则称H为G的子群，记作H≤G.

如果子群H是G的真子集，则称为真子群，记作HG.

说明：子群H就是G的子代数.

假若H的单位元为e’,且x在H中相对e’的逆元为x’,

则 xe’=x=xe⇒e’=e

xx’=e’=e=xx−1⇒x’=x−1

.

3

子群判定定理一

定理17.9G是群，H是G的非空子集，则

H≤G⇔∀a,b∈H,ab∈H,b−1∈H

证： 只证充分性.

[子代数：运算封闭，验证0元运算e]

H非空，存在a属于H，

由条件2，a−1属于H，

由条件1，有aa−1属于H,即e属于H。

.

4

子群判定定理二和三

定理17.10G是群，H是G的非空子集，则

H≤G⇔∀a,b∈H,ab−1∈H

证充分性.[ab∈H,b−1∈H,e∈H]

H≠∅⇒∃b∈H

b∈H⇒bb−1∈H⇒e∈H

∀a,a∈H⇒ea−1