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.
Сondition for the existence of the subgroup
1
$\begingroup$
abstract-algebra
group-theory
-
0@lhf, I didn't find $a$ny. So as a proof of insufficient. – 2011-09-12
1 Answers
3
The converse of Lagrange's theorem holds for finite abelian groups. Here is an outline of a proof:
- Every finite abelian $p$-group is a product of cyclic subgroups and so the converse of Lagrange's theorem holds for abelian $p$-groups.
- Every finite abelian group is the product of its Sylow subgroups. By the previous result, the converse of Lagrange's theorem holds for all abelian groups.