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