群 的所有零系統構成的集合記為
,稱為
的塊單群,因為它在零系統加法運算下構成一個交換單群,定義如下:
該單群的單位元是 ,即不包含任何元素的零系統。
對於 的非空子集
,
定義為
的所有零系統構成的集合,且僅包含來自
的元素。對於
的任何子集
,
是
的交換子單群。如果上下文明確,則
通常被省略,並寫作
。
如果一個零系統不包含任何真零系統,則稱其為極小的。集合 定義為
的所有極小零系統構成的集合。
群 的所有零系統構成的集合記為
,稱為
的塊單群,因為它在零系統加法運算下構成一個交換單群,定義如下:
該單群的單位元是 ,即不包含任何元素的零系統。
對於 的非空子集
,
定義為
的所有零系統構成的集合,且僅包含來自
的元素。對於
的任何子集
,
是
的交換子單群。如果上下文明確,則
通常被省略,並寫作
。
如果一個零系統不包含任何真零系統,則稱其為極小的。集合 定義為
的所有極小零系統構成的集合。
此條目由 Nick Hutzler 貢獻。
Hutzler, Nick. "Block Monoid." 來自 Web 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/BlockMonoid.html