В различных разделах математики, а также в применении математики в технике, часто встречается ситуация, когда алгебраические операции производятся не над числами, а над объектами иной природы. Например сложение матриц, умножение матриц, сложение векторов, операции над многочленами, операции над линейными преобразованиями и т.д.
Определение 1. Кольцом называется множество математических объектов, в котором определены два действия − "сложение" и "умножение", которые сопоставляют упорядоченным парам элементов их "сумму" и "произведение", являющиеся элементами того же множества. Данные действия удовлетворяют следующим требованиям:
1. a+b=b+a (коммутативность сложения).
2. (a+b)+c=a+(b+c) (ассоциативность сложения).
3. Существует нулевой элемент 0 такой, что a+0=a, при любом a.
4. Для любого a существует противоположный элемент −a такой, что a+(−a)=0.
5. (a+b)c=ac+bc (левая дистрибутивность).
5'. c(a+b)=ca+cb (правая дистрибутивность).
Требования 2, 3, 4 означают, что множество математических объектов образует группу, а вместе с пунктом 1 мы имеем дело с коммутативной (абелевой) группой относительно сложения.
Как видно из определения, в общем определении кольца на умножения не накладывается никаких ограничений, кроме дистрибутивности со сложением. Однако при различных ситуациях возникает необходимость рассматривать кольца с дополнительными требованиями.
6. (ab)c=a(bc) (ассоциативность умножения).
7. ab=ba (коммутативность умножения).
8. Существование единичного элемента 1, т.е. такого a·1=1·a=a, для любого элемента a.
9. Для любого элемента элемента a существует обратный элемент a−1 такой, что aa−1=a−1a=1.
В различных кольцах 6, 7, 8, 9 могут выполняться как отдельно так и в различных комбинациях.
Кольцо называется ассоциативным, если выполняется условие 6, коммутативным, если выполнено условие 7, коммутативным и ассоциативным если выполнены условия 6 и 7. Кольцо называется кольцом с единицей, если выполнено условие 8.
Примеры колец:
1. Множество квадратных матриц.
Действительно. Выполнение пунктов 1-5, 5' очевидна. Нулевым элементом является нулевая матрица. Кроме этого выполняется пункт 6 (ассоциативность умножения), пункт 8 (единичным элементом является единичная матрица). Пункты 7 и 9 не выполняются т.к. в общем случае умножение квадратных матриц некоммутативна, а также не всегда существует обратное к квадратной матрице.
2. Множество всех комплексных чисел.
3. Множество всех действительных чисел.
4. Множество всех рациональных чисел.
5. Множество всех целых чисел.
Определение 2. Всякая система чисел, содержащая сумму, разность и произведение любых двух своих чисел, называется числовым кольцом.
Примеры 2-5 являются числовыми кольцами. Числовыми кольцами являются также все четные числа, а также все целые числа делящихся без остатка на некоторое натуральное число n. Отметим, что множество нечетных чисел не является кольцом т.к. сумма двух нечетных чисел является четным числом.