Normal subgroup

Definition

Let $(G,\times)$ be a group and $H$ a subgroup of $G$, we say $H$ is a normal subgroup of $G$ if:

• $$\forall x\in G[xH=Hx]$$ where the $xH$ and $Hx$ are left and right cosets

---

TODO: Flesh out page

---