Description: The whole group is a normal subgroup of itself. (Contributed by Mario Carneiro, 4-Feb-2015)