On quaternion-free 2-groups

Two theorems are proved, the first of them showing that a modular quaternion-free finite 2-group has a characteristic abelian subgroup with metacyclic factor, the second classifying nonmodular finite quaternion-free 2-groups.