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