幺半群
维基百科,自由的 encyclopedia
在抽象代数中,幺半群,又称为单群、亚群、独异点、具幺半群或四分之三群(英语:Monoid)是指一个带有可结合二元运算和单位元的代数结构。
Quick Facts 群论, 基本概念 ...
群论 | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
| ||||||||||
群 | ||||||||||
| ||||||||||
Close
幺半群在许多的数学分支中都会出现。在几何学中,幺半群捉取了函数复合的概念;更确切地,此一概念是从范畴论中抽象出来的,之中的幺半群是个带有一个对象的范畴。幺半群也常被用来当做计算机科学的坚固代数基础;在此,变换幺半群和语法幺半群被用来描述有限状态自动机,而迹幺半群(英语:Trace monoid)和历史幺半群(英语:History monoid)则是做为进程演算和并行计算的基础。幺半群的研究中一些较重要的结论有克罗恩-罗德斯定理和星高问题(英语:Star height problem)。