Subdirect decomposition of rings and the axiom of choice

DOI10.1007/BF01206469MaRDI QIDQ1092901zbMATH OpenOpenAlexWikidataFDO

Authors Yehuda Rav

Publication date 1988

Published in Archiv der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01206469

zbMATH Keywords

axiom of choicecommutative ringmaximal idealsubdirect productsubdirectly irreducible ringsZF set theory

Mathematics Subject Classification ID

Axiom of choice and related propositions (03E25) Subalgebras, congruence relations (08A30) General commutative ring theory (13A99)

Review text

It is shown that the following is a theorem of ZF set theory without choice: A commutative ring R admits a representation as a subdirect product of subdirectly irreducible rings if and only if R contains a maximal ideal. It follows then from a theorem of \textit{W. Hodges} [J. Lond. Math. Soc., II. Ser. 19, 285-287 (1979; Zbl 0403.03037)] that already for the class of unique factorization domains, the subdirect product representability by subdirect irreducibles implies the axiom of choice. This answers a question of \textit{G. Grätzer} [Universal algebra, 2nd edition (1979; Zbl 0412.08001), p. 161, Problem 30]. We also draw attention to the little known fact that the very notion and terminology of subdirect product representation by subdirect irreducibles were invented by \textit{R. Remak} in 1930 [cf. J. Reine Angew. Math. 163, 1-44 (1930); Jahrb. Fortschr. Math. 56, I, p. 129].

Recommendations

• scientific article; zbMATH DE number 3968818
• Existence and uniqueness of a certain type of subdirect product
• A note on subdirectly irreducible rings
• scientific article; zbMATH DE number 4070981
• Subdirect representations of categories of modules.

Cites work

• Global subdirect products
• scientific article; zbMATH DE number 3675957 (Why is no real title available?)
• scientific article; zbMATH DE number 3003145 (Why is no real title available?)
• scientific article; zbMATH DE number 3259126 (Why is no real title available?)
• Subdirect unions in universal algebra
• Subdirectly irreducible commutative rings

Cited in

(3)

• Nonstandard subdirect representations in axiomatizable classes
• Forms of choice in ring theory
• Existence and uniqueness of a certain type of subdirect product

This page was built for publication: Subdirect decomposition of rings and the axiom of choice

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1092901)