up:: Normal Subgroup Given a Group Homomorphism , then this homomorphism’s Kernel (Group) is a normal subgroup of . Let . Then we seek to prove Let and . Then Thus, . SInce it holds that then is a normal subgroup of the domain of .