Intereting Posts

Prove that a straight line is the shortest distance between two points?
Proving if $a$ is not a multiple of prime $p$, then an integer $b$ exists such that $p^b – 1$ is a multiple of $a$
Showing that $\lim\limits_{x \rightarrow 0} \frac{1}{x}$ does not exist.
Is there a tangent of $x\sin(1/x)$ at $x = 0$?
Vanishing of Taylor series coefficient
Rank of square matrix $A$ with $a_{ij}=\lambda_j^{p_i}$, where $p_i$ is an increasing sequence
Does the sum $\sum^{\infty}_{k=1} \frac{\sin(kx)}{k^{\alpha}}$ converge for $\alpha > \frac{1}{2}$ and $x \in $?
Mathematics and Music
Completion as a functor between topological rings
Reformulation of Goldbach's Conjecture as optimization problem correct?
Trying to show that $\ln(x) = \lim_{n\to\infty} n(x^{1/n} -1)$
Proof of Eckart-Young-Mirsky theorem
Reference request: Where is this trigonometric identity found?
Finding values for integral $\iint_A \frac{dxdy}{|x|^p+|y|^q}$ converges
Value of $\sum 1/p^p$

At page (24) of the book *Finite Group Theory* by **I.Martin.Issacs**, one finds the statement:

In the situation of Corollary 1.25, the number of subgroups of $G$ having order $p^b$ is congruent to 1 modulo $p$, where $|G|=p^am$ with $(p,m)=1$ and $b<a$.

I think the statements in the quotation and in the title are equivalent.

The author says that this result is not especially difficult to prove, thus he has decided not to put a proof there. But, after some attempts to no avail, I think I had better ask for some help here.

Thus far I have tried, following the tone adapted in the book, to define an action on the set of all subgroups of order $p^b$, and then use the class equation. But no action that I know seems to work out here: right multiplication applies when we care considering cosets; conjugation applies if one can tell the norlmalisers of the subgroups under consideration. Neither situation occurs here. Therefore I think: the proof is not included in the book, per chance it is not proved by similar means. So I come here for some help. Thanks for your attention.

- Reference for the subgroup structure of $PSL(2,q)$
- Do all algebraic integers in some $\mathbb{Z}$ occur among the character tables of finite groups?
- Finding the “square root” of a permutation
- Are there real world applications of finite group theory?
- Solvability of a group with order $p^n$
- Can Someone approve the formula for the number of groups of order $p^2q$

- What does it mean for something to hold “up to isomorphism”?
- Square free finite abelian group is cyclic
- Explicit isomorphism $S_4/V_4$ and $S_3$
- For which numbers there is only one simple group of that order?
- Intermediate fields of cyclotomic splitting fields and the polynomials they split
- What About The Converse of Lagrange's Theorem?
- Isomorphisms between group of functions and $S_3$
- Every group of order 203 with a normal subgroup of order 7 is abelian
- The smallest quasigroup which is not a group
- Automorphism group of a topological space

I agree with Derek’s remark, that is a very neat way to prove it. Another way to prove it is the following and it learns you more about counting principles in $p$-groups. I assume that you have proved Exercise 1C.8 of Isaacs’ book that says that you can reduce the problem to $p$-groups.

**Lemma 1.** Let $H$ be a proper subgroup of a finite $p$-group $G$ and suppose $|H|=p^b$. Then the number of subgroups of order $p^{b+1}$ which contain $H$, is congruent 1 mod $p$.

**Proof**. Fix a subgroup $H$ of order $p^b$ of the $p$-group $G$. Since $H$ is normal and proper in $N_G(H)$, one can find a subgroup $K$ with $|K:H|=p$ (look at the center of $N_G(H)/H$, which is non-trivial, pick an element of order $p$, say $\overline{x}$ and put $K=\langle x \rangle$).

On the other hand, if $K$ is a subgroup of $G$ with $H \subset K$ and $|K:H|=p$, then $H \lhd K$ (because $p$ is the smallest prime dividing $|K|$), and hence $K \subseteq N_G(H)$.

We conclude that |{$K \leq G: H \subset K$ and $|K:H|=p$}| = |{$\overline{K} \leq N_G(H)/H: |\overline{K}|=p$}|. The lemma now follows from the fact that in the group $N_G(H)/H$ the number of subgroups of order $p$ is congruent to $1$ mod $p$ (in any group, which order is divisible by the prime $p$, this is true and follows easily from the McKay proof of Cauchy’s Theorem). $\square$

