Binary-invariants conjecture for minimal bounded width algebras
Binary-invariants conjecture. Among minimal bounded width algebras, A\mathbb{A}A is determined up to term equivalence by Inv2(A)\operatorname{Inv}_2(\mathbb{A})Inv2(A).