Wreath Powers and Characteristically Simple Groups

A group G is called characteristically simple if it has no characteristic subgroups other than itself and the unit subgroup. For brevity, we call such groups -groups; we also use to denote the class of all characteristically simple groups.