Abstract
We show that any variety of groups that contains a finite nonsolvable group contains an axiomatic formation that is not a subvariety.

This publication has 3 references indexed in Scilit: