Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Dokument.rtf
Скачиваний:
0
Добавлен:
01.07.2025
Размер:
16.58 Mб
Скачать

12. Кольцо. Примеры колец. Мультипликативное свойство нуля. Правило знаков при умножении. Дистрибутивность при вычитании. Лемма о сокращении.

Кольцом называется непустое множество K, на котором заданы две бинарные алгебраические операции, называемые сложением и умножением, причем относительно сложения K является абелевой группой (аддитивная группа кольца) и операции связаны законами дистрибутивности, т. е. для любых a, b, c из K 1) (a + b)c = ac + bc; 2) a(b + c) = ab + ac.

Примеры колец: 1) Числовые кольца Z, Q, R, C + и * -ассоц. и коммут. с единицей. Кольца Q, R, C являются полями. Множество N кольцом не является. 2) Кольцо nZ целых чисел, кратных заданному числу n, + и *. Оно ассоц. и коммут., при n ≥ 2 - без единицы. 3) Кольцо Zn вычетов по модулю n - коммут. и ассоц., обладает единицей.

Утв.: Мультипликативные свойства нуля. Для любых элементов a, b, c кольца K верно a0 = 0a = 0.

Док-во: Имеем aa + a0 = a(a + 0) = aa, откуда получаем, что

a0 = aa − aa = 0. Аналогично показывается, что 0a = 0.

Утв.: «Правило знаков» при умножении. Для любых элементов a, b, c кольца K верно (−a)b = a(−b) = −(ab); (−a)(−b) = ab.

Док-во: Докажем, например, что (−a)b = −(ab). Остальные свойства доказываются аналогично. Имеем ab + (−a)b = (a−a)b = 0b = 0, т. е. (−a)b противоположен элементу ab.

Утв.: Дистрибутивность при вычитании. Для любых элементов a, b, c кольца K верно (a−b)c = ac−bc; a(b−c) = ab−ac.

Док-во: Имеем (a − b)c = (a + (−b))c = ac + (−b)c = ac + (−bc) = ac − bc. Второе равенство доказывается аналогично.

Утв.: Лемма о сокращении. Пусть кольцо K не содержит делителей нуля. Если a, b, c — элементы кольца K, причем a<>0, то из каждого условия: ab = ac и ba = ca следует b = c.

Док-во. Если ab = ac, то a(b − c) = 0. Так как в кольце K нет делителей нуля и a<>0, то b − c = 0, откуда b = c. Если ba = ca, то рассуждения аналогичны.

13. Поле. Примеры числовых полей. Делители нуля в поле.

Кольцо F называется полем, если множество его ненулевых элементов, F \ {0}, непусто и образует абелеву группу. Эта группа называется мультипликативной группой поля. Из определения следует, что любое поле содержит по крайней мере 2 элемента: 0 и 1. Если F — поле и F′ ⊆ F, причем F′ само является полем относительно тех же операций сложения и умножения, тогда F′ называется подполем поля F.

Примеры: Числовые кольца Q, R, C с обычными операциями сложения и умножения являются полями. Кольцо Z полем не является.

Утв.: Поле не имеет делителей нуля.

Док-во: Пусть поле F обладает делителями нуля, т. е. ab = 0 для некоторого a <> 0 и некоторого b <> 0. Таким образом, F \ {0} не замкнуто относительно операции умножения, следовательно, не образует группу, т. е. F полем не является.

14. Кольцо вычетов. Необходимое и достаточное условие, при котором кольцо вычетов является полем.

15. Изоморфизм групп, колец и полей.

Пусть G — группа с операцией º, а G′ — группа с операцией ∗. Взаимно однозначное соответствие ϕ : G → G′ называется изоморфизмом, если для любых a и b из G ϕ(a º b) = ϕ(a) ∗ ϕ(b), т. е. результату операции с элементами группы G соответствует результат операции с образами этих элементов. Описанное выше свойство, выполненное для всех элементов a и b из G, называется свойством сохранения операции. Если между группами G и G′ существует изоморфизм, то группы называются изоморфными.

Изоморфизм из G на G (изоморфизм на себя) называется автоморфизмом.

Аналогично понятию изоморфизма групп вводится понятие изоморфизма колец и изоморфизма полей, но свойство сохранения нужно потребовать от обеих операций: сложения и умножения.

Пусть K — кольцо (в частности, поле) с операцией сложения + и операцией умножения ·, а K′ — кольцо (в частности, поле) с операцией сложения ⊕ и операцией умножения ⊙. Взаимно однозначное соответствие ϕ : K → K′ называется изоморфизмом, если для любых a и b из K

Если между кольцами (полями) K и K′ существует изоморфизм, то они называются изоморфными.