Commutative rings in which every prime ideal is contained in a unique maximal ideal

Abstract

The class of rings with 1 satisfying the properties of the title is characterized by some separation properties on the prime and maximal spectra, and, in such rings, the map which sends every prime ideal into the unique maximal ideal containing it, is continuous. These results are applied to <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper C left-parenthesis upper X right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mi>C</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mi>X</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">C(X)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> to obtain Stone’s theorem and the Gelfand-Kolmogoroff theorem. As a side result, the methods give new information on the mapping <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper P right-arrow upper P intersection upper C Superscript asterisk Baseline left-parenthesis upper X right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mi>P</mml:mi> <mml:mo stretchy="false">→<!-- → --></mml:mo> <mml:mi>P</mml:mi> <mml:mo>∩<!-- ∩ --></mml:mo> <mml:mrow class="MJX-TeXAtom-ORD"> <mml:msup> <mml:mi>C</mml:mi> <mml:mo>∗<!-- ∗ --></mml:mo> </mml:msup> </mml:mrow> <mml:mo stretchy="false">(</mml:mo> <mml:mi>X</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">P \to P \cap {C^ \ast }(X)</mml:annotation> </mml:semantics> </mml:math> </inline-formula> (<italic>P</italic> a prime ideal of <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="upper C left-parenthesis upper X right-parenthesis"> <mml:semantics> <mml:mrow> <mml:mi>C</mml:mi> <mml:mo stretchy="false">(</mml:mo> <mml:mi>X</mml:mi> <mml:mo stretchy="false">)</mml:mo> </mml:mrow> <mml:annotation encoding="application/x-tex">C(X)</mml:annotation> </mml:semantics> </mml:math> </inline-formula>).

Locations

• Proceedings of the American Mathematical Society - View - PDF