# Cauchy's theorem for abelian groups

From Groupprops

## Statement

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