# Thread:

1. ## Prove that G has a subgroup of order p^n

If $G$ is a finite abelian group and $p$ is a prime such that $p^n$ divides $|G|$, then prove that $G$ has a subgroup of order $p^n$.

Note: This proof is very similar to the First Sylow Theorem, but in this one, G is abelian.

Attempt at the proof:

If $p^n||G|$, then $|G| = p^nm, m \in \mathbb{Z}, (p,m) = 1$.

Consider a group $H$.
Claim: $H \subset G$ is a group such that $|H| = p^n$.

I know that I have to use Lagrange's Theorem to show that $[G:H] = m$. I just don't know how to do this. Can anyone help?

2. Originally Posted by crushingyen
If $G$ is a finite abelian group and $p$ is a prime such that $p^n$ divides $|G|$, then prove that $G$ has a subgroup of order $p^n$.

Note: This proof is very similar to the First Sylow Theorem, but in this one, G is abelian.

Attempt at the proof:

If $p^n|G$, then $G = p^nm, m \in \mathbb{Z}, (p,m) = 1$.

This well may be false: you're only given $p^n\mid |G|$ , not that n is the maximal power of p dividing the order of G.

I'd rather go: let $p^m\mid |G|\,\,\,s.t.\,\,\,p^{m+1}\nmid |G|\Longrightarrow$ by Sylow theorems there exists $H\leq G\,\,\,s.t.\,\,|H|=p^m$ . Now, it's easy to prove that any p-group of

order $p^m$ has a normal sbgp. of order $p^k$ for any $0\leq k\leq m-1$ (by induction, say) . In the present case normality is for free since G is abelian, and still

we're done.

Tonio

Consider a group $H$.
Claim: $H \subset G$ is a group such that $|H| = p^n$.

I know that I have to use Lagrange's Theorem to show that $[G:H] = m$. I just don't know how to do this. Can anyone help?
.

3. Aw man, that would've been perfect. I forgot to say that you're not allowed to use the Sylow Theorem to answer this.
{"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": 30, "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.9721720814704895, "perplexity_flag": "head"}