Unique factorisation rings

On generalized Dedekind prime rings

Throughout this note, R stands for a ring with identity, and all modules are unital R-modules. In this note, we ask when the class of all finitely generated reflexive (torsionless) left modules is closed under extensions. This is not always the case, even if R is left and right noetherian (cf. Bass [2, Lemma 3.2] and [3, p. 12]). As will be shown, in case R is a commutat ive noetherian local domain of Krull dimension two, R is a CohenMacaulay ring whenever the class of the finitely generated reflexive modules is closed under extensions. Our main aim is to show that if R is a left and right noetherian ring then both the class of all finitely generated torsionless left modules and the class of all finitely generated reflexive left modules are closed under extensions if and only if for i = 1, 2 the functor Ext , 1 (Ext~ ( , R), R) vanishes on the finitely generated right modules. Note that the latter condition is satisfied if R is a commutat ive Gorenstein ring (see Bass [3]). We will show also that if R is a left and right noetherian ring with a minimal injective resolution 0 ~ RR ~ Eo ~ E1 , . . . such that weak dim E l < i + 1 for i = 0, 1 then both the class of finitely generated torsionless left modules and the class of finitely generated reflexive left modules are closed under extensions. In the proof, it will be shown that if R is a left and right noetherian ring with inj dim RR _--< 2 then the class of the finitely generated reflexive left modules is closed under extensions. On the other hand, even if R is a left and right noetherian ring with inj dim RR = inj dim R R < 2, the class of all finitely generated torsionless left modules is not necessarily closed under extensions. In what follows, we denote by ( )* both the R-dual functors, and for a given module M we denote by eu: M ~ M** the usual evaluation map and by E(M) the injective envelope of M. Recall that a module M is said to be torsionless if eu is a monomorph i sm and to be reflexive if eu is an isomorphism. Note that a module M is torsionless if and only if it is cogenerated by R. We denote by mod R (resp. mod R ~ the category of the finitely presented left (resp. right) modules. Note that if R is left noetherian then every finitely generated left module is finitely presented.

In [10], it is defined that a right (or left) ideal I of a ring R is very large if the cardinality of R/I is finite. It is also proven in [10, Theorem 3.4] that if R is a prime ring with 1 such that its characteristic is zero, then R is a right order in a simple ring with the minimum condition on one sided ideals if every large right ideal of R is very large. In the present note, we shall prove that if R is a prime ring with 1 such that its characteristic is zero and R is also a compact topological ring, then R is a right and left order in a simple ring with the minimum condition on one sided ideals, which is also a non-discrete locally compact topological ring if and only if every large right ideal of R is open. In particular, if R is an integral domain with 1 (not necessarily commutative) such that its characteristic is zero, then R is openly embeddable [13, p. 58] in a locally compact (topological) division ring if and only if every large right ideal of R is open. Following S. Warner [13], we shall say R is openly embeddable in a quotient ring Q(R) if there is a topology on Q(R) which is compatible with its structure, which induces on R its given topology and for which R is an open subset.

This note is a natural sequel to [8] and [9]. Further characteristic properties of arbitrary von Neumann regular rings and strongly regular rings are given in terms of annihilators and simple modules. A prime ring with certain annihilator conditions is shown to be primitive (this is related to the following problem ofKaplansky: Are prime regular rings primitive?). Necessary and sufficient conditions for leftq-rings to be regular are also considered: For example, a leftq-ring is regular iff every simple rightA-module is flat. A sufficient condition is given for a leftqc-ring to be a uniserial, strongly left and strongly rightqc, left and rightq-ring. One of the main results ofJain, Mohamed andSingh onq-rings [5, Theorem 2.13] is generalised. Finally, it is shown that a prime left continuous ring either has zero socle or is primitive, left self-injective regular.

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.

It is shown that if R is a maximal order in a simple Artinian ring Q, then any PBW extension 5 of R is also a maximal order in a simple Artinian ring. Furthermore, if R is Noetherian, the maximal v-ideals of S are either induced from R or cut down from QS, and a representation of 5 using localizations at these maximal v-ideals is given.

The Formanek polynomial gives an explicit expression for the calculation of central elements in a prime ring with polynomial identity, in such a form as to provide a set of linear maps of the ring into its centre. This note makes use of properties of these maps with the object of giving a direct proof of the remarkable theorem of M. Artin on the relationship between Azumaya algebras and rings with polynomial identities. We show that such a central map can be chosen to have some of the crucial properties of the reduced trace in matrices, notably that of non-degeneracy, and our proof of the theorem rests on these properties. The method can also be used for the study of prime PI rings in general; this is illustrated by giving new proofs of theorems of Formanek and Cauchon. The changes of proof essentially amount to the elimination of the need for a change of rings to obtain a split extension in simple algebras. The main theorem is the following.

Noetherian rings with many derivations

Let [Formula: see text] be a commutative Noetherian ring. For a finitely generated [Formula: see text]-module [Formula: see text], Northcott introduced the reducibility index of [Formula: see text], which is the number of submodules appearing in an irredundant irreducible decomposition of the submodule [Formula: see text] in [Formula: see text]. On the other hand, for an Artinian [Formula: see text]-module [Formula: see text], Macdonald proved that the number of sum-irreducible submodules appearing in an irredundant sum-irreducible representation of [Formula: see text] does not depend on the choice of the representation. This number is called the sum-reducibility index of [Formula: see text]. In the former part of this paper, we compute the reducibility index of [Formula: see text], where [Formula: see text] is a flat homomorphism of Noetherian rings. Especially, the localization, the polynomial extension, and the completion of [Formula: see text] are studied. For the latter part of this paper, we clarify the relation among the reducibility index of [Formula: see text], that of the completion of [Formula: see text], and the sum-reducibility index of the Matlis dual of [Formula: see text].

We study classical right quotient rings and ordinary extensions of various kinds of 2-primal rings, constructing examples for situations that raise naturally in the process. We show: (1) Let R be a right Ore ring with P(R) left T-nilpotent. Then Q is a 2-primal local ring with P(Q)=J(Q) = {ab-1 ∈ Q | a ∈ P(R), b ∈ C(0)} if and only if C(0)=C(P(R))=R∖P(R), where Q is the classical right quotient ring of R. (2) Let R be a right Ore ring. Then R[x] is a domain whose classical right quotient ring is a division ring if and only if R is a right p.p. ring with C(P(R))=R∖P(R). As a consequence, if R is a right Noetherian ring, then R[[x]] is a domain whose classical right quotient ring is a division ring if and only if R[x] is a domain whose classical right quotient ring is a division ring if and only if R is a right p.p. ring with C(P(R))=R∖P(R).

Let K be a field and K[x] the polynomial ring over K in an indeterminate x. If P is a prime ideal of K[x], then there exists an irreducible polynomial f in K[x] such that P = K[x]f. This result is quite old and basic; however no corresponding result seems to be known for a polynomial ring in n indeterminates x1, ..., xn over K. Actually, it seems to be very difficult to find some system of generators for a prime ideal of K[xl,...,Xn]. Now, K [x1, ..., xn] is a Noetherian ring and by a converse of the principal ideal theorem for every prime ideal P of K[x1, ..., xn] there exist n polynomials fi, f..n such that P is minimal over (fi, ..., fn), the ideal generated by { fl, ..., f}n ([4], Theorem 153). Also, as a consequence of ([1], Theorem 1) it follows that any prime ideal of K[xl, X.., Xn] is determined by n polynomials. However it is not clear in [1] how to find these polynomials and no converse result is proved. The purpose of this paper is to show a result which in particular implies that every prime ideal of K[xi, ..., xn] is determined by a sequence of n polynomials which is in some sense irreducible, and such that the converse is also true. In general, let R be any prime ring. If P is a nonzero prime ideal of the polynomial ring R[x] with P n R = 0 (an R-disjoint prime ideal), then P = Q[x]fo n R[x] where Q is a ring of right quotients of R and fo E C[x] is an irreducible polynomial, C being the extended centroid of R ([2], Corollary 2.7). This characterization has the problem that we have to compute Q to have a prime ideal determined. A better way (an intrinsic one) to determine an R-disjoint prime ideal has been given in [3]. We proved that every R-disjoint prime ideal P of R[x] is determined by just one polynomial in P which is in some sense irreducible ([3], Theorem 1.4).

A left module M over a ring R is cofaithful in case there is an embedding of R into a finite product of copies of M. Our main result states that a semiprime ring R is left Goldie, that is, has a semisimple Artinian left quotient ring, if and only if R satisfies (i) every faithful left ideal is cofaithful and (ii) every nonzero left ideal contains a nonzero uniform left ideal. The proof is elementary and does not make use of the Goldie and LesieurCroisot theorems. We show that (i) and (ii) are Morita invariant. Moreover, (ii) is invariant under polynomial extensions, and so is (i) for commutative rings. Absolutely torsionfree rings are studied. The ring Q is a left classical quotient ring for the ring R C Q if every regular element (nondivisor of zero) of R is invertible in Q and if every element of Q is of the form b ~ιa where a,b E R and b is regular; in this case we also say that R is a left order in Q. A ring is said to be left Goldie if it has the ascending chain condition on left annihilators and has finite uniform dimension. (A left R -module has finite uniform dimension if it has no infinite direct sum of nonzero submodules, and it is said to be uniform if it is nonzero and any two nonzero submodules have a nontrivial intersection.) A theorem of Goldie [8,9] and Lesieur and Croisot [12] states that a ring is a left order in a semisimple Artinian ring if and only if it is semiprime and left Goldie. It is known that the ascending chain condition on left annihilators is not preserved under an equivalence of categories (Morita invariant); in fact, it does not go up to matrix rings. It is unknown whether being left Goldie is Morita invariant. In section two we give a proof of the theorem stated in the abstract, and in the prime case we give a proof which shows directly that such a ring is an order in a full matrix ring over a division ring. We also weaken the hypothesis of an important theorem on semiprime PI rings. In the third section we use these techniques to study absolutely torsion-free rings. In particular, we show that an absolutely torsionfree ring is Goldie if and only if it has a uniform left ideal, and that the endomorphism ring of a finitely generated projective module over an absolutely torsion-free ring is absolutely torsion-free.

Ideal arithmetic in noetherian Pi rings

Let R be an associative unital ring, and let f ∈ R [ x ] . We say that f is a left annihilating content (AC) polynomial if f = af 1 for some a ∈ R and f 1 ∈ R [ x ] with l R [ x ] ( f 1 ) = 0 . The ring R is called a left EM-ring if each f ∈ R [ x ] is a left AC polynomial. In this paper, it is shown that R is a left EM-ring if and only if R is a left McCoy ring, and for each finitely generated right ideal I of R, there is an element a ∈ R and a finitely generated right ideal J of R with l R ( J ) = 0 and I = aJ. If R is a left duo right Bezout ring, then R is a left EM-ring and has property (A). For a unique product monoid G, we show that if R is a reversible left EM-ring, then the monoid ring R [ G ] is also a left EM-ring. Additionally, for a reversible right Noetherian ring R, we prove that R, R [ x ] , R [ x , x − 1 ] , and R [ [ x ] ] are all simultaneously left EM-rings. Finally, we give an application of left EM-rings (resp. strongly left EM-rings) in studying the graph of zero-divisors of polynomial rings (resp. power series rings).

In this paper the author constructs a chain ring (i.e. a ring in which the right and left ideals are linearly ordered by inclusion) with the following properties: 1) is a prime ring; 2) the Jacobson radical of is a simple chain ring (without identity); 3) each element of is a right and left zero divisor. This example gives an answer to one of Brung's questions. In addition, the ring is totally singular, i.e. it coincides with its right (left) singular ideal.The construction is based on a theorem that permits one to assign a chain ring to a right ordered group whose group ring can be imbedded in a division ring.Bibliography: 9 titles.