Normality and the operation on cosets
Let
given by
- Show the operation is well defined.
- Show the operation is well defined only if the subgroup
is normal.
View code
Let $G$ be a group and $N$ a normal subgroup of $G$. Let $aN$ denote the left coset defined by $a\in G$, and consider the binary operation
\[
G/N\times G/N\to G/N
\]
given by $(aN, bN)\mapsto abN$.
\begin{enumerate}[label=\alph*)]
\item Show the operation is well defined.
\item Show the operation is well defined only if the subgroup $N$ is normal.
\end{enumerate}