The three-element generated subalgebra conjecture for clone-minimal dispersive algebras

Let A\mathbb{A} be a clone-minimal dispersive algebra, and let a,bAa,b\in\mathbb{A} with Sg{a,b}\operatorname{Sg}\{a,b\} denoting the subalgebra they generate. Suppose there is an element cSg{a,b}c\in\operatorname{Sg}\{a,b\} such that, for every dSg{a,b}d\in\operatorname{Sg}\{a,b\}, the set {c,d}\{c,d\} is a two-element projection subalgebra. In the direct square A2\mathbb{A}^2, let SgA2{(a,b),(b,a)}\operatorname{Sg}_{\mathbb{A}^2}\{(a,b),(b,a)\} denote the subalgebra generated by (a,b)(a,b) and (b,a)(b,a).

Three-element generated subalgebra conjecture. Under these hypotheses,

Sg{a,b}={a,b,c}.\operatorname{Sg}\{a,b\}=\{a,b,c\}.

It would suffice to prove that at least one of (a,c)(a,c) and (b,c)(b,c) belongs to

SgA2{(a,b),(b,a)}.\operatorname{Sg}_{\mathbb{A}^2}\{(a,b),(b,a)\}.

This is presented among the paper's difficult conjectures on clone-minimal dispersive algebras, and the source gives no evidence of a resolution.

Sources & referencesView supporting material

Primary source

Zarathustra Brady, “Coarse classification of binary minimal clones”, arXiv:2301.12631 (2023).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.