Дискуссионный математический форумМатематический форум
Математический форум Math Help Planet

Обсуждение и решение задач по математике, физике, химии, экономике

Теоретический раздел
Часовой пояс: UTC + 3 часа [ Летнее время ]
новый онлайн-сервис
число, сумма и дата прописью

Часовой пояс: UTC + 3 часа [ Летнее время ]


Кольца, тела, поля

Кольца, тела, поля


Определение 2.5. Кольцом называют алгебру \mathcal{R}= (\mathbb{R},+, \cdot, \bold{0}, \bold{1}) сигнатура которой состоит из двух бинарных и двух нульарных операций, причем для любых a,b,c\in\mathbb{R} выполняются равенства:


1) a+(b+c)=(a+b)+c;
2) a+b=b+a;
3) a+\bold{0}=a;
4) для каждого a\in R существует элемент a', такой, что a+a'=\bold{0};
5) a\cdot (b\cdot c)=(a\cdot b)\cdot c;
6) a\cdot\bold{1}= \bold{1}\cdot a=a;
7) a\cdot (b+c)= a\cdot b+a\cdot c,~ (b+c)\cdot a=b\cdot a+c\cdot a.

Операцию {}+ называют сложением кольца, операцию умножением кольца, элемент \bold{0} — нулем кольца, элемент \bold{1} — единицей кольца.


Равенства 1–7, указанные в определении, называют аксиомами кольца. Рассмотрим эти равенства с точки зрения понятия группы и моноида.


Аксиомы кольца 1-4 означают, что алгебра (\mathbb{R},+,\bold{0}), сигнатура которой состоит только из операций сложения кольца {}+ и нуля кольца \bold{0}, является абелевой группой. Эту группу называют аддитивной группой кольца \mathcal{R} и говорят также, что по сложению кольцо есть коммутативная (абелева) группа.


Аксиомы кольца 5 и 6 показывают, что алгебра (\mathbb{R},\cdot, \bold{1}), сигнатура которой включает только умножение кольца \cdot и единицу кольца \bold{1}, есть моноид. Этот моноид называют мультипликативным моноидом кольца \mathcal{R} и говорят, что по умножению кольцо есть моноид.


Связь между сложением кольца и умножением кольца устанавливает аксиома 7, согласно которой операция умножения дистрибутивна относительно операции сложения.


Учитывая сказанное выше, отметим, что кольцо — это алгебра с двумя бинарными и двумя нульарными операциями \mathcal{R}=(\mathbb{R}, +, \cdot, \bold{0}, \bold{1}), такая, что:


1) алгебра (\mathbb{R},+, \bold{0}) — коммутативная группа;
2) алгебра (\mathbb{R},\cdot, \bold{1}) — моноид;
3) операция \cdot (умножения кольца) дистрибутивна относительно операции {}+ (сложения кольца).

Замечание 2.2. В литературе встречается иной состав аксиом кольца, относящихся к умножению. Так, могут отсутствовать аксиома 6 (в кольце нет 1) и аксиома 5 (умножение не ассоциативно). В этом случае выделяют ассоциативные кольца (к аксиомам кольца добавляют требование ассоциативности умножения) и кольца с единицей. В последнем случае добавляются требования ассоциативности умножения и существования единицы.


Определение 2.6. Кольцо называют коммутативным, если его операция умножения коммутативна.


Пример 2.12. а. Алгебра (\mathbb{Z},+\cdot,0,1) есть коммутативное кольцо. Отметим, что алгебра (\mathbb{N}_0,+,\cdot,0,1) кольцом не будет, поскольку (\mathbb{N}_0,+) — коммутативный моноид, но не группа.


б. Рассмотрим алгебру \mathbb{Z}_k=\bigl(\{0,1,\ldots,k-1\}, \oplus_k, \odot_k, 0,1\bigr) с операцией \oplus_k сложения по модулю k и \odot_k (умножения по модулю k). Последняя аналогична операции сложения по модулю k\colon\, m\odot_{k}n равно остатку от деления на k числа m\cdot n. Эта алгебра есть коммутативное кольцо, которое называют кольцом вычетов по модулю k.


