Let \(f\colon G\to H\) be a homomorphism . The kernel is the set \(f^{-1}(1_H)\) denoted by \(\ker f\).

Remarks