3 problems
Three strongly connected components conjecture. The digraph has at least three strongly connected components.
Three-element generated subalgebra conjecture. Under these hypotheses,
Two-element projection quotient conjecture. For every , there is a surjective homomorphism