We observe that a solvability criterion for finite groups, conjectured by Miller [The product of two or more groups, Trans. Amer. Math. Soc.12 (1911)] and Hall [A characteristic property of soluble groups, J. London Math. Soc.12 (1937)] and proved by Thompson [Nonsolvable finite groups all of whose local subgroups are solvable, Bull. Amer. Math. Soc.74(3) (1968)], can be sharpened as follows: a finite group is nonsolvable if and only if it has a nontrivial 2-element and an odd p-element, such that the order of their product is not divisible by either 2 or p. We also prove a solvability criterion involving conjugates of odd p-elements. Finally, we define, via a condition on products of p-elements with p′-elements, a formation Pp,p′, for each prime p. We show that P2,2′ (which contains the odd-order groups) is properly contained in the solvable formation.
