群 的所有零系统构成的集合记为 ,称为 的块单群,因为它在零系统加法运算下构成一个交换单群,定义如下:
该单群的单位元是 ,即不包含任何元素的零系统。
对于 的非空子集 , 定义为 的所有零系统构成的集合,且仅包含来自 的元素。对于 的任何子集 , 是 的交换子单群。如果上下文明确,则 通常被省略,并写作 。
如果一个零系统不包含任何真零系统,则称其为极小的。集合 定义为 的所有极小零系统构成的集合。
群 的所有零系统构成的集合记为 ,称为 的块单群,因为它在零系统加法运算下构成一个交换单群,定义如下:
该单群的单位元是 ,即不包含任何元素的零系统。
对于 的非空子集 , 定义为 的所有零系统构成的集合,且仅包含来自 的元素。对于 的任何子集 , 是 的交换子单群。如果上下文明确,则 通常被省略,并写作 。
如果一个零系统不包含任何真零系统,则称其为极小的。集合 定义为 的所有极小零系统构成的集合。
此条目由 Nick Hutzler 贡献。
Hutzler, Nick. "Block Monoid." 来自 MathWorld--Wolfram Web 资源,由 Eric W. Weisstein 创建。 https://mathworld.net.cn/BlockMonoid.html