Abstract

It is proved that there is a formula$\pi \left$in the first-order language of group theory such that each component and each non-abelian minimal normal subgroup of a finite groupGis definable by$\pi \left$for a suitable elementhofG; in other words, each such subgroup has the form$\left\{ {x|x\pi \left} \right\}$for someh. A number of consequences for infinite models of the theory of finite groups are described.