格群的扭自由根式

格群的扭自由根式仝道荣（河海大学，南京２１００２４）我们利用［１，２］中的术语及符号。设Ｔ及Ｔ′分别为所有扭类自和所有扭自由类的集￣［３．４］．一个扭自由称作是遗传的，如果对任意的ｌ－，群Ｇ，蕴含着Ｇ／ＨＥ令Ｔ′为所有拟遗传扭自由类的集。定理１假定那...     

格序群的极小扭类,准素扭类和极扭类

本文给出了格序群的扭类是准素扭类的一个充分必要条件，证明了任一非零扭类至少包含一个极小扭类，从而将文〔１〕和〔２〕中在有限制条件情况下的有关结论推广到无任何限制条件的情形。本文还给出了一个扭类是极扭类的几个充分必要条件，并得到了格序群的极扭类、准素扭类和极小扭类之间的关系。     

自由格的若干定理

格的一个等式类Ｋ上由一个弱偏格生成的自由格的定义可以仿照Ｋ上由偏格生成的自由格的定义来给出．本文给出了Ｋ上由弱偏格生成的自由格的存在定理，并对任一非序集生成的自由分配格的结构作了两点刻画．     

格序群的l—自由积的表示

本文给出了两个非平凡可数格序群的ｌ－自由积在有理数集Ｑ上的高ｏ－可迁忠实表示。证明了格序群的ｌ－自由积的向量格复盖与格序群的向量格复盖的ｌ－自由积之间的同构关系；格序群与格序群的反向系统的ｌ－自由积的反向极限与反向极限的自由积之间的同构关系。作为应用，本文给出了两个非平凡可数格序群的ｌ－自由积的复盖在Ｑ上的高ｏ－可迁忠实表示和下有向偏序集上的非平凡可数格序群的反向系统的反向极限在Ｑ上的高ｏ－可迁忠     

自由正交模格FMOk(n)的自同构群

文章先利用自同构映射保有限并的性质研究了一般正交模格的次直积的自同构群与自同构群的次直积的关系,再用块置换的方法研究了MOk的自同构群的生成元集,由此得到自由正交模格FMOk(n)的自同构群的直积分解式,从而完全解决了FMOk(n)的自同构群的结构问题.     

模糊蕴涵格理论

模糊蕴涵代数,在文献中简称为FI代数,最初由吴望名先生于1990年提出,至今已经有许多研究成果.文中综述有关FI代数的概念,性质等主要研究工作,同时给出这类代数的一些新的性质.重点强调构成格结构的FI代数,称之为模糊蕴涵格,简称为FI格.这类代数结构与模糊逻辑中几个重要的代数系统具有紧密的联系,文中将揭示这些联系,一些重要的模糊逻辑代数系统都是FI格类的子类.另外,所有正则FI格构成代数簇,即等式代数类.这个代数簇将在模糊逻辑与近似推理中发挥重要的作用.     

有限格蕴涵代数的零化子

研究有限格蕴涵代数的零化子,找出有限格蕴涵代数所有理想的零化子,并证明对有限格蕴涵代数的理想做零化子运算(记为0*)是一个逆序对合算子,因此在由有限格蕴涵代数L的所有理想所组成的集合∑(L)上定义一个蕴涵算子,则(∑(L),O,L,0*,)构成一个格蕴涵代数。     

剩余格与正则剩余格的特征定理

本文进一步研究了具有广泛应用的一类模糊逻辑代数系统——剩余格，并引入了正则剩余格的概念，对剩余格与正则剩余格的定义进行了讨论，给出了剩余格与正则剩余格的特征定理，其中包含剩余格与正则剩余格的等式特征，从而这两个格类都构成簇．本文还讨论了剩余格与正则剩余格公理系统的独立性，以及它们与相近代数结构的关系．     

Fuzzy格的分支构造

本文的主要结论是:一切Fuzzy格皆由极小分支构成,极小分支则由素元组成。具体地说,本文以正交集为工具,引入了分支,极大、极小分支的概念。证明了极小分支的每个非零元为素元。属于同一极小分支的各素元彼此都不正交,而属于不同极小分支里的素元彼此一定正交,每个Fuzzy格必存在极小分支的完全族。Fuzzy格的每个元素都可向极小分支投影,并且等于各投影的并。即Fuzzy格的各个元可以一意地表成彼此正交的若干素元的并。特别,对于正统Fuzzy格,每个分支的最大元必为分明元,反之每个分明元的下集必是一个分支。分明元与分支一一对应。极小分明元对应于极小分支。在极小分支里,由原来的补结构,可以诱导建立极小分支里的补结构。这时的极小分支也成为一个Fuzzy格(它只有一个分支)。当且仅当这些极小分支Fuzzy格彼此同构时,原Fuzzy格才与L-Fuzzy集同构(即Fuzzy格退化为L-Fuzzy集);当且仅当每个极小分支由一个元素组成时,正统Fuzzy格退化为Boolean代数(格)。非退化的正统Fuzzy格的主要特征在于它有非分明元。正统Fuzzy格不同于L-fuzzy集主要是它的极小分支可以不同构。     

分子格范畴中的极限

本文通过对完备格上“”关系的抽象分析，引入了　完备格及　下集的概念。讨论了下集的一系列性质。证明了一个完备格中所有下集之集构成一个分子格，由此再结合范畴论知识，构造出了分子格范畴中的极限结构。解决了分子格范畴性质这一研究领域中最困难的问题之一。     

A CHARACTERIZATION OF COMPLEX LATTICE HOMOMORPHISMS ON BANACH LATTICE ALGEBRAS

Abstract

In this paper we present a characterization of complex lattice homomorphisms on Banach lattice algebras.     

Abelian groups which have trivial absolute coGalois group

In this article we characterize those abelian groups for which the coGalois group (associated to a torsion free cover) is equal to the identity.     

关于两曲面交线的不变量

本文研究了R3中相交子流形的不变量.利用活动标架法,得出了一个类似的欧拉公式. 即两曲面交线的挠率可以用两曲面的测地挠率、法曲率及两曲面的夹角表示.     

A Theorem on Discrete,Torsion Free Subgroups of Isom H <Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Let H ⁿ be the hyperbolic n-space with n⩾ 2. Suppose that Γ H ⁿ is a discrete, torsion free subgroup and a is a point in the domain of discontinuity Ω (Γ). Let p be the projection map from H ⁿ to the quotient manifold M=H ⁿ/Γ. In this paper we prove that there exists an open neighborhood U of a in H ⁿ∪ Ω (Γ) such that p is an isometry on U∩ H ⁿ.Mathematics Subject Classification (2000). primary: 51M10; secondary: 22E40, 57M50.     

一类格序半群的同余

本文讨论了一类可换格序半群的同余性质。给出了这类格序半群同余的表示和同态分解定理。这个结论一般化了［１］和［２］中的结果。     

关于格序群的极大素子群

研究了格序群的极大素子群的性质以及由素子群根系确定的几种格序群类的结构。     

Principal ideals of finitely generated commutative monoids

We study the semigroups isomorphic to principal ideals of finitely generated commutative monoids. We define the concept of finite presentation for this kind of semigroups. Furthermore, we show how to obtain information on these semigroups from their presentations.