let S3={I, 1, 2, 3, 4, 5}
Then S3 is an non-Abelian group under composition because ab DNE ba
yet A3 is a normal subgroup of S3 which is commutative and contains permutations of even order
you can also take mappings of this group G
onto G'
may be an isomorphism perhaps