в. Алгебра (2^A,\triangle,\cap,\varnothing,A) — коммутативное кольцо, что следует из свойств пересечения и симметрической разности множеств.


г. Пример некоммутативного кольца дает множество всех квадратных матриц фиксированного порядка с операциями сложения и умножения матриц. Единицей этого кольца является единичная матрица, а нулем — нулевая.


д. Пусть \mathcal{L} — линейное пространство. Рассмотрим множество всех линейных операторов, действующих в этом пространстве.


Напомним, что суммой двух линейных операторов \boldsymbol{A} и \boldsymbol{B} называют оператор \boldsymbol{A}+ \boldsymbol{B}, такой, что


(\boldsymbol{A}+\boldsymbol{B})\boldsymbol{x}= \boldsymbol{A}\boldsymbol{x}+ \boldsymbol{B}\boldsymbol{x}\,,\quad \boldsymbol{x}\in \mathcal{L}\,.

Произведением линейных операторов \boldsymbol{A} и \boldsymbol{B} называют линейный оператор \boldsymbol{AB}, такой, что (\boldsymbol{AB})\boldsymbol{x}= \boldsymbol{A}(\boldsymbol{BX}) для любого \boldsymbol{x}\in \mathcal{L}.


Используя свойства указанных операций над линейными операторами, можно показать, что множество всех линейных операторов, действующих в пространстве \mathcal{L}, вместе с операциями сложения и умножения операторов образует кольцо. Нулем этого кольца служит нулевой оператор, а единицей — тождественный оператор.


Это кольцо называют кольцом линейных операторов в линейном пространстве \mathcal{L}.




Основные аксиомы и тождества кольца


Аксиомы кольца называют также основными тождествами кольца. Тождество кольца — это равенство, справедливость которого сохраняется при подстановке вместо фигурирующих в нем переменных любых элементов кольца. Основные тождества постулируются, и из них затем могут быть выведены как следствия другие тождества. Рассмотрим некоторые из них.


Напомним, что аддитивная группа кольца коммутативна и в ней определена операция вычитания.


Теорема 2.8. В любом кольце выполняются следующие тождества:


1) \bold{0}\cdot a=a\cdot\bold{0}=\bold{0};
2) (-a)\cdot b=-(a\cdot b)=a\cdot (-b);
3) (a-b)\cdot c= a\cdot c-b\cdot c,~~ c\cdot (a-b)= c\cdot a-c\cdot b.

Докажем тождество \bold{0}\cdot a=\bold{0}. Запишем для произвольного а:


a+\bold{0}\cdot a= \bold{1}\cdot a+\bold{0}\cdot a= (\bold{1}+\bold{0})\cdot a= \bold{1}\cdot a=a\,.

Итак, a+\bold{0}\cdot a=a. Последнее равенство можно рассматривать как уравнение в аддитивной группе кольца относительно неизвестного элемента \bold{0}\cdot a. Так как в аддитивной группе любое уравнение вида a+x=b имеет единственное решение x=b-a, то \bold{0}\cdot a=a-a=\bold{0}. Тождество a\cdot \bold{0}= \bold{0} доказывается аналогично.


Докажем теперь тождество -(a\cdot b)=a\cdot (-b). Имеем


a\cdot (-b)+a\cdot b= a\cdot \bigl((-b)+b\bigr)= a\cdot\bold{0}= \bold{0}\,.

откуда a\cdot(-b)=-(a\cdot b). Точно так же можно доказать, что (-a)\cdot b=-(a\cdot b).


Докажем третью пару тождеств. Рассмотрим первое из них. С учетом доказанного выше имеем


a\cdot (b-c)= a\cdot \bigl(b+(-c)\bigr)= a\cdot b+a\cdot (-c)= a\cdot b-a\cdot c\,,

т.е. тождество справедливо. Второе тождество этой пары доказывается аналогично.

Следствие 2.1. В любом кольце справедливо тождество (-\bold{1})\cdot x= x\cdot(-\bold{1})=-x.


Указанное следствие вытекает из второго тождества теоремы 2.8 при a=\bold{1} и b=x.


