抽象代数基本概念（三）：子半群、子幺半群与理想

子半群：

           \,\,\,\,\,\,\,\,\,\, 设(S; ◦) 是一个半群，B 是S 的一个非空子集。如果对于$\forall a,b\in B$，都有a ◦ b$\in$B，则称代数系(B; ◦) 是(S; ◦) 的一个子半群。简称B 是S 的一个子半群。
           \,\,\,\,\,\,\,\,\,\, (B; ◦) 的乘法与(S; ◦) 的乘法是一样的，否则，即使B 是S 的子集，(B; ⋆)也不是(S; ◦) 的一个子半群。

子幺半群：

           \,\,\,\,\,\,\,\,\,\, 设(S; ◦; e) 是一个幺半群，P$\subseteq$S。如果e$\in$ P，并且P 是S的子群，则称P是S 的子幺半群。

理想：

           \,\,\,\,\,\,\,\,\,\, 半群(S; ◦) 的一个非空子集A 称为S 的一个左（右）理想。如果SA $\subseteq$A(AS $\subseteq$ A)。如果A 既是S 的左理想又是S 的右理想，则称A 是S 的理想。

一、由集合A生成的子半群和子幺半群：

• 定义：
             \,\,\,\,\,\,\,\,\,\, 设(S; ◦) 是半群，A 是S 的一个非空子集，则S 的一切包含A 的子半群的交集称为由A 生成的子半群，记为(A)。设(M; ◦; e) 是幺半群，A 是M的一个非空子集，则M 的一切包含A 的子幺半群的交集称为由A 生成的子幺半群，记为(A)。
• 相关定理：