Def. Алгебраическая система с двумя бинарными операциями ” + ” и ” . ” относительно которых - абелева группа, - полугруппа, а также выполнено свойство дистрибутивности: для любых называется кольцом.
- Если - коммутативная полугруппа, то кольцо называется коммутативным
- Если - полугруппа с единицей, то - кольцо с единицей