WBR_0-代数的Pt-模和Ps-模表示

三角模和蕴涵算子是逻辑代数中的一对相互关联的基本算子,而WBR0-代数是仅以蕴涵算子为基本算子定义于一般集合上的逻辑代数。对WBR0-代数进行了再研究。给出了WBR0-代数的Pt-模(偏序集上的t-模)的表现形式;在偏序集上通过Pt-模结合蕴涵算子给出了WBR0-代数的表示形式;证明了WBR0-代数原始定义中的二元运算⊕是WBR0-代数的Ps-模(偏序集上的s-模)。结果对进一步探讨WBR0-代数及其相关的逻辑代数有积极的参考价值。

Hurwitz幂级数环上的PS-模

设R是有单位元的结合环,M是左R-模.定义了Hurwitz幂级数环上的模(HM,τ),并证明了若τ是M上的单自同态,M是无挠的PS-模,则(HM,τ)也是PS-模.