I have an abelian group $G$ of order $m$. And I want to know if there is any subgroup $H$ with order $n$. The condition of the Lagrange's theorem ($m = 0\ (mod\ n)$) seems to be necessary but insufficient.
The converse of Lagrange's theorem holds for finite abelian groups. Here is an outline of a proof: