幺半群

在抽象代數中 ， 幺半群 ， 又稱爲單群 、 亞群 、 獨異點 、 具幺半群或四分之三群 （ Monoid ） 是指一個帶有可結合二元運算和單位元的代數結構 。 麼半群在許多的數學分支中都會出現 。 在幾何學中 ， 幺半群捉取了函數複合的概念 ； 更確切地 ， 此一概念是從範疇論中抽象出來的 ， 之中的幺半群是個帶有一個物件的範疇 。 幺半群也常被用來當做電腦科學的堅固代數基礎 ； 在此 ， 變換幺半群和語法幺半群被用來描述有限狀態自動機 ， 而和則是做爲進程演算和並行計算的基礎 。 幺半群的研究中一些較重要的結論有克羅恩 - 羅德斯定理和 。