各种代数结构（抽象代数）总结，仿射空间和点的数学定义

整理自《离散数学》第三部分 屈婉玲

运算的封闭性是大前提：

结合律 -> 半群（Semigroup）

+ 幺元 -> 幺半群（Monoid）不是 Monad ∀a ∃e a:e=e:a=a    =>    幺元唯一

+ 逆元 ->  群(Group)  ∀a ∃b 满足 a:b=b:a=e    =>    某元素的逆元唯一

+ 交换律 -> 交换群

---

整理自《离散数学》第三部分 屈婉玲

环(ring)：集合R和定义于其上的二元运算 + 和• 构成一个环，当且仅当：