Stabilizer of a coset

Let $G$ be a group and $H \leq G$ a subgroup. For each coset $a H$ of $H$ in $G$ , define the set

G_{a H} = {b \in G | b a H = a H} .

(a) Prove that $G_{a H}$ is a subgroup of $G$ .
(b) Suppose that $H$ is normal in $G$ . Prove that $G_{a H} = H$ .

View

L A T E X

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}