Кольца. Примеры колец. Гомоморфизмы и изоморфизмы колец. Подкольца. Кольцо целых чисел
Для изучения предлагаются понятия кольца, коммутативного кольца и области целосности, гомоморфизма и изоморфизма колец, подкольца, а так же свойства кольца целых чисел.
п.1. Понятие кольца.
Определение. Алгебра , где - бинарные операции, - унарная операция, Ваназывается кольцом, если выполнены аксиомы.
I. - абелева группа.
1)
2)
3)
4)
II. 1) - ассоциативность умножения.
2) законы дистрибутивности: - левый дистрибутивный закон, - правый дистрибутивный закон.
- называется аддитивной группой кольца.
Определение. Кольцо Ваназывается кольцом с единицей , если существует
Определение. Кольцо Ваназывается коммутативным, если
Определение. Элементы Ваназываются делителями , если
Определение. Кольцо Ваназывается областью целостности, если оно обладает свойствами:
Кольцо - коммутативно.
Кольцо Вас единицей , где .
Кольцо не имеет делителей нуля.
Рассмотрим . Операции - бинарная операция на множестве , операция - унарная операция на множестве , , значит - алгебра. Аксиомы кольца на множестве Вавыполнены, это следует из свойств целых чисел, значит - кольцо. Это кольцо с единицей 1, так как Ваи . Это коммутативное кольцо, так как . Это кольцо без делителей нуля. Кольцо целых чисел является областью целостности.
Пусть - множество целых чётных чисел, - алгебра, кольцо без единицы, коммутативное, без делителей нуля, не является областью целостности.
- проверим, будет ли на множестве - кольцо.
- бинарная операция на множестве .
- бинарная операция на множестве .
- унарная операция на множестве .
Значит - алгебра.
Аксиомы кольца для данной алгебры выполнены, так как , а на Вааксиомы выполнены (из свойств действительных чисел), значит - это кольцо.
. . Кольцо с единицей - это коммутативное кольцо без делителей нуля, является областью целостности.
Пусть . Определим операции , ; , .
- бинарные операции на множестве
Вазначит - унарная операция на множестве .
, , значит - алгебра. Проверим, является ли эта алгебра кольцом. Для этого проверим аксиомы кольца. Равенство - равенство функции: Ваиз определения операций. Рассмотрим произведение , вычислим значения левой и правой частей от Ваа) б). Аналогично проверяется, что все аксиомы кольца выполнены, значит Ваявляется кольцом. Это кольцо с единицей . Действительно, Ва(свойство единицы). Это коммутативное кольцо, так как . Покажем, что это кольцо с делителями нуля. Пусть , , , Ва(нулевая функция). Вычислим Ва(равно нулевой функции). Значит , - делители нуля, значит кольцо - не является областью целостности.
п.3. Простейшие свойства кольца.
Пусть - кольцо. Выпишем и проверим аксиомы кольца:
.
Доказательство. - абелева группа, имеем
.
Доказательство. - абелева группа, имеем .
, если , если .
Доказательство. По закону сокращения в группе, определенной на множестве .
, если , если .
Доказательство. Следует из свойства 4 групп.
Ваесли , если .
Доказательство. Следует из 5 свойства групп.
.
Доказательство. Следует из 6 свойства групп.
.
Доказательство. Докажем, что .
.
Доказательство. Докажем, что Варассмотрим сумму . Аналогично доказывается, что .
. Обозначение: .
Ва(правый дистрибутивный закон), Ва(левый дистрибутивный закон).
Доказательство. Правый дистрибутивный закон: левая часть равна Варавна правой части. Аналогично доказывается левый дистрибутивный закон.
.
Доказательство. Вычислим сумму .
п.4. Гомоморфизмы и изоморфизмы колец.
Дано два кольца Ваи .
Определение. Гомоморфизмом кольца Вав кольце Ваназывается функция Ваи обладающая свойствами:
Другими словами, гомоморфизм колец тАУ это отображения, сохраняющие все операции кольца. Если - гомоморфизм кольца Вав , то - гомоморфизм абелевых групп Вав группу .
Теорема. Пусть Ваи - кольца и , обладающих свойствами:
Тогда - гомоморфизм колец.
Доказательство. Из свойства Ваявляется гомоморфизмом групп Ваи , поэтому Ваобладает свойствами: , , значит по определению - гомоморфизм колец.
Определение. Отображение Ваназывается изоморфизмом кольца Вана , если Ваобладает свойствами:
- гомоморфизм колец.
- биекция.
Другими словами: изоморфизм тАУ это гомоморфизм, являющийся биекцией.
Пусть - кольцо, , .
Определение. Множество - замкнуто относительно операции , если .
Множество - замкнуто относительно операции , если . Множество - замкнуто относительно операции , если .
Теорема. Пусть - кольцо, , , если - замкнуто относительно операции , то - кольцо, которое называется подкольцом, кольца .
Доказательство. - бинарные операции, - унарная операция, так как - замкнутое множество. Так как , то существует , так как - замкнуто относительно операции , то , значит - алгебра, так как аксиомы выполнены на , то они выполнены и на , потому алгебра - кольцо.
Теорема. Пусть - числовое кольцо с единицей 1, тогда оно содержит подкольцо целых чисел.
п.6. Аксиоматическое определение кольца целых чисел.
Алгебраическая система , где Вабинарные операции, - унарная операция, , , Ваназывается системой целых чисел, если выполнены три группы аксиом:
I. - кольцо.
Абелева группа
Аддитивная группа
II. Множество - замкнуто относительно операций Ваи алгебраическая система Ваявляется системой натуральных чисел (системой Пеано).
Для ,
Для ,
Для ,
Для ,
Для ,
Для ,
Аксиома индукции: пусть . Если множество Ваудовлетворяет условиям:
а)
б) , , то
III. Аксиома минимальности.
Если Ваи обладает свойствами:
а)
б) , то .
Теорема 1. О делении с остатком.
Ва| , где . Число Ваназывается делимым, - делителем, - частным, - остатком при делении Вана .
Доказательство. Докажем существование хотя бы одной пары чисел , . Для этого рассмотрим множество . Множество Васодержит как отрицательные, так и неотрицательные числа, пусть - наименьшее неотрицательное число в , тогда . Докажем, что , предположим противное . Рассмотрим число . Вапротиворечие с выбором . Доказано, что , . Докажем единственность чисел Ваи , пусть . , . Докажем, что , предположим противное . Пусть . Имеем Вапротиворечие, так как между числами Ванет чисел, делящихся на . Доказано, что , если , то , а отсюда следует, что . Доказана единственность чисел Ваи .
Е.Е. Маренич, А.С. Маренич. Вводный курс математики. Учебно-методическое пособие. 2002
В.Е. Маренич. Журнал ВлАргументВ». Задачи по теории групп.
Кострикин А.И. Введение в алгебру. Ч.1 Основы алгебры. тАУ М.: Физмат лит-ра, 2000
Кострикин А.И. Введение в алгебру. Ч.2 Основы алгебры. тАУ М.: Физмат лит-ра, 2000
Кострикин А.И. Введение в алгебру. Ч.3 Основные структуры алгебры. тАУ М.: Физмат лит-ра, 2000
Кострикин А.И. Сборник задач по алгебре. Изд. третье тАУ М.: Физмат лит-ра, 2001
Для подготовки данной работы были использованы материалы с сайта http://referat.ru/
Вместе с этим смотрят:
Актуальные проблемы квантовой механики
Волоконно-оптические датчики температуры на основе решеток показателя преломления
Время и пространство - идеалистические понятия