Определение

Коммутативная (абелева) группа - группа, в которой бинарная операция ещё и коммутативна (абелева).