么半群
維基百科,自由的 encyclopedia
在抽象代數中,么半群,又稱為單群、亞群、獨異點、具么半群或四分之三群(英語:Monoid)是指一個帶有可結合二元運算和單位元素的代數結構。
Quick Facts 群論, 基本概念 ...
群論 | ||||||||||
---|---|---|---|---|---|---|---|---|---|---|
| ||||||||||
群 | ||||||||||
| ||||||||||
Close
么半群在許多的數學分支中都會出現。在幾何學中,么半群捉取了函數複合的概念;更確切地,此一概念是從範疇論中抽象出來的,之中的么半群是個帶有一個物件的範疇。么半群也常被用來當做電腦科學的堅固代數基礎;在此,變換么半群和語法么半群被用來描述有限狀態自動機,而跡么半群(英語:Trace monoid)和歷史么半群(英語:History monoid)則是做為進程演算和並行計算的基礎。么半群的研究中一些較重要的結論有克羅恩-羅德斯定理和星高問題(英語:Star height problem)。