Конечное кольцо в общей алгебре — кольцо, содержащее конечное число элементов (которое называется порядком кольца). Другими словами, это (непустое) конечное множество , на котором определены операции сложения и умножения, причём относительно сложения образует коммутативную конечную группу, а умножение связано со сложением обычными распределительными законами. Существование единицы и коммутативность умножения в кольце не всегда имеют место, могут также существовать делители нуля.
Количество колец небольших порядков приведено в онлайн-энциклопедии целочисленных последовательностей.
Примеры Самым простым примером является тривиальное кольцо, состоящее из одного нуля. Любое кольцо содержит тривиальное подкольцо. Это единственное кольцо, в котором ноль является мультипликативной единицей. Все остальные конечные кольца называются нетривиальными.
Классическим примером конечного кольца является — кольцо вычетов по некоторому натуральному модулю . Кольцо вычетов является полем тогда и только тогда, когда число простое. Если же число составное, то в кольце существуют делители нуля. Например множество с операциями сложения и умножения по модулю 8 даёт пример кольца без единицы и с делителями нуля: Кольца вычетов важны при исследовании структуры конечнопорождённых абелевых групп, их также можно использовать для построения -адических чисел. Это кольцо коммутативно, но кольцо квадратных матриц заданного порядка, элементы которых — классы вычетов по модулю , уже не коммутативно.
Кольцо подмножеств конечного множества — это кольцо, элементами которого являются подмножества в . В качестве операции сложения выступает симметрическая разность, а в роли умножения выступает пересечение множеств:
Выполнение аксиом кольца легко проверяется. Нулевым элементом является пустое множество, единичным — всё . Все элементы кольца являются идемпотентами, то есть . Любой элемент является своим обратным по сложению: Кольцо подмножеств важно в теории булевых алгебр и теории меры, в частности, для построения теории вероятностей.
Каждое конечное поле или конечное тело одновременно является конечным кольцом.
Свойства В коммутативном конечном кольце с единицей каждый ненулевой элемент либо обратим, либо является делителем нуля. В самом деле, пусть — ненулевой элемент кольца порядка ; составим произведения на все ненулевые элементы кольца: . Если среди этих произведений есть единица, то элемент обратим, а если нет, то либо одно из произведений равно нулю, либо какие-то два произведения равны: или В обоих случаях — делитель нуля, ч. т. д.
Следствие: нетривиальное коммутативное конечное кольцо без делителей нуля является полем (существование в кольце единицы следует из того же рассуждения).
Теоремы Веддербёрна Малая теорема Веддербёрна утверждает, что всякое конечное тело является полем (то есть коммутативно по умножению).
Натан Джекобсон позже обнаружил ещё одно условие, которое гарантирует коммутативность кольца: если для каждого элемента из кольца существует такое целое , что , то кольцо коммутативно. Обнаружены и другие признаки коммутативности колец.
Ещё одна теорема Веддербёрна: простое кольцо с единицей и минимальными левыми идеалами изоморфно кольцу всех матриц порядка над некоторым телом, при этом определено однозначно, а тело с точностью до изоморфизма. Обратно, для любого тела кольцо является простым кольцом. Это означает, что любое конечное простое кольцо изоморфно кольцу квадратных матриц над некоторым конечным полем.
Примечания
Литература
Категория:Алгебраическая комбинаторика Категория:Теория колец