Jacobson rings and rings strongly graded by an abelian group

LetR be ring strongly graded by an abelian groupG of finite torsion-free rank. Lete be the identity ofG, andR _e the component of degreee ofR. AssumeR _e is a Jacobson ring. We prove that graded subrings ofR are again Jacobson rings if eitherR _e is a left Noetherian ring orR is a group ring. In particular we generalise Goldie and Michlers’s result on Jacobson polycyclic group rings, and Gilmer’s result on Jacobson commutative semigroup rings of finite torsion-free rank.     

Conjugacy Classes and Invariant Subrings of R-Automorphisms of R[x]

We consider the group G of R-automorphisms of the polynomial ring R[x] in the case where the ring R has nonzero nilpotent elements. Little is known about G in this case, and because of the importance of G in understanding questions involving the polynomial ring R[x], we initiate here several lines of investigation. We do this by examining in detail examples involving the ring of integers modulo n. If R is a local ring with maximal ideal m such that R/m = ?₂ and m ² = (0), we describe more explicitly the structure of G and determine all rings of invariants of R[x] with respect to subgroups of G.     

Commutative Non-Noetherian Rings with the Diamond Property

A ring R is said to have property (◇) if the injective hull of every simple R-module is locally Artinian. By landmark results of Matlis and Vamos, every commutative Noetherian ring has (◇). We give a systematic study of commutative rings with (◇), We give several general characterizations in terms of co-finite topologies on R and completions of R. We show that they have many properties of Noetherian rings, such as Krull intersection property, and recover several classical results of commutative Noetherian algebra, including some of Matlis and Vamos. Moreover, we show that a complete rings has (◇) if and only if it is Noetherian. We also give a few results relating the (◇) property of a local ring with that of its associated graded rings, and construct a series of examples.

     

ARMENDARIZ RINGS RELATIVE TO A MONOID

ABSTRACT

For a monoid M, we introduce M-Armendariz rings, which are generalizations of Armendariz rings; and we investigate their properties. Every reduced ring is M-Armendariz for any unique product monoid M. We show that if R is a reduced and M-Armendariz ring, then R is M × N-Armendariz, where N is a unique product monoid. It is also shown that a finitely generated Abelian group G is torsion free if and only if there exists a ring R such that R is G-Armendariz. Moreover, we study the relationship between the Baerness and the PP-property of a ring R and those of the monoid ring R[M] in case R is M-Armendariz.     

NOETHERIAN UNIQUE FACTORIZATION SEMIGROUP ALGEBRAS

We investigate when semigroup algebras K[S] of submonoids S of torsion free polycyclic-by-finite groups G are Noetherian unique factorization rings in the sense of Chatters and Jordan, that is, every prime ideal contains a principal height one prime ideal. For the group algebra K[G] this problem was solved by Brown.     

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.     

Uniserial Noetherian centrally essential rings

Abstract

It is proved that a ring R is a right uniserial, right Noetherian centrally essential ring if and only if R is a commutative discrete valuation domain or a left and right Artinian, left and right uniserial ring. It is also proved that there exist non-commutative uniserial Artinian centrally essential rings.     

Submonoids of Polycyclic-by-Finite Groups and their Algebras

We describe Noetherian semigroup algebras K[S] of submonoids S of polycyclic-by-finite groups over a field K. As an application, we show that these algebras are finitely presented and also that they are Jacobson rings. Next we show that every prime ideal P of K[S] is strongly related to a prime ideal of the group algebra of a subgroup of the quotient group of S via a generalised matrix ring structure on K[S]/P. Applications to the classical Krull dimension, prime spectrum, and irreducible K[S]-modules are given.     

Radically perfect prime ideals in polynomial rings

We call an ideal I of a commutative ring R radically perfect if among the ideals of R whose radical is equal to the radical of I the one with the least number of generators has this number of generators equal to the height of I. Let R be a Noetherian integral domain of Krull dimension one containing a field of characteristic zero. Then each prime ideal of the polynomial ring R[X] is radically perfect if and only if R is a Dedekind domain with torsion ideal class group. We also show that over a finite dimensional Bézout domain R, the polynomial ring R[X] has the property that each prime ideal of it is radically perfect if and only if R is of dimension one and each prime ideal of R is the radical of a principal ideal.     

Pullbacks of Arithmetical Rings

We give necessary and sufficient conditions that the pullback of a conductor square be a chain ring (i.e., a ring whose ideals are totally ordered by inclusion). We also give necessary and sufficient conditions that the pullback of a conductor square be an arithmetical ring (i.e., a ring which is locally a chain ring at every maximal ideal). For any integral domain D with field of fractions K, we characterize all Prüfer domains R between D[X] and K[X] such that the conductor C of K[X] into R is nonzero. As an application, we show that for n ≥ 2, such a ring R has the n-generator property (every finitely generated ideal can be generated by n elements) if and only if R/C has the same property.     

On the hopficity of the polynomial rings

In this paper we prove that if a ringR satisfies the condition that for some integern > 1,a ⁿ =a for everya inR, thenR a hopfian ring implies that the ringR [T] of polynomials is also hopfian. This generalizes a recent result of Varadarajan which states that ifR is a Boolean hopfian ring then the ringR[T] is also hopfian. We show furthermore that there are numerous ringsR satisfying the hypothesis of our theorem which are neither Boolean nor Noetherian.     

On one class of modules that are close to Noetherian

We consider an R G-module A over a commutative Noetherian ring R. Let G be a group having infinite section p-rank (or infinite 0-rank) such that C _G (A) = 1, A/C _A (G) is not a Noetherian R-module, but the quotient A/C _A (H) is a Noetherian R-module for every proper subgroup H of infinite section p-rank (or infinite 0-rank, respectively). In this paper, it is proved that if G is a locally soluble group, then G is soluble. Some properties of soluble groups of this type are also obtained.     

