I.

АЛГЕБРАИЧЕСКИЕ СТРУКТУРЫ

Множества

Определение понятию «множество» не дают. Оно относится к первичным понятиям и

можно лишь дать некоторое описание, где указанное слово заменяется другим. Например,
так. Под множеством будем понимать собрание разных различимых сущностей,
называемых элементами множества, мыслимое как единое целое, в которое они (элементы)
объединены согласно некоторой идее. Обозначают множества, как правило, большими
латинскими буквами: А, В, С, …, а элементы этих множеств малыми латинскими или
греческими буквами. Тот факт, что «а» является элементом множества А принято
изображать как .
Определение 1.1. Если все элементы множества В являются одновременно и
элементами множества А, то В называется подмножеством А. Это изображается как
или . В последнем случае допускается совпадение множеств.
Определение 1.2. Множество, не содержащее ни одного элемента, называется пустым и
обозначается .
Если элемент (множество) не принадлежит множеству А, то это изображается,
например, так: ( ). Иногда черта отрицания ставится над знаком
принадлежности.
Определение 1.3. Два множества А и В называются равными, если состоят из одних и
тех же элементов. Пишут .
Лемма 1.1. Пусть А и В множества. Тогда , если и только если и .
Множества можно задавать самыми различными способами. Один из способов
заключается в использовании фигурных скобок. В общем виде это выглядит так:
.
Прочитать эту запись можно следующим образом: множество А состоит из тех элементов
множества Х, для которых выполняется свойство Р. При этом множество Х можно не
упоминать. Тогда лишь становится известным, как будут обозначаться элементы А.
Замечание. В связи с последними обозначениями следует различать записи и ибо
в первом случае множество не содержит элементов, а во втором имеем дело с множеством
из одного (!) элемента. Кстати, пустое множество считается подмножеством любого
множества.
В дальнейшем для сокращения записей будут использоваться некоторые логические
символы, именно:
квантор общности – читается «для всех», «для каждого»;
квантор существования – читается «существует хотя бы один», – «существует ровно
один»; символ читается «следует»; символ эквивалентности – читается «тогда и
только тогда», «необходимо и достаточно» и т.д.
символ конъюнкции – читается «и»;
символ дизъюнкции – читается «или» в не исключающем смысле;
символ отрицания – читается «не».
Для целого ряда числовых множеств имеются международные обозначения:
N – множество натуральных чисел;
N – множество натуральных чисел, пополненное нулем;
Z – множество целых чисел;
Q – множество рациональных чисел;
R – множество вещественных чисел;
С – множество комплексных чисел.
Иногда эти обозначения имеют дополнительные значки, как-то: Q – множество
положительных рациональных чисел. Для числового множества Р, содержащего нуль,
(см. ниже).
 2
Над множествами можно выполнять некоторые операции.
Определение 1.4. Пусть А и В множества. Тогда множество С, содержащее как
элементы множества А, так и элементы множества В и только их называется объединением
множеств А и В:
.
Определение 1.5. Пусть А и В множества. Тогда множество С, состоящее из тех
элементов множества А, которые входят во множество В и только их, называется
пересечением множеств А и В:
.
Легко видеть, что эти определения можно обобщить на более чем два множества.
Используются обозначения: и . Ну, а для указанных определений
выпишем почти очевидные свойства операций.
Лемма 1.2. Пусть А , В и С множества. Тогда
;
;
;
;
;
.
Доказательство. Приведем здесь в качестве примера доказательство пункта Пусть
. Тогда

. Таким образом, множества взаимно входят друг в друга.

Следовательно, они равны по лемме 1.1.
Определение 1.6. Пусть А и В множества. Тогда множество С, содержащее те элементы
множества А, которые не входят в В, и только их, называется разностью множеств А и В:
.
Легко указать многие свойства, связывающие указанные три операции. Но рассмотрим
еще одну важную конструкцию.
Определение 1.6. Пусть задано непустое множество А и некоторое непустое множество
его подмножеств Тогда совокупность подмножеств называется
разбиением множества А, если выполнены условия:
;
.
Пример 1.1. Пусть А Q. Тогда Q .

