Strongly Duo Modules and Rings

An R-module M is called strongly duo if Tr(N, M) = N for every N ≤ M _R . Several equivalent conditions to being strongly duo are given. If M _R is strongly duo and reduced, then End _R (M) is a strongly regular ring and the converse is true when R is a Dedekind domain and M _R is torsion. Over certain rings, nonsingular strongly duo modules are precisely regular duo modules. If R is a Dedekind domain, then M _R is strongly duo if and only if either M ≈ R or M _R is torsion and duo. Over a commutative ring, strongly duo modules are precisely pq-injective duo modules and every projective strongly duo module is a multiplication module. A ring R is called right strongly duo if R _R is strongly duo. Strongly regular rings are precisely reduced (right) strongly duo rings. A ring R is Noetherian and all of its factor rings are right strongly duo if and only if R is a serial Artinian right duo ring.     

Condensed Rings with Zero-Divisors #

A commutative ring R with identity is condensed (respectively strongly condensed) if for each pair of ideals I, J of R, IJ = {ij | i ∈ I, j ∈ J} (resp., IJ = iJ for some i ∈ I or IJ = Ij for some j ∈ J). In a similar fashion we can define regularly condensed and regularly strongly condensed rings by restricting I and J to be regular ideals. We show that an arbitrary product of rings is condensed if and only if each factor is so, and that R[X] is condensed if and only if R is von Neumann regular. A number of results known in the domain case are extended to the ring case. Regularly strongly condensed and one-dimensional regularly condensed Noetherian rings are characterized.     

Gorenstein Prüfer整环的一些新刻画

设R是整环.众所周知,R是Prüfer整环当且仅当每个可除模是FP-内射模当且仅当每个h-可除模是FP-内射模.本文引进了一种新的Gorenstein FP-内射模,并且证明了R是Gorenstein Prüfer整环当且仅当每个可除模是Gorenstein FP-内射模,当且仅当每个h-可除模是Gorenstein FP-内射模.     

Ideal-Symmetric and Semiprime Rings

Lambek extended the usual commutative ideal theory to ideals in noncommutative rings, calling an ideal A of a ring R symmetric if rst ∈ A implies rts ∈ A for r, s, t ∈ R. R is usually called symmetric if 0 is a symmetric ideal. This naturally gives rise to extending the study of symmetric ring property to the lattice of ideals. In the process, we introduce the concept of an ideal-symmetric ring. We first characterize the class of ideal-symmetric rings and show that this ideal-symmetric property is Morita invariant. We provide a method of constructing an ideal-symmetric ring (but not semiprime) from any given semiprime ring, noting that semiprime rings are ideal-symmetric. We investigate the structure of minimal ideal-symmetric rings completely, finding two kinds of basic forms of finite ideal-symmetric rings. It is also shown that the ideal-symmetric property can go up to right quotient rings in relation with regular elements. The polynomial ring R[x] over an ideal-symmetric ring R need not be ideal-symmetric, but it is shown that the factor ring R[x]/xⁿR[x] is ideal-symmetric over a semiprime ring R.     

On Fully Idempotent Modules

A submodule N of a module M is idempotent if N = Hom(M, N)N. The module M is fully idempotent if every submodule of M is idempotent. We prove that over a commutative ring, cyclic idempotent submodules of any module are direct summands. Counterexamples are given to show that this result is not true in general. It is shown that over commutative Noetherian rings, the fully idempotent modules are precisely the semisimple modules. We also show that the commutative rings over which every module is fully idempotent are exactly the semisimple rings. Idempotent submodules of free modules are characterized.     

On Rings Whose Reflexive Ideals are Principal

We call a prime Noetherian maximal order R a pseudo-principal ring if every reflexive ideal of R is principal. This class of rings is a broad class properly containing both prime Noetherian pri-(pli) rings and Noetherian unique factorization rings (UFRs). We show that the class of pseudo-principal rings is closed under formation of n × n full matrix rings. Moreover, we prove that if R is a pseudo-principal ring, then the polynomial ring R[x] is also a pseudo-principal ring. We provide examples to illustrate our results.     

Gorenstein flatness and injectivity over Gorenstein rings

Let R be a Gorenstein ring.We prove that if I is an ideal of R such that R/I is a semi-simple ring,then the Gorenstein flat dimension of R/I as a right R-module and the Gorenstein injective dimension of R/I as a left R-module are identical.In addition,we prove that if R→S is a homomorphism of rings and SE is an injective cogenerator for the category of left S-modules,then the Gorenstein flat dimension of S as a right R-module and the Gorenstein injective dimension of E as a left R-module are identical.We also give some applications of these results.     

Dedekind Finite Rings and a Theorem of Kaplansky

Abstract

A ring Ris Dedekind Finite(=DF) if xy = 1 implies yx = 1 for all x, yin R. Obviously any subring of a DFring Ris DF. The object of the paper is to generalize, and give a radically new proof of a theorem of Kaplansky on group algebras that are Dedekind finite. We shall prove that all right subrings of right and left self-injective (in fact, continuous) rings are DF.     

On the FIP Property for Extensions of Commutative Rings

ABSTRACT

A (unital) extension R ? T of (commutative) rings is said to have FIP (respectively be a minimal extension) if there are only finitely many (respectively no) rings S such that R ? S ? T. Transfer results for the FIP property for extensions of Nagata rings are obtained, including the following fact: if R ? T is a (module-) finite minimal ring extension, then R(X)?T(X) also is a (module-) finite minimal ring extension. The assertion obtained by replacing “is a (module-) finite minimal ring extension” with “has FIP” is valid if R is an infinite field but invalid if R is a finite field. A generalization of the Primitive Element Theorem is obtained by characterizing, for any field (more generally, any artinian reduced ring) R, the ring extensions R ? T which have FIP; and, if R is any field K, by describing all possible structures of the (necessarily minimal) ring extensions appearing in any maximal chain of intermediate rings between K and any such T. Transfer of the FIP and “minimal extension” properties is given for certain pullbacks, with applications to constructions such as CPI-extensions. Various sufficient conditions are given for a ring extension of the form R ? R[u], with u a nilpotent element, to have or not have FIP. One such result states that if R is a residually finite integral domain that is not a field and u is a nilpotent element belonging to some ring extension of R, then R ? R[u] has FIP if and only if (0 : u) ≠ 0. The rings R having only finitely many unital subrings are studied, with complete characterizations being obtained in the following cases: char(R)>0; R an integral domain of characteristic 0; and R a (module-)finite extension of ? which is not an integral domain. In particular, a ring of the last-mentioned type has only finitely many unital subrings if and only if (?:R)≠0. Some results are also given for the residually FIP property.