introduction to group theory?

[^_^]

Let G be a group. Prove D is a normal subgroup G X G iff G is abelian.