1.6.66 Fields, Groups, Rings

condition: Let the group \( A \)-Abelian. Consider the subgroup \( D=\{(a, a): a \in A\} \) of the group \( A \times A \). Prove that \(D-\) is a normal subgroup and \((A\times A) / D\) is isomorphic to \(A\).