抽象代数复习

二元运算（S, *）：满足封闭性

原群：
只满足封闭性

半群：
满足结合律的原群

幺半群（独异点）：
有单位元的半群

群：
每个元素都有逆元的独异点