Stabilizer of a coset
Let
- Prove that
is a subgroup of . - Suppose that
is normal in . Prove that .
View code
Let $G$ be a group and $H\leq G$ a subgroup. For each coset $aH$ of $H$ in $G$, define the set
\[
G_{aH}=\{b\in G\,|\,baH=aH\}.
\]
\begin{enumerate}[label=\alph*)]
\item Prove that $G_{aH}$ is a subgroup of $G$.
\item Suppose that $H$ is normal in $G$. Prove that $G_{aH}=H$.
\end{enumerate}