哈工大近世代数定义、定理、推论汇总

1. 半群

1.1. 若干基本概念

1.2. 半群与幺半群的概念

1. 有限半群 $(S,\circ )$ 为一个有限幺半群当且仅当 $\exists s,t\in S,sS=S,St=S$
2. 有限半群 $(S,\circ )$ 为一个有限幺半群当且仅当 $\forall s\in S,sS=S,\exists t\in S,St=S$

1.3. 子半群、子幺半群、理想

1. 显然 $S$ 的非空子集 $B$ 是子半群当且仅当 $B\circ B\subseteq B$ (即子集上的封闭性)
2. 根据集合交的性质知道由 $A$ 生成的子（幺）半群 $(A)$ 是包含 $A$ 的所有子（幺）半群中最小的，即对任意包含 $A$ 的子（幺）半群 $A_{\alpha }$ 有： $(A)\subseteq A_{\alpha }$
3. 左（右） 理想：半群的一个非空子集A为S的一个左（右）想， 若有 $SA\subseteq A(AS\subseteq A)$。若A既是S的左理想又是S的右理想， 则称A是S的理想。注： S的左（右） 理想可能不唯一， 只需满足上述条件即可。
4. 由A生成的左（右） 理想： S的所有包含A的左（右） 理想的交；由A生成的理想： S的所有包含A的理想的交；
5. 定理：
   
6. 定理
   
7. 循环半群（循环幺半群）必是可交换半群（幺半群）

1.4. 同构、同态

1. 变换半群：
   
2. Cayley定理
   
3. 定理：
   
4. 自然同态
   

2. 群

2.1. 群的定义

1. 有限群的例子
   
2. 有限群的一个判定定理
   
3. 对于阶无穷大的情况
   

2.3. 子群、生成子群

1. 任一群不能是其两个真子群的并。
2. 子群判定定理：
   
   
3. 有限子群的判定定理：
   
4. 中心元素
   
5. 换位子
   

2.4 变换群、同构

1. 对称群，n次对称群
   
2. 变换群，置换群
   
3. 群的Cayley同构定理：任何一个群同构于某个变换群，有限群同构于某个置换群

2.5 循环群

1. 循环群必为交换群（类似循环半群必为交换半群）
2. 生成元唯一性问题
   
3. 有限循环群的子群整除n

2.6. 子群的陪集

1. 拉格朗日定理
   
2. 有限群中每个元素的阶能整除该有限群的阶
3. 若有限群G的阶P为素数， 则G是个循环群。

2.7. 正规子群、商群

1. 定理
   
2. 交换群的子群必为正规子群

2.8. 同态基本定理

1. 群的同态核是正规子群