**Lemma 2.** The number of subgroups of order $p^{b-1}$ of a $p$-group $G$ of order $p^b$ is congruent 1 mod $p$.

**Proof**. Let $G$ be a non-trivial group of order $p^b$. Let $\mathcal{S}$ be the set of all subgroups of $G$ of order $p^{b-1}$. Observe that this set is non-empty and fix an $H \in \mathcal{S}$. We are going to do some counting on the set $\mathcal{S}$, by defining an equivalence relation $\sim$ as follows: $K\sim L$ iff $H \cap K=H \cap L$ for $K, L \in \mathcal{S}$.

Observe that for $K, L \in \mathcal{S}$ with $K \neq L$, $G=KL$, $K \cap L \lhd G$ and $|K \cap L|=p^{b-2}$. It is easy to see that the equivalence class $[H]$ is a singleton. In addition, $H=K$ iff $H \in [K]$ for $K\in \mathcal{S}$.

Now fix a $K \in \mathcal{S}$, $K \neq H$. Counting orders one can see that if $L \in \mathcal{S}$, then $H \cap K\subset L$ iff $L \in [K]$. Hence the number of elements in $[K]$ is exactly the number of subgroups of order $p^{b-1}$ containing $H \cap K$, minus 1, namely $H$. Owing to the previous lemma, we conclude that $|[K]| \equiv 0$ mod $p$. The lemma now follows. $\square$.

Using these two lemma’s you now can prove the statement by cleverly counting the number of subgroup pairs $H$ and $K$ of $G$ having order $p^b$ and $p^{b+1}$ respectively. Now back to your original question

**Theorem**. Let $G$ be a group of order $p^a$, $p$ prime. Let $0 \leq b \leq a$ and $n_b=$|{$H \leq G: |H|=p^b$}|. Then $n_b \equiv 1$ mod $p$.

**Proof**. Let $H$, $K \leq G$, with $|H|=p^b$ and $|K|=p^{b+1}$. Define a function $f$ as follows: $f(H,K)=1$ if $H \subset K$ and $f(H,K)=0$ otherwise. Let us compute $\sum_{H} \sum_{K} f(H,K)$ in two different ways: $\sum_{H}$$\sum_{K} f(H,K) = \sum_{H} \sum_{H \subset K}1$ $\equiv \sum_{H} 1$ mod $p$, according to Lemma 1 above. Similarly, by reversing the order of summation of $H$ and $K$, the sum equals $\sum_{K} 1$ mod $p$, using Lemma 2. In other words, for all $b$, the number of subgroups of $G$ of order $p^b$ is congruent mod $p$ to the number of subgroups of $G$ of order $p^{b+1}$. The theorem now follows from the fact that the number of subgroups of order $p^a$ equals 1, namely $G$ itself. $\square$.

**Remark**. The theorem counts all subgroups of fixed order $p^b$. If we restrict ourselves to the *normal* subgroups of order $p^b$ the same holds: |{$H \unlhd G: |H|=p^b$}|$\equiv 1$ mod $p$. Sketch of proof: let $G$ act by conjugation on the set of all subgroups $H$ of order ${p^b}$. The fixed point are exactly the normal subgroups. Now apply the Theorem above.

Finally, also see this StackExchange entry.

- Proving integral of zeroth-order Bessel function multiplied by cosine with complicated arguments
- Hilbert's Nullstellensatz and maximal ideals
- A conjecture about an unlimited path
- Every affine variety in $\mathbb A^n$ consisting of finitely many points can be written as the zero locus of $n$ polynomials
- Does the equation has a non-trivial solution?
- How prove that $10(a^3+b^3+c^3)-9(a^5+b^5+c^5)\le\dfrac{9}{4}$
- List of powers of Natural Numbers
- Laplace transformations for dummies
- Derivative of the Frobenius norm with respect to a vector
- Nonexistence of a strongly multiplicative increasing function with $f(2)=3$
- Assume $T$ is compact operator and $S(I- T) = I $.Is this true that $(I- T)S =I$?
- Composition of measurable function and continuous function
- Largange polynomial second order derivative
- Sum of irrational numbers, a basic algebra problem
- What is the relationship between GRH and Goldbach Conjecture?