Characterizing Finitely Based Abelian Mal'cev Algebras
Logic
2024-11-27 v1
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.
Cite
@article{arxiv.2411.17004,
title = {Characterizing Finitely Based Abelian Mal'cev Algebras},
author = {Mateo Muro},
journal= {arXiv preprint arXiv:2411.17004},
year = {2024}
}
Comments
19 pages