HX环的存在性

自李洪兴１９９１年提出了ＨＸ环这一问题以来,一直有这么一个问题没有解决,即是否存在非平凡的ＨＸ环的例子？但至今既没有找到非平凡的ＨＸ环,也没有证明任一环Ｒ上仅存在平凡的ＨＸ环,钟育彬１９９５年证明了一类环上仅存在平凡的ＨＸ环,那么,是否所有环仅存在平凡的ＨＸ环呢？针对这一点,本文作进上步研究,构造了一个非平凡的ＨＸ环,并建立了ＨＸ环上的同态与同构定理,为进上步研究ＨＸ环奠定了基础。     

gr－正则环和矩阵环的gr－正则性

本文主要证明了（１）当Ｇ是有限群时，Ｇ－型分次环Ｒ是ｇｒ－正则的当且仅当ＲＧ是正则的当且仅当Ｍ＿Ｇ（Ｒ）是ｇｒ－正则的当且仅当对每个和Ｇ的任意非空子集Ｈ和Ｆ，Ｍ＿（ＨＸＦ）（Ｒ）的每个矩阵都有１－逆。（２）当Ｇ是任意群，Ｇ－型分次环只是反ｇｒ－正则的当且仅当Ｆ是反正则的当且仅当对每个和Ｇ的任意作非空子集Ｈ和Ｋ，ＦＭ＿（Ｈ×Ｆ）（Ｒ）的每个矩阵有２－逆当且仅当ＦＭ＿Ｇ（Ｒ）是ｇｒ－反正则的。     

正则幂环的同态与同构

随着模糊数学的发展,各种代数结构的提升为得越来越重要,李洪兴教授在「１,２」中首次提出并研究了幂群及ＨＸ环,本文在文「３～６」的基础上深入讨论了幂环的一些性质,并在正则幂环中建立了几个同态与同构定理。     

偏序集的关联环的同构问题

设Ｘ是局部有限偏序集（或拟序集），Ｒ是含１的结合环，Ⅰ（Ｘ，Ｒ）是Ｒ上Ｘ的关联环，关联环的同构问题是指：问题１：怎样的环，能使环同构Ⅰ（Ｘ，Ｒ）Ⅰ（Ｘ，Ｒ）推出偏序集之间的同构Ｘ芒Ｘ’？问题２：怎样的环或偏序集，能使环同构Ⅰ（Ｘ，Ｒ）Ⅰ（Ｘ，Ｓ）推出Ｒ　Ｓ？本文证明了对唯一幂等元环（非交换），问题１有正面回答；对问题２，我们证明了对交换不可分解环Ｒ、Ｓ，由环同构Ⅰ（Ｘ，Ｒ）Ⅰ（Ｘ，Ｒ）可得到Ｒ＝Ｓ，Ｘ＝Ｘ’。     

Fuzzy HX环的推广

为改进Fuzzy HX环的结果,使之包含Fuzzy商环,提出了弱Fuzzy HX环的概念,研究了它的性质与结构,并重新讨论了拟Fuzzy商环,证明了在正则条件下拟Fuzzy商环与弱Fuzzy HX环的统一性：同时也得到了一致弱Fuzzy HX环与普通Fuzzy商环的关系。     

HX环的推广

在文[1,2]的基础上推广了HX环,提出了弱HX环的概念,并重新讨论了拟商环。证明了在正则条件下拟商环与弱HX环的统一性;同时也得到了一致弱HX环与普通商环的关系。     

某些环的变换性条件

设Ｚ（Ｒ）是环Ｒ的中心，本文证明了下列的结果：（１）若Ｒ是一个Ｋｏｔｈｅ半单纯环，且对任意ａ，ｂ属于Ｒ，都存在一自然数Ｋ＝Ｋ（ａ，ｂ），一含有Ｘ＾２ｔ ｎ＝ｎ（ａ，ｂ）个Ｙ的字ｆＸ（Ｘ，Ｙ）及一整系数多项多式ψＸ（ｘ，ｙ）使得ａｂ＾ｋ－ｆＸ（ａ，ｂ）．ψＸ＇（ａ，ｂ）属于Ｚ（Ｒ）则Ｒ是交换环；（２）若Ｒ是一个Ｂａｅｒ半单纯环，对任意的ａ，ｂ属于Ｒ，都存在一自然Ｋ＝Ｋ（ａ，ｂ）≤１，一含有Ｘ＾２和ｎ     

gr—正则环和矩阵环的gr—正则性

