Множество G с бинарной операцией умножение является группой. Тогда верными являются утверждения:
Операция умножения не ассоциативна
Операция умножения коммутативна
В множестве G существует нейтральный элемент – единица
Всякий элемент a из G имеет обратный