幺半群，是指在抽象代数此一数学分支中，幺半群是指一个带有可结合二元运算和单位元的代数结构。幺半群在许多的数学分支中都会出现。在几何学中，幺半群捉取了函数复合的概念。结合的酉群胚叫幺半群。例如，赋以加法(或乘法)的自然数集N是幺半群。