∆ Определение 3.

Группа $G$ называется коммутативной (или абелевой ), если для любых $a, b∈G$ выполнено $ab=ba$.