主要公开日志
外观
所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名(区分大小写)或相关页面(区分大小写)筛选日志条目。
- 2023年8月27日 (日) 15:48 Gsxab 留言 贡献创建了页面子半群 (创建页面,内容为“分类:群论 {{InfoBox |name=子半群 |eng_name=subsemigroup }} '''子半群'''('''subsemigroup''')指一个半群中子集构成的半群。 对半群而言,由于运算已经满足结合性,只要运算在子集上满足封闭性就是半群了。 == 定义 == 对半群 <math>\langle S, \cdot\rangle</math> 及子集 <math>T\subseteq S</math> ,若运算 <math>\cdot</math> 在子集 <math>T</math> 上封闭,即: * <math>(\forall a,b \…”)