Published online by Cambridge University Press: 24 October 2008
1·1. A group is called characteristically simple if it has no proper non-trivial subgroups which are left invariant by all of its automorphisms. One familiar class of characteristically simple groups consists of all direct powers of simple groups: this contains all finite characteristically simple groups, and, more generally, all characteristically simple groups having minimal normal subgroups. However not all characteristically simple groups lie in this class because, for instance, additive groups of fields are characteristically simple. Our object here is to construct finitely generated groups, and also groups satisfying the maximal condition for normal subgroups, which are characteristically simple but which are not direct powers of simple groups.