Теория колец
Множества с двумя алгебраическими операциями. Кольца и поля.
Пусть на множестве R определены две алгебраические операции, которые мы будем называть сложением и умножением и обозначать соответственно + и *. Говорят, что умножение обладает свойством (правой) дистрибутивности относительно сложения, если
. (1)
Аналогично определяется свойство левой дистрибутивности. Разумеется, если операция умножения коммутативна, эти свойства равнозначны. В общем случае говоря о свойстве дистрибутивности мы будем подразумевать двустороннюю дистрибутивность. Предположим, что операция ’ + ’ на R имеет нейтральный элемент, обозначаемый 0. Положив в равенстве (1) y = z = 0 , получим: x*0 = x*0 + x*0, откуда, при наличии свойства сокращения для операции ’ + ’ , получаем, что x*0 = 0 . Если для элемента y имеется противоположный элемент ( -y ), то взяв в том же равенстве z = -y , получим: 0 = x*0 = x*y + x*(-y) и, значит, x*(-y) = -x*y .
Определение.
Множество с двумя алгебраическими операциями R(+,*) называется кольцом , если
Дополнительные свойства операции умножения отмечаются с помощью соответствующих прилагательных перед словом кольцо. Так
ассоциативное кольцо
- это кольцо, в котором операция умножения обладает свойством ассоциативности. Аналогичный смысл имеет термин
коммутативное кольцо
. Наличие нейтрального элемента для операции умножения выражают термином
кольцо с единицей
( этот нейтральный элемент называют единицей и обозначают
или просто
e
); При этом дополнительно предполагается, что кроме свойств 1 и 2 выполнено
Элементы такого кольца
R
, имеющие
обратные относительно операции умножения, называются
обратимыми
, а их множество обозначается через
. Отметим, что для ассоциативного кольца с единицей множество
является группой по умножению, называемой мультипликативной группой кольца
R.
Поскольку в кольце
R
с единицей
x*0 = 0
e
, элемент 0 из
R
необратим. В случае ассоциативного кольца не будет обратим и такой элемент
y
0, для которого можно найти такое
z
0, что
y*z = 0
. Такой элемент
y
называется (левым)
делителем нуля.
Определение.
Полем
называется такое ассоциативное коммутативное кольцо с единицей
k
, в котором всякий ненулевой элемент обратим
:
.
Таким образом, по определению в поле отсутствуют делители нуля.
Примеры колец и полей.
Определение.
Подмножество
называется
подкольцом
, если оно является кольцом относительно тех же операций, которые определены в
R
.
Это означает, что К является подгруппой аддитивной группы
R
и замкнуто относительно умножения:
. Отметим, что если
R
обладает свойством ассоциативности , коммутативности или отсутствием делителей нуля, то и К обладает теми же свойствами. В то же время, подкольцо кольца с единицей может не иметь единицы. Например, подкольцо четных чисел
2Z
Z
не имеет единицы. Более того, может случиться, что и
R
и
K
имеют единицы, но они не равны друг другу. Так будет, например, для подкольца
, состоящего из матриц с нулевой последней строкой и последним столбцом;
=
diag(1,1,...,1,0)
=diag(1,1,...,1)
.
Определение.
Гомоморфизмом колец
называется отображение, сохраняющее обе кольцевые операции:
и
.
Изоморфизм
- это взаимно однозначный гомоморфизм.
Ядро гомоморфизма
- это ядро группового гомоморфизма аддитивных групп
, то есть множество всех элементов из
R
, которые отображаются в
.
Пусть снова
- некоторое подкольцо. Поскольку (К,+) - подгруппа коммутативной группы
(R,+)
, можно образовать факторгруппу
R/K
, элементами которой являются смежные классы
r+K
. Поскольку К*К
К, для произведения двух смежных классов имеет место включение: (
r+K)*(s+K)
r*s+r*K+K*s+K.
Определение.
Подкольцо К называется
идеалом
кольца
R
, если
:
x*K
K
и
K*y
K
.
Мы видим, что если К является идеалом в R , произведение смежных классов ( r+K)*(s+K) содержится в смежном классе r*s+K . Значит в факторгруппе R/K определена операция умножения, превращающая ее в кольцо, называемое факторкольцом кольца R по идеалу К.
Примеры.
Замечание.
Свойства ассоциативности, коммутативности и наличия единицы очевидно сохраняются при переходе к факторкольцу. Напротив, отсутствие в R делителей нуля еще не гарантирует их отсутствие в факторкольце (см. пример 1).
Теорема об ядре.
Ядро гомоморфизма колец является идеалом.
Доказательство.
Пусть
- гомоморфизм колец,
I =Ker
,
- любой элемент. Тогда,
(
x*I) =
(x)*
(I) =
(x)*0 =0
. Значит,
x*I
Ker
=I
. Аналогично проверяется, что
I*x
I
.
Теорема о гомоморфизме для колец .
Пусть
- сюръективный гомоморфизм колец. Тогда
S
изоморфно факторкольцу
R/Ker
. Если эти изоморфные кольца отождествить, то
отождествляется с естественным гомоморфизмом кольца
R
на свое факторкольцо.
Доказательство этой теоремы аналогично доказательству соответствующей теоремы для групп и мы его опускаем.
Пример.
Пусть
K -
кольцо многочленов
R
[x]
,
: K
C -
гомоморфизм, сопоставляющий каждому многочлену
p
его значение в точке
i :
(p) =p(i)
. Ядро этого гомоморфизма составляют многочлены, представимые в виде: (
+1)*
q(x)
, где
q -
любой многочлен. Можно записать:
Ker
=
(
+1). По теореме о гомоморфизме
.
Кольцо многочленов над полем.
Кольцо многочленов над полем (в отличие от случая многочленов над кольцом) обладает рядом специфических свойств, близких к свойствам кольца целых чисел Z .
Хорошо известный для многочленов над полем R
способ деления “ углом ” использует только арифметические действия над коэффициентами и потому применим к многочленам над любым полем k . Он дает возможность для двух ненулевых многочленов p,sОпределение.
Общим наибольшим делителем ненулевых многочленов p и s называется такой унитарный многочлен ОНД( p, s) , что
По определению, для ненулевого многочлена р со старшим коэффициентом а ОНД (р, 0) = ОНД (0, р) = р/а; ОНД (0, 0)=0.
Аналогично определяется ОНД любого числа многочленов.
Единственность ОНД двух многочленов непосредственно вытекает из определения. Существование его следует из следующего утверждения.
Основная теорема теории делимости ( для многочленов).
Для любых двух ненулевых многочленов p и q над полем k можно найти такие многочлены u и v над тем же полем, что ОНД( p, q)= u*p+v*q .
Доказательство этой теоремы очень похоже на приведенное в лекции доказательство аналогичной теоремы над Z . Все же наметим основные его шаги.
Выберем такие многочлены
u
и
v
чтобы сумма
w= u*p+v*q
имела возможно меньшую степень( но была ненулевой!).
Можно при этом считать
w
унитарным многочленом. Проверим, что
w | p
.
Выполняя деление с остатком, получаем:
p= s*w+r
. Подставляя это равенство в исходное, находим:
r
=
p
- s*w
=p
- s*(u*p+v*q) = (1-s*u)*p+(-s*v)q
=
U*p + V*q
. Если при этом
r
0
,
то
deg(r )<deg(w)
, что противоречит выбору
w
. Значит,
r =0
. Аналогично проверяется, что
w | q
. Обозначим:
W =
ОНД(
p , q)
. По определению
w | W
. С другой стороны,
W | p, W | q
W | w
. Остается заметить, что оба многочлена
w
и
W
унитарные и значит
W = w
.
Замечание.
Используя индукцию, можно доказать, что для любого числа многочленов ОНД
для подходящих многочленов
. Более того, эта формула сохраняется даже для бесконечного множества многочленов, поскольку их ОНД в действительности является ОНД некоторого их конечного подмножества.
Следствие.
Всякий идеал в кольце многочленов над полем является главным.
В самом деле, пусть p - ОНД всех многочленов, входящих в идеал I. Тогда
, где
. По определению идеала отсюда вытекает, что
, а значит, I =(p).
II. Разложение на множители.
Пусть k некоторое поле, p , q , s - многочлены над k . Если p=q*s , причем оба многочлена q и s имеют степень меньшую, чем p , то многочлен p называется приводимым (над полем k ). В противном случае p неприводим . Неприводимый многочлен в кольце k[x] является аналогом простого числа в кольце Z . Ясно, что каждый ненулевой многочлен p=
Примеры.
Свойства неприводимых многочленов.
1
.Если p- неприводимый многочлен и d =ОНД(p, q)
1, то p | q.
В самом деле, p = d*s и если deg(s )>0, то это противоречит неприводимости p, а если deg(s )=0, то d | q
p | q.
2.
Если p |
и p неприводим, то либо p |
либо p |
.
Действительно, в противном случае НОД(p,
) = НОД(p,
) =1 и потому по основной теореме теории делимости
;
, откуда:
и значит,
, то есть НОД(p,
)=1 и, следовательно, deg (p )=0.
III. Корни многочленов. Производная и кратные корни.
Пусть p =
некоторый многочлен над k и
. Элемент поля k, равный
, называется
значением многочлена p в точке a
и обозначается p(a). Соответствие
является гомоморфизмом
Ядро этого гомоморфизма состоит из всех многочленов, для которых p(a) = 0, то есть a является их
корнем
. Поскольку ядро I - идеал, содержащий (x-a) и не совпадающий с
k[x] (x -a +
)
, а каждый идеал в k[x] - главный, то I =(x-a). Мы приходим таким образом к
теореме Безу
: элемент
будет корнем многочлена p тогда и только тогда, когда (x - a) | p. Отсюда непосредственно вытекает, что
неприводимый многочлен степени больше 1 не имеет корней
.
Если
| p , то a называется
корнем кратности не ниже n.
Введем понятие
производной
многочлена p. По определению это многочлен
. Имеют место обычные правила вычисления производной:
;
. Отсюда следует, что
и потому наличие у многочлена корня
a
кратности не ниже
n
влечет наличие
у его производной того же корня кратности не ниже
(n-1)
. В частности,
если
p(a) = 0,
но
, то корень
a -
простой
(то есть не кратный).
Если
| p
, но
не делит
p
, то число
n
называется кратностью корня
a .
Пусть
- множество всех корней многочлена
p
с указанными кратностями
. Поскольку
при
a
b
НОД(
,
) =1, многочлен
p
делится на
и потому
deg(p)
. Итак,
многочлен степени
n
имеет не более
n
корней с учетом их кратности.