代数结构是一个二元组非空集合和若干个运算且满足封闭性。原群也叫广群是只有一个运算的代数结构半群是有结合律的原群幺半群是有单位元的半群群是所有元素有逆元的幺半群阿贝尔群也叫交换群是满足交换律的群