Abstract
David Hilbert’s solvability criterion for polynomial systems in n variables from the 1890s was linked by Emmy Noether in the 1920s to the decomposition of ideals in commutative rings, which in turn led Garret Birkhoff in the 1940s to his subdirect representation theorem for general algebras. The Hilbert-Noether-Birkhoff linkage was brought to light in the late 1990s in talks by Bill Lawvere. The aim of this article is to analyze this linkage in the most elementary terms and then, based on our work of the 1980s, to present a general categorical framework for Birkhoff’s theorem.
References
Bahturin, Y.: Basic Structures of Modern Algebra. Kluwer Academic Publishers Group, Dordrecht (1993)
Birkhoff, G.: Subdirect unions in universal algebra. Bull. Amer. Math. Soc. 50, 764–768 (1944)
Börger, R., Tholen, W., Wischnewsky, M.B., Wolff, H.: Compact and hypercomplete categories. J. Pure Appl. Algebra 21, 129–144 (1981)
Börger, R., Tholen, W.: Total categories and solid functors. Canad. J. Math. 42, 213–229 (1990)
Day, B.J.: Further criteria for totality. Topologie Géom. Différentielle Catég. 28, 77–78 (1987)
Hilbert, D.: Ueber die vollen Invariantensysteme. Math. Ann. 42, 313–373 (1893)
Hungerford, T.W.: Algebra. Holt, Rinehart and Winston Inc., New York (1974)
Isbell, J.R.: Small subcategories and completeness. Math. Syst. Theory 2, 27–50 (1968)
Kelly, G.M.: A survey of totality for enriched and ordinary categories. Cahiers Topologie Géom. Différentielle Catég. 27, 109–132 (1986)
Kiss, E.W., Márki, L., Pröhle, P., Tholen, W.: Categorical algebraic properties, a compendium on amalgamation, congruence extension, epimorphisms, residual smallness, and injectivity. Studia Sci. Math. Hungar. 18, 79–141 (1983)
Lasker, E.: Zur Theorie der Moduln und Ideale. Math. Ann. 60, 20–116 (1905)
McCoy, N.H.: Subdirectly irreducible commutative rings. Duke Math. J. 12, 381–387 (1945)
McCoy, N.H.: Rings and Ideals. The Open Court Publishing Company, LaSalle (1948)
Menni, M.: An Exercise with Sufficient Cohesion. Preprint. Universidad de La Plata (2011)
Noether, E.: Idealtheorie in Ringbereichen. Math. Ann. 83, 24–66 (1921)
Taylor, W.: Residually small varieties. Algebra Univers. 2, 33–53 (1972)
Tholen, W.: Amalgamations in categories. In: Seminarbrechte, vol. 5, pp. 121–151. Fernuniversität Hagen (1979)
Tholen, W.: Injective objects and cogenerating sets. J. Algebra 73, 139–155 (1981)
van der Waerden, B.L.: Moderne Algebra II. Springer, Berlin (1931)
Wiegandt, R.: On subdirect embeddings in categories. Fund. Math. 68, 7–12 (1970)
Zorn, M.: A remark on method in transfinite algebra. Bull. Amer. Math. Soc. 41, 139–155 (1927)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to George Janelidze
Rights and permissions
About this article
Cite this article
Tholen, W. Nullstellen and Subdirect Representation. Appl Categor Struct 22, 907–929 (2014). https://doi.org/10.1007/s10485-013-9361-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-013-9361-4