特殊值l-群的l-同态象及l-扩张性

本文研究了特殊值 l-群的一类特殊的 l-同态象及 l-扩张闭性 .在非超 Archimedean的条件下 ,证明了 l-群 G是特殊值的当且仅当对于 G的每个闭 l-理想 K,G/ K与 K均是特殊值的 .     

弱奇异l-群的结构

引入弱奇异元及弱奇异l-群的概念，通过建立弱奇异元及弱奇异l-群的刻划，研究了一般弱奇异l-群的性质及相关的结构，部分地改进了有关奇异l-群已有的结果．     

l-群的极小素子群

本文研究l-群的极小素子群,主要证明如下结果:设G是一个l-群.（1）N∈Γ_m（G）,则N=a^⊥当且仅当{P_N^C}是一个归纳集;（2）g∈G⁺,如果g是特殊的,且g的唯一值是原子,则g^⊥∈Γ_m（G）;（3）G∈B_w,Γ₁（C）是原子的当且仅当Γ_m(G）?Γ₁（G）。     

非可换的奇异l-群

通过建立奇异元以及奇异l-群的刻划，研究了一般非可换的奇异l-群的性质及相关的结构．     

有限值l-群与特殊值l-群等价的一个充要条件

G是l-群，本文主要证明：G是有限值的当且仅当G是特殊值的且C（G）＝K（G），作为应用，我们证明了G是有基的l-群，则两者之间是等价的。     

特殊值l—群的l—同态象及l—扩张性

本研究了特殊值l-群的一类特殊的l-同态象及l-扩张闭性。在非超Archimedean的条件下，证明了l-群G是特殊值的当且仅当对于G的每个闭l-理想K，G／K与K均是特殊值的。     

基于完备剩余格值逻辑的BCI-代数的三种模糊理想

通过完备剩余格值逻辑中一元模糊谓词，将经典BCI-代数中的p-理想、q-理想和a-理想进行重新刻画，引入了BCI-代数的l-值模糊p-理想、l-值模糊q-理想和l-值模糊a-理想的概念。利用完备剩余格值逻辑的语义方法，研究这三种l-值模糊理想的性质及关系，推广了经典模糊情形下相应的现有结论。     

l-群的凸l-子群格的极小条件

设G是L-群，C(G)是G的凸l-子群格．称C(G)满足极小条件，如果C(G)中每个元均包含一个原子元．本文将C(G)的链条件(见文[1])推广到极小条件，主要结果是：C(G)满足极小条件且C(G)中每个原子元均是G的基数直和项当且仅当∑rλ∈∪∈Пλ∈ARλ(其中每个Rλ≌实数加群R的某个子群)。     

群元值测度的一个定义和一些性质

文中给出了定义在第二可数完备布尔代数上,取值于半序交换群内的群元值测度的一个定义和一些性质.     

格序向量空间的同构

研究了 l-向量空间的凸同余关系、同构关系 ,将 l-群的同构定理推广到 l-向量空间 .     

Engel lattice-ordered groups

An Engel l-group generating a proper normal-valued l-variety is shown to be o-approximable. It is also established that for every proper normal-valued l-varietyF, the class (F) of Engel l-groups from F is a torsion class.Translated fromAlgebra i Logika, Vol. 34, No. 4, pp. 398–404, July-August, 1995.     

Amalgamations ofl-varieties

It is proved that only o-approximable l-varieties can share the amalgamation property. We construct a formation of rigidly ordered groups that is not amalgamated in the variety of o-approximable l-groups and, in particular, in the variety of rigid l-groups. It is shown that all the known formations of o-approximable l-groups having no amalgams in the variety of o-approximable l-groups are amalgamated in the variety of all lattice-ordered groups. Translated fromAlgebra i Logika, Vol. 35, No. 1, pp. 31–40, January–February, 1996.     

Coverings in the lattice of quasivarieties ofl-groups

We investigate the structure of the lattice of quasivarieties of lattice-ordered groups (l-groups). Series of coverings for certain particular quasivarieties of l-groups are constructed. Supported by RFFR grant No. 93-011-1524. Translated fromAlgebra i Logika, Vol. 35, No. 4, pp. 379–388, July–August, 1996.     

The structure of transitive ordered permutation groups

We give some necessary and sufficient conditions for transitive l-permutation groups to be 2-transitive. We also discuss primitive components and give necessary and sufficient conditions for transitive l-permutation groups to be normal-valued.     

Basis ranks of solvable quasivarieties of groups andl-groups

We point out quasivarieties of torsion-free solvable groups (and varieties of solvable l-groups) which are not generated by their all n-generated groups (l-groups), i.e., basis ranks for such are infinite. Supported by RFFR grant No. 99-01-00156. Translated fromAlgebra i Logika, Vol. 39, No. 5, pp. 586–594, September–October, 2000.     

关于l－群的半单结构

令Ｇ是一个ｌ－群，Ｇ的一个凸ｌ－子群Ａ叫做多余的，如果对Ｇ的任－凸ｌ－子群Ｗ，只要Ａ∨Ｗ＝Ｇ，就有Ｗ＝Ｇ．复令Ｒ（Ｇ）为Ｇ的所有多余凸ｌ－子群的集合并生成的凸ｌ－子群．我们证明了Ｒ（Ｇ）是ｌ－群Ｇ的一种报并且是在Ａｍｉｔｓｕｒ－Ｋｕｒｏｓｈ意义下的根．进一步我们得到了有限值ｌ－群的半单结构定理即Ｒ（Ｇ）＝０当且仅当Ｇｌ－同构于具有半单性的单ｌ－群的亚直积，同时我们还得到了一系列有意义的推论．     

格序群的C-根类和K-根类

本文研究了Ｃ-根类（即凸ｌ－子群格可分辨根类）和Ｋ－根类．证明了：投射ｌ－群、强投射ｌ－群、两两分裂ｌ－群、Ｆ－群等许多ｌ－群类都是ｌ－子群格可分辨的,但Ｈａｍｉｌｔｏｎｌ－群不是;Ｃ－根类格是根类格的一个有伪补的闭子格,而且是根类半群的一个子半群．每个凸Ｏ一子群都是闭的,而且给出了由一簇Ｋ一根类及一个根类所生成的Ｋ－根类的形式．     

Categories of semigroups in quantum computational structures

We investigate a categorial duality between quasi MV-algebras (a variety of algebras arising from quantum computation and tightly connected with fuzzy logic) and a reflective subcategory of l-groups with strong units.      

Value quotients and product torsion classes of lattice-ordered groups

For a set X of archimedean o-groups, the class of normal-valued ℓ-groups having the property that every value quotient is in X is a complete torsion class. A question of Conrad whether the class is a product torsion class is partially answered by investigating values and value quotients of products of normal-valued ℓ-groups. A major result is that the conjecture that all outer value quotients must be Dedekind complete is equivalent to the conjecture that measurable cardinals do not exist. Received January 20, 2007; accepted in final form February 22, 2008.     

The Greatest Proper Variety of m-Groups

It is proved that the variety of all normal-valued m-groups is the greatest proper subvariety in the lattice of all m-varieties.