代数系统那点事

一些递归式复习。

不如看点概念

代数系统：非空集合A和A上k个一元或二元运算f1，f2，…，fk组成的系统称为一个代数系统，简称代数，记作(A，f1，f2，…，fk)。由定义可知，一个代数系统需要满足下面3个条件：(1)有一个非空集合A；(2)有一些建立在集合A上的运算；(3)这些运算在集合A上是封闭的。

注意代数系统的封闭性，有些给的集合都不一定会构成代数系统，我们判断一个集合是否构成半群、环什么的，也得注意先决条件，首先得满足封闭性。

半群：满足结合律。
独异点：满足结合律且有单位元。
群：满足结合律且有单位元且有逆元。
Abel群：满足交换律的群。

独异点=半群+单位元
群=独异点+逆元=半群+单位元+逆元

环：有+，·两个二元运算。对+满足Abel群，对·满足半群，·对+有分配律。（注意这个分配律左右都要满足）
整环：交换的、含单位元的、无零因子环。（以上三个条件全部针对·运算）
除环：把零元素去掉之后，剩下的集合对·构成群。
域：可交换的除环。