A covering group of an elementary abelian group of order p(n) is a group G of order pn+(n 2 ) consisting of the following data: • G has generators x1, . . . , xn. • The commutator subgroup of G is equal to the centre ...