Множество G с бинарной операцией умножение является группой. Тогда верными являются утверждения:
В множестве G нет нейтрального элемента
Уравнение аx=b не имеет решений в G при некоторых a и b
Операция умножения ассоциативна
Любой элемент a из G имеет обратный