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