可换偏序半群的有限全序扩张

设(S,·,≤)是偏序半群,首先定义了S的半拟序σ及模σ的半拟链,其次,通过模σ的半拟链,将S的偏序≤扩张为≤*,并讨论了(S,·,≤*)是偏序半群的充分条件。最后,还给出了S的满足一定条件的有限子集在≤*下成链的充要条件。

偏序半群的偏序扩张

引入了偏序半群(S,·,≤)上的半拟序σ及模σ半拟链的概念.通过模σ半拟链,将S的偏序≤扩张为≤*,讨论了(S,·,≤*)是偏序半群的充分条件,并获得了若干理想的结果.特别地,得到了SPO(S)到PO(S)的两个半格同态定理.最后,还给出了S的满足某些给定条件的有限子集在≤*下成链的充要条件.