On the number of finite algebraic structures
From MaRDI portal
Publication:466908
DOI10.4171/JEMS/472zbMATH Open1432.08001arXiv1103.2265MaRDI QIDQ466908FDOQ466908
Authors: Erhard Aichinger, Peter Mayr, Ralph McKenzie 
Publication date: 31 October 2014
Published in: Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)
Abstract: We prove that every clone of operations on a finite set A, if it contains a Malcev operation, is finitely related -- i.e., identical with the clone of all operations respecting R for some finitary relation R over A. It follows that for a fixed finite set A, the set of all such Malcev clones is countable. This completes the solution of a problem that was first formulated in 1980, or earlier: how many Malcev clones can finite sets support? More generally, we prove that every finite algebra with few subpowers has a finitely related clone of term operations. Hence modulo term equivalence and a renaming of the elements, there are only countably many finite algebras with few subpowers, and thus only countably many finite algebras with a Malcev term.
Full work available at URL: https://arxiv.org/abs/1103.2265
Recommendations
Equational logic, Mal'tsev conditions (08B05) Operations and polynomials in algebraic structures, primal algebras (08A40)
Cites Work
- Constantive Mal’cev clones on finite sets are finitely related
- Title not available (Why is that?)
- Varieties with few subalgebras of powers
- Title not available (Why is that?)
- Title not available (Why is that?)
- Clones of algebras with parallelogram terms
- The structure of finite algebras
- Finitely Related Algebras In Congruence Distributive Varieties Have Near Unanimity Terms
- Tractability and learnability arising from algebras with few subpowers
- A Simple Algorithm for Mal'tsev Constraints
- A finite set of functions with an EXPTIME-complete composition problem
- Polynomial interpolation and the Chinese remainder theorem for algebraic systems
- Title not available (Why is that?)
- On the number of finite Mal'tsev algebras
- CLONES CONTAINING MAL'TSEV OPERATIONS
- Title not available (Why is that?)
- Well-quasi-orderings and sets of finite sequences
- Mal'cev algebras with supernilpotent centralizers
- Ordering by Divisibility in Abstract Algebras
- Title not available (Why is that?)
- Few subpowers, congruence distributivity and near-unanimity terms
- Problems and results in tame congruence theory. A survey of the '88 Budapest workshop
- Clones of finite groups.
- POLYNOMIAL CLONES ON SQUAREFREE GROUPS
- Polynomial clones of Mal'cev algebras with small congruence lattices
Cited In (28)
- Counting the relations compatible with an algebra
- COUNTING FINITE ALGEBRAS IN THE POST VARIETIES
- Clones of 2-step nilpotent groups
- On finitely related semigroups.
- Finitely generated equational classes
- Commutator relations and the clones of finite groups.
- Dickson's lemma, Higman's theorem and beyond: a survey of some basic results in order theory
- Finite degree clones are undecidable
- Dualities for quasi-varieties of bands.
- Finite bands are finitely related
- Title not available (Why is that?)
- Title not available (Why is that?)
- Between an n-ary and an n + 1-ary near-unanimity term
- Finite degree: algebras in general and semigroups in particular
- Finitely and non-finitely related words
- Finiteness theorems for the Picard objects of an algebraic stack
- A relational description of higher commutators in Mal'cev varieties
- Taylor's modularity conjecture and related problems for idempotent varieties
- Title not available (Why is that?)
- Cube term blockers without finiteness
- Counting Mal'tsev clones on small sets
- Three-element Mal'tsev algebras
- The lattice of clones of self-dual operations collapsed
- On the clones of nilpotent groups with a verbal subgroup of prime order
- Not all nilpotent monoids are finitely related
- Higher commutator theory for congruence modular varieties
- Title not available (Why is that?)
- On the number of finite Mal'tsev algebras
This page was built for publication: On the number of finite algebraic structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q466908)
