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