Пример 1.2. Пусть . Тогда .

Наконец еще одно определение.
Определение 1.7. Пусть , – непустые множества. Тогда множество А
называется декартовым произведением множеств , если
,
т.е. А – множество упорядоченных -местных наборов элементов множеств
. В случае, когда , то говорят о -той декартовой степени множества В:
. Наконец, если , то говорят о декартовом квадрате множества В: .
Пример 1.3. Пусть ,тогда
.
Пример 1.4. Пусть ,а . Тогда .

Бинарные отношения
 3

Определение 1.8. Бинарным отношением R на непустом множестве А называется

подмножество декартова квадрата множества А: .
Рассмотрим несколько примеров.
Пример 1.5. Пусть ,тогда 1) , 2) .
Пример 1.6. Пусть , тогда 1) ,
2) .
Бинарные отношения широко используются в математике, но среди всех выделим одно
специальное. Это т.н. «обобщенное равенство». Речь идет о равенстве элементов
некоторого множества в соответствии с неким присущим им свойством. Таким образом,
осуществляется отход от равенства тождественного. По данному свойству элементы
множества и объединяются в пары, составляющие бинарное отношение.
Определение 1.9. Бинарное отношение на множестве А называется отношением
эквивалентности, если выполнены следующие аксиомы, здесь :
1. , рефлексивность отношения;
2. Если , то , симметричность отношения;
3. Если и , то , транзитивность отношения.
Пример 1.7. Обычное тождественное равенство элементов.
Пример 1.8. Пусть А есть множество прямых на данной плоскости. В качестве отношения
выберем отношение параллельности.
Пример 1.9. Пусть А есть множество всевозможных треугольников на данной плоскости. В
качестве бинарного отношения выберем отношение подобия.
Пример 1.10. Пусть А есть множество вещественных чисел. Отношение эквивалентности
можно задать, сравнивая дробные части чисел.

Теорема 1.1 (критерий отношения эквивалентности).

Бинарное отношение на множестве А является отношением эквивалентности
тогда и только тогда, когда задает разбиение множества А.
Доказательство. Необходимость. Пусть – отношение эквивалентности на
множестве . Покажем, что отношение определяет разбиение . Пусть
. Тогда . Значит, . С другой стороны,
. Действительно, пусть . Тогда , что
. Следовательно, . Но тогда и по
транзитивности . А это значит, что . Таким же образом докажем, что и
. И тогда вновь по транзитивности отношения получим, что . Следовательно,
подмножества либо не пересекаются, либо совпадают. Значит, перед нами разбиение.
Достаточность. Пусть теперь есть разбиение множества . Тогда , где
подмножества , , попарно не пересекаются. Положим для произвольных
, что . Тогда, очевидно, выполняются все свойства
отношения эквивалентности, так как найдется свое подмножество .
Отображения

Введем фундаментальное понятие алгебры, да и всей математики. Речь пойдет об

отображении.
Определение 1.10. Пусть заданы произвольные непустые множества и .
Отображением из множества во множество называется закон, по которому
каждому элементу множества ставится в соответствие один элемент множества .
Обозначение: . Для отдельных элементов пишут: или
. Элемент называется образом элемента , а элемент называется прообразом
 4
