<离散数学>代数系统——群，半群