 Note that is of order , so the subgroup of generated by contains elements and thus is a proper subset of , because includes all elements of this subgroup and the center which does not contain but at least elements.Hence the order of is strictly larger than , therefore = , therefore is an element of the center of .Hence is abelian and in fact isomorphic to the direct product of two cyclic groups each of order .