群同态基本定理证明_群论(1): 群, 同构定理, 循环群

内容提要:

1 基本概念; 2 群的同构定理; 3 循环群; 本文主要参考文献.

更多内容，请移步专栏目录:

格罗卜：格罗卜的数学乐园-目录​zhuanlan.zhihu.com

1 基本概念

我们先简要复习一下群论的基本概念.

1-1. [群I]

为集合,

上有二元运算

, 满足: 结合律, 存在单位元, 存在逆元.

1-2 [群II]

为集合,

上有二元运算

, 满足: 结合律, 存在左单位元, 存在左逆元.

• 在群II中, 左逆是右逆.

[证明]

有左逆

,

有左逆

, 那么

.

• 在群II中, 左单位元是右单位元.

[证明] 设左单位元是

, 那么

.

• 由此可见群的这两种定义是等价的.
• [阿贝尔群] 阿贝尔群是运算满足交换律的群.
• 群的单位元唯一.

[证明]

.

• 群中元素的逆元唯一.

[证明]

有逆

和

, 那么

.

• [消去律] 群中成立消去律:

;

.

1-3. [子群] 群

的子集

称为一个子群, 如果满足: 乘法封闭, 存在单位元, 存在逆元.

1-4. [正规子群]

的子群

是正规子群，如果对于

中任意元素

和

中任意元素

，都有

.

1-5. [态射] 两个群之间的映射

称为

群同态, 如果

1-6. [像] 同态

的像记作

.

1-7. [核] 同态

的核记作

• 同态的核是正规子群.
• 同态的像是子群.
• 同态