элемента . Множества и называются соответственно областью определения и
областью значений отображения , а – законом соответствия.
Определение 1.11. Два отображения называются равными, если у них соответственно
совпадают области определения, области значений и законы соответствия.
Рассмотрим отображения специального вида.
Определение 1.12. Отображение из множества во множество
называется сюръективным, если каждый элемент служит образом при этом
отображении. В этом случае говорят о наложении множества на множество , или об
отображении на .
Пример 1.11. , , .
Пример 1.12. , , .
Определение 1.13. Отображение из множества во множество называется
инъективным, если каждый элемент имеет не более одного прообраза. Такое
отображение еще называют вложением в .
Пример 1.13. , , .
Пример 1.14. , , . Это отображение инъективным не является.
Определение 1.14. Сюръективное и инъективное отображение называется биективным,
или взаимно однозначным.
Пример 1.15. , , .
Пример 1.16. , , .
Определение 1.15. Отображение называется тождественным, если
.
Лемма 1.3. Тождественное отображение биективно.
Определение 1.16. Образом отображения называется множество
.
Лемма 1.4. Отображение сюръективно тогда и только тогда, когда .
При помощи специальной операции можно строить из одних отображений другие.
Определение 1.17. Пусть заданы отображения и . Тогда отображение
называется композицией отображений и , если
.
Очевидно, что композиция отображений существует не всегда. Поэтому заведомо
может не выполняться равенство . Но зато имеет место следующая
Лемма 1.5. Композиция отображений обладает свойством ассоциативности, т.е. если
соответствующие композиции существуют, то
.
Лемма 1.6. Композиция биективных отображений сама биективна.
Лемма 1.7. Пусть задано отображение . Тогда
, .
Пример 1.17. Пусть заданы отображения и , где , .
Тогда ,и .
Пример 1.18. Пусть заданы отображения и , где и
. Тогда и .
Определение 1.18. Пусть заданы два отображения и . Если выполнено
условие , то называется левым обратным к , а правым обратным к . Если
имеет место соотношение , то называется правым обратным к , а – левым
обратным к . Если выполнены оба условия, то называется обратным к , а обратным
к . Обозначения: , .
Лемма 1.8. Если обратное отображение к данному существует, то оно определено
однозначно.
 5

Теорема 1.2 (критерий обратимости отображения).

Отображение обратимо тогда и только тогда, когда оно биективно.
Доказательство. Необходимость. Пусть заданы отображения и .
Покажем, что f сюръективно и инъективно.
Сюръективность. От противного. Пусть f не сюръективно, тогда существует такой
элемент , который не служит образом никакого элемента из . Пусть и
найдем образ
.
Таким образом, приходим к противоречию о том, что не служит образом для элементов
из . Сюръективность установлена.
Инъективность. От противного. Пусть f не инъективно, тогда существуют такие
, , что . Применим к обеим частям равенства отображение
. Получим
.
Вновь имеем противоречие с неравенством . Инъективность доказана.
Следовательно, f – биективно.
Достаточность. Пусть теперь задано биективное отображение . Построим
отображение такое, что если для , то . В силу
сюръективности и инъективности f так определенное действительно является
отображением из в . Покажем, что . Для этого нужно проверить выполнимость
условий определения 1.18. Именно:
.
С другой стороны,
.
Таким образом, и обратимость f установлена. Теорема полностью доказана.
Пример 1.19. Пусть заданы , и . Тогда
.
Пример 1.20. Пусть заданы , и . Тогда .

Алгебраическая операция

Если учесть, что одной из целей алгебры есть изучение свойств алгебраических
операций в соответствующих структурах, то здесь подходим к этому важному понятию.
Для простоты будем говорить лишь о бинарных операциях.
Определение 1.19. Бинарной алгебраической операцией (БАО) на множестве А
называется отображение , т.е. отображение декартова квадрата множества А во
множество А.
Таким образом, , или в обычной записи .
Пример 1.21. , .
Пример 1 22. , .

Пример 1.23. , .

Определение 1.20. БАО на множестве А называется коммутативной, если

.
Легко видеть, что все вышеприведенные примеры задают коммутативные операции.
Определение 1.21. БАО на множестве А называется ассоциативной, если
 6
.
Можно проверить, что 1.21 и 1.23 дают примеры ассоциативных операций, а пример 1.22
не является таковой.
В силу того, что операция бинарная, т.е. может быть применена к паре элементов,
задача вычисления «длинных звездных произведений» оказывается в общем случае
неоднозначной. Но для ассоциативных операций справедлива

Теорема 1.3 (общий ассоциативный закон).

Пусть на множестве А задана ассоциативная БАО . Тогда значение выражения
не зависит от порядка расстановки скобок.
Доказательство. Применим индукцию по . Для теорема справедлива ввиду
ассоциативности операции . Это база индукции. Пусть для , где теорема
справедлива (индуктивное предположение). Докажем теорему для (шаг индукции).
Тогда предстоит показать, что в «звездном» произведении

