I want to know the answer to the following question:
What defines finite groups of order p, a prime number, as being necessarily cyclic (abelian) groups Zp?
All the background I'm provided with is that "According to Lagrange's theorem, finite groups of order p, a prime number, are necessarily cyclic (abelian) groups Zp.". Is that enough to answer the question?
Answer: yes