剩余幺半群的商结构

本文首先定义了交换剩余幺半群Ｍ相对于其子半群Ｐ（Ｍ）的商结构Ｍ／Ｐ（Ｍ），然后研究了它的性质并给出了一些同构定理．证明了Ｍ／Ｐ（Ｍ）仍是一个可换剩余幺半群且Ｍ／Ｐ（Ｍ）≌ＳＰ（Ｍ），其中ＳＰ（Ｍ）＝｛ｘ｜ｘ∈Ｍ，１：（１：ｘ）＝ｘ｝；特别地，当Ｍ具有条件１：（１：ｘ）＝１：ｘ时，Ｍ／Ｐ（Ｍ）≌Ａ（Ｍ），且满足Ｇ：Ｃｘ＝Ｃｘ，逆也成立。