Finitely related clones and algebras with cube terms.

DOI10.1007/s11083-011-9232-2zbMath1310.08002MaRDI QIDQ438817

Petar Marković, Miklós Maróti, Ralph McKenzie

Publication date: 31 July 2012

Published in: Order (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11083-011-9232-2

zbMATH Keywords

polynomial-time algorithms; algebras with few subpowers; cube terms; finite idempotent algebras; finitely related clones; Valeriote conjecture

Mathematics Subject Classification ID

08B05: Equational logic, Mal'tsev conditions

08A40: Operations and polynomials in algebraic structures, primal algebras

08B10: Congruence modularity, congruence distributivity

08A62: Finitary algebras

08A50: Word problems (aspects of algebraic structures)

Related Items

Unnamed Item, Promise Constraint Satisfaction: Algebraic Structure and a Symmetric Boolean Dichotomy, Topological Birkhoff, Not all nilpotent monoids are finitely related, Naturally dualizable algebras omitting types 1 and 5 have a cube term, Preserving near unanimity terms under products, Mal'tsev conditions, lack of absorption, and solvability., Maltsev families of varieties closed under join or Maltsev product, Cube term blockers without finiteness, Taylor's modularity conjecture and related problems for idempotent varieties, On finitely related semigroups., On the number of clonoids, Existence of cube terms in finite algebras, The number of clones determined by disjunctions of unary relations, Testing for edge terms is decidable, Finite bands are finitely related, Deciding absorption, On finite Taylor algebras

Cites Work

• Unnamed Item
• Cyclic terms for \(\text{SD}_{\vee}\) varieties revisited
• Finite degree: algebras in general and semigroups in particular
• Few subpowers, congruence distributivity and near-unanimity terms
• Varieties with few subalgebras of powers
• A Subalgebra Intersection Property for Congruence Distributive Varieties
• Tractability and Learnability Arising from Algebras with Few Subpowers