Suatu subgrup \(H\) dari grup \(G\) disebut normal dalam G jika \(gH = Hg\) untuk semua \(g \in G\text{.}\) Dengan kata lain, subgrup normal dari suatu grup \(G\) adalah subgrup yang koset kanan dan koset kirinya tepat sama.