Cauchy's theorem for abelian groups

From Groupprops
Jump to: navigation, search

Statement

Suppose G is a Finite abelian group (?) and p is a prime number that divides the order of G. Then, G contains an element of order p, or equivalently (by looking at the subgroup generated), a subgroup of order p. This subgroup is a cyclic group of prime order.