IDEAL ARITHMETIC IN AFFINE PI RINGS

DOI10.1093/QMATH/43.3.297MaRDI QIDQ4025291zbMATH OpenOpenAlexFDO

Authors C. R. Hajarnavis, A. W. Chatters, T. H. Lenagan

Publication date 18 February 1993

Published in The Quarterly Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/qmath/43.3.297

zbMATH Keywords

affine PI ringcatenarityDedekind prime ringmodule finite over its centernoetherian prime PI ringprime, noetherian, hereditary ringproducts of prime ideals

Mathematics Subject Classification ID

Ideals in associative algebras (16D25) Prime and semiprime associative rings (16N60) Noetherian rings and modules (associative rings and algebras) (16P40) Chain conditions on annihilators and summands: Goldie-type conditions (16P60) Semiprime p.i. rings, rings embeddable in matrices over commutative rings (16R20) Divisibility, noncommutative UFDs (16U30)

Review text

A prime, noetherian, hereditary ring \(R\) whose nonzero ideals are invertible is called a Dedekind prime ring. It is well-known that a commutative domain is Dedekind if (and only if) its ideals are products of prime ideals. Due to \textit{A. W. Chatters} and \textit{C. R. Hajarnavis} [J. Algebra 122, 475-480 (1989; Zbl 0671.16004)], the ``if part remains true when \(R\) is a noetherian prime PI ring. Since the noetherian assumption is not needed to establish this in the commutative case, the question arose whether it is also dispensable in the PI case, at least in special circumstances. The present paper deals with this, showing that if \(R\) is a prime ring which is either module finite over its center, or an affine PI ring, and if every ideal of \(R\) is the product of prime ideals, then \(R\) is noetherian, and hence a Dedekind prime ring. The proof is an interesting mix of clever elementary ideal arithmetic and the use of some deep results from PI theory, such as, for example, the Artin-Procesi Theorem, Cauchon's theorem that a semiprime PI ring with ACC for ideals is noetherian, and Schelter's result on the catenarity of affine PI rings.

Recommendations

• Normalizing Elements in PI Rings
• Ideal arithmetic in Noetherian PI rings
• scientific article; zbMATH DE number 1796016
• Prime ideals in intermediate integral centralizing extensions of PI-rings
• Polynomials determining hereditary prime PI-rings
• Every abelian group is the class group of a simple Dedekind domain
• scientific article; zbMATH DE number 1431620
• Localization in prime Noetherian P.I. rings
• One sided invertibility and localisation II
• Prime Modules and Submodules

Cited in

(1)

• scientific article; zbMATH DE number 1382068 (Why is no real title available?)

This page was built for publication: IDEAL ARITHMETIC IN AFFINE PI RINGS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4025291)