Ideal arithmetic in Noetherian PI rings (Q1119715)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Ideal arithmetic in Noetherian PI rings |
scientific article |
Statements
Ideal arithmetic in Noetherian PI rings (English)
0 references
1989
0 references
If R is a commutative noetherian domain then every ideal of R is a product of prime ideals if and only if every non-zero ideal of R is invertible. In this paper, the authors study noncommutative versions of this result. A (noncommutative) ring R is a Dedekind prime ring if it is noetherian, hereditary and every non-zero ideal is invertible. The authors prove that a prime noetherian PI ring R is a Dedekind prime ring if and only if every ideal is a product of maximal ideals and that R is then a finite module over its centre which is a Dedekind domain. A key point is that a one-sided invertible ideal is both right and left localisable - this depends on a recent symmetry result of \textit{A. Braun} and \textit{R. B. Warfield} jun. [J. Algebra 118, 322-335 (1988; Zbl 0658.16008)].
0 references
product of prime ideals
0 references
Dedekind prime ring
0 references
prime noetherian PI ring
0 references
product of maximal ideals
0 references
Dedekind domain
0 references
invertible ideal
0 references