результат не зависит от порядка расстановки скобок. При любом способе вычислений

последняя операция будет иметь вид:
, .
Поэтому каждый результат вида
,
должен совпадать с любой другой возможной комбинацией, например,
, .
Заметим, что во всех скобках число «сомножителей» не превосходит , т.е. «звездное»
произведение определено однозначно по индуктивному предположению. Теперь, если
обозначить
,
,
,
то легко видеть, что выполняется равенство . Что и требовалось.

К этой теореме примыкает еще один результат.

Теорема 1.4 (общий коммутативный закон).
Пусть на множестве А задана ассоциативная и коммутативная БАО . Тогда
значение выражения не зависит от порядка следования «звездных
сомножителей».

Эта теорема тоже легко доказывается индукцией по числу сомножителей.

БАО на конечном множестве можно задавать т.н. таблицей Кэли. Она представляет из
себя таблицу всевозможных результатов этой операции, которые помещены на
пересечении строки и столбца, в которых выписаны все элементы. Такую таблицу
возможно построить, если множество не очень велико, и тогда операция оказывается
обозримой во всей своей полноте. Для иллюстрации приведем небольшой пример.
Пример 1.24. Пусть ,и . Тогда

* 0 1 2 3

0 0 1 2 3

1 1 1 2 3

2 2 2 2 3

3 3 3 3 3
 7

Элемент, стоящий слева берется из левого столбца, а элемент справа – из верхней строки, а
результат читается на пересечении строки и столбца, где располагаются исходные
элементы. В указанном примере видно, что операция коммутативна, ибо таблица
симметрична относительно диагонали, идущей из левого верхнего угла в правый нижний.
Конечно, это легко заметить из условия задания операции, однако такое бывает не всегда
заметно, а таблица все расставляет на свои места.

Группы.

Начнем изучение алгебраических структур со структуры с одной БАО.

Определение 1.22. Пусть и – БАО на . Тогда пара называется группой,
если выполнены следующие аксиомы:
1. , т.е. операция ассоциативна;
2. , аксиома нейтрального элемента;
3. , аксиома симметричных элементов.
Если дополнительно БАО является коммутативной, то группа называется коммутативной,
или абелевой.
Замечание. На самом деле очень часто используют мультипликативную форму записи
операции, а также аддитивную, т.е. знак операции либо вовсе не пишут, либо заменяют на
знак «+». В таком случае нет нужды говорить о паре , а говорят просто о группе .
Нейтральный элемент в первом случае называют единицей и обозначают «1», а во втором
– нулем и обозначают «0». Симметричные элементы соответственно называются
обратными и противоположными . В дальнейшем, если не оговорено
противное, будем придерживаться мультипликативной форме записи как более простой.
Пример 1.25. – аддитивная группа целых чисел.
Пример 1.26. – мультипликативная группа вещественных чисел.
Пример 1.27. , БАО – умножение.
Пример 1.28. – множество векторов-направленных отрезков, БАО – сложение векторов
по правилу треугольника.
Пример 1.29. , 1) БАО: ;
2) . В последнем случае группы нет! Почему?
Пример 1 30. , . Таблица Кэли операции:

* 0 1 -1
0 0 0 0
1 0 1 -1
-1 0 -1 1
Этот пример тоже не задает группу. Почему?
Пример 1.31 Рассмотрим группу симметрий правильного треугольника.
C
A В
 8

Вращая треугольник против часовой стрелки вокруг его центра на углы величиной
,
получаем совмещение треугольника с самим собой. Такие повороты можно трактовать как
биективные отображения плоскости треугольника на себя. Множество Ф
таких отображений образует относительно операции композиция группу порядка 3.
Соответствующая таблица Кэли выглядит следующим образом:
Если дополнить множество Ф еще тремя отображениями плоскости,
определяемыми осевыми симметриями треугольника, то, как легко
выяснить, вновь получим таблицу Кэли групповой операции на
множестве из шести элементов. Именно, пусть – будут
соответственно отображениями относительно вертикальной медианы,
медианы, идущей из правого угла, и медианы, идущей из левого угла.
Тогда таблица Кэли для множества Ф такова:

