Definition of Normal subgroup