Characterizing Finitely Based Abelian Mal'cev Algebras
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866913585911824384 |
|---|---|
| author | Muro, Mateo |
| author_facet | Muro, Mateo |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2411_17004 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Characterizing Finitely Based Abelian Mal'cev Algebras Muro, Mateo Logic 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. |
| title | Characterizing Finitely Based Abelian Mal'cev Algebras |
| topic | Logic |
| url | https://arxiv.org/abs/2411.17004 |