Skip to main content
Log in

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Bahturin, Y.: Basic Structures of Modern Algebra. Kluwer Academic Publishers Group, Dordrecht (1993)

    Book  Google Scholar 

  2. Birkhoff, G.: Subdirect unions in universal algebra. Bull. Amer. Math. Soc. 50, 764–768 (1944)

    Article  MATH  MathSciNet  Google Scholar 

  3. Börger, R., Tholen, W., Wischnewsky, M.B., Wolff, H.: Compact and hypercomplete categories. J. Pure Appl. Algebra 21, 129–144 (1981)

    Article  MATH  MathSciNet  Google Scholar 

  4. Börger, R., Tholen, W.: Total categories and solid functors. Canad. J. Math. 42, 213–229 (1990)

    Article  MATH  MathSciNet  Google Scholar 

  5. Day, B.J.: Further criteria for totality. Topologie Géom. Différentielle Catég. 28, 77–78 (1987)

    MATH  Google Scholar 

  6. Hilbert, D.: Ueber die vollen Invariantensysteme. Math. Ann. 42, 313–373 (1893)

    Article  MATH  MathSciNet  Google Scholar 

  7. Hungerford, T.W.: Algebra. Holt, Rinehart and Winston Inc., New York (1974)

    MATH  Google Scholar 

  8. Isbell, J.R.: Small subcategories and completeness. Math. Syst. Theory 2, 27–50 (1968)

    Article  MATH  MathSciNet  Google Scholar 

  9. Kelly, G.M.: A survey of totality for enriched and ordinary categories. Cahiers Topologie Géom. Différentielle Catég. 27, 109–132 (1986)

    MATH  Google Scholar 

  10. 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)

    MATH  Google Scholar 

  11. Lasker, E.: Zur Theorie der Moduln und Ideale. Math. Ann. 60, 20–116 (1905)

    Article  MATH  MathSciNet  Google Scholar 

  12. McCoy, N.H.: Subdirectly irreducible commutative rings. Duke Math. J. 12, 381–387 (1945)

    Article  MATH  MathSciNet  Google Scholar 

  13. McCoy, N.H.: Rings and Ideals. The Open Court Publishing Company, LaSalle (1948)

    MATH  Google Scholar 

  14. Menni, M.: An Exercise with Sufficient Cohesion. Preprint. Universidad de La Plata (2011)

  15. Noether, E.: Idealtheorie in Ringbereichen. Math. Ann. 83, 24–66 (1921)

    Article  MATH  MathSciNet  Google Scholar 

  16. Taylor, W.: Residually small varieties. Algebra Univers. 2, 33–53 (1972)

    Article  MATH  Google Scholar 

  17. Tholen, W.: Amalgamations in categories. In: Seminarbrechte, vol. 5, pp. 121–151. Fernuniversität Hagen (1979)

  18. Tholen, W.: Injective objects and cogenerating sets. J. Algebra 73, 139–155 (1981)

    Article  MATH  MathSciNet  Google Scholar 

  19. van der Waerden, B.L.: Moderne Algebra II. Springer, Berlin (1931)

    Book  Google Scholar 

  20. Wiegandt, R.: On subdirect embeddings in categories. Fund. Math. 68, 7–12 (1970)

    MATH  MathSciNet  Google Scholar 

  21. Zorn, M.: A remark on method in transfinite algebra. Bull. Amer. Math. Soc. 41, 139–155 (1927)

    MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Walter Tholen.

Additional information

Dedicated to George Janelidze

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10485-013-9361-4

Keywords

Navigation