Normalizer-equivalence conjecture. If Fix(G)⊥\operatorname{Fix}(G)^{\perp}Fix(G)⊥ contains a rational GGG-invariant subspace other than {0}\{0\}{0} and Fix(G)⊥\operatorname{Fix}(G)^{\perp}Fix(G)⊥ itself, then…