偏序半环的偏序扩张

首先定义了偏序半环(S, ,·,≤)上的半拟序σ及模σ半拟链.其次,通过模σ半拟链,给出了将S的偏序≤扩张为≤*,使得(S, ,·,≤*)是偏序半环的充分条件,并获得了若干理想的结果.特别地,得到了SPO(S)到PO(S)的2个半格同态定理.     

偏序半群的半拟序扩张

定义了S的半拟序σ及模σ的半拟链,其次,通过模σ的半拟链将S的半拟序σ扩张为S的另一个偏序≤*,使得(S,·,≤*)是偏序半群,并获得了若干理想的结果.特别地,得到了SPO(S)到PO(S)的半格同态定理.     

关于序半环的序思想

该文给出了一个序半环的序理想格的重要性质和一个序半环的序理想与半理想之间的关系。     

On Order Ideals of Ordered Semirings

该文给出了一个序半环的序理想格的重要性质和一个序半环的序理想与半理想之间的关系．     

Amenable格序Clifford半群

给出上半格amenable偏序Clifford半群的一些性质,证明了上半格amenable偏序Clifford半群是格序半群,并由此得到一些有趣的新结果.     

集上的偏序关系

该文主要讨论给定集Ｘ上的传递关系、拟序关系和偏序关系全体的序结构,证明了：（１）给定集Ｘ上的偏序关系全体Ｐ（Ｘ）在包含序下为原子的算术的完备交半格,其极大元素等同于全序关系,也等同于交既约元。（２）当│Ｘ│〉２时,（Ｐ（Ｘ）,∈）不满足条件分配律;（３）在公理系统“ＺＦ＋序扩张原则”中,Ｐ（Ｘ）是交既约元生成的,并对传递关系进行了类似的讨论。     

半格序完全正则周期半群

通过研究半格序完全正则周期半群,证明了半格序完全正则周期半群的乘法导出一定是正则纯正密码群。运用偏序关系,给出了半格序完全正则周期半群是半格序正则带和分配格的等价刻画。     

乘法半群为矩形群的半环的性质

研究了加法半群为半格、乘法半群为矩形群的半环。从半环的子集出发构造偏序关系,得到了半环的乘法半群上的日关系是半环同余的一个刻划。即如果半环的乘法幂等元集合是单演双半格,且加法半群土的自然偏序和所构造的乘法半群上的偏序相等,则H设半环同余,并给出了日是半环同余的等价命题。最后,证明了该半环上的Greenl-关系为其幂等元集合上的同余。     

偏序半群的半拟序、正则同余与商序同态

首先,利用偏序半群的半拟序和半拟链,给出了偏序半群的正则同余珋ρ和商半群S/珋ρ的构造方法,并通过实例进行验证.其次,利用偏序半群的半拟序和正则同余,对偏序半群的商序同态进行了刻画,得到了一些理想的结果.     

偏序集上的两类序收敛

研究了在任意偏序集中网的序收敛和滤子的序收敛的关系,证明了Birkhoff-Frink的网的序收敛和Ern-éGatzke的滤子的强序收敛相互协调,Wolk的网的序收敛和Ern-éGatzke的滤子的序收敛相互协调.如果偏序集是一个格,则这两种序收敛导出的拓扑一致.引入了序收敛格的定义,证明了序收敛格导出的序拓扑是一个Hausdorff正则空间,序收敛格的有限积是序收敛格,由全体序收敛的完备格构成的偏序集范畴的满子范畴是笛卡儿闭的.     

加法含零双半环的分配格结构

为了更好地研究半环结构,给出了加法含零双半环的分配格的定义,推广了加法含零半环的分配格性质,并给出了这种双半环在特殊条件是强分配格的结构。     

乘法带半环与分配格

研究了含有幺元素的乘法带半环;从格与分配格的代数性质出发,得到了含幺乘法带半环的若干性质;证明了若S为含幺半环,则S是乘法带半环当且仅当S是分配格,从而获得了分配格的一个表示定理。     

商半环的强分配格

给出了半环的强分配格的商半环为其相对应的半环的商半环的强分配格的充要条件.     

乘法含幺半环的拟分配格的同余格

定义了乘法含幺半环的拟分配格S=[D;Sα]的同余格的一个子格,证明了它同构于Sα(α∈D)的同余格的直积的子格,用同余对刻画了乘法含幺逆半环的拟分配格S=[D;Sα]上的同余。     

一类幂等半环与分配格

该文研究了一类幂等半环——含有幺元素的乘法带半环;从格与分配格的代数性质出发,得到了含幺乘法带半环的若干性质;证明了若S为含幺半环,则S是乘法带半环当且仅当S是分配格,从而获得了分配格的一个表示定理.     

格序模f-张量积函子的正合性与平坦格序模

本文证明了如下结果:设M是有单位元可换格序环R上的格序模和l-模同态范畴,F是R上的f-模和l-模同态范畴,M∈M,则F=M(?)()是M 到F 的共变函子,进而是右正合函子.设R 是有单位元的可换全序环,视R 为自身上的格序模,则R 是平坦的.     

关于乘法含幺半环的拟分配格上的半环同余及商半环

定义了乘法含幺半环的拟分配格上的容许同余族,给出了乘法含幺半环的拟分配格上的一个半环同余,得到了关于乘法含幺半环的拟分配格的商半环的一个结果．     

实UFD上的几类格序矩阵代数

设Z是整数环,如果(Mn(Z),+,×,≥)(n≥3)是一个格序环,则它也可以作为Z模有一个含有n2个元的vl-基B.如果B中恰有n2-n-1个幂零元时,本文确定了Mn(Z)上的格序代数的同构类型(见定理3.4),而且我们将该结果推广到实数中一般的唯一因子分解环R上(见定理3.5).另外,如果在Mn(R)上的一个格序代...     

交换半环上上三角矩阵半环的自同构

设R为任意含单位元的半环,Tn（ R）为半环R上的上三角矩阵半环。利用矩阵的一些性质,得出了半环Tn（R）上的任一半环自同构Φ的一些结论,即（1）当n=1时,Φ为半环Tn（R）的一个半环自同构。（2）当n≥2时,存在半环Tn（R）的内自同构φz,半环自同构μg 使Φ=φz μg。     

Topos中选择公理的一个等价刻画

基于Topos中的偏序对象, 以及相应的完备格对象定义, 证明了选择公理的一个新刻画: 选择公理成立当且仅当连续格对象等价于构造性连续格对象。