C-Pure Projective Modules

This paper investigates the structure of cyclically pure (or C-pure) projective modules. In particular, it is shown that a ring R is left Noetherian if and only if every C-pure projective left R-module is pure projective. Also, over a left hereditary Noetherian ring R, a left R-module M is C-pure projective if and only if M = N ⊕ P, where N is a direct sum of cyclic modules and P is a projective left R-module. The relationship C-purity with purity and RD-purity are also studied. It is shown that if R is a local duo-ring, then the C-pure projective left R-modules and the pure projective left R-modules coincide if and only if R is a principal ideal ring. If R is a left perfect duo-ring, then the C-pure projective left R-modules and the pure projective left R-modules coincide if and only if R is left Köthe (i.e., every left R-module is a direct sum of cyclic modules). Also, it is shown that for a ring R, if every C-pure projective left R-module is RD-projective, then R is left Noetherian, every p-injective left R-module is injective and every p-flat right R-module is flat. Finally, it is shown that if R is a left p.p-ring and every C-pure projective left R-module is RD-projective, then R is left Noetherian hereditary. The converse is also true when R is commutative, but it does not hold in the noncommutative case.     

On S-duo rings

A unital left R-module R M is said to have property (S) if every surjective endomorphism of R M is an automorphism, the ring R is called left (right) S-ring if every left (right) R-module with property (S) is Noetherian, R is called S-ring if it is both a left and a right S-ring. In this note we show that a duo ring is a left S-ring if and only if it is left Artinian left principal ideal ring. To do this we shall construct on every non distributive Artinian local ring with radical square zero a non-finitely generated module with property (S). And we give an example of left duo left Artinian left principal ideal ring which is not a left S-ring, showing the necessity of the ring to be duo in the above result.     

Semiprime ideals in rings with finite group actions

LetR be a ring, G a finite group of automorphisms acting on R, and R^G the-fixed subring of R. We prove that if R is semiprime with no additive ¦ G¦-torsion, then R is left Goldie if and only if R^G is left Goldie. By coupling this with an examination of the prime ideal structures of R^G and R, we are able to prove that if ¦G ¦ is invertible in R and R^G is left Noetherian, then R satisfies the-ascending chain condition on semiprime ideals, every semiprime factor ring of R is left Goldie, and nil subrings of R are nilpotent. For the pair R^G and R, we also consider various other properties of prime and maximal ideals such as lying over, going up, going down, and incomparability.     

Unitary units in group algebras

LetK[G] denote the group algebra of the finite groupG over the non-absolute fieldK of characteristic ≠ 2, and let *:K[G] →K[G] be theK-involution determined byg*=g ⁻¹ for allg ∈G. In this paper, we study the group A = A(K[G]) of unitary units ofK[G] and we classify those groupsG for which A contains no nonabelian free group. IfK is algebraically closed, then this problem can be effectively studied via the representation theory ofK[G]. However, for general fields, it is preferable to take an approach which avoids having to consider the division rings involved. Thus, we use a result of Tits to construct fairly concrete free generators in numerous crucial special cases. The first author’s research was supported in part by Capes and Fapesp - Brazil. The second author’s research was supported in part by NSF Grant DMS-9224662.     

Rings with Zassenhaus Families of Ideals

Let R be a ring with identity. We call a family ? of left ideals of R a Zassenhaus family if the only additive endomorphisms of R that leave all members of ? invariant are the left multiplications by elements of R. Moreover, if R is torsion-free and there is some left R-module M such that R ? M ? R?_?? and End _?(M) = R we call R a “Zassenhaus ring”. It is well known that all Zassenhaus rings have Zassenhaus families. We will give examples to show that the converse does not hold even for torsion-free rings of finite rank.     

On Radicals with Amitsur Property

Abstract

A radical γ has the Amitsur property, if γ(A[x]) = (γ(A[x]) ∩ A)[x] for every ring A. To any radical γ with Amitsur property we construct the smallest radical γ ^x which coincides with γ on polynomial rings. Distinct special radicals with Amitsur property are given which coincide on simple rings and on polynomial rings, answering thus a stronger version of M. Ferrero's problem. Radicals γ with Amitsur property are characterized which satisfy A[x, y] ∈ γ whenever A[x] ∈ γ.     

Weakly left localizable rings

A new class of rings, the class of weakly left localizable rings, is introduced. A ring R is called weakly left localizable if each non-nilpotent element of R is invertible in some left localization S^?1R of the ring R. Explicit criteria are given for a ring to be a weakly left localizable ring provided the ring has only finitely many maximal left denominator sets (eg, this is the case for all left Noetherian rings). It is proved that a ring with finitely many maximal left denominator sets that satisfies some natural conditions is a weakly left localizable ring iff its left quotient ring is a direct product of finitely many local rings such that their radicals are nil ideals.     

Computing invariants of algebraic groups in arbitrary characteristic

Let G be an affine algebraic group acting on an affine variety X. We present an algorithm for computing generators of the invariant ring KG[X] in the case where G is reductive. Furthermore, we address the case where G is connected and unipotent, so the invariant ring need not be finitely generated. For this case, we develop an algorithm which computes KG[X] in terms of a so-called colon-operation. From this, generators of KG[X] can be obtained in finite time if it is finitely generated. Under the additional hypothesis that K[X] is factorial, we present an algorithm that finds a quasi-affine variety whose coordinate ring is KG[X]. Along the way, we develop some techniques for dealing with nonfinitely generated algebras. In particular, we introduce the finite generation ideal.