可消偏序半群的可消偏序扩张与商序同态

引入偏序半群的商半拟序的概念,利用商半拟序给出了可消偏序半群上的偏序可扩张为可消偏序的充分条件.通过偏序半群的半拟序σ、模σ的闭半拟链,商半拟序和偏序扩张以及可消偏序半群的可消偏序扩张,对偏序半群的商序同态进行了刻画,得到了若干重要的结论.

偏序带的偏序扩张

给出将偏序幺半格和偏序带S·≤上的偏序≤扩张为全序幺半格和带S·≤的充要条件。作为应用,得到文献1结论:设S·是幺带,存在S上的平凡序的全序扩张≤使得S·≤是全序幺带当且仅当S的每个D类至多有两个元素。

交换偏序半群的偏序扩张

设(S,·,≤)为偏序可换半群,本文给出将S的偏序≤扩张为满足一定条件的偏序≤*的充要条件.特别地,如果(S,·,≤)为可消偏序可换幺半群,本文给出将S的偏序≤扩张为可消偏序≤*且S的每个元素在≤*下均在正锥中的充要条件.本文还给出将偏序可换幺半群S的偏序≤扩张为≤*且使得S的有限元素子集在≤*下是一条链的充要条件.