Let be a prime and let be a positive integer. Find a formula for the number of subgroups of order in the elementary abelian group .

By definition, every nonidentity element of has order . Thus every nonidentity element generates an order subgroup. On the other hand, every order subgroup has generators. Thus the number of distinct order subgroups is , which is evidently equal to .