The two-element projection quotient conjecture for clone-minimal dispersive algebras

Let A\mathbb{A} be a clone-minimal dispersive algebra. For elements a,beaa,b e a of A\mathbb{A}, write Sg{a,b}\operatorname{Sg}\{a,b\} for the subalgebra they generate, DSg{a,b}D_{\operatorname{Sg}\{a,b\}} for its associated digraph, and O(a)O(a) and O(b)O(b) for the corresponding sets. A two-element projection algebra is the algebra on two elements whose basic operations are projections.

Two-element projection quotient conjecture. For every abAa\ne b\in\mathbb{A}, there is a surjective homomorphism

Sg{a,b}P,\operatorname{Sg}\{a,b\}\twoheadrightarrow P,

where PP is a two-element projection algebra. Equivalently, DSg{a,b}D_{\operatorname{Sg}\{a,b\}} has exactly two weakly connected components, or

O(a)O(b)=O(a)\cap O(b)=\emptyset

in SgA{a,b}\operatorname{Sg}_{\mathbb{A}}\{a,b\}.

The paper presents this as a difficult conjecture about clone-minimal dispersive algebras; no resolution is supplied in the source.

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.