Let \(G\) be a group . A subgroup \(K\subseteq G\) is called normal if and only if \(g^{-1}Kg=K\) for every \(g\in G\).

Remarks