代数系统

00:00
12 min Advanced 2026/6/14

代数运算与性质、半群与群、子群与陪集、Lagrange定理、环与域、同态与同构。

1. 代数运算与性质

1.1 代数运算

是非空集合。映射 称为 上的 元运算

最常用的是二元运算 ,记作

1.2 运算的性质

封闭性

交换律

结合律

分配律(两个运算间):(左分配)

吸收律

幂等律

1.3 特殊元素

单位元(幺元)

若存在,则唯一。证明:设 都是单位元,

零元

逆元:若 ,则 的逆元,记作

在有单位元且满足结合律的系统中,逆元若存在则唯一。

的单位元为 的逆元为 ,无零元。

的单位元为 ,零元为 ,只有 有逆元。

2. 半群与群

2.1 半群

半群 满足封闭性和结合律。

独异点(含幺半群):有单位元的半群。

  • :半群,不是独异点(无单位元——若 含0则为独异点)
  • :独异点(单位元0)
  • 字符串集合在连接运算下:独异点(单位元为空串)

2.2 群

满足:

  1. 封闭性
  2. 结合律
  3. 有单位元
  4. 每个元素有逆元

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 环

满足:

  1. 是 Abel
  2. 分配律:

交换:乘法满足交换律的

含幺:乘法有单位元的

  • :含幺交换
  • :含幺交换
  • 阶矩阵 :含幺非交换

5.2 整环与域

因子

:无零因子的含幺交换环。

:每个非零元素有乘法逆的整

  • 是整但不是(2无逆
  • 为素数)是有限(Galois
  • 不是整

5.3 理想

。若:

理想

类似

6. 同态与同构

6.1 群同态

映射 若满足

同态

性质

6.2 群同构

若同态 是双射,则 同构,记作

Cayley 定理:任何 同构于 的某个群。

6.3 同态基本定理

6.4 环同态

映射 若满足:

同态

同态基本定理

6.5 第一同构定理

,则:

知识检测

学习进度

-- 已学文档
--% 知识覆盖率

学习推荐

专注模式