Thus we require that ϕ(G) permutes ψ(T ) the same way as the conjugation 7 action of G permutes T (since ϕ is faithful, the latter condition implies that ψ is injective). The Majorana representation of the Monster possesses another important property which we would like to include...