Примеры множеств, являющихся полями
§ — рациональные числа,
§ — вещественные числа,
§ — комплексные числа,
§ — поле вычетов по модулю p, где p — простое число.
§ — конечное поле из q = pk элементов, где p — простое число, k — натуральное.
§ — поле рациональных функций вида f / g, где f и g — многочлены над некоторым полем (при этом , а f и g не имеют общих делителей, кроме констант).
§ Числа вида , , относительно обычных операций сложения и умножения.
Кольцо — это множество R, на котором заданы две бинарные операции: + и × (называемые сложение и умножение), со следующими свойствами:
1. — коммутативность сложения;
2. — ассоциативность сложения;
3. — существование нейтрального элемента относительно сложения;
4. — существование обратного элемента относительно сложения;
5. — ассоциативность умножения (некоторые авторы не требуют выполнения этой аксиомы[1])
6. — дистрибутивность.
Иными словами, кольцо — это универсальная алгебра , такая что алгебра — абелева группа, и операция + дистрибутивна слева и справа относительно . Кольцо ассоциативно, если мультипликативный группоид является полугруппой.
Ассоциативные кольца могут обладать следующими дополнительными свойствами:
§ наличие единицы: (кольцо с единицей);
§ коммутативность умножения: (коммутативное кольцо);
§ отсутствие делителей нуля: .
Кольца, для которых выполнены два последние свойства, называются целостными (иногда также областями целостности или просто областями, хотя условие коммутативности не всегда считается обязательным).
Иногда под ассоциативным кольцом понимают ассоциативное кольцо с единицей. Но имеются примеры ассоциативных колец без единицы, например — нулевое кольцо, кольцо чётных чисел, или же любой несобственный идеал в кольце. Рассматриваются также неассоциативные кольца без единицы, например лиевские кольца и др.
Связанные определения
§ Подмножество называется подкольцом R, если A само является кольцом относительно операций, определенных в R. По определению, оно непусто, поскольку содержит нулевой элемент.
§ Ассоциативное кольцо с единицей , в котором каждый ненулевой элемент обратим, называется телом.
§ Коммутативное тело называется полем. Иначе говоря, поле — это коммутативное ассоциативное кольцо с единицей, не имеющее нетривиальных идеалов.
§ Кольцо, элементами которого являются числа, а операциями — сложение и умножение чисел, называют числовым кольцом. Например, множество чётных чисел является числовым кольцом.
Простейшие свойства
Пусть R — кольцо, тогда выполнены следующие свойства:
§ , то есть 0 — поглощающий элемент по умножению.
§ , где ( − b) — элемент, обратный к b по сложению.
§
§
Примеры
§ {0} — тривиальное кольцо, состоящее из одного нуля. Это единственное кольцо, в котором ноль является мультипликативной единицей. Считать этот тривиальный пример кольцом важно с точки зрения теории категорий, так как при этом в категории колец возникает нулевой объект, через который пропускается любой нулевой гомоморфизм колец.
§ — целые числа (с обычным сложением и умножением). Это важнейший пример кольца, так как любое кольцо можно рассматривать как алгебру над .
§ — кольцо вычетов по модулю натурального числа n. Это классические примеры колец из теории чисел. Они являются полями тогда и только тогда, когда число n простое. Соответствующие поля являются отправной точкой для построения теории конечных полей. Кольца вычетов также важны при исследовании структуры конечнопорождённых абелевых групп, Их также можно использовать для построения p-адических чисел.
§ — кольцо рациональных чисел, являющееся полем. Это простейшее поле характеристики 0. Оно является основным объектом исследования в теории чисел. Пополнение его по всем неэквивалентным нормам даёт поля вещественных чисел и p-адических чисел , гдеp — произвольное простое число.
§ Для произвольного (коммутативного, ассоциативного) кольца R можно построить кольцо многочленов от n переменных с коэффициентами в R. В частности, R[x][y] = R[x,y]. Кольцо многочленов с целыми коэффициентами является универсальным кольцом многочленов, в том смысле что все кольца многочленов выражаются через тензорное произведение: .
§ Кольцо бесконечно гладких вещественнозначных функций на многообразии M — это коммутативное ассоциативное кольцо с единицей. Умножение и сложение в нём определяются поточечно:
Нулевой элемент — функция, тождественно равная 0, единичный — тождественно равная 1. Обратимыми элементами в нём являются нигде не равные 0 функции, делителями нуля — функции, равные 0 на некотором открытом множестве в M. Это кольцо не имеет нильпотентов, так как их нет в , а умножение поточечно. Если M компактно, то максимальными идеалами в нём являются множества функций, зануляющихся в данной точке:
причём максимальные идеалы совпадают с простыми.
§ Кольцо подмножеств множества X — это кольцо, элементами которого являются подмножества в X. Операция сложения есть симметрическая разность, а умножение — пересечение множеств:
Аксиомы кольца легко проверяются. Нулевым элементом является пусто множество, единичным — всё X. Все элементы кольца являются идемпотентами, то есть . Любой элемент является своим обратным по сложению: A + A = 0. Кольцо подмножеств важно в теории булевых алгебр и теории меры, в частности в построении теории вероятностей.
§ Кольцо когомологий — это важный топологический инвариант, связанный с любым топологическим пространством.
§ Если R — кольцо в категории , то множество является кольцом (в обычном смысле) для любого объекта .
§ Кольцо периодов — множество чисел, которые могут быть выражены как объём области в заданной системой полиномиальных неравенств с рациональными коэффициентами.
Билет 7 вопрос 1