群

                        1.1 半群，幺半群和群

定义1.1 对于一个非空集合\mathbf{G} 并且在\mathbf{G} 上满足
(i)结合律:a(bc)=(ab)c (Arbitrara,b,c \in\mathbf{G} )
则\mathbf{G}是半群