Первые два тождества из доказанных в теореме 2.8 выражают свойство, называемое аннулирующим свойством нуля в кольце. Третья же пара тождеств указанной теоремы выражает свойство дистрибутивности операции умножения кольца относительно операции вычитания. Таким образом, производя вычисления в любом кольце, можно раскрывать скобки и менять знаки так же, как и при сложении, вычитании и умножении действительных чисел.




Кольца и делители нуля


Ненулевые элементы a и b кольца \mathbb{R} называют делителями нуля, если a\cdot b=\bold{0} или b\cdot a=\bold{0}. Пример кольца с делителем нуля дает любое кольцо вычетов по модулю k, если k — составное число. В этом случае произведение по модулю k любых m и n, дающих при обычном перемножении число, кратное k, будет равно нулю. Например, в кольце вычетов по модулю 6 элементы 2 и 3 являются делителями нуля, поскольку 2\odot_{6}3=0. Другой пример дает кольцо квадратных матриц фиксированного порядка (не меньшего двух). Например, для матриц второго порядка имеем


\begin{pmatrix}0&a\\ 0&0 \end{pmatrix}\!\cdot\! \begin{pmatrix}0&b\\ 0&0 \end{pmatrix}= \begin{pmatrix}0&0\\ 0&0\end{pmatrix}\!.

При отличных от нуля a и b приведенные матрицы являются делителями нуля.


По умножению кольцо является только моноидом. Поставим вопрос: в каких случаях кольцо по умножению будет группой? Прежде всего заметим, что множество всех элементов кольца, в котором \bold{0}\ne\bold{1}, не может образовывать группы по умножению, так как нуль не может иметь обратного. Действительно, если предположить, что такой элемент \bold{0}' существует, то, с одной стороны, \bold{0}\cdot\bold{0}'= \bold{0}'\cdot \bold{0}= \bold{1}, а с другой — \bold{0}\cdot \bold{0}'= \bold{0}'\cdot \bold{0}= \bold{0}, откуда \bold{0}=\bold{1}. Это противоречит условию \bold{0}\ne\bold{1}. Таким образом, поставленный выше вопрос можно уточнить так: в каких случаях множество всех ненулевых элементов кольца образует группу по умножению?


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


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


Поле есть алгебра \mathcal{F}= (F,+, \cdot, \bold{0}, \bold{1}), сигнатура которой состоит из двух бинарных и двух нульарных операций, причем справедливы тождества:


1) a+(b+c)=(a+b)+c;
2) a+b=b+a;
3) a+\bold{0}=a;
4) для каждого a\in F существует элемент (-a), такой, что a+(-a)=\bold{0};
5) a\cdot (b\cdot c)=(a\cdot b)\cdot c;
6) a\cdot b=b\cdot a;
7) a\cdot\bold{1}= \bold{1}\cdot a=a;
8) для каждого a\in F, отличного от \bold{0}, существует элемент a^{-1}, такой, что a\cdot a^{-1}=\bold{1};
9) a\cdot (b+c)=a\cdot b+a\cdot c.

Пример 2.13. а. Алгебра (\mathbb{Q},+,\cdot,0,1) есть поле, называемое полем рациональных чисел.


б. Алгебры (\mathbb{R},+,\cdot,0,1) и (\mathbb{C},+,\cdot,0,1) есть поля, называемые полями действительных и комплексных чисел соответственно.


в. Примером тела, не являющегося полем, может служить алгебра кватернион.


Итак, мы видим, что известным законам сложения и умножения чисел соответствуют аксиомы поля. Занимаясь числовыми расчетами, мы "работаем в полях", а именно имеем дело преимущественно с полями рациональных и вещественных чисел, иногда "переселяемся" в поле комплексных чисел.

Математический форум (помощь с решением задач, обсуждение вопросов по математике).
Кнопка "Поделиться"
Если заметили ошибку, опечатку или есть предложения, напишите в комментариях.

Часовой пояс: UTC + 3 часа [ Летнее время ]


Яндекс.Метрика

Copyright © 2010-2023 MathHelpPlanet.com. All rights reserved