I want to know partial converse of Lagrange's theorem is true upto how much ?
We know that it holds only in case of cyclic groups.
Also if a group has order $p^m\times n;\gcd(m,n)=1$ then it has a subgroup of order $p^i;1\leq i\leq m$ by sylow's theorem
But can we say something about existence of a subgroup of order $pm$?Is this a good research topic or we already have something in this direction