摘要：
子群 设$(G,\cdot)$是群,$A\subset G$是$G$的子集,如果$(A,\cdot)$也构成群,那么称$A$是$G$的子群,记作$A\leq G$,且若$A\neq G$,则称$A$为$G$的真子群,记作$A<G$. 对了验证群$G$的子集$A$是否是$G$的子群,仅需验证$A$对$ 阅读全文
摘要：
半群 称集合$S$和$S$上的一个满足结合律的二元运算构成代数系统是一个半群. 设$S$是半群,元素$1\in S$称为$S$的幺元，如果$1x=x1=x,\forall x\in S$.不难证明如果$S$存在幺元，那么幺元是唯一的.特别的把含有幺元的半群叫做幺半群。 设$S$是幺半群,元素$y\i 阅读全文