本文主要证明了（１）当Ｇ是有限群时，Ｇ－型分次环Ｒ是ｇｒ－正则的当且仅当Ｒ＃Ｇ是正则的当且仅当ＭＧ（Ｒ）是ｇｒ－正则的当且仅当对每个λ∈Ｇ和Ｇ的任意非空子集Ｈ和Ｆ，ＭＨ×Ｆ（Ｒ）的每个矩阵都有１－逆。（２）当Ｇ是任意群，Ｇ－型分次环Ｒ是反ｇｒ－正则的当且仅当Ｆ（Ｒ＃Ｇ）是反正则的当且仅当对每个λ∈Ｇ和Ｇ的任意非空子集Ｈ和Ｋ，ＦＭＨ×Ｆ（Ｒ）的每个矩阵有２－逆当且仅当ＦＭＧ（Ｒ）是ｇｒ－反正则的。     

HX环的同态

文[1]首先建立了HX环的概念，将环上的代数结构自然地引导出它的幂集上的某种代数结构。类似的问题是：环的同态能否诱导出它们的HX环之间的同态?本文较详细地讨论HX环的同态。     

Fuzzy HX环

引入Fuzzy HX环、正则Fuzzy HX环和一致Fuzzy HX环概念，讨论了它们结构和性质及其有关同态与同构关系。     

HX环与底层环的关系

在HX环的基础上,研究底层环与HX环的关系问题,给出底层环与相应的HX环的一系列联系,并进一步研究底层子环、理想与各自对应HX环的关系,为研究HX环转化为底层环提供一定的依据.     

Trivial Ring Extensions Defined by Arithmetical-Like Properties

In this article we investigate the transfer of the notions of elementary divisor ring, Hermite ring, Bezout ring, and arithmetical ring to trivial ring extensions of commutative rings by modules. Namely, we prove that the trivial ring extension R: = A ? B defined by extension of integral domains is an elementary divisor ring if and only if A is an elementary divisor ring and B = qf(A); and R is an Hermite ring if and only if R is a Bezout ring if and only if A is a Bezout domain and qf(A) = B. We provide necessary and sufficient conditions for R = A ? E to be an arithmetical ring when E is a nontorsion or a finitely generated A ? module. As an immediate consequences, we show that A ? A is an arithmetical ring if and only if A is a von Neumann regular ring, and A ? Q(A) is an arithmetical ring if and only if A is a semihereditary ring.     

幂环

提出幂环概念,使环的提升更趋合理,建立了幂环的结构定理,并得到了某种条件下幂环同商环的关系。     

Gaussian Trivial Ring Extensions and FQP-rings

Let A be a commutative ring and E a nonzero A-module. Necessary and sufficient conditions are given for the trivial ring extension R of A by E to be either arithmetical or Gaussian. The possibility for R to be Bézout is also studied, but a response is only given in the case where pSpec(A) (a quotient space of Spec(A)) is totally disconnected. Trivial ring extensions which are fqp-rings are characterized only in the local case. To get a general result we intoduce the class of fqf-rings satisfying a weaker property than fqp-ring. Moreover, it is proven that the finitistic weak dimension of a fqf-ring is 0, 1 or 2 and its global weak dimension is 0, 1, or ∞.     

关于剩余类环的扩展的研究

作者对非结合环给出扩展的概念,即给定2个非结合环A和B,对任一非结合环R,称R是A被B的扩展,当且仅当A是R的理想且R/A≌B.对非结合环的扩展,文中证明了一个类似于Schreier群扩张定理的结果.作为应用,对给定的自然数m≥2,n≥2,文章刻画了模n的剩余类环Z_n被模m的剩余类环Z_m扩展所得到的有限环R的构造,证明了R可以用满足一定条件的自然数对(u,r)来描述,同时写出了R的理想和单侧理想的具体形状.作者还进一步证明,R是结合的当且仅当R=Z_nZ_m,且当R=Z_nZ_m时,R的每个理想都是Z_n的一个理想与Z_m的一个理想的直和,即此时R的理想是相对平凡的.     

Strongly rigid and I-rigid rings

In this paper we consider questions connected with the problem of rigidity of rings for the class of finite-rank torsion-free rings (A ring is called rigid, if it has only trivial endomorphisms). We study strongly rigid and I-rigid rings [3] (A ring R is called strongly rigid, if any ring quasi-isomorphic to R is rigid). The main results of this paper are the characterization of strongly rigid rings and the establishment of relations between strongly rigid and I-rigid rings. It is shown that the verification of strong rigidity of the ring reduces to testing the rigidity of some field of algebraic numbers over its subfield. This gives rise to examples of non-trivial strongly rigid rings.     

模糊幂环

文《HX环》提出了幂环的概念。模糊数学的发展要求各种数学结构不但要由论域向其幂集上提升，而且还要求向模糊幂集上提升。本文提出Fuzzy幂环的概念，讨论Fuzzy幂环的性质与结构。