4
$\begingroup$

So $H$ acts on $G/H$. Where $H$ is a subgroup of $G$. We are also given that $|G| = p^2$ and $|H| = p$, where p is a prime.

$$ H \times G/H \rightarrow G/H, \quad (h, gH) \rightarrow h * (gH) = (hg)H $$

The question is to show that $\mathrm{Fix}(H) = G/H$.

My attempts so far keep getting to the point where I need to show that H is normal. However, the next part of the question is to show that H is normal so I'm obviously going wrong somewhere. In the previous parts of the question I have shown that $\mathrm{Stab}(gH) = H \cap gHg^{-1}$ and $H \in \mathrm{Fix}(H)$. Any help would be much appreciated.

$\endgroup$
2
  • 1
    $\begingroup$ Any group of order $p^2$ is abelian and any subgroup is obviously normal. So $H$ is normal. Will this be okay? $\endgroup$ Commented Nov 14, 2023 at 11:58
  • $\begingroup$ We have not proved that yet and the next part of the question is to show that it's normal. I'm pretty sure I need to use the Orbit-Stabiliser Theorem to show that Orbit($gH$) $ = gH$ and thus gH is a fixed point. $\endgroup$ Commented Nov 14, 2023 at 17:50

2 Answers 2

1
$\begingroup$

My answer builds up from the hint that user297024 gave, which is crucial in my opinion. The "previous part of the question" that you proved $H \in \operatorname{Fix}(x)$ will be needed to finish my proof. I will assume that the Orbit-Stabilizer Theorem can be used.

By the Orbit-Stabilizer Theorem for any element $x$ of a set $X$ acted by $H$, we have:

$$ |H| = |\operatorname{Stab}(x)|. |\operatorname{Orb}(x)| $$

As $|H| = p$ is a prime number, that leaves either $(|Stab(x)| ; |Orb(x)|)$ to be $(1;p)$ or $(p;1)$. In other words, either $\operatorname{Stab}(x) = H$ or $\operatorname{Stab}(x) = {id}$.

We will prove this by contradiction. Suppose $H$ does not fix the whole set $X$: $\exists x_{1} \neq x_{2} \in X$ such that $\operatorname{Stab}(x_{1}) = H$ but $\operatorname{Stab}(x_{2}) = id$.

This implies that $\operatorname{Orb}(x_{2}) = X$ - every element in X can be "matched" from $x_{2}$ by some element of $H$, including $x_{1} \in X$. (Note that this statement is only valid if $|X|=|H|=p$.)

Therefore, $\exists h \in H$ such that: $$ h * (x_{2}) = x_{1} $$

As $h \in H$, then also $h^{-1} \in H.$ Consider the following: $$ (h^{-1}h) * x_{2} = id * x_{2} = x_{2} $$ by the definition of a group action. But $$ h^{-1} * (h * x_{2}) = h^{-1} * x_{1} = x_{1} $$ by the way we construct $x_{1}$.

This leads to a violation of the definition of a group action. Therefore either $H$ fixes the whole set $X$ or $H$ does not fix anything in $X$. Now in the context of the problem, $X = G/H$ with exactly $$ |X|=|G/H|= \frac{|G|}{|H|}=\frac{p^{2}}{p}=p $$ by Lagrange's Theorem, and we know for a fact that $H$ is a coset of $G/H$. So using the result $H \in \operatorname{Fix}(H)$, that means every other cosets must be fixed by $H$. This completes the proof $\operatorname{Fix}(H) = G/H.$

$\endgroup$
0
1
$\begingroup$

The orbit equation reads: $$|G/H|=\left|\operatorname{Fix}(H)\right|+\sum_i[H:\operatorname{Stab}(g_iH)]$$ where the $g_iH$'s are representatives of the non-sigleton orbits, necessarily each of size $p$ (orbit-stabilizer). But since $|G/H|=p$ and $\left|\operatorname{Fix}(H)\right|\ge1$ (as $H\in \operatorname{Fix}(H)$), the set of such representatives must be empty, and hence $$|G/H|=\left|\operatorname{Fix}(H)\right|$$ namely $$\operatorname{Fix}(H)=G/H$$

$\endgroup$

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.