A prime ideal principle in commutative algebra
type: Item
instance of: scholarly article
title: A prime ideal principle in commutative algebra
zbMATH Open document ID: 1168.13002
author: Manuel L. Reyes
author: T. Y. Lam
published in: Journal of Algebra
publication date: 2008-05-21T00:00:00Z
review text: Let \(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…
reviewed by: D. D. Anderson
Mathematics Subject Classification ID: 13A15
zbMATH DE Number: 5277625
zbMATH Keywords: prime ideal
MaRDI profile type: Publication
full work available at URL: j.jalgebra.2007.07.016
OpenAlex ID: W2075505203
Wikidata QID: Q56059923
cites work: A Note on Minimal Prime Ideals
cites work: Q3994498
cites work: Commutative rings with restricted minimum condition
cites work: The converse to a well known theorem on Noetherian rings
cites work: Q4317713
cites work: Q3137901
cites work: Q4104083
cites work: Q4039904
cites work: Elementary Divisors and Modules
cites work: Q5603302
cites work: Q2734153
cites work: Q4224184
cites work: Exercises in classical ring theory.
cites work: Exercises in modules and rings.
cites work: Q5324252
cites work: Q3739243
cites work: Primes and annihilators
cites work: Q5735274
cites work: A type of subrings of a noetherian ring
cites work: Sur les fonctions analytiques de plusieurs variables. VIII. Lemme fondamental
cites work: Q4049223
DOI: 10.1016/J.JALGEBRA.2007.07.016
Recommended article: On the Prime Ideals in a Commutative Ring
Recommended article: Q5859061
Recommended article: Q4958478
Recommended article: Prime ideals in incidence algebras
Recommended article: Q3216715
Recommended article: Q5435414
Recommended article: Prime ideal theory for general algebras
Recommended article: Prime ideals in ultraproducts of commutative rings
Recommended article: Commutative rings in which each prime ideal is principal
Recommended article: Q4224066
description: scientific article; zbMATH DE number 5277625