A prime ideal principle in commutative algebra.

*(English)*Zbl 1168.13002Let \(R\) be a commutative ring with identity. It is a “metatheorem” in commutative algebra that an ideal maximal with respect to some property is often prime. Of course the best known and probably most important is Krull’s result that an ideal maximal with respect to missing a multiplicatively closed set is prime. Also, an ideal maximal with respect to not being principal, invertible, or finitely generated or an ideal maximal among annihilators of nonzero elements of a module is prime. This delightful paper actually gives such a metatheorem, the Prime Ideal Principle.

Let \(\mathfrak F\) be a family of ideals of \(R\) with \(R\in\mathfrak F\). Then \(\mathfrak F\) is an Oka family (resp., Ako family) if for an ideal \(I\) of \(R\) and \(a, b\in R\), \((I, a), (I : a)\in \mathfrak F\) implies \(I\in \mathfrak F\) (resp., \((I, a), (I, b)\) implies \((I, ab)\in\mathfrak F\)). The Prime Ideal Principle states that if \(\mathfrak F\) is an Oka or Ako family, then the complement of the family \(\mathfrak F^c\subseteq\text{Spec}(R)\). Hence if \(\mathfrak F\) is an Oka or Ako family in \(R\) and every nonempty chain of ideals in \(\mathfrak F\) has an upper bound in \(\mathfrak F\) and all primes belong to \(\mathfrak F\), then all ideals of \(R\) belong to \(\mathfrak F\).

From these two results we recapture the results listed above plus many more and the well known consequences such as \(R\) is noetherian (resp. a Dedekind domain, a PIR) if every nonzero prime ideal is finitely generated (resp., invertible, principal). The paper studies Oka and Ako families and related types of families in detail.

Many more applications of the Prime Ideal Principal are given, some of them new such as the following: a ring \(R\) is Artinian if and only if for each prime ideal \(P\) of \(R\), \(P\) is finitely generated and \(R/P\) is finitely cogenerated. The work is also interpreted in terms of categories of cyclic modules.

This paper was a joy to read and should be read by all those interested in commutative algebra.

Let \(\mathfrak F\) be a family of ideals of \(R\) with \(R\in\mathfrak F\). Then \(\mathfrak F\) is an Oka family (resp., Ako family) if for an ideal \(I\) of \(R\) and \(a, b\in R\), \((I, a), (I : a)\in \mathfrak F\) implies \(I\in \mathfrak F\) (resp., \((I, a), (I, b)\) implies \((I, ab)\in\mathfrak F\)). The Prime Ideal Principle states that if \(\mathfrak F\) is an Oka or Ako family, then the complement of the family \(\mathfrak F^c\subseteq\text{Spec}(R)\). Hence if \(\mathfrak F\) is an Oka or Ako family in \(R\) and every nonempty chain of ideals in \(\mathfrak F\) has an upper bound in \(\mathfrak F\) and all primes belong to \(\mathfrak F\), then all ideals of \(R\) belong to \(\mathfrak F\).

From these two results we recapture the results listed above plus many more and the well known consequences such as \(R\) is noetherian (resp. a Dedekind domain, a PIR) if every nonzero prime ideal is finitely generated (resp., invertible, principal). The paper studies Oka and Ako families and related types of families in detail.

Many more applications of the Prime Ideal Principal are given, some of them new such as the following: a ring \(R\) is Artinian if and only if for each prime ideal \(P\) of \(R\), \(P\) is finitely generated and \(R/P\) is finitely cogenerated. The work is also interpreted in terms of categories of cyclic modules.

This paper was a joy to read and should be read by all those interested in commutative algebra.

Reviewer: Daniel D. Anderson (Iowa City)

##### MSC:

13A15 | Ideals and multiplicative ideal theory in commutative rings |

##### Keywords:

prime ideal
PDF
BibTeX
XML
Cite

\textit{T. Y. Lam} and \textit{M. L. Reyes}, J. Algebra 319, No. 7, 3006--3027 (2008; Zbl 1168.13002)

Full Text:
DOI

##### References:

[1] | Anderson, D.D., A note on minimal prime ideals, Proc. amer. math. soc., 122, 13-14, (1994) · Zbl 0841.13001 |

[2] | Balcerzyk, S.; Józefiak, T., Commutative Noetherian and Krull rings, (1989), Halsted Press/John Wiley & Sons, Polish Scientific Publishers Warsaw · Zbl 0685.13001 |

[3] | Cohen, I.S., Commutative rings with restricted chain condition, Duke math. J., 17, 27-42, (1950) · Zbl 0041.36408 |

[4] | Eakin, P., The converse to a well known theorem on Noetherian rings, Math. ann., 177, 278-282, (1968) · Zbl 0155.07903 |

[5] | Eisenbud, D., Commutative algebra with a view toward algebraic geometry, Grad. texts in math., vol. 150, (1995), Springer-Verlag Berlin · Zbl 0819.13001 |

[6] | Gilmer, R., Multiplicative ideal theory, Queen’s papers in pure and appl. math., vol. 90, (1992), Queen’s University Kingston, Ontario, Canada · Zbl 0804.13001 |

[7] | Goodearl, K., Ring theory: nonsingular rings and modules, Monographs in pure appl. math., (1976), M. Dekker, Inc. Basel · Zbl 0336.16001 |

[8] | Huckaba, J., Commutative rings with zero divisors, Monographs in pure appl. math., (1988), M. Dekker, Inc. Basel · Zbl 0637.13001 |

[9] | Kaplansky, I., Elementary divisors and modules, Trans. amer. math. soc., 66, 464-491, (1949) · Zbl 0036.01903 |

[10] | Kaplansky, I., Commutative rings, (1974), University of Chicago Press · Zbl 0203.34601 |

[11] | Krull, W., Idealtheorie in ringen ohne endlichkeitsbedingung, Math. ann., 101, 729-744, (1929) · JFM 55.0681.01 |

[12] | Lam, T.Y., A first course in noncommutative rings, Grad. texts in math., vol. 131, (2001), Springer-Verlag Berlin · Zbl 0980.16001 |

[13] | Lam, T.Y., Lectures on modules and rings, Grad. texts in math., vol. 189, (1999), Springer-Verlag Berlin · Zbl 0911.16001 |

[14] | Lam, T.Y., Exercises in classical ring theory, Problem books in math., (2001), Springer-Verlag Berlin · Zbl 1031.16001 |

[15] | Lam, T.Y., Exercises in modules and rings, Problem books in math., (2007), Springer-Verlag Berlin · Zbl 1121.16001 |

[16] | T.Y. Lam, M. Reyes, Oka and Ako ideal families in commutative rings, in press · Zbl 1182.13003 |

[17] | Matsumura, H., Commutative ring theory, (1986), Cambridge Univ. Press |

[18] | McAdam, S., Primes and annihilators, Bull. amer. math. soc., 76, 92, (1970) · Zbl 0195.32801 |

[19] | Nagata, M., Local rings, (1962), John Wiley & Sons, Inc. New York · Zbl 0123.03402 |

[20] | Nagata, M., A type of subrings of a Noetherian ring, J. math. Kyoto univ., 8, 465-467, (1968) · Zbl 0184.06701 |

[21] | Oka, K., Sur LES fonctions analytiques de plusieurs variables, VIII, J. math. soc. Japan, 3, 204-214, (1951) · Zbl 0043.30402 |

[22] | Stenström, B., Rings of quotients, Grundlehren math. wiss., vol. 217, (1975), Springer-Verlag Berlin |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.