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