Рассмотрим простейшие свойства групповой операции (в мультипликативной форме

записи).
1. Единица группы 1 определена однозначно.
2. Для каждого элемента а обратный к нему определен однозначно.
3. В любой группе однозначно разрешимы уравнения и .
4. .
5.
6. .
7. Если определить и , то справедливо
7а) ;
7б) .
8. Если определить , то .
Тогда следствия 7а) и 7б) справедливы для любых целых n и m.

Определение 1.23. Пусть – группа и . Тогда называется подгруппой

в , если образует группу относительно сужения операции, определенной в .
Пример 1 32. Сама группа и единичная подгруппа называются тривиальными
подгруппами.
Пример 1.33. Группа является подгруппой в ив .
Пример 1.34. Группа Ф является подгруппой в Ф в примере 1.31.
В теории групп принято зачастую изучать группы через совокупность их подгрупп.
 9
Теорема 1.5 (критерий подгруппы).
Для того, чтобы непустое подмножество группы было подгруппой в
необходимо и достаточно, чтобы .

Доказательство теоремы получается проверкой аксиом группы. В частности, выбирая

получим, что . А при находим, что . Наконец,
. А сама теорема представляет из себя экономный вариант
проверки на подгруппу.
Определение 1.24. Группа называется циклической, если , что
. Элемент называется образующим элементом группы (в
аддитивном случае пишем ). Обозначение: .
Пример 1.35. Группа – циклична. Образующим элементом будет 1 (или -1).
Пример 1.36. Группа Ф является циклической с образующим элементом (или ) .
Как видно из примеров, циклические группы могут быть конечными и бесконечными.
Определение 1.25. В случае конечного множества число элементов группы
называется ее порядком. В противном случае говорят о группе бесконечного порядка.
Обозначение: .
Лемма 1.9. Каждая подгруппа циклической группы сама циклична.
Доказательство. Будем использовать мультипликативную запись. Пусть –
циклическая группа с образующим элементом и – ее подгруппа, . Выберем в
элемент с наименьшим натуральным . Пусть теперь . Разделим число на
с остатком:

Тогда
.
Отсюда следует, что , значит, делится на и тогда – образующий элемент в .
Случай тривиален. Лемма доказана.
Для конечных циклических групп рассмотрим следующий результат.

Теорема 1.6.
Каждая конечная циклическая группа порядка может быть
представлена в виде: .
Доказательство. Обозначим множество из формулировки теоремы через . Тогда
очевидно, что . Покажем, что . Применим метод «от противного». Пусть
. Это может быть в одном случае, когда среди элементов есть одинаковые. Пусть
. Тогда . Таким образом, существует такое, что
. Пусть теперь – произвольный элемент группы . Разделим число на с
остатком:
.
Тогда
.
Учитывая, что , получаем, что вся группа исчерпывается числом элементов
меньшим . Это противоречит тому условию, что группа имеет порядок .
Противоречие доказывает теорему.
Следствие. .
Группа
 10
