Intereting Posts

Show that a graph has a unique MST if all edges have distinct weights
correcting a mistake in Spivak
What's umbral calculus about?
Identical balls arrangement in a circle
Hatcher Problem 2.2.36
Good books on Math History
Why is the Monster group the largest sporadic finite simple group?
How much of an $n$-dimensional manifold can we embed into $\mathbb{R}^n$?
Why is replacement true in the intuitive hierarchy of sets?
Prove that $\{n^2f\left(\frac{1}{n}\right)\}$ is bounded.
A complete orthonormal system contained in a dense sub-space.
How do I prove that a finite covering space of a compact space is compact?
Splitting of a polynomial modulo primes of a ring of integers
Illustrative examples of a phenomenon in the logic of mathematical induction
Identically zero multivariate polynomial function

Prove that if $|G| = p^n$ then $G$ has a subgroup of order $p^m$ for all $0\le m <n.$

Since $G$ is of prime-power order I know $|Z(G)| \ne e$ so there is an $a\in Z(G)$ with order $p$ such that $p \mid |Z(G)|$. Now, the subgroup generated by is normal since it’s a subgroup of the center. How can I get this normal subgroup to be less than $n$?

- Properties of the element $2 \otimes_{R} x - x \otimes_{R} 2$
- Can a quotient field ever be finitely generated as an algebra?
- Isomorphism involving tensor products of homomorphism groups
- Can we turn $\mathbb{R}^n$ into a field by changing the multiplication?
- Checking the maximality of a principal ideal in $R$
- Normal Subgroup Counterexample

- Principal ideal and free module
- Strict cyclic order
- Order of Cyclic Subgroups
- Is $\Bbb Q(\sqrt 2, e)$ a simple extension of $\Bbb Q$?
- What is an example of a group G where $|G|=|\text{Stabilizer(G)}||\text{Orbital(G)}|$
- Why is $\mathbb{Z}$ not a euclidean domain? What goes wrong with the degree function?
- Product of elements of a finite abelian group
- If $|H|$ and $$ are relatively prime, then $H \leq K$
- Category Theory vs. Universal Algebra - Any References?
- Number of subfields of finite field

First, I believe you meant that if $|G|=p^n$ then $G$ has a subgroup of order $p^m$ for all $0\leq m <n$.

This follows directly from Sylow’s 1st Theorem which gives the existence of subgroups of prime-power order.

Sylow’s First Theorem: Let $G$ be a finite group and $p$ be a prime. If $p^k$ divides $|G|$, then $G$ has at least one subgroup of order $p^k$.

So either you use this theorem directly along with the order of $G$ or you prove Sylow’s Theorem and then apply it-depending on what your assignment was. If you have to prove it, I’ll give some hints:

- Use induction. What if $|G|=1$, i.e. $n=0$? Is the result true?
- Assume that the result holds for any group with order less than $G$. If $G$ were to have a proper subgroup $H$ such that $p^k$ divides $|H|$, then use the induction hypothesis. What happens? Are you done?
- After ($2$) you can assume that $p^k$ can’t divide the order of any subgroup $H$ of $G$. Then use the class equation

$$

|G|=|Z(G)|+\sum_{a} |G:C(a)|

$$

where the right sum is over representatives for the conjugacy class for $a \notin Z(G)$. - As $p^k$ divides $|G|=|G:C(a)|\,\,|C(a)|$, does $p$ divide $|Z(G)|$? Then use the Fundamental Theorem of abelian groups to find a subgroup of $Z(G)$ of order $p$ generated by say $x$.
- Finally, look at $|G/\langle x\rangle|$. Is there a power of $p$ which divides the order of $|G/\langle x\rangle|$? If so, what does the induction hypothesis then imply? Does this complete the proof?

Though this is a longer way. There are faster ways using factor groups and Cauchy’s Theorem. However, I don’t know what you know/don’t know and what you can use to complete the problem. The above proof alone is sufficient.

Since you have a central element$~a$ of order$~p$, this is immediate by induction on$~n$. For $n=0$ there are no suitable $m$ so there is nothing to prove. For $n>0$ and $m=0$ take the subgroup $\{e\}$. Otherwise by induction there is a subgroup of order $p^{m-1}$ in $G/\langle a\rangle$ and its inverse image in$~G$ has order$~p^m$.

- Generalizing the total probability of simultaneous occurrences for independent events
- Are $\mathbb{C} \otimes _\mathbb{R} \mathbb{C}$ and $\mathbb{C} \otimes _\mathbb{C} \mathbb{C}$ isomorphic as $\mathbb{R}$-vector spaces?
- Relation between exclusive-OR and modular addition in a specific function
- On the Factor group $\Bbb Q/\Bbb Z$
- Decompose rotation matrix to plane of rotation and angle
- Show that it is possible that the limit $\displaystyle{\lim_{x \rightarrow +\infty} f'(x)} $ does not exist.
- Good textbook for learning Sequent Calculus
- How to solve for a variable that is only in exponents?
- Show that $\det{(A + sxy^*)}$ is linear in $s$
- Algebraic proof that if $a>0$ then $1+a^9 \leq \frac{1}{a}+a^{10} $
- Operator: not closable!
- How are the average rate of change and the instantaneous rate of change related for ƒ(x) = 2x + 5?
- About conjugacy in $A_n$
- Show that ${-n \choose i} = (-1)^i{n+i-1 \choose i} $
- Pearson correlation and metric properties