What defines finite groups of order p, a prime number, as being necessarily cyclic (abelian) groups Zp?
According to Lagrange's theorem, finite groups of order p, a prime number, are necessarily cyclic (abelian) groups Zp.