半群

喺數學入面，半群係閂咗喺可結合之下嘅集合 $S$從而構成嘅代數結構。

半羣嘅運算通常都係用個乘數符號嚟代表嘅，譬如半群運算咗(x, y) 嘅結果係用$x\cdot y$ 或者$xy$嚟代表嘅。

半群嘅正式研究係由二十世紀開始嘅。自從1950年代，有限半群嘅研究喺理論電腦科學入面就變得特別緊要，因為有限半群自然噉𪐀有限自動機褦。