\(pm\)-rings and the prime ideal theorem
type: Item
instance of: scholarly article
title: \(pm\)-rings and the prime ideal theorem
zbMATH Open document ID: 1231.13022
published in: Topology and its Applications
publication date: 2011-11-08T00:00:00Z
review text: A commutative ring \(A\) with unit is a \textit{\(pm\)-ring} if every prime ideal of \(A\) is contained in a unique maximal ideal. These rings, originally introduced by \textit{G. De Marco} and \textit{A. Orsatti} [Proc. Am. Math. Soc. 30, 459--466 (1971; Zbl 0207.05001)], constitute a natural class of abstract rings that capture many features of the concrete rings of continuous real-valued functions on topological spaces. On the other hand, a \textit{Gelfand ring} is a commutative ring with unit in which \(a+b=1\) implies that \((1+ar)(1+bs)=0\) for some \(r,s\). In an earlier paper [Arab. J. Sci. Eng., Sect. C, Theme Issues 25, No. 2, 3--22 (2000; Zbl 1271.13052)], the author of the paper under review had shown by methods of pointfree topology that the Prime Ideal Theorem (PIT) is equivalent to the statement that every \(pm\)-ring is a Gelfand ring, whereas the converse holds without any choice principles. In the present note he provides direct, purely ring-theoretical arguments for these facts. The clue is the observation that an idempotent-generated ring with torsion-free additive group cannot be Gelfand and must therefore contain a prime ideal (without appealing to the PIT); and that any Boolean algebra can be embedded into the Boolean algebra of idempotents of a commutative unitary ring with torsion-free additive group. By similar methods, it is shown that the \textit{weakly Gelfand rings}, defined by the property that for maximal ideals \(P \neq Q\) there exist \(r \notin P\) and \(s \notin Q\) such that \(rs = 0\), are exactly the same as the Gelfand rings if and only if the Axiom of Choice holds.
reviewed by: Jorge Picado
Mathematics Subject Classification ID: 13L05
Mathematics Subject Classification ID: 03E25
Mathematics Subject Classification ID: 54C30
Mathematics Subject Classification ID: 13J25
zbMATH DE Number: 5969484
zbMATH Keywords: \(pm\)-ring
zbMATH Keywords: Gelfand ring
zbMATH Keywords: weakly Gelfand ring
zbMATH Keywords: Prime Ideal Theorem
zbMATH Keywords: Axiom of Choice
author: Bernhard Banaschewski
MaRDI profile type: Publication
full work available at URL: j.topol.2011.03.012
OpenAlex ID: W1967782709
cites work: The Power of the Ultrafilter Theorem
cites work: A New Proof that “Krull implies Zorn”
cites work: Gelfand and exchange rings: their spectra in pointfree topology
cites work: Commutative Rings in Which Every Prime Ideal is Contained in a Unique Maximal Ideal
cites work: Generalized ``Boolean'' theory of universal algebras. II. Identities and subdirect sums of functionally complete algebras
cites work: Q3965241
cites work: A generalisation of Gel'fand duality
cites work: Variants of RADO'S Selection Lemma and their Applications
DOI: 10.1016/J.TOPOL.2011.03.012
Recommended article: A remark on Gelfand duality
Recommended article: Rings in which every prime ideal is contained in a unique maximal right ideal
Recommended article: Spectra of Maximal 1-Sided Ideals and Primitive Ideals
Recommended article: On cerrain classes of pe-rings
Recommended article: Q3712419
Recommended article: An extension theorem for sober spaces and the Goldman topology
Recommended article: Clean Semiprimef-Rings with Bounded Inversion
Recommended article: On the Baer rings
Recommended article: Über den Aufbau des Nullideals in ganz abgeschlossenen Ringen mit Teilerkettensatz.
Recommended article: Commutative Rings in Which Every Prime Ideal is Contained in a Unique Maximal Ideal
description: scientific article; zbMATH DE number 5969484