Im trying to understand this theorem of Proving Kernel of Homomorphism is a Subset of G My question is since the definition of the kernel itself is ker(f)={xEG;f(x)=e'} Here it is given as xEG => kernel should be a subgroup of G.so is the proof required for this?