同构（映射）
同余（等价关系）
半群：满足结合律的
独异点：含有幺元的半群
群：半群，有幺元，每个元素都有逆元；但是它没有零元。（多于一个元素的集合，如果有幺元就没有零元）。
交换群：满足交换律的群。
环 <R,+,*>，二元运算；<R，+>是阿贝尔群，<R，*>是半群，*对 + 可分配
域 <F,+,*> , <F, +,*>是环，<F-{0}, * > 为交换群
