Cube term blockers without finiteness

DOI10.1007/S00012-017-0476-6MaRDI QIDQ1689289zbMATH OpenOpenAlexFDO

Authors Keith A. Kearnes, Ágnes Szendrei

Publication date 12 January 2018

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1609.02605

zbMATH Keywords

compatible crosscube termidempotent algebraidempotent varietyMaltsev term

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Equational logic, Mal'tsev conditions (08B05) Free algebras (08B20)

Abstract: We show that an idempotent variety has a $d$-dimensional cube term if and only if its free algebra on two generators has no $d$-ary compatible cross. We employ Hall's Marriage Theorem to show that a variety of finite signature whose fundamental operations have arities $n_1,ldots,n_k$ has a $d$-dimensional cube term if and only if it has one of dimension $d=1+su{m}_{i=1}^k(n_i-1)$. This lower bound on dimension is shown to be sharp. We show that a pure cyclic term variety has a cube term if and only if it contains no $2$-element semilattice. We prove that the Maltsev condition "existence of a cube term" is join prime in the lattice of idempotent Maltsev conditions.

Review text

A subset of \({A^d}\) is a \(d\)-ary cross on a set \(A\) iff it is a union of blocks with one restricted coordinate: \(\mathrm{cross}({U_0},\dots,{U_{d - 1}}) = {B_0} \cup \dots \cup {B_{d - 1}}\), where \({B_i} = A \times \dots \times A \times {U_i} \times A \times \dots \times A\), \({U_i} \subseteq A\), \({U_i} \neq \emptyset \). A term \(c\) of a variety \(\mathcal{V} \) is called \(d\)-cube term if \(c\) yields \({\mathbf{y}} = (y,\dots,y)\) when applied to elements of \({\{ x,y\} ^d} - \{ {\mathbf{y}}\} \). It is proved that an idempotent variety has a \(d\)-cube term iff its free algebra on two generators has no \(d\)-ary compatible cross. If an idempotent variety \(\mathcal{V} \) with operation arities \({n_1},\dots,{n_k}\), \({n_i} \geqslant 2\) has a \(d\)-cube term then the sharp upper bound for the minimal \(d\) is \(1 + \sum_i {({n_i}} - 1)\). If \(\mathcal{V} \) does not have a cube term of this size, then it does not have a cube term at all. Thus if the signature of \(\mathcal{V} \) consists of a single binary operation, then either \(\mathcal{V}\) has a Maltsev term or it has no cube term at all.

Recommendations

• Existence of cube terms in finite algebras
• Finitely related clones and algebras with cube terms.
• Naturally dualizable algebras omitting types 1 and 5 have a cube term
• The weakest nontrivial idempotent equations
• Modyfications of Csákány's Theorem

Cites work

• AUTOMORPHISM GROUPS OF SQUARES AND OF FREE ALGEBRAS
• Commutative idempotent groupoids and the constraint satisfaction problem.
• Finitely related algebras in congruence distributive varieties have near unanimity terms
• Finitely related clones and algebras with cube terms.
• scientific article; zbMATH DE number 4029649 (Why is no real title available?)
• Naturally dualizable algebras omitting types 1 and 5 have a cube term
• On Representatives of Subsets
• On the number of finite algebraic structures
• Preserving near unanimity terms under products
• Taylor's modularity conjecture and related problems for idempotent varieties
• The subpower membership problem for finite algebras with cube terms
• Tractability and learnability arising from algebras with few subpowers
• Varieties with few subalgebras of powers

Cited in

(9)

• Taylor's modularity conjecture and related problems for idempotent varieties
• Existence of cube terms in finite algebras
• The number of clones determined by disjunctions of unary relations
• Finite degree clones are undecidable
• Naturally dualizable algebras omitting types 1 and 5 have a cube term
• On finite Taylor algebras
• \(n\)-permutability is not join-prime for \(n\geq 5\)
• Between an n-ary and an n + 1-ary near-unanimity term
• Unifying the three algebraic approaches to the CSP via minimal Taylor algebras

This page was built for publication: Cube term blockers without finiteness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1689289)