Content type
Articles
Knowledge articles across every category of the library.
887 items · page 1 of 37
Article7 Aug 2026Ultraproducts in Universal AlgebraThe ultraproduct construction from the algebraic side: reduced products modulo an ultrafilter, and the properties they inherit.3 min readRead MoreArticle7 Aug 2026Varieties and the Variety Generated by a ClassVarieties as classes closed under H, S and P, the variety generated by a class, and the lattice of subvarieties.3 min readRead MoreArticle7 Aug 2026Weak Boolean Products and Patchwork PropertiesThe relaxation of the Boolean product conditions that makes representations available more widely, and what is lost by the relaxation.3 min readRead MoreArticle7 Aug 2026What Universal Algebra Is: Scope and MethodUniversal algebra studies what all algebraic structures have in common by stripping away the particular operations of groups, rings and lattices and asking which theorems survive. This page sets out the scope of the subject, the method it uses, and the shape of the results it produces.4 min readRead MoreArticle7 Aug 2026The Stone Representation TheoremEvery Boolean algebra is isomorphic to a field of sets. The theorem, its proof from the prime ideal theorem, and what it does and does not deliver.3 min readRead MoreArticle7 Aug 2026The Subalgebra Lattice Sub(A) is AlgebraicThe theorem that the subuniverses of any algebra form an algebraic lattice, and the converse showing that every algebraic lattice arises this way.3 min readRead MoreArticle7 Aug 2026The Syntactic Monoid and Kleene's TheoremThe monoid canonically associated with a language, Kleene's characterisation of the recognisable languages as the regular ones, and the algebraic classification programme this opens.3 min readRead MoreArticle7 Aug 2026The Tarski–Vaught Test and Löwenheim–SkolemThe practical criterion for recognising elementary substructures and the theorems that build them at prescribed cardinalities.3 min readRead MoreArticle7 Aug 2026The Ternary Discriminator FunctionThe operation that tests equality and branches, and the reason it is the single most consequential term operation in the subject.3 min readRead MoreArticle7 Aug 2026Theories, Models and AxiomatisabilityTheories as sets of sentences, model classes, and the question of which classes of algebras are first-order axiomatisable.3 min readRead MoreArticle7 Aug 2026Ultrafilters and the Boolean Prime Ideal TheoremMaximal proper filters, their characterisation by the decision property, and the existence theorem that underwrites Stone duality and the ultraproduct construction.3 min readRead MoreArticle7 Aug 2026Ultraproducts and Łoś's TheoremThe theorem that an ultraproduct satisfies a sentence exactly when a large set of factors does — the single most useful result in model-theoretic algebra.3 min readRead MoreArticle7 Aug 2026The M5 and N5 Forbidden-Sublattice TheoremsTwo five-element lattices decide modularity and distributivity by exclusion. These theorems convert conditions stated as identities into a finite, checkable structural test.3 min readRead MoreArticle7 Aug 2026The Prerequisite Dependency GraphThe source carries an explicit diagram of prerequisites showing which sections depend on which. This page renders that dependency structure as navigable text and draws out the consequences for study order.3 min readRead MoreArticle7 Aug 2026The Primal Algebra Characterisation TheoremThe theorem identifying primal algebras by intrinsic conditions, and the representation of the generated variety by Boolean powers.3 min readRead MoreArticle7 Aug 2026The Refutation of Euler's ConjectureThe 1959–60 disproof of Euler's conjecture by Bose, Shrikhande and Parker, and the algebraic construction that produced the counterexamples.3 min readRead MoreArticle7 Aug 2026The Second and Third Isomorphism TheoremsThe remaining isomorphism theorems in their general algebraic form, and the hypotheses each requires — including the one that fails without congruence permutability.2 min readRead MoreArticle7 Aug 2026The Seventeen Open Problems: a Status RegisterA status register for the open problems stated in the source's closing chapter, reporting what is known rather than asserting resolutions.3 min readRead MoreArticle7 Aug 2026The Spectrum of an AlgebraThe spectrum as the Boolean space indexing an algebra's canonical decomposition, and the spectrum of a variety.3 min readRead MoreArticle7 Aug 2026The Commutator and the Center: Modern DevelopmentsThe commutator theory for congruence-modular varieties: the generalisation of the group commutator that the source's centre section anticipates.2 min readRead MoreArticle7 Aug 2026The Compactness Theorem via UltraproductsThe theorem that a finitely satisfiable theory has a model, proved algebraically by an ultraproduct construction, and its consequences.2 min readRead MoreArticle7 Aug 2026The Congruence Extension PropertyThe condition that congruences on a subalgebra extend to the whole algebra, the varieties that satisfy it, and its role in transferring structural results.3 min readRead MoreArticle7 Aug 2026The Congruence Lattice Con(A) and its AlgebraicityCon(A) as a complete algebraic lattice, its relationship to the ambient lattice of equivalence relations, and the sense in which it is the fundamental invariant of an algebra.3 min readRead MoreArticle7 Aug 2026The Correspondence Theorem for AlgebrasThe bijection between congruences above a fixed congruence and congruences on the quotient — a lattice isomorphism that makes Con of a quotient an interval in Con of the original.3 min readRead More