幺半群是一个集合，在该集合上定义了一个 结合 二元运算 且拥有一个 单位元 
，使得对于所有 
，
。注意，与群不同，其元素不需要有逆元。它也可以被认为是具有单位元的半群。
幺半群必须至少包含一个元素。
一个可交换的幺半群，不出所料地，被称为交换幺半群。
幺半群
参见
二元运算符, 交换幺半群, 自由幂等幺半群, 群, 半群, 子幺半群使用 Wolfram|Alpha 探索
参考文献
Lallement, G. Semigroups and Combinatorial Applications. New York: Wiley, 1979.Rosenfeld, A. An Introduction to Algebraic Structures. New York: Holden-Day, 1968.Sloane, N. J. A. Sequence A005345/M1820 in "The On-Line Encyclopedia of Integer Sequences."在 Wolfram|Alpha 上被引用
幺半群请这样引用
Weisstein, Eric W. “幺半群。” 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/Monoid.html