question: What defines finite groups of order p , a prime number , as being necessarily cyclic ( abelian ) groups Zp ?
answer: Lagrange 's theorem
turker_answer: Lagrange 's theorem defines finite groups of order p , a prime number , as being necessarily cyclic ( abelian ) groups Zp .
rule-based: Lagrange 's theorem defines finite groups of order p , a prime number , as being necessarily cyclic ( abelian ) groups Zp .