Stone代数的理想和同余关系

分别给出了L（L是一个Stone代数）的理想I为核的最大同余关系及最小同余关系的充分必要条件,得到一个Stone代数是W－Stone代数的充分必要条件。     

双重Stone代数的素理想与同余性质

对于双重Stone代数L,以P(L)表示L的全体素理想组成的集,Con(L)表示L的同余关系格,XP(L)表示P(L)的幂集格的对偶格。本文用P(L)的子集刻划了双重Stone代数L的每一个同余关系,由此给出了双重Stone代数L关于次直不可约双重Stone代数的次直积表示和双重Stone代数的次直不可约类,并证明了Con(L)可以嵌入到XP(L)中。     

双重Stone代数的O理想

理想是刻画代数结构的工具,借助理想有助于了解代数的内部结构。在分配格代数中,将运算融入格理想,衍生出核理想。核理想是认识序代数及其同余关系的载体。O理想是一类特殊的核理想,首先在双重Stone代数的基础上,引入O理想的概念,结合双重Stone代数的运算属性,构造出一类具体的O理想;其次,利用双重Stone代数核理想和余核滤子同余关系表达式,给出了由核理想寻找余核滤子的方法,获得了双重Stone代数的核理想成为O理想的充要条件。所得结论为其他分配格代数类O理想性质的研究提供了方法,丰富了分配格理论,为进一步研究分配格类的代数结构提供理论支持。     

双重Stone代数的核理想

理想是研究Ockham代数类结构的一个重要工具,在双重Stone代数上引入核理想的概念,构造了核理想同余关系表达式,获得了双重Stone代数核理想判别定理。根据双重Stone代数的运算特征及主同余表示理论,获得了核理想同余关系的若干等价表达式并证明了双重Stone代数核理想与其同余关系是同构的。所得结论为其它Ockham代数类核理想性质的研究提供了方法,丰富了Ockham代数的发展,为进一步研究Ockham代数类的代数结构提供理论支持。     

双重Stone代数的核理想注记

在双重Stone代数上引入核理想概念,借助核理想的性质反映双重Stone代数的结构,在双重Stone代数L上构造了具有核理想I的最大同余关系表达式RI,(x,y)∈R~I (x~*∧y~(**))∨(x~(**)∧y~*)∨(x~+∧y~(++))∨(x~(++)∧y~+)∈I。根据双重Stone代数的运算特征,获得了具有核理想的最小同余关系与最大同余关系之间的等式关系。主要结果为:设(L;∨,∧,~*,~+,0,1)是一个双重Stone代数,I是L的核理想,则R~I=δ_I∨(G~*∧G~+),其中(x,y)∈δ_I ( ■i∈I)x∨i=y∨i;(x,y)∈G~* x~*=y~*,(x,y)∈G~+x~+=y~+。所得结论为其它Ockham代数类核理想性质的研究提供了方法,丰富了Ockham代数的发展,为进一步研究Ockham代数类的代数结构提供理论支持。     

PMS-代数的同余理想

给出PMS-代数L的主同余θ（0，b）及θ（a，1）的一个新的刻划，利用这个刻划，得到理想I=（d]是同余理想的充要条件，从而断定L的同余理想只能是正则理想．     

FI代数的理想

利用FI代数上的伪补运算,引入理想,给出理想的等价刻画,证明由理想可以诱导同余,分析理想与滤子的关系。     

PMS—代数中的正则理想

本文提出伪补MS-代数（简称PMS-代数）中正则理想，正则同余关系等概念．研究正则理想与核理想，0-理想之间的关系，讨论正则同余关系的性质，得到若干结果．     

SM-代数的素理想与同余关系

用SM-代数的素理想集刻划了SM-代数的每一个同余关系.在此基础上得到了次直不 可约SM-代数类的结构.     

双扭Hopf代数的分次Hopf理想

引入双扭Hopf代数的分次余理想（分次双理想、分次Hopf理想）以及分次子代数（分次子双代数、分次子Hopf代数）的概念,研究局部有限的双扭Hopf代数的分次余理想（分次双理想、分次Hopf理想）的对偶问题,得到一个局部有限的双扭Hopf代数的分次子空间是分次余理想（分次双理想、分次Hopf理想）的一个等价条件.     

Stone代数的素理想与同余关系

用Ｓｔｏｎｅ代数的素理想集刻划了Ｓｔｏｎｅ代数的每一个同余关系，并证明了Ｃｏｎ（Ｌ）可以嵌入于Ｚ（Ｐ（Ｌ））中。由此证得了Ｓｔｏｎｅ代数的同余扩张性，并给出了Ｓｔｏｎｅ代数的同余理想用素理想集刻划的表达式     

双Stone代数理想与双Stone代数的直积分解

引入双Ｓｔｏｎｅ代数理想的概念，利用这个概念得到双Ｓｔｏｎｅ代数是既约的条件，并且在完备的条件下给出了双Ｓｔｏｎｅ代数有既约分解的一个充要条件。     

Congruence permutable Kleene-Stone algebras

A Kleene-Stone algebra is a bounded distributive lattice with two unary operations that make it a Kleene and a Stone algebra. In this paper, we study the properties of the prime ideals in a Kleene-Stone algebra and characterize the class of Kleene-Stone algebras that are congruence permutable by means of the dual space of a Kleene-Stone algebra and then show that a finite Kleene-Stone algebra is congruence permutable if and only if it is isomorphic to a direct product of finitely many simple algebras.     

弱 Stone-代数的同余三元组

目的研究弱Stone-代数同余的表示。方法构造同余三元组,并分析其性质。结果与结论一个弱Stone-代数L的任一个同余φ都可用同余三元组〈θ_1,θ_2,θ_3〉来表示,其中θ_1是布尔代数同余,θ_2,θ_3是格同余,并给出L是同余可换的充分条件。     

WBR0-代数的Fuzzy蕴涵理想

通过在WBR₀-代数上引入Fuzzy蕴涵理想的概念, 讨论Fuzzy蕴涵理想的基本性质, 得到了Fuzzy蕴涵理想的几种等价刻画. 通过定义Fuzzy同余关系, 建立Fuzzy蕴涵理想和Fuzzy同余之间的关系, 并利用Fuzzy蕴涵理想诱导了商代数, 得到了WBR₀-代数的同态基本定理.     

次直不可约的双重MS-代数

用Hasse图刻划了所有次直不可约的双重MS-代数,用双重MS-代数的素理想集刻划了双重MS-代数的每一个同余关系.     

一类特殊的双重K_(1,1)代数的子代数

考虑双重K1,1代数的一个特殊子代数类,称之为K-代数.刻画了K-代数的主同余关系表达式,证明了它的所有紧致的同余关系构成一个对偶Stone格,并利用Priestley对偶理论证明了K-代数类中有且仅有26个非同构的次直不可约代数.     

整环上的上三角矩阵李代数的极大交换理想

研究了整环上的上三角矩阵构成的李代数 .用初等计算的方法确定了这类李代数的极大交换理想 .证明了整环上n阶上三角阵的李代数的极大交换理想恰有n - 1个 ,并且完全确定了这些交换理想的形状