代数系统--群到底半群和群在实际上有什么用?学了起码得知道有什么用吧