# Order of a normal subgroup

I need help showing this result:

"Let $G$ be a group such that $|G|=nm$ where $m$ and $n$ are relatively prime. Suppose that there exists a normal subgroup H of G such that $|H|=n$. Show that $H$ is the only subgroup with order $n$."

Can someone give me a light?

-

## 1 Answer

Consider the order of the image of any alleged subgroup of order $n$ under the canonical map from $G$ to $G/H$.

-

Can I say that $|\pi (H')|=n$ ($\pi$ is the canonical map)? Because I think I should think about $ker (\pi)$ which, when restricted to $H'$ (where $H'$ is the group other than $H$ with order $n$) as being the intersection of $H$ and $H'$ which is not necessarily $\{1\}$. – Gustavo Marra Mar 30 '12 at 2:13
If your notation means what I think it means, then $\pi(H')$ is a subgroup of $G/H$, and that has implications for its order. – Gerry Myerson Mar 30 '12 at 2:59
Yes, then it must divide the order of $G/H$, but that does not mean that it must divide m or n because they are not prime numbers themselves. – Gustavo Marra Mar 30 '12 at 9:45
And what is the order of $G/H$? – Gerry Myerson Mar 30 '12 at 11:25
It must be $m$. I think I got this, but my mind is clouded with some (personal life) problems right now. – Gustavo Marra Mar 30 '12 at 14:05
show 2 more comments
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 25, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9577310681343079, "perplexity_flag": "head"}