Множество К с операциями сложение и умножение является кольцом. Тогда верными являются утверждения:
Не все элементы a и b имеют в K произведение ab
Любой элемент из К имеет обратный
Множество К с операцией сложения является абелевой группой
Умножение дистрибутивно относительно сложения