Characterizing Finitely Based Abelian Mal'cev Algebras

2024/11/26 by Muro, Mateo
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2411.17004

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.

Related

• Finiteness properties of direct products of algebraic structures
• On finitely presented algebras
• Finite Abelian algebras are fully dualizable
• Every additively idempotent semiring satisfying xy≈ xz is finitely based
• Minimal abelian varieties of algebras, I