Characterizing Finitely Based Abelian Mal'cev Algebras
Abstract
In this paper, we prove the following characterization: an abelian Mal'cev variety is finitely based if and only it has finite type, its ring of idempotent binary terms is finitely presented, and its module of unary terms is finitely presented.
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.