Previous |  Up |  Next

Article

Keywords:
polynomial ring; conservative; prime ideal; system of finite character; Axiom of Choice
Summary:
\font\jeden=rsfs10 \font\dva=rsfs8 \font\tri=rsfs6 \font\ctyri=rsfs7 Given a set $X$ of ``indeterminates'' and a field $F$, an ideal in the polynomial ring $R=F[X]$ is called conservative if it contains with any polynomial all of its monomials. The map $S\mapsto RS$ yields an isomorphism between the power set $\text{\dva P}\,(X)$ and the complete lattice of all conservative prime ideals of $R$. Moreover, the members of any system $\text{\dva S}\,\subseteq \text{\dva P}\,(X)$ of finite character are in one-to-one correspondence with the conservative prime ideals contained in $P_{\text{\ctyri S}}=\bigcup \{RS:S\in \text{\dva S}\,\}$, and the maximal members of $\text{\dva S}\,$ correspond to the maximal ideals contained in $P_{\text{\ctyri S}}\,$. This establishes, in a straightforward way, a ``local version'' of the known fact that the Axiom of Choice is equivalent to the existence of maximal ideals in non-trivial (unique factorization) rings.
References:
[1] Banaschewski B.: A new proof that ``Krull implies Zorn''. preprint, McMaster University, Hamilton, 1993. MR 1301940 | Zbl 0813.03032
[2] Banaschewski B., Erné M.: On Krull's separation lemma. Order 10 (1993), 253-260. MR 1267191 | Zbl 0795.06005
[3] Hodges W.: Krull implies Zorn. J. London Math. Soc. 19 (1979), 285-287. MR 0533327 | Zbl 0394.03045
[4] Kaplansky I.: Commutative Rings. The University of Chicago Press, Chicago, 1974. MR 0345945 | Zbl 0296.13001
[5] Rosenthal K.: Quantales and Their Applications. Pitman Research Notes in Mathematics Series 234, Longman Scientific and Technical, Essex, 1990. MR 1088258 | Zbl 0703.06007
[6] Rubin H., Rubin J.E.: Equivalents of the Axiom of Choice, II. North-Holland, Amsterdam-New York-Oxford, 1985. MR 0798475
Partner of
EuDML logo