Определение 1.25. Пусть А – множество из элементов. Перестановкой длины
элементов множества А называется упорядоченный -местный набор его элементов.
Понятно, что раз речь идет о порядке следования элементов в наборе, то естественно
представлять перестановку длины в виде набора номеров элементов множества А, т.е. в
виде набора из первых чисел натурального ряда.
Лемма 1.10. Существует перестановок длины .
Определение 1.26. Перестановка вида называется естественным
порядком.
Определение 1.27. При заданном естественном порядке два элемента образуют
инверсию, если больший элемент стоит перед меньшим.
Пример 1.37. Перестановка длины 8 имеет 8 инверсий.
Определение 1.28. Перестановка называется четной, если содержит четное число
инверсий и нечетной в противном случае.
Определение 1.29. Перемена местами двух элементов перестановки называется их
транспозицией.
Лемма 1.11. Одна транспозиция меняет четность перестановки на противоположную.
Доказательство. Пусть сначала переставляемые элементы стоят рядом. Скажем, и
. Тогда, если они образовывали инверсию, то после перемены местами инверсия
исчезает и наоборот появляется, если таковой не было. Инверсии с остальными
элементами (если таковые имеются) в данном случае не затрагиваются. Поэтому общее
количество инверсий изменяется на единицу в ту или иную сторону. Следовательно,
меняется четность перестановки.
Если же переставляемые элементы при транспозиции не стоят рядом, скажем, и ,
, то воспользовавшись первой частью доказательства, будем переставлять элемент
на место , меняя его местами с рядом стоящими элементами. Всего придется сделать
транспозиций рядом стоящих элементов. Затем подобным образом переставим на место
элемент . В этом случае придется сделать транспозицию рядом стоящих
элементов. Таким образом, всего будет совершено транспозиция рядом стоящих
элементов, т.е. нечетное число. При этом всякий раз будет меняться четность
перестановки. В итоге, понятно, получаем перестановку противоположной четности с
исходной. Теорема доказана.
Лемма 1.12. Все перестановок длины можно расположить одну за другой так, что
каждая последующая получается из предыдущей одной транспозицией. Подобное
упорядочение может быть получено, начиная с любой перестановки.
Доказательство. Проведем доказательство индукцией по . Для теорема
очевидна. Пусть она справедлива для всех , и докажем ее для . Возьмем
произвольную перестановку длины . Пусть у нее на первом месте стоит элемент .
Рассмотрим подмножество всех перестановок длины , у которых на первом месте
также стоит . Таких перестановок, очевидно, будет .Все элементы этого
подмножества отличаются друг от друга перестановками длины . Поэтому оно может
быть упорядочено указанным в формулировке теоремы способом начиная с исходной.
Далее, после означенного упорядочения в последней перестановке совершим
транспозицию элементов и , и рассмотрим подмножество перестановок длины ,у
которых на первом месте стоит элемент . Его можно также упорядочить, как и первое,
сохраняя при этом элемент на первом месте. Таких перестановок также будет .
Действуя подобным образом, наконец, выведем на первое место элемент , совершив в
последней перестановке предыдущего подмножества из перестановок транспозицию
первого элемента с оставшимся . В итоге получается требуемое расположение
перестановок, когда каждая, начиная со второй, получается из предыдущей одной
транспозицией. Надо лишь убедиться, что все перестановок длины
перебраны. Действительно, все перестановки попарно различны, как внутри каждого
 11
подмножества, так и между подмножествами, ибо начинаются с попарно различных
перестановок. С другой стороны, подмножеств содержит по элементов. Значит,
всего Теорема доказана.
Следствие. Существуют ровно четных и нечетных перестановок длины
.
Определение 1.30. Подстановкой степени называется отображение -элементного
множества на себя.
Естественно, что в качестве множества удобно взять начальный отрезок натурального
ряда. При этом легко видеть, что сюръекция на конечном множестве является биекцией.
Поэтому каждую подстановку степени можно представить в виде отображения одной
перестановки длины на другую. Именно:

, где , .

Эта общая запись часто заменяется на другую, где верхняя или нижняя перестановки
представляют естественный порядок:
.
Отсюда видно, что существует ровно подстановок степени . Для подстановок тоже
вводят понятие четности.
Определение 1.31. Подстановка называется четной, если составляющие ее
перестановки имеют одинаковую четность и нечетной в противном случае.
Понятно, что четность не зависит от способа записи подстановки, ибо при
упорядочении верхней или нижней перестановки приходится совершать транспозиции
столбцов. Поэтому четность меняется как вверху, так и внизу на противоположную. Но
тогда по следствию из леммы 1.12 существует ровно четных и нечетных
подстановок степени , .
Определим на множестве подстановок степени , которое обозначим как , операцию
композиции . Тогда оказывается справедливой следующая

Теорема 1.7.
Пара представляет группу порядка . При группа некоммутативная.
Доказательство. Очевидно, что операция есть ассоциативная БАО на множестве
подстановок множества . Далее, тождественное отображение есть единица
группы по лемме 1.7. Наконец, ввиду того, что каждая подстановка суть биекция
, то существует обратное отображение такое что
. Некоммутативность для случая усматривается непосредственно.
Группа называется симметрической группой подстановок степени .

