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