On maximal commutative subrings of non-commutative rings

We observe that every non-commutative unital ring has at least three maximal commutative subrings. In particular, non-commutative rings (resp., finite non-commutative rings) in which there are exactly three (resp., four) maximal commutative subrings are characterized. If R has acc or dcc on its commutative subrings containing the center, whose intersection with the nontrivial summands is trivial, then R is Dedekind-finite. It is observed that every Artinian commutative ring R, is a finite intersection of some Artinian commutative subrings of a non-commutative ring, in each of which, R is a maximal subring. The intersection of maximal ideals of all the maximal commutative subrings in a non-commutative local ring R, is a maximal ideal in the center of R. A ring R with no nontrivial idempotents, is either a division ring or a right ue-ring (i.e., a ring with a unique proper essential right ideal) if and only if every maximal commutative subring of R is either a field or a ue-ring whose socle is the contraction of that of R. It is proved that a maximal commutative subring of a duo ue-ring with finite uniform dimension is a finite direct product of rings, all of which are fields, except possibly one, which is a local ring whose unique maximal ideal is of square zero. Analogues of Jordan-Hölder Theorem (resp., of the existence of the Loewy chain for Artinian modules) is proved for rings with acc and dcc (resp., with dcc) on commutative subrings containing the center. A semiprime ring R has only finitely many maximal commutative subrings if and only if R has a maximal commutative subring of finite index. Infinite prime rings have infinitely many maximal commutative subrings.     

Noetherian rings with almost injective simple modules

We characterize right Noetherian rings over which all simple modules are almost injective. It is proved that R is such a ring, if and only if, the complements of semisimple submodules of every R-module M are direct summands of M, if and only if, R is a finite direct sum of right ideals I_r, where I_r is either a Noetherian V-module with zero socle, or a simple module, or an injective module of length 2. A commutative Noetherian ring for which all simple modules are almost injective is precisely a finite direct product of rings R_i, where R_i is either a field or a quasi-Frobenius ring of length 2. We show that for commutative rings whose all simple modules are almost injective, the properties of Kasch, (semi)perfect, semilocal, quasi-Frobenius, Artinian, and Noetherian coincide.     

On the Left Perpendicular Category of the Modules of Finite Projective Dimension

In this article, we characterize several properties of commutative noetherian local rings in terms of the left perpendicular category of the category of finitely generated modules of finite projective dimension. As an application, we prove that a local ring is regular if (and only if) there exists a strong test module for projectivity having finite projective dimension. We also obtain corresponding results with respect to a semidualizing module.     

与线性变换的完全环同构的环理论(Ⅱ)

<正> 为了进一步对本原环结构的研究,本文引进规范环的概念,我们说环R是规范的,若R是一个线性变换完全环并且及的基座对于任一对应基{E_i}皆有=∑RE_i=∑E_iR.容易知道,满足单侧理想极小条件的单纯环必是规范的.     

On the socle of a noncommutative Jordan algebra

In this paper we study some questions related to the socle of a nondegenerate noncommutative Jordan algebra. First we show that elements of finite rank belong to the socle, and that every element in the socle is von Neumann regular and has finite spectrum. Next we show that for Jordan Banach algebras the socle coincides with the maximal von Neumann regular ideal. For a nondegenerate noncommutative Jordan algebra, the annihilator of its socle can be regarded as a radical which is, generally, larger than Jacobson radical. Moreover, a nondegenerate noncommutative Jordan algebra whose socle has zero annihilator is isomorphic to a subdirect sum of primitive algebras having nonzero socle (which were described in [4]). Finally, these results are specialized to the particular case of an alternative algebra.The authors wish to thank the referee for his suggestions for improving the presentation of the paper.     

本原环的秩等于1的幂等元的分类及其应用

本文提出了含非零基座本原环的全体秩等于１的幂等元的两种分类，据此进一步提示了此类本原环的结构。     

Commutative rings whose proper ideals are direct sums of uniform modules

An interesting result, obtaining by some theorems of Asano, Köthe and Warfield, states that: “for a commutative ring R, every module is a direct sum of uniform modules if and only if R is an Artinian principal ideal ring.” Moreover, it is observed that: “every ideal of a commutative ring R is a direct sum of uniform modules if and only if R is a finite direct product of uniform rings.” These results raise a natural question: “What is the structure of commutative rings whose all proper ideals are direct sums of uniform modules?” The goal of this paper is to answer this question. We prove that for a commutative ring R, every proper ideal is a direct sum of uniform modules, if and only if, R is a finite direct product of uniform rings or R is a local ring with the unique maximal ideal ? of the form ? = U⊕S, where U is a uniform module and S is a semisimple module. Furthermore, we determine the structure of commutative rings R for which every proper ideal is a direct sum of cyclic uniform modules (resp., cocyclic modules). Examples which delineate the structures are provided.     

Zero-Divisor Graphs for Group Rings

Let R be a commutative ring with 1 ≠ 0, G be a nontrivial finite group, and let Z(R) be the set of zero divisors of R. The zero-divisor graph of R is defined as the graph Γ(R) whose vertex set is Z(R)* = Z(R)?{0} and two distinct vertices a and b are adjacent if and only if ab = 0. In this paper, we investigate the interplay between the ring-theoretic properties of group rings RG and the graph-theoretic properties of Γ(RG). We characterize finite commutative group rings RG for which either diam(Γ(RG)) ≤2 or gr(Γ(RG)) ≥4. Also, we investigate the isomorphism problem for zero-divisor graphs of group rings. First, we show that the rank and the cardinality of a finite abelian p-group are determined by the zero-divisor graph of its modular group ring. With the notion of zero-divisor graphs extended to noncommutative rings, it is also shown that two finite semisimple group rings are isomorphic if and only if their zero-divisor graphs are isomorphic. Finally, we show that finite noncommutative reversible group rings are determined by their zero-divisor graphs.     

