代数结构

群

群是最基本的代数结构，其来源于Galois对方程根的对称性的研究。实际上，代数一词就含有解方程的意思。

群是一个配备有二元运算$\cdot :G\times G\to G$的集合$G$，满足封闭性、结合性、含单位元以及每个元素有逆元。

1. 封闭性通常是暗含在二元运算定义中的。
2. 结合性通常是默认成立的。

阿贝尔群

若在群的基础上，二元运算还满足交换律，则称该群为交换群或阿贝尔群(abelian group)。

半群

如果将群的限制放宽一些，不要求其一定含单位元和逆，就得到半群(semi-group)。

独异点

含有单位元的半群称为幺半群或独异点(monoid)。

域

集合$F$上配备两种运算，不妨称为"加法"和"乘法"。若该集合满足以下条件：

• 对加法构成阿贝尔群
• F − { 0 } F - \{0\} F−{ 0}对乘法也构成阿贝尔群
• 乘法对加法有分配律

则称该集合连同其上配备的两种运算为域。

不难看出，域是对四则运算的一种刻画。有理数域、实数域、复数域则是域最为常见的例子。然而整数并不能构成域，究其原因，是因为整数除法存在除不尽的情况，换言之，在整数的情况下，乘法未必有逆元。

环

无乘法逆元的域称为整环(Integral Domain)。更广义地说，如果集合$F$上配备两种运算，不妨称为"加法"和"乘法"。若该集合满足以下条件：

• 对加法构成阿贝尔群
• 对乘法构成半群
• 乘法对加法有分配律

则称该集合连同其上配备的两种运算为环。
含乘法幺元的环称为幺环。
乘法可交换的环称为交换环。
满足消去律的环称为无零因子环，这等价于 F − { 0 } F - \{0\} F−{ 0}对乘法封闭，或者（进一步地）形成半群。

整环是无零因子交换幺环。
含乘法逆元的无零因子幺环（ F − { 0 } F - \{0\} <