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