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