Linear-eliminant ideal-membership conjecture for factor-analysis invariants
Linear-eliminant membership conjecture. If m≥2m\geq 2m≥2, p≥2m+2p\geq 2m+2p≥2m+2, and R∪C≠Rˉ∪CˉR\cup C\neq\bar R\cup\bar CR∪C=Rˉ∪Cˉ, then