True of false: For every integer there exists a non-abelian group of order
So, a non-abelian group of order ? Does the group with presentation work? Clearly it is non-abelian (as if it was ), and it has order (as with a minimal generating set and ).
(This is a specific case of the group , , the only non-abelian p-group that has a cyclic maximal subgroup and is not of maximal class - see Robinson, A Course in the Theory of Groups, section 5.3.4)