Strong containment of saturated formations of soluble Lie algebras
arXiv:1208.1585
Abstract
It is shown that, if H,K are saturated formations of soluble Lie algebras over a field of non-zero characteristic and H strongly contains K non-trivially, then H coincides with the formation generated by the L/N(L) for L in H, and that H is not locally defined.
arXiv comment7 pages. Progress report correcting errors in earlier versions. Proves a weaker result than that originally claimed