According to Lagrange's theorem, finite groups of order p, a prime number, are necessarily cyclic (abelian) groups Zp