1.6.66 Поля, группы, кольца

условие: Пусть группа \( A \)-абелева. Рассмотрим подгруппу \( D=\{(a, a): a \in A\} \) группы \( A \times A \). Доказать, что \( D- \) нормальная подгруппа и \( (A \times A) / D \) изоморфна \( A \).