在抽象代数这一数学分支中，半群是一种基础且重要的数学结构。简而言之，半群是一种集合，在这个集合上定义了一个满足结合律的二元运算。具体来说，一个半群是由一个非空集合S和定义在S上的二元运算（通常记作*）组成。对于半群中的任意两个元素a和b，。

在抽象代数中，SN这一符号常常出现，它代表的是半群。半群是一种比群更为广泛的概念，属于代数学的一个重要分支。简单来说，半群是一个集合，在这个集合上定义了一个二元运算，满足结合律但不一定有单位元或逆元。详细地，半群（Semi-group）是。