Coherent Conditions: Algebraic Geometry for Arbitrary Classes of Algebras
Abstract
Universal algebraic geometry is generalised from solutions of equations in a single algebra to the study of - or K-spectra, akin to the prime spectrum of a ring. We explore their basic properties and constructions, give a correspondence between certain quantifier-free propositions and closed sets in the Zariski topology of a free algebra, and show the connection with current UAG. Lastly, equationally Noetherian classes and irreducible spectra are explored.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.