# Thread:

1. ## Quotient Groups

Let H be a normal subgroup of finite group G. If the order of the quotient groups $G/H$ is m, prove that $g^m$ is in H for all $g \in G$.

So since H is normal, there are no distinctions between left and right cosets in G.

G is a finite group. Let o(G) = n. The o(G/H) = m.

Don't know where to go after this...

2. Hint: Given any group $G$ of order $n$ and any $g \in G$, $g^n = e$.

In the case of $G/H$, what does this tell you about the coset $g^mH$?

3. Originally Posted by spoon737
Hint: Given any group $G$ of order $n$ and any $g \in G$, $g^n = e$.

In the case of $G/H$, what does this tell you about the coset $g^mH$?
Since $G/H$ is of finite order m, does that imply that $g^mH = eH = H$?

But if $g^mH = H$ then $g^m$ must $\in H$ by theorem (If H is any subgroup of a group G, then hH = H = Hh, $h \in H$).

4. Originally Posted by MissMousey
Since $G/H$ is of finite order m, does that imply that $g^mH = eH = H$?

But if $g^mH = H$ then $g^m$ must $\in H$ by theorem (If H is any subgroup of a group G, then hH = H = Hh, $h \in H$).
Yes, that is correct. $\left|G/H\right|=[G:H]$ and so $\left(gH\right)^{[G:H]}=g^{[G:H]}H=\underbrace{H}_{\text{id elem.}}$ and what you said finishes it.

5. Originally Posted by Drexel28
Yes, that is correct. $\left|G/H\right|=[G:H]$ and so $\left(gH\right)^{[G:H]}=g^{[G:H]}H=\underbrace{H}_{\text{id elem.}}$ and what you said finishes it.
*dances* Thank you!
{"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": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 31, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": false, "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.9467076063156128, "perplexity_flag": "head"}