Normal Subgroups in Finite p-groups In finite $p$-groups, the number of subgroups of order $p^k$ is congruent to $1 \mod p$.
Is it true that the number of normal subgroups of order $p^k$ is congruent to $1 \mod p$? 
 A: Yes.
The simplest way to see this is to apply the following lemma from group actions:
Lemma. Let $G$ be a group of order $p^n$ ($p$ a prime) acting on a finite set $S$. Let $S_0 = \{x\in S\mid gx = x\text{ for all }x\in G\}$. Then $|S_0|\equiv |S|\pmod{p}$.
Proof. An orbit $\overline{s}$ contains exactly one element if and only if $s\in S_0$; orbits $\overline{s}$ with more than one element have $[G:G_{s}]$ elements, and since $G_s\neq G$, then the number of elements is congruent to $0$ modulo $p$. If $\overline{s}_1,\ldots,\overline{s}_t$ are the distinct orbits with more than one element, then
$$|S| = |S_0| + |\overline{s}_1|+\cdots+|\overline{s}_t|\equiv |S_0|\pmod{p}.\quad\Box$$
Now apply the lemma to the set $S$ of subgroups of order $p^k$ and $G$ acting on $S$ by conjugation. $S_0$ is precisely the set of normal subgroups of order $p^k$. 
A: I am sorry in advance for posting the answer since I could not add comment.
So as in the proof of Arturo Magidin, $|S_0|$ is congruent to $|S|$ modulo $p$. But then how can we get that $|S_0|$ is congruent to $1$ modulo $p$? I tried to take $N\in S_0$ and let $N$ act on $S_0$ by conjugation, but then all orbits are of size $1$?
And in fact, if $G$ is a finite group, then the number of subgroups of order $p^k$ in a Sylow $p$-subgroup is congruent to the number of subgroups of order  $p^k$ in $G$. 
