История изменений
Исправление drsm, (текущая версия) :
это свойства нейтрального элемента относительно сложения в коммутативном моноиде
по определению полукольца: ноль - коммутативный аннигилятор относительно умножения (походу даже в не коммутативном полукольце...). для нормального кольца это следует из других аксиом, но в данном случае вводится отдельно.
Исходная версия drsm, :
это свойства нейтрального элемента относительно сложения в коммутативном моноиде
по определению полукольца: ноль - коммутативный аннигилятор относительно умножения (походу даже не в коммутативном полукольце...). для нормального кольца это следует из других аксиом, но в данном случае вводится отдельно.