Обозначим через множество четных подстановок степени .

Задача 1.1. Показать, что пара представляет группу четных подстановок,
подгруппу в (знакопеременная группа).

Кольца

Рассмотрим теперь алгебраические структуры с двумя БАО.

Определение 1.32. Пусть , « » и « » – две БАО на . Тогда тройка
называется кольцом, если выполнены следующие группы аксиом:
1. – абелева группа;
2. и .
 12
Замечание 1. Как правило, в кольцах групповая операция называется сложением и
обозначается «+», а вторая операция называется умножением. Поэтому вместо тройки
говорят о кольце . Группа называется аддитивной группой кольца, на
которую переносятся все термины общей аддитивной группы.
Замечание 2. Если вторая операция ассоциативна, то говорят об ассоциативном
кольце; если вторая операция ассоциативна и коммутативна – то о коммутативном кольце;
если по второй операции существует нейтральный элемент – то о кольце с единицей.
Определение 1.33. Два ненулевых элемента кольца, произведение которых равно нулю
(нейтральному элементу по сложению), называются делителями нуля в этом кольце.
Определение 1.34. Коммутативное кольцо с единицей без делителей нуля
называется целостным кольцом.
Пример 1.38. Кольцами являются и . Это целостные кольца.
Пример 1.39. Пусть . Это целостное кольцо относительно
сложения и умножения вещественных чисел. Его обозначают как .
Пример 1.40. Пусть и заданы операции на : . Тогда будет
кольцом. Кстати, вместо а можно взять число 0.
Пример 1.41. Пусть – аддитивная абелева группа. Определим операцию умножения
на следующим образом: . Получим кольцо. Какое?
Пример 1.42. Пусть есть множество непрерывных вещественных функций,
определенных на отрезке . Обозначим его через . Тогда относительно
поточечного сложения и умножения получаем коммутативное кольцо с единицей и
делителями нуля. Делители нуля можно легко задать следующим образом:
и
Из условий на функции видно, что , при том, что и .
Рассмотрим простейшие следствия из аксиом кольца.
1. ;
2. ;
3. , если кольцо имеет единицу 1;
4. . Здесь разность трактуется как ;
5. .
Если кольцо не имеет делителей нуля, то справедливы законы сокращения на ненулевой
множитель:
6. ;
7. .
Определение 1.35. Пусть – кольцо и , . Тогда называется подкольцом в
, если само образует кольцо относительно сужения операций определенных на .
Пример 1.43. .
Пример 1.44. – нулевое (тривиальное) подкольцо. Тривиальным назовем также
случай .
Пример 1.45. Пусть , –подкольцо в .
Пример 1.46. Пусть , тогда – подкольцо в .

Теорема 1.8. (критерий подкольца)

Непустое подмножество кольца является его подкольцом тогда и только тогда,
когда
1) ;
2) .
Доказательство. Можно использовать теорему 1.5 или просто проверить
выполнимость аксиом кольца.
 13
