#homomorphism #lenrek #identity element #group theory #abstract algebra #zero mapping #normal subgroup