Note on residually finite rings

This paper is on the subject of residually finite (= RF) modules and rings introduced by Varadarajan [93] and [98/99]. Specifically there are several theorems that simplify proofs and generalize some results of Varadarajan, namely.

Theorem 1. An RF right R-module is finitely bedded (= has finite essential socle iff M is finite.

Corollay. If T is a right RF woth just finitely many simple ringht R-modules, them R is fimite.

Theorem 2. A commutative ring R is residually finite iff every local ring R_m at a maximal ideal m is finite.     

RD-Flatness and RD-Injectivity

It is proven that every commutative ring whose RD-injective modules are Σ-RD- injective is the product of a pure semisimple ring and a finite ring. A complete characterization of commutative rings for which each Artinian (respectively simple) module is RD-injective, is given. These rescan be obtained by using the properties of RD-flat modules and RD-coflat modules which are respectively the RD-relativization of flat modules and fp-injective modules. It is also shown that a commutative ring is perfect if and only if each RD-flat module is RD-projective.     

On the Schröder–Bernstein property for modules

The well known Schröder–Bernstein Theorem states that any two sets with one to one maps into each other are isomorphic. The question of whether any two (subisomorphic or) direct summand subisomorphic algebraic structures are isomorphic, has long been of interest. Kaplansky asked whether direct summands subisomorphic abelian groups are always isomorphic? The question generated a great deal of interest. The study of this question for the general class of modules has been somewhat limited. We extend the study of this question for modules in this paper. We say that a module Msatisfies the Schröder–Bernstein property (S-B property) if any two direct summands of M which are subisomorphic to direct summands of each other, are isomorphic. We show that a large number of classes of modules satisfy the S-B property. These include the classes of quasi-continuous, directly finite, quasi-discrete and modules with ACC on direct summands. It is also shown that over a Noetherian ring R, every extending module satisfies the S-B property. Among applications, it is proved that the class of rings R for which every R-module satisfies the S-B property is precisely that of pure-semisimple rings. We show that over a commutative domain R, any two quasi-continuous subisomorphic R-modules are isomorphic if and only if R is a PID. We study other conditions related to the S-B property and obtain characterizations of certain classes of rings via those conditions. Examples which delimit and illustrate our results are provided.     

Commutative Local Rings Whose Ideals are Direct Sums of Cyclic Modules

A well-known result of Köthe and Cohen-Kaplansky states that a commutative ring R has the property that every R-module is a direct sum of cyclic modules if and only if R is an Artinian principal ideal ring. This motivated us to study commutative rings for which every ideal is a direct sum of cyclic modules. Recently, in Behboodi et al. Commutative Noetherian local rings whose ideals are direct sums of cyclic modules (J. Algebra 345:257–265, 2011) the authors considered this question in the context of finite direct products of commutative Noetherian local rings. In this paper, we continue their study by dropping the Noetherian condition.     

The existence of finitely generated modules of finite Gorenstein injective dimension

In this note, we study commutative Noetherian local rings having finitely generated modules of finite Gorenstein injective dimension. In particular, we consider whether such rings are Cohen-Macaulay.

     

On a class of non-noetherian V-ring

Right V-rings R with infinitely generated right socle SOC(R_R) such that R/SOC(R_R) is a division ring are characterized as those non-noetherian rings over which a cyclic right module is either non-singular or injective. Furthermore, it is shown that a non-noetherian, right V-ring S is Morita-equivalent to a ring of this type iff all singular simple right S-modules are isomorphic and every direct sum of uniform modules with an injective module over S is extending.     

Analogue of G. Higman's Theorem for Commutative Torsion-Free Rings

In this paper we consider finite rank torsion-free rings, which have almost regular automorphisms of prime order (a non-trivial automorphism is called almost regular if it has only trivial fixed points, i.e. zero and the elements of a ring linear dependent on its identity). The main result of this paper is the analogue of G. Higman's known Theorem [1] on almost regular automorphism for commutative finite rank torsion-free rings.     

Homomorphic images of subdirectly irreducible rings

We prove that every ring is a proper homomorphic image of some subdirectly irreducible ring. We also show that a finite ring R does not need to be isomorphic to the factor of a subdirectly irreducible ring by its monolith as well as R does not need to be a homomorphic image of a finite subdirectly irreducible ring. We provide an analogous characterization also for varieties of rings with unity, for the quasiregular rings, for the rings with involution and for their subvarieties of commutative rings.     

Commutative rings whose ideals form an MV‐algebra

In this work we introduce a class of commutative rings whose defining condition is that its lattice of ideals, augmented with the ideal product, the semi‐ring of ideals, is isomorphic to an MV‐algebra. This class of rings coincides with the class of commutative rings which are direct sums of local Artinian chain rings with unit (© 2009 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On finitely embedded rings

A result of Ginn and Moss asserts that a left and right noetherian ring with essential right socle is left and right artinian. There are examples of right finitely embedded rings with ACC on left and right annihilators which are not artinian. Motivated by this, it was shown by Faith that a commutative, finitely embedded ring with ACC on annihilators (and square-free socle) is artinian (quasi-Frobenius). A ring R is called right minsymmetric if, whenever k R is a simple right ideal of R, then R k is also simple. In this paper we show that a right noetherian right minsymmetric ring with essential right socle is right artinian. As a consequence we show that a ring is quasi-Frobenius if and only if it is a right and left mininjective, right finitely embedded ring with ACC on right annihilators. This extends the known work in the artinian case, and also extends Faith's result to the non-commutative case.