Определение 1.36. Пусть – коммутативное кольцо. Подкольцо называется
идеалом кольца , если оно замкнуто по умножению на элементы кольца, т.е.
.
Тривиальными идеалами, очевидно, будут само и . Но можно привести менее
очевидные примеры:
Пример 1.47. Подкольца из примеров 1.45, 1.46.
Пример 1.48. Пусть – коммутативное кольцо и , тогда наименьшим идеалом в ,
содержащим а, является .
Пример 1.49. Пусть – коммутативное кольцо и , тогда идеалом будет подкольцо
. Если кольцо имеет единицу, то примеры 1.48 и 1.49
совпадают.
Определение 1.37. Пусть – коммутативное кольцо и идеал в кольце, тогда
называется главным идеалом в , если в существует такой элемент а, что .
При этом а называется порождающим элементом идеала.
Определение 1.38. Целостное кольцо, в котором каждый идеал является главным,
называется кольцом главных идеалов.
Лемма 1.13. Кольцо – кольцо главных идеалов.
Доказательство. Пусть – произвольный идеал в и . Пусть а – наименьший
положительный элемент в . Тогда для любого элемента имеем по теореме о делении
с остатком, что , где . Отсюда , что противоречит выбору а,
если . Значит, и, следовательно, с некоторым . Тогда ясно, что
, т.е. главный идеал.
Следствие. Все идеалы кольца исчерпываются кольцами вида
.
Определение 1.39. Целостное кольцо, в котором каждый ненулевой элемент имеет
обратный, называется полем.
Это определение можно эквивалентным образом переформулировать.
Определение 1.40. Пусть Р – множество, содержащее по крайней мере два элемента, с
определенными на нем БАО сложения и умножения. Тогда тройка называется
полем, если выполнены следующие группы аксиом:
1. ( P,  ) – абелева группа;
2. – абелева группа;
3. .
Задача 1.2. Доказать эквивалентность определений поля.
Пример 1.50. Полями являются множества , (обратите внимание на изменение
обозначения), относительно обычных операций сложения и умножения чисел. Легко
видеть, что ненулевые элементы из обратимы. Действительно, для
имеем
.
Более сложные поля будут обсуждаться позже.
Определение 1.41. Непустое подмножество поля называется его подполем, если
само является полем относительно сужения операций, определенных на . Само в этом
случае называется расширением поля .
Пример 1.51. .
Лемма 1.14. В любом поле справедлив закон сокращения на общий ненулевой
множитель.
Доказательство состоит в том, что поле есть кольцо без делителей нуля.
Определение 1.42. Характеристикой поля Р называется наименьшее натуральное
число такое, что , если такое существует. В противном случае характеристику
поля считают равной нулю. Обозначение: .
 14

Замечание. Напомним, что . Нулевую характеристику имеют все

числовые поля и многие с ними связанные. Положительную характеристику имеют, в
частности, конечные поля.
Определение 1.43. Пусть даны два поля и . Поле называется изоморфным полю
, если существует биекция такая, что для любых выполняются условия:
1. ;
2. .
Само отображение при этом называется изоморфизмом полей. Обозначение: .
Легко усмотреть некоторые свойства изоморфизма.
1. ;
2. ;
3. ;
4. ;
5. Образ подполя в поле есть подполе в поле .
Этот список может быть продолжен. В целом изоморфизм означает, что изоморфные поля
по своим алгебраическим свойствам, т.е., по свойствам, связанным с алгебраическими
операциями, ничем друг от друга не отличаются. Основное отличие зачастую состоит в
разной природе элементов множеств и . Подытожим еще сказанное полезной леммой.
Лемма 1.15. Бинарное отношение изоморфизма на множестве всех полей есть
отношение эквивалентности.
Доказательство. Очевидно, что . Докажем, что из следует , т.е.,
симметричность отношения. В качестве кандидата на такой изоморфизм естественно взять
отображение, обратное к , т.е., . Оно, очевидно, является биекцией .
Остается проверить выполнимость, так называемых, условий согласования операций.
Именно: для любых , должно выполняться
1. ;
2. .
Так как доказательство в обоих случаях проводится одинаково, то остановимся на
проверке первого условия. Вычислим значения левой и правой частей равенства под
воздействием изоморфизма .
;

Как видно, образы равны, значит, равны и прообразы.

Доказательство транзитивности оставляем студентам.
Эта лемма выстраивает разбиение всех полей на попарно непересекающиеся классы
изоморфных между собой. Поэтому появляется смысл изучать поля «с точностью до
изоморфизма», что предполагает наличие некоторой модели соответствующего класса.
Пример 1.52. Изоморфными полями будут и поле при
изоморфизме . На самом деле это т.н. автоморфизм, т.е. отображение
на себя. Ибо указанные поля, очевидно, совпадают.
В завершение рассмотрим в произвольном поле действия с дробями. Обозначим через
для . Тогда, имея в виду правила действия с показателями в группе, легко
получить правила действия с дробями:
1) для ;

2) для ;
 15

3) для .