Для начала, ознакомьтесь с более простым объектом/стркутурой -- группой:
Так вот, если совсем грубо, то кольцо -- такая же структура, только добавлена ещё одна операция: "произведение" или "умножение". В кольце есть дополнительные требования:
- Коммутативность сложения.
- Обязательное наличие нейтрального элемента относительно сложения.
- Обязательное наличие "противоположного" или "обратного" элемента относительно сложения.
Относительно произведения всех этих требований есть-- есть только такое же, как для сложения, требование ассоциативности и общее для двух операций требование дистрибутивности, такое, что
a*(b+c) = a*b + a*c при том, что (b+c)*a =b*a + c*a
Классический пример кольца -- целые числа Z .
- Есть ассоциативность сложения.
- Есть ассоциативность умножения.
- Есть дистрибутивность относительно умножения и сложения.
- Есть коммутативность относительно сложения (a+b = b+a -- "от перестановки мест слагаемых сумма не меняется")
- Есть противоположный элемент: отрицательные числа относительно положительных, равные таковым по модулю.
- Есть нейтральный элемент относительно сложения: 0 .
a+ (-a) = 0
a + 0 = a
- Нет "обратных" элементов относительно умножения: обратным элементом относительно этой операции является дробь, не принадлежащая множеству целых чисел по определению.
- Операции сложения и умножения закрыты относительно кольца: т.е., любой результат этой операции сам принадлежит кольцу (в нашем случае, множеству целых чисел).