代数系统
代数运算与性质、半群与群、子群与陪集、Lagrange定理、环与域、同态与同构。
1. 代数运算与性质
1.1 代数运算
设 是非空集合。映射 称为 上的 元运算。
最常用的是二元运算 ,记作 。
1.2 运算的性质
封闭性:
交换律:
结合律:
分配律(两个运算间):(左分配)
吸收律:
幂等律:
1.3 特殊元素
单位元(幺元):()
若存在,则唯一。证明:设 都是单位元,。
零元:()
逆元:若 ,则 是 的逆元,记作 。
在有单位元且满足结合律的系统中,逆元若存在则唯一。
例: 的单位元为 , 的逆元为 ,无零元。
例: 的单位元为 ,零元为 ,只有 有逆元。
2. 半群与群
2.1 半群
半群: 满足封闭性和结合律。
独异点(含幺半群):有单位元的半群。
例:
- :半群,不是独异点(无单位元——若 含0则为独异点)
- :独异点(单位元0)
- 字符串集合在连接运算下:独异点(单位元为空串)
2.2 群
群 满足:
- 封闭性
- 结合律
- 有单位元
- 每个元素有逆元
Abel 群(交换群):满足交换律的群。
群的性质:
- 消去律:
- 方程有解: 有唯一解
例:
- :Abel 群
- :Abel 群()
- 阶可逆矩阵在乘法下:群(非 Abel)
- :Abel 群(模 加法)
2.3 群的阶
- 群的阶 :群中元素个数
- 元素的阶:使 的最小正整数 ,记作
例: 在模6加法下:
- ,,,,,
2.4 置换群
元置换: 到自身的双射。
所有 元置换在复合运算下构成对称群 ,。
轮换表示: 表示 。
对换:长度为2的轮换,如 。
定理:每个置换可分解为不相交轮换的复合,也可分解为对换的复合。
2.5 循环群
若群 中存在元素 使得 ,则 为循环群, 为生成元。
定理:
- 无限循环群同构于
- 阶循环群同构于
- 阶循环群的生成元个数为 (Euler 函数)
3. 子群与陪集
3.1 子群
设 是群,。若 也是群,则 是 的子群,记作 。
判定:
例:
- 和 是 的平凡子群
- 是 的子群
3.2 陪集
设 ,:
- 左陪集:
- 右陪集:
性质:
- 任意两个左陪集要么相等要么不相交
- (所有陪集大小相同)
3.3 Lagrange 定理
设 , 有限,则
其中 为 在 中的指数(左陪集的个数)。
推论:
- 子群的阶整除群的阶
- 元素的阶整除群的阶:
- 素数阶群必为循环群
例: 的群的子群阶只能是 1, 2, 3, 6。
4. 正规子群与商群
4.1 正规子群
若 ,则 是 的正规子群,记作 。
等价条件:
例:Abel 群的任何子群都是正规子群。
4.2 商群
设 ,商群 的元素为 的陪集,运算为:
例:
5. 环与域
5.1 环
环 满足:
- 是 Abel 群
- 是半群
- 分配律:,
交换环:乘法满足交换律的环。
含幺环:乘法有单位元的环。
例:
- :含幺交换环
- :含幺交换环
- 阶矩阵环 :含幺非交换环
5.2 整环与域
零因子: 但 。
整环:无零因子的含幺交换环。
域:每个非零元素有乘法逆元的整环。
例:
- 是整环但不是域(2无逆元)
- ,, 是域
- ( 为素数)是有限域(Galois 域 )
- 不是整环()
5.3 理想
设 是环,。若:
- 是 的子群
- : 且
则 是 的理想。
商环 类似商群。
6. 同态与同构
6.1 群同态
设 和 是群。映射 若满足
则 为群同态。
核:
像:
性质:
- 是单射
6.2 群同构
若同态 是双射,则 为同构,记作 。
Cayley 定理:任何 阶群同构于 的某个子群。
6.3 同态基本定理
例:,。
,。 。
6.4 环同态
设 和 是环。映射 若满足:
则 为环同态。
环同态基本定理:
6.5 第一同构定理
设 ,,则: