群
群是最基本的代数结构,其来源于Galois对方程根的对称性的研究。实际上,代数一词就含有解方程的意思。
群是一个配备有二元运算 ⋅ : G × G → G \cdot \colon G \times G \to G ⋅:G×G→G的集合 G G G,满足封闭性、结合性、含单位元以及每个元素有逆元。
1. 封闭性通常是暗含在二元运算定义中的。
2. 结合性通常是默认成立的。
阿贝尔群
若在群的基础上,二元运算还满足交换律,则称该群为交换群或阿贝尔群(abelian group)。
半群
如果将群的限制放宽一些,不要求其一定含单位元和逆,就得到半群(semi-group)。
独异点
含有单位元的半群称为幺半群或独异点(monoid)。
域
集合 F F F上配备两种运算,不妨称为"加法"和"乘法"。若该集合满足以下条件:
- 对加法构成阿贝尔群
- F − { 0 } F - \{0\} F−{ 0}对乘法也构成阿贝尔群
- 乘法对加法有分配律
则称该集合连同其上配备的两种运算为域。
不难看出,域是对四则运算的一种刻画。有理数域、实数域、复数域则是域最为常见的例子。然而整数并不能构成域,究其原因,是因为整数除法存在除不尽的情况,换言之,在整数的情况下,乘法未必有逆元。
环
无乘法逆元的域称为整环(Integral Domain)。更广义地说,如果集合 F F F上配备两种运算,不妨称为"加法"和"乘法"。若该集合满足以下条件:
- 对加法构成阿贝尔群
- 对乘法构成半群
- 乘法对加法有分配律
则称该集合连同其上配备的两种运算为环。
含乘法幺元的环称为幺环。
乘法可交换的环称为交换环。
满足消去律的环称为无零因子环,这等价于 F − { 0 } F - \{0\} F−{
0}对乘法封闭,或者(进一步地)形成半群。
整环是无零因子交换幺环。
含乘法逆元的无零因子幺环( F − { 0 } F - \{0\} <