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

About 3 years old · traced to

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 a≠b∈Aa\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 Sg⁡A{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.

References

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.