乘积半群，商半群

乘积半群

定理1：如果(S,@)和（T，￥）是半群，如果&运算是可以在（s₁，t₁）&（s₂，t₂）=（s₁@s₂，t₁￥t₂），就可以说（S*T，&）是一个半群。

如果S和T都是独异点，那么其乘积半群的单位元是（e_s，e_t）；

同余关系（Congruence relation）

定义：
如果一个在半群（S,@）关系想要为同余关系，那么就要满足以下条件：

1. 是一个等价关系
2. 若a R a’ 并且b R b‘ 可以推出（a@b）R（a’@b‘）
   举例：
   在（Z，+）证明
   该关系是同余关系。
   证明过程
   首先，该关系是等价的（自反的，对称的，传递的，略）
   其次，
   
   半组 （S， *） 上的等价关系 R 决定了 S 的分区。
   S/R 表示所有等价类的集

商半群（quotient semigroup）

让 R 成为半组上的同余关系 （S， *）。

详情请看：https://www.cnblogs.com/sean10/p/4934226.html

循环群

循环群是—种很重要的群，也是目前已被完全解决了的—类群。其定义为若—个群G的每—个元都是G的某—个固定元a的乘方，则称G为循环群，记作G=(a)，a称为G的—个生成元。循环群有无阶循环群和有阶循环群两种类型。

可以看大佬的解释：https://blog.csdn.net/rsy56640/article/details/79310569