半群的本质就是一个集合对上面的2元运算满足结合律(说白了就是封闭+结合)；
而群不仅有结合律,还要求含幺+每个元有逆,定义的条件要强得多了~
任何群都是半群,但任何半群都可以(同构的角度上来说是唯一的)“嵌入”到一个对应的群里面.
群的应用到处都是,代数中,几何中,拓扑中,函数论中,应用数学包括物理中,.太多了
而半群的正式研究比其他起步于十九世纪中期的代数结构如群或环要晚一些.,开始于二十世纪早期.自从1950年代,有限半群的研究在理论计算机科学中变得特别重要,因为在有限半群和有限自动机之间有自然的联系.有限半群理论比它的无限对应者要更加发达.这特别根源于语法半群概念,和继而在半群的伪品种和已经被证明在自动机理论中特别多产的所谓的形式语言品种之间的联系.
话说大四毕业论文做的是一种叫“幂群”的新生品种,据说来源为了给人工智能的某方面弄的数学理论基础；而研究幂群与序结构的联系的时候G的含幺子半群与正规子半群就起到了重要的作用...