https://www.mathstoon.com/kernel-of-a-homomorphism/