Normal Subgroups

Normality is the condition that lets multiplication descend from a group to a group of cosets.

Equivalently, left and right cosets agree: $gN=Ng$ for every $g\in G$.

Normal subgroups give us Quotient Groups. Kernels are especially useful in the First Isomorphism Theorem.