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