Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Методы по алгебре Липницкий, БГУИР (Мет пособие) / lipnickiy_v_a_sovremennaya_prikladnaya_algebra_matematichesk

.pdf
Скачиваний:
85
Добавлен:
15.06.2014
Размер:
2.76 Mб
Скачать

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3. КОЛЬЦА, МНОГОЧЛЕНЫ И ПОЛЯ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

й

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3.1. Основные понятия о кольцах

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

с

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

Белорусский

 

 

 

 

ы

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

K

с дву-

 

 

 

 

университет

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 3.1.1. Кольцом называется непустое множество

 

 

 

 

 

 

 

 

 

 

 

В

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

мя бинарными алгебраическими операциями сложения (+) и умножения (·);

 

относительно операции сложения

 

K

является абелевой группой, а умножеи

-

 

ние и сложение связаныазаконами дистрибутивности:

 

 

информатики

 

 

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(a+b)·c=a·c+b·c; a(b+c)=ab+ac для произвольных a,b,c K.

 

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рассмотрим типичные примеры колец.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

к

 

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

Пример 3.1.3. Множество всех квадратных матрицрадиоэлектроникиданного порядка

 

n с

 

 

Примере

3.1.1.

 

(Z,

+,

) –

 

кольцо целых чисел.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

ы

 

>1.и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

первогом курса.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

К

Примерф т3.1.2.

 

(Z / nZ, +, ) – кольцо классов вычетов по модулю

 

 

 

Названныеа

кольца достаточно глубоко изучены в первом разделе. Сле-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

дующие три примера в той или иной степени известны каждому студенту уже с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

е

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

рациональными, вещественными или же комплексными

дкоэффициентами отно-

 

сительно операций матричного сложения и умножения. Общепринятые обозна-

 

чения этих колец:

M n (Q),

M n (R),

 

M n (C)

соответственноф т .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

а

 

 

 

 

непустого множест-

 

 

Пример 3.1.4. Множество всех подмножеств а(M )

 

ва M .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Оно является абелевой группой относительно операции симметриче-

 

ской разности

 

← → (см. пример 2.2.2).

Здесь операция пересечения мно-

 

жеств

 

играет

роль умножения. В теории множеств известно тождество:

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= ( A

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

что симметрическая

 

( A← →B) C

C)← →(B C), которое означает,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

разность и пересечение связаны законом дистрибутивности. Данное кольцо но-

 

ленных на данноминформатикиинтервале

 

(a,b) числовой оси с обычными операциями сло-

 

сит название – булеан в честь английскогой

математика XIX в. Джорджа

Буля,

 

основателя математической логикие.

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

к

 

 

 

всех вещественных функций, опреде-

 

 

Пример 3.1.5. Множество F(a,b)

 

 

 

 

 

радиоэлектроники

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с естественными операциями сложения и умножения

 

тами отБелорусскийпеременной

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Многообразиемколец чрезвычайно широко. Предложеннуюгосударственныйвыборкушизк

 

 

 

университет

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

жения и умножения функцийы .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

Пример 3.1.6.

 

КольцоВ тполиномов

 

R[x] с вещественными коэффициен-

 

 

 

 

 

 

д

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

й

полиномов.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

м

е

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

пяти простейших примеров нельзя считать репрезентативной. По числу эле-

 

 

 

ф

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

 

 

 

 

 

 

ментов кольца делятся на конечные (пример 3.1.2) и бесконечныеы(примеры

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ум-

 

3.1.1, 3.1.3, 3.1.5). Основная классификация колец ведется по свойствамВ т

 

К

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

ноженияа. Соответственно определяются направленияБелорусскийисследований колец, со

 

своими методами и техникой. Наиболее развитой следует считать теорию ас-

 

социативных колец.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

д

е

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ф

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

а

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

K

 

называется ассоциативным кольцом, ес-

 

 

 

 

 

 

Определение 3.1.2. Кольцо

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ли

 

определенная

на

нем

 

е

 

 

умножения

 

обладает

свойством:

 

 

операция

 

 

(ab)c = a(bc) для произвольных

 

a,b,cиK.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

Кольцо К называется кольцомк

с единицей, если оно ассоциативно и име-

 

 

 

 

 

 

Белорусский

 

 

 

 

 

 

ы

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

ет нейтральный элемент относительно операции умножения.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

для произвольных

 

 

 

 

 

 

Кольцо К

называется коммутативным, если ba = ab

 

ника, генетика,егеометрия), кольца Ли (теория алгебраическихгосударственныйгрупп, геомет-к

a,b K.

 

 

 

 

 

 

 

 

 

 

В

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

 

 

й

 

 

 

 

 

Приведенные вышеапримеры колец 3.1.1–3.1.6 являются ассоциативными.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Не ассоциативные кольца также являются серьёзным объектом исследований.

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ш

 

 

 

 

К ним относятся важные для приложений йордановы кольца (квантовая меха-

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

рия,

 

 

ф

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

дифференциальные уравнения). Приведем простейший пример кольца

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

ы

 

 

 

 

 

 

 

 

 

 

 

Ли.

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

 

 

 

 

 

 

 

 

 

Множество всех классических векторов

 

V3

 

 

т

 

 

 

 

 

 

 

 

Пример 3.1.7.

 

Втрехмерного

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

. Как

 

пространства с операциями сложения и векторного умножения векторова

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

(

 

 

)

 

 

 

 

 

 

 

известно, векторное умножение не ассоциативно. К примеру, здесь

ii

k

=

0,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

i

(

ik ) = i (j ) = −k

0 .

Отметим также, что данное кольцод

 

(V3

, +,×) , как и в

 

примере 3.1.3, не является коммутативным.

 

 

 

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Общих свойств у колец немного. Приведем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

фнекоторые из них. Как и во

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

определенаа

обратная алгебраи-

 

всякой аддитивной группе, в любом кольце K

 

 

ческая операция – вычитание:

a b = a + (b).

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Это не ассоциативная операция,

 

без нейтрального элемента. Тем не менее справедлива

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 3.1.1.

Во всяком кольце

K операции вычитания и умножения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a,b,c K

 

 

 

 

связаны законами дистрибутивности, то есть для произвольных

 

 

 

 

 

 

 

 

 

 

a(b c) = ab ac;

(a иb)c = ac bc.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство.

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

b = 0 + b = (c c) + b = c + (c) + b =еc + b + (c) = c + (b c).

 

 

Следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ab = a(c + (b c)) = ac + a(b c). Этим доказано первое дистрибутивное равен-

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

й

одинБелорусскийиз сомножителей равен нулю, само равно нулю. Иными словами, для

ство из теоремы. Аналогично доказывается второе соотношение дистрибутив-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

a0 = a(b b) =государственныйab ab = 0, чтош и

 

 

 

 

 

 

Доказательством. В силу теоремы 3.1.1

 

ности.

университет

 

 

 

 

 

ы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

Лемма 3.1.1. В любомВ ткольце K любое произведение, в котором хотя бы

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

е

произвольного

a K произведение

0a = a0 = 0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

частьмпервого доказываемого соотношения. Так жерадиоэлектроникипроверяется и вторая ее

 

 

 

 

 

 

 

 

а

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

требовалось доказать.

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ф

 

 

т

 

 

 

 

 

В любом кольце K для произвольных

 

 

 

В

 

т

 

 

 

 

-

 

 

 

 

 

 

Теорема 3.1.2.

a,b K

справедлиы

 

 

 

 

 

а

 

 

 

 

 

 

 

(a)b

= a(b) = −ab;

(a)(b) = ab.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

вы равенства

 

 

Отсюда следуета

 

 

 

 

 

 

 

 

 

 

К

 

Доказательство.

ab + (a)b = (a + (a))b = 0b = 0.

первая

 

часть. Используя доказанное, получаем:

(a)(b)

= −(aд(b))

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

= −(ab) = ab.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ф

е

т

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и

 

0 =1. Тогда длягосударственныйпроизвольногош aкK согласно лемме 3.1.1

a = a 1 = a 0 = 0.

 

 

 

 

 

 

 

Теорема 3.1.3. Пусть

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

K кольцо с единицей, содержащее более одного

 

 

элемента. Тогда

информатики

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 1.

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Пусть в кольцеиK нейтральные элементы совпадают:

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

основеБелорусскийтеории полей, алгебраической теории чисел, современной алгебраиче-

 

 

Следовательно,

 

K

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

Теорема доказана.

 

 

 

 

 

состоит из единственного элемента 0.

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

 

 

 

 

 

 

делятся на кольца с единицей и без единицы,

 

 

 

 

 

 

 

Ассоциативные кольцаы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е3.2. Мультипликативная группа кольцагосударственныйш

к

 

коммутативные и некоммутативныеВ т

. Теория коммутативных колец лежит в

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

и

 

 

й

 

ской геометрии [11].

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

д

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

па (её называют мультипликативной группой кольцаБелорусскийK).

 

 

 

 

 

 

 

и

 

 

 

 

 

а

ф

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

 

 

 

 

К

 

 

Теорема 3.2.1.

 

Пусть

K ассоциативное кольцо с единицей. Множеы

cт-

 

 

во K*

обратимыха

 

относительно умножения элементов кольца

ВK естьт

груп-

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

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

относи-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 3.2.1. Легко видеть, что в кольце целых чисел обратимым

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

е

 

 

{

 

}

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

= 1, 1 .

 

 

 

 

 

тельно умножения только два числа: 1 и –1. Следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

Пример 3.2.2.

 

 

M (R)

=GL (R).

 

 

а

ф

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

n

 

 

К

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 3.2.3.

 

Мультипликативная группа

(Z / nZ )

 

кольца классов вы-

 

 

 

 

 

 

 

 

 

 

четов Z / nZ

по модулю

 

n

состоит из ϕ(n)

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

классов, порожденных целыми

 

числами, взаимно простыми с модулем,

согласно теореме 1.7.1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 3.2.1.

 

Если в кольце K

с единицей мультипликативная

 

группа

 

 

 

 

 

 

государственныйш

K называют телом или алгеброй с делением.

 

 

K = K \ {0}

,

 

то кольцо

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Коммутативное тело называют полем.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

в) C – кольцоинформатикикомплексныхс

 

чисел;

являются полями:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 3.2.4.

 

Следующие кольцай

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а) Q – кольцо рациональныхечисел;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

б) R – кольцо вещественных чисел;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

 

 

 

ы

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

по простому модулю p.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

г) Z/pZ – кольцо классов вычетови

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

Пример 3.2.5. Пример некоммутативного тела.

H тело кватернионов

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

е

– множество выражений вида

h=a+bi+cj+dk,

где a,b,c,d R, i2

= −1;

 

j2

= −1;

й

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

= i = −kj;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

к

 

 

= −1; ij = k = − ji;

 

jk

 

 

ki = j = −ik. Кватернионы складываются и пе-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

 

 

мТеория некоммутативных тел является разделомрадиоэлектроникитеории простых алгебр.

 

ремножаются почленно с учетом указанных выше формул. Поэтому

 

H

ассо-

 

h

 

 

=

 

 

 

а

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

ы

 

 

и

 

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

 

 

К a

 

+ b

 

 

+ c

 

+ d

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

В

 

т

 

 

 

 

 

 

 

 

 

 

 

ф

 

 

 

т

 

 

 

 

 

 

 

 

 

 

h

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ется, что для всякого

 

 

 

 

обратный кватернион находится по формуле

 

 

 

1

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a bi ij dk

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

2

 

 

2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Во всяком теле

Т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

Z,

на-

 

 

коммутирующие со всеми элементыдобразуют поле

 

 

зываемое центром тела

 

 

Т.

Тело Т

 

 

 

 

 

 

е

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

является векторным пространством над

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

ф

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

а

 

 

 

 

 

 

 

 

 

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

Z.

Наиболее развита теория конечномер-

 

этим центром, а точнее алгеброй над

 

 

ных тел (у которых

 

 

 

 

 

 

 

 

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Т

 

над Z

 

 

dim(Т : Z ) < +∞) ). Известно, что размерность

 

 

 

всегда является квадратом:

 

 

 

 

е

 

и

2

для некоторого натурального

 

n;

 

 

dim(Т : Z ) = n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

что

 

Т

содержит максимальныес

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

над центром

 

Z.

 

 

 

 

подполя размерностью

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Свойства тела существенно зависят от свойств центра. Следующая теорема дает

 

описание конечных тел.

ы

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 3.2.2

 

В

 

 

 

 

 

 

 

 

Всякое конечное тело является полеми .

 

 

 

 

 

 

 

(Веддерберна).

 

 

 

 

 

 

Белорусский

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

й

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

е

д

е

м

3.3. Делители нуля в кольцах

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

 

 

 

Леммат3.1.1 отмечает, что в каждом кольце произведение элементов, сре-

 

 

 

 

 

ф

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ы

 

 

и

 

 

ди которыха

есть нулевые, обязательно равно нулю. В числовых кольцах верно и

 

обратноеК

а

 

 

 

 

 

 

 

 

 

 

 

 

ab = 0,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

т

 

 

 

 

: если произведение

 

 

 

то крайней мере один из сомножителей

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

а

 

 

 

 

 

 

 

равенмнулю. Однако в общем случае это не так.

 

 

 

 

университет

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 3.3.1. Если в кольце

K найдутсярадиоэлектроникиненулевые элементы

a и

 

b, такие, что произведение ab=0,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

то их называют делителямид

нуля.

 

 

 

 

 

 

 

 

 

 

Пример 3.3.1.

 

В кольце

(V3 , +,×)

каждый отличныйе

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

от нуля элемент яв-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ф

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ляется делителем нуля:

 

v ×v = 0 .

 

M3(R)

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 3.3.2.

 

В кольце матриц

 

 

 

 

 

 

 

 

 

делителей нуля яв-

 

 

 

 

 

 

примерамиа

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

0

 

1

 

 

 

 

 

0

К

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ляются матрицы A =

 

0

0

 

0

 

 

 

 

 

0

0

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и B

=

 

 

1

, так как A·B=0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

0

 

0

 

 

 

 

 

0

0

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

q являются делите-

 

 

 

 

Пример 3.3.3.

 

В кольце Z/nZ с n=pq классы

 

 

и

 

 

 

лями нуля.

 

 

 

 

 

 

 

 

и

 

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 3.3.4. Кольцо

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F(a,b), рассмотренное в примере 3.1.5, – с дели-

 

 

 

 

 

 

 

 

 

 

 

государственныйш

е

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0,

 

a < x c < b;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x)

 

 

 

 

 

телями нуля. Примером могуткслужить функции

 

 

=

 

1,

 

c x < b

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатикис

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1,

 

 

 

 

ы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

и

 

g(x) =

a < x c;

тОчевидно, произведение

 

f (x)g(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c

 

В

 

 

 

нулевая на от-

й

 

 

 

 

 

 

 

 

 

0,

 

x < b.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

резкеуниверситет(a,b) функция.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теоремарадиоэлектроники3.3.1.мВ любом ассоциативном кольце

K с единицейгосударственныйделителиш

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

нуля не обратимы относительно умножения.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

е

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a,b K

 

 

 

 

 

 

-

 

 

 

 

Доказательство. Пусть для ненулевых элементов

 

их произведеы

 

 

 

 

 

ф

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

т

 

 

 

 

ние

 

 

 

 

 

и пусть в кольце

K существует обратный элемент

Вb .

 

 

 

 

 

ab = 0

 

 

Тогда в

 

 

 

а

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

1

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

abb

 

= (ab)b

 

 

Белорусский

 

С другойа

стороны,

 

силу ассоциативности умножения

 

 

 

 

= 0b

 

=

0.

 

 

К

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

abb

 

 

 

 

 

) = a 1

= a.

Таким образом,

 

 

a = 0,

 

 

чторадиоэлектроникипротиворечит условию

 

 

м= a(bb

 

 

 

 

 

 

a 0.

 

Теорема доказана.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

д

е

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Примеры 3.3.2 и 3.3.3 имеют более общую природу.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

ф

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 3.3.2.

 

 

 

 

 

 

 

и

 

 

 

Z / nZ

 

 

с составным

n

всякий ненулевой

 

 

 

 

 

 

В кольце

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

й

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

класс или обратим или является делителем нуля.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство.

Пусть

 

 

k натуральное число, 1 k n,

и

 

 

соответ-

 

 

 

 

 

 

 

k

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

с

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

k

и

 

n

взаимно просты,

е

ствующий класс вычетов в кольцекZ / nZ.

Если

 

 

 

 

 

то

 

 

 

 

 

Белорусский

 

 

 

 

 

 

ы

 

 

 

 

и

согласно

 

 

 

теореме 1.7.1. Пусть k

 

и

 

n

 

k обратимый элемент кольца

 

Z / nZ

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

В

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

не взаимно просты, то есть

 

НОД(k, n) = d >1. Тогда

 

n = n1d,

k

= k1d

 

для

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

n1

и

 

k1. Тогда

k , n1

ненулевые классыи

 

подходящих натуральных чисел

 

 

 

кольца

 

 

 

Z / nZ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n =

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

й

 

 

 

 

а

 

их произведение

 

 

k

0,

 

поскольку

произведение

n k = n (dk )

д

 

 

 

м= nk

 

кратно n.

Тем самым теорема доказана.

 

 

 

 

 

 

 

 

 

 

=

(n d )k

 

 

 

 

 

 

 

 

 

 

 

1

 

1

 

 

1

 

 

 

 

1

 

1

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

В матричном кольце

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

M (R)

радиоэлектроники

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 3.3.3.е

 

всякая ненулевая матрицак

 

 

 

 

 

ф

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

ы

 

 

и

 

 

либо обратимат, либо является делителем нуля.

 

 

 

 

 

 

университет

 

 

 

В

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

Пусть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т

 

 

 

 

 

 

 

 

аДоказательство.

 

 

 

A произвольная ненулевая квадратная матрица

 

порядкаК

n

 

 

с вещественными коэффициентами. Если

det A 0,

то она обрати-

 

ма, какм

 

известно каждому первокурснику. Пусть

 

 

det A = 0. Тогда найдетсяа

та-

 

кая матрица

 

 

X M (R),

 

 

что произведение

AX = 0.

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В самом деле, выписанное

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

матричное уравнение относительно неизвестной матрицыд X

 

эквивалентно

 

n

 

системам линейных уравнений относительно неизвестных – координат каждого

 

из столбцов матрицы

 

X с одной и той же матрицейфкоэффициентовт

при неиз-

 

вестных – матрицей

 

 

A.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

уравненных уравнений,

 

 

 

 

 

 

Согласно теории линейныха

 

каждая из таких систем имеет ненулевое решениеК

. Это означает существование

 

искомой ненулевой матрицы

 

X .

 

Теорема доказанам.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

и

 

3.4. Идеалы колец

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 3.4.1.

 

 

 

 

 

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Подкольцо кольца K - это подгруппа аддитивной

 

группы (K, +), в свою очередь являющаясяи

кольцом, то есть замкнутая отно-

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

с

 

 

 

 

 

K.

2

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

сительно операции умножения в кольцек

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

 

ы

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

Z

 

 

 

 

 

 

 

 

 

 

Z под-

 

 

 

 

 

Пример 3.4.1.

 

 

(nZ, +,

) подкольцо кольца

целых чисел;

 

ницей.

 

университет

 

 

 

 

В

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

кольцо кольца

Q рациональных чисел;

 

Q

подкольцо кольца

R веществени

-

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

й

ных чисел. Первое из них - это кольцо без единицы, хотя само кольцо Z

 

с еди-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

к

 

 

 

 

Пример 3.4.2.

 

 

Матричное кольцо M (R)

 

 

содержит подкольцо матриц

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

с

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

b

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

ы

 

 

 

 

 

 

 

 

 

К

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

С=

 

 

 

 

 

е

 

| a,b R

оно в свою очередь содержит

 

подкольцо скалярныхи

 

 

 

 

 

 

ф

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

 

т

 

 

 

 

 

 

 

 

 

b

 

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

a

0

 

| a

R

 

. Это коммутативные подкольца некоммутативногоа

 

матриц S=

 

 

 

 

0

a

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

кольца

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M 2 (R) . Само кольцо содержит много делителей нуля согласно теоре-

 

ме 3.3.3, а подкольца

 

C

 

 

и S их не содержат и болееетого

являются полями.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

ф

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Второе из них по своим свойствам идентично полю вещественных чисел, а пер-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

вое – полю комплексных чисел.

е

 

иявляются

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Подкольцами

кольца

 

 

M 2

(R)

 

также

 

множества

 

матриц

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

рех подколецрадиоэлектроникине содержит единицы, однако имеют односторонние нейтральныее

 

4

 

a 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 c

 

 

 

 

 

 

 

 

 

 

a b

 

 

 

 

 

 

 

 

 

 

J

1

=

 

b 0

 

| a,b R ;

 

ы

J

2

=

0 d

| c, d R ;

 

 

J

3

=

 

 

 

 

| a,b R ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

0 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

элементы. Напримерд

, в кольце

 

 

J4

 

левыми единицами являютсягосударственныйматрицыш

 

 

 

 

 

0

 

0

 

 

 

 

 

В

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

J

 

=

 

 

c

 

d

 

 

| c, d

R

.

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ни одно их этих четы-

 

 

 

 

 

 

 

 

 

 

Это некоммутативные кольца.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

е

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 0 и т0 0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

 

 

ы

 

 

 

 

 

 

 

 

 

1

 

1

ф

 

 

 

0

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

В

 

 

 

 

 

 

и

 

 

 

К

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Приведенные примеры показывают, что подкольца, в общем случае,

 

практическим

 

не наследуют свойства колец. Поэтому в теории колец наибольшееа

 

значение имеют подкольца специального вида – идеалы.

д

е

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 3.4.2.

Подкольцо

 

J

кольца

K

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

называется левым идеа-

 

лом кольца

K,

если для любого k K

 

и для

каждогоеj J произведение jk J,

 

то есть

 

Jk J.

Если же

kJ J

 

 

 

 

 

 

 

 

 

ф

 

 

 

 

 

то

 

J

 

 

называют

 

 

 

для всех элементов kтK,

 

 

 

 

 

правым идеалом.

 

Двусторонний идеал

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

– идеала, являющийся одно-временно и

 

левым и правым идеалом.

 

 

 

 

 

 

 

 

 

 

 

 

К

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ясно, что в коммутативном кольце все идеалым двусторонние.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 3.4.3. mZ={mq|q Z} – двусторонний идеал кольца целых чисел

 

Z

 

 

для

 

всякого

 

натурального

 

 

m.

Очевидно,

mZ≠Z,

 

если

 

 

m >1.

 

Ясно, что

 

 

 

 

 

 

государственныйш

 

 

 

 

 

2z>6z>12z>… .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2z>4z>8z>16z>…;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пример 3.4.4.

 

 

 

 

В

 

 

и

 

 

 

 

 

Z / nZ

с

 

составным

 

 

модулем

 

 

 

n=pq,

 

 

 

 

 

 

 

 

 

 

 

кольце

 

 

 

 

 

 

 

 

 

следовательно, образуетинформатикиподкольцос

. Обозначим его через

 

J p.

Легко видеть

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

й

и

 

 

 

 

 

 

 

 

 

{p,2 p,....,(q 1) p, 0}

 

p >1, q >1,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

вычетов

 

легко видеть, что множество классов

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

к

 

 

 

и умножения классов вычетов и,

 

замкнуто относительно операций сложения

 

J

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

2

 

 

 

 

 

 

 

={Белорусскийq, 2q, ....., ( p

1)q, 0}.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ы

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

что

 

 

 

 

J p идеал.

 

и

Аналогично

 

 

идеалом

 

 

является

 

 

 

 

множествои

 

правые идеалыд, а

 

J3

 

 

J4 левые идеалы.

 

 

 

 

 

 

 

 

 

 

информатикис

 

 

 

 

й

 

q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

M (R)

подкольца

 

J

 

 

и

 

 

 

 

 

 

 

к

 

 

 

 

 

Пример 3.4.5.

В матричном кольце

 

 

 

 

J есть

 

 

 

 

м

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

Пример 3.4.6.

 

В любом кольце

K

множество

{0}

 

 

и

 

K формальноы

 

 

 

 

а

ф

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

 

т

 

 

 

 

 

 

также являются идеалами кольца K. Их называют несобственными, или триви-

 

 

К

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

альными, в отличии от остальных – собственных идеалов.

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отметим основные свойства идеалов.

 

 

 

 

 

 

д

 

 

 

 

 

есть идеал

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 3.4.1.

 

1. Пересечение идеалов данного кольца K

 

 

этого же кольца.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ф

е

т

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и

ца K.

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2. Если

J1 , J2

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

K, то их сумма, то есть

 

 

левые (правые) идеалы кольца

 

 

 

 

 

 

 

 

 

 

 

информатики1 2

 

 

 

 

1

 

2

 

 

1

 

1

2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

й

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

множество всех сумм

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

есть левый (правый) идеал коль-

 

 

{j1 + j2 | j1 J1

; j2

J2 }

 

 

 

 

*

 

 

радиоэлектроники

J Jс={ j

к

 

 

 

 

 

 

 

J }

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

j

| j

J ;

j

 

 

 

левых (правых)

 

 

 

 

 

 

 

 

3.

 

Произведение

 

 

 

 

 

 

идеалов

 

левыйБелорусскийидеал кольца К.

 

 

ы

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

2

 

 

университет

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

*

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J , J

 

 

 

кольца K

есть левый (правыйи

) идеал этого же кольца.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4. Для каждого элементаВ т

a

кольца

K

 

множество

государственныйш

 

 

 

 

 

 

 

aK={ak|k K}

и

есть

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

й

 

 

 

5. Если в кольце

 

K

c единицей

 

элемент

 

a K ,

 

то

<a>=K;

если же

a K ,

 

 

д

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

то <a> – собственный идеал кольца K.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

 

 

 

6. Еслие K –екоммутативное кольцо и a=bc для не обратимых элементовк

 

 

 

 

ф

т< a

> < c

>,

< a > < b >.

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

ы

 

 

 

и

 

 

a,b,c K, то

 

 

 

 

 

 

 

 

 

университет

 

В

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т

 

 

 

 

 

К

аДоказательство состоит в прямой проверке всех аксиом идеалов.

 

 

 

 

 

 

 

 

 

 

Следствие.

 

В каждом поле отсутствуют делители нуля и собственные

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

идеалы.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Поскольку в поле все элементы, кроме 0, обратимы, то из

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

 

 

 

 

 

5-й части теоремы 3.4.1 следует, что в поле нет собственных идеалов. С другой

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

енуля (необратимые

 

стороны, из 5-й части теоремы 3.4.1 следует, что делители

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ф

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

элементы кольца) порождают собственные идеалы. Отсюда следует, что в поле

 

нет делителей нуля.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 3.4.2.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

 

 

 

< a > кольца

 

K,

 

порож-

 

 

 

 

Левым главным идеалом

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

денным элементом a K, называется идеал из 4-го пункта теоремы 3.4.1, то

 

есть подкольцо кольца

K,

 

состоящее из всех элементов

ak,

 

k K.

 

Правый

 

главный идеал

< a >

состоит из всех элементов

ka,

 

k K.

 

 

 

 

 

 

 

 

 

 

 

 

 

число из идеала

государственныйJ. Тогда m делитсяк

на

t.

В противном случае по теореме о

 

 

 

 

Теорема 3.4.2. В кольце целых чисел

Z – всякий идеал J – главный.

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

и

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство. Пусть

J ненулевой идеал кольца Z. Так как J груп-

 

па относительно сложения, то

 

 

е

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

J

 

обязательно содержит натуральные числа.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ш

 

 

 

 

 

 

 

 

J. Пусть

m произвольное целое

 

Пусть t – наименьшее натуральное число из

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

На множестверадиоэлектроникиидеалов каждого кольца существует отношение частичного

 

 

 

 

Белорусский

 

 

 

 

 

 

ы

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

q

 

 

r,

 

 

 

 

 

 

 

 

делении с остатком

 

m = tq

+ r

 

для подходящих целых

 

и

 

причем

 

ный. Теоремауниверситетдоказана.

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

е

0 < r < t.

 

Тогда

 

 

 

В

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t. Следоваи

-

 

 

 

r = m

tq

J , что противоречит минимальности

 

порядка по

двключению их друг в друга как множеств. Особуюинформатикирольсиграют

й

тельно,

 

m = tq

 

для каждого

 

 

m J.

 

Это означает, что идеал

 

J =< t > −

глав-

 

 

 

 

 

 

 

 

 

 

 

 

м

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

к

 

мТеорема 3.4.3.

В кольце целых чисел идеал

 

Jрадиоэлектроникимаксимальным тогда и

 

 

 

 

 

 

 

а

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

ы

 

 

 

и

 

 

условиемК

M J.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

 

 

 

 

 

 

максимальныее

идеалы.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

 

т

 

 

 

 

 

 

 

ф

 

 

 

 

 

4.3.

Идеал

 

М

 

(левый,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определениет

 

 

правый, двусторонний) кольца К

 

называетсяа

максимальным, если в

К

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

не существует собственного идеала J с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p,

 

е

 

е

м

 

 

 

 

 

 

 

 

 

 

 

только тогда, когда существует простое число

 

 

 

 

J =< p >.

 

 

 

 

такоед , что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ф

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство следует из 6-й части теоремы 3.4.1.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

а

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

7

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Упражнение 3.4.1.

 

 

 

и

 

 

 

 

 

Z /12Z

 

выписать все иделы, расположить

 

 

 

В кольце

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

й

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

с

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

отличные от нуля,

 

обратимы,

иными

 

 

 

 

 

е

у которогоБелорусскийвсе

 

 

элементы,

 

 

словами

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ы

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

3.5. Арифметические свойства полиномов

 

 

 

 

 

 

 

 

 

*

 

 

 

 

 

 

и умножения

многочленов. По своимгосударственныйсвойствам поли-к

операциями сложенияе

 

 

Пусть

 

P – поле,

 

 

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вто есть произвольное коммутативное кольцо с единицей,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

и

 

й

P =P\{0}.

Например,

P=Q, R, C, Z/pZ.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

мкольцо полиномов с коэффициентами из

 

 

 

 

 

 

 

 

ш

 

 

 

 

Пусть

 

P[x]

P

 

 

 

 

 

 

 

 

 

 

 

 

с обычными

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ф

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

 

 

 

 

 

и

 

номы близки к целым числам. Например, как и для целых чисел имеет место

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

многочленовы

 

 

 

Теорема 3.5.1 (о делении с остатком).

 

Для

 

 

любых

 

двух

 

К

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т

 

 

 

f (x)

 

и g(x)

0

 

из кольца

P[x]

 

существуют единственныеВмногочлены

 

q(x)

 

м

r(x),

 

такие, что

 

f

(x) = g(x)q(x) + r(x),

 

причем

 

r(x) =а0

или сте-

 

 

 

и

 

 

 

 

 

пень

r(x)

меньше степени

g(x).

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

е

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство.

 

 

 

Пусть

 

 

 

 

 

 

f (x) = a xn

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

+ a

дxn1

+... + a ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

ф

 

n1

 

 

 

 

0

 

 

 

 

 

 

 

 

g(x) = b xm

+ b

 

 

xm1 +... + b .

Если

 

n < m,

 

то

 

 

т

 

 

 

 

 

 

 

 

 

 

Пусть

 

 

 

 

 

 

 

 

q(x)

= 0, r(x) = f (x).

 

 

 

n m.

m

 

 

m1

Тогда

 

 

 

 

0

 

 

 

для

 

 

 

 

 

c

 

 

 

= a

 

/ b

 

 

 

 

 

 

 

разность

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

аnm

а

n

m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x) g(x) c

 

xnm = d

k

xK + d

k 1

xk 1

+... + d

0

=Кd (x)

 

 

является полиномом коль-

 

 

 

 

 

 

 

nm

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ца P[x] степени

 

k n 1. Если

deg d(x) < deg gм(x),

то теорема доказана, так

 

как в качестве

q(x)

можно взять

c

 

xnm ,

 

а в качестве r(x) полином

 

 

d (x).

 

 

 

 

 

 

 

 

 

государственныйш

 

 

nm

 

ck m = dk / bm

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Если

 

же

 

 

k

 

m,

 

 

 

 

 

то

для

 

 

 

 

 

вычислим

 

 

разность

 

d(x) g(x) ck m x

k m

= es x

s

 

и

 

 

 

s1

+... + e0

= e(x).

 

 

Если

 

deg e(x) < deg g(x),

 

 

 

 

+ es1 x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

й

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

nm

 

 

 

 

 

 

k m

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

то

 

теорема

 

доказана:

 

 

 

 

q(x) = cnm x

+ ck m x

, r(x) = e(x).

 

 

 

 

 

 

Если

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

deg e(x) deg g(x),

 

то продолжаем аналогичное рассуждение с

e(x)

 

и так да-

 

лее.

 

 

радиоэлектроники

 

 

 

с

 

 

 

к

 

n m +1 м шаге, мы получим равен-

 

 

В конце концов, самое большее на

 

 

 

БелорусскийЗамечание.

 

 

Доказательство теоремы 3.5.1 конструктивно, из него непо-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

ы

+...и+ c ) + r(x),

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

«уголком».

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ство

 

 

университет

 

 

 

 

 

xnm

 

где

 

 

 

deg r(x) < deg g(x)

 

или же

 

 

 

f (x) = g(x) (c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

nm

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

r(x) = 0. Таким образом, теоремат

 

доказана.

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

й

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

средственно вытекает известный алгоритм деления многочлена на многочлен

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

мЕсли в равенстве f (x) = g(x) q(x)

степени сомножителейрадиоэлектроникине меньше 1,

 

 

 

 

а

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

 

ы

 

 

 

и

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Определение 3.5.1.

 

В условиях теоремы 3.5.1 многочлен q(x)

 

называ-

 

делителямиК

 

или множителями полинома

f (x) .

 

 

университет

 

В

 

 

т

 

 

 

 

 

 

ф

 

 

т

 

 

 

 

 

 

 

 

 

 

 

r(x)

-

 

остатком от деления

f (x)

 

 

Если

 

ют частным, а полином

 

 

на

 

g(x).

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x)

делится на

 

g(x),

 

 

а

g(x)

 

и

 

q(x) называют

 

r(x)=0, то говорят, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

а

 

 

 

 

 

 

 

то q(x)

и g(x)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

д

е

 

 

 

 

f (x) .

 

 

 

 

называют нетривиальными делителями многочлена

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

ф

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

8

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

поля

 

 

P

 

является делителем лю-

 

 

 

Очевидно, каждый ненулевой элемент

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

бого многочлена из кольца

 

 

 

 

 

е

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P[x] . Поэтому элементы полей называют триви-

 

альными делителями полиномов.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 3.5.2.

 

 

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P[x] яв-

 

 

 

 

Обратимымикмногочленами в кольце полиномов

 

том

 

1,

радиоэлектроникикоторый делится на любой другой общий делитель. Его обозначаюте

 

 

Белорусский

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

и только они, то

 

ляются многочлены нулевой степени, отличные от нуля,

 

1

 

 

2университетs

 

 

В

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

есть

P[x] = P .

 

s

 

ы

 

 

Наибольшим

общим

 

 

 

государственныйш

 

 

 

 

 

 

1

 

 

2

 

 

 

 

3.5.2.

 

 

 

 

 

 

 

 

 

 

 

Определение

 

 

 

 

делителем

многочленови

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Алгоритм Евклида нахождения наибольшего общего делителяинформатики, рассмот-

й

f )x), f (x),..., f

(x)

называется их общий делитель со старшим коэффициен-

 

 

 

 

 

 

е

 

 

 

е

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

к

НОД( f

 

 

 

 

 

 

(x)).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(x),

fд(x),..., f

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

из кольца P[x]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(с точностью до множителей изБелорусскийполя P ) совпадает с послед-

 

 

а

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

и

 

 

ренныйфв первом разделе для целых чисел, справедлив и для полиномовы.

 

 

 

К

 

Теоремаа

 

3.5.3.

 

Наибольший общий делитель многочленов

В

 

ти g(x)

 

 

 

 

 

f (x)

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

ним отличным от нуля остатком rn (x)

следующей цепочки равенств:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= g(x)q1 (x) + r1 (x);

 

 

 

 

 

д

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

{f (x)

 

 

 

е

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= r1 (x)q2 (x) + r2 (x);

ф

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

{g(x)

 

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

{ .............................

 

 

а

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

{rn2 (x) = rn1 (x)qn (x) + rn

(x);

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

{rn+1 (x) = rn (x)qn+1 (x).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство аналогично доказательству теоремы 1.2.2.

 

 

 

 

 

 

 

 

 

 

 

Пример

 

 

государственныйш

 

 

 

 

 

общий

делитель

 

многочленов

 

 

 

 

3.5.1.

 

Найдем

наибольший

 

 

 

 

 

f (x) = x4

+ 3x3

4x

3

и

и

 

g(x) = 3x3

+10x2 + 2x 3

в кольце

Q[x].

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

й

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Согласно теореме 3.5.3 наибольший общий делитель по алгоритму Евк-

 

 

 

лида получается с точностью до константы. Поэтому и сам алгоритм бу-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

(x)q (x) + r (x)государственный; здесь

ш

 

 

 

 

 

g(xрадиоэлектроники) = (x + 5x + 6)(3x 5) + (9x + 27) = r%

 

 

 

 

 

дем реализовывать с точностьюк

до множителей из Q с целью проведе-

 

 

 

Белорусский

 

 

 

 

ы

 

 

и

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

преимущественно

 

с

 

 

 

 

 

 

1

 

1

 

 

 

 

 

 

 

 

 

 

ния

 

вычислений

 

 

 

 

 

целыми

коэффициентами.

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Последовательным делением «уголком» с учетом сказанного получаеми

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

й

 

 

следующую

 

 

систему

 

 

 

равенств

 

 

 

 

 

алгоритма

 

 

Евклида:

 

 

 

 

 

 

 

 

 

 

 

 

 

а

+ (1/ 3)(5x

 

+ 25x + 30) = g(x)q (x) + r (x) ;

 

 

 

 

е

 

 

3 f (x) = g(x)(x 1/ 3)

 

 

 

 

 

 

 

 

 

 

 

 

2

 

м

 

 

 

 

 

 

 

 

 

 

1

 

 

2

 

 

 

 

 

2

 

 

 

 

 

с

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

g(x) называютрадиоэлектроникивзаимном

 

 

 

 

 

 

 

мОпределение 3.5.2.

Многочлены f(x) и

 

просты-

 

 

 

 

2

а

 

 

 

е

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Белорусский

 

 

 

 

 

 

 

 

 

 

 

 

1

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

К

 

r%(x) = (3/ 5)r (x);

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет= x + 3.

 

 

 

 

 

 

 

 

 

 

Таким образом, НОД( f (x), g(x)) = (1/ 9)r2 (x)

 

В

 

т

 

 

 

 

 

 

 

ф

 

 

 

 

 

 

+ 3)(x + 2),

то есть

r%(x) = r% (x)q (x) для

 

 

 

 

 

 

 

 

x2

+ 5x + 6 = (x

 

 

ы

 

 

 

 

 

 

 

 

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

2

 

 

 

3

 

 

 

 

 

 

 

 

 

 

 

 

 

аr (x) = (1/ 9)r (x).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

%

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ми, если их наибольший общий делитель равен 1.

 

 

 

 

е

д

е

 

 

 

 

 

 

 

 

 

 

ф

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

 

 

а

 

 

 

 

 

 

 

 

 

 

9

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Обратной прогонкой алгоритма Евклида получается следующее утвер-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

f

(xи) и

g(x) являются взаимно простыми

 

 

 

 

Теорема 3.5.4. Многочлены

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

 

 

 

 

такие полиномы

 

u(x), v(x),

 

 

для кото-

 

тогда и только тогда, когда найдутсяк

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

рых выполняется следующее равенство (соотношение Безу для многочленов):

 

f (x)u(x) + g(x)v(x)

=1.

 

ы

 

 

и

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

-

 

 

 

 

С помощью этого критерия получается ряд следствий, имеющих незавии

 

 

 

Белорусский

 

 

 

 

 

 

их в виде отдельных предложений.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

симое значение. Приведема

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

Если многочлен

f (x) взаимно прост с каждым из

й

 

 

 

Предложение 3.5.1.

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

многочленовдφ(х)

 

 

м

 

то он взаимно прост и с их произведением.

 

 

 

 

 

 

 

 

и ψ(х),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

государственныйш

 

к

 

 

 

Доказательство. Согласно критерию взаимной простоты полиномовс

име-

 

ют

 

 

 

фместот

 

 

следующие

 

 

соотношения:

 

 

 

 

 

 

 

 

 

информатики

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

f (x)u(x)

+ϕ

(x)v(x)и=1,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ы

 

 

 

 

 

f (x)u%

(x) а+ψ(x)v%(x) =1.

 

Перемножим друг на друга соответственно левые и

 

К

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x)UБелорусский(x) + (ϕ(x)ψ

 

 

 

В

 

т

 

для

 

правые части этих равенств. Получим

 

(x))V (x) =1

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

%

 

 

и

 

 

 

 

 

 

 

 

 

 

%

 

 

 

 

 

 

 

 

%

 

 

 

 

 

 

 

 

что в силу

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

%

 

 

 

 

 

 

 

 

 

 

V (x) = v(x)v(x)

 

 

U (x) = f (x)u(x)u(x) +ψ (x)u(x)v(x) +ϕ(x)u(x)v(x),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

теоремы 3.5.4 означает взаимную простоту

f (x)

 

 

 

 

 

 

 

 

 

м

ϕ

(x)ψ (x).

 

 

 

 

и произведения

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

д

f(x)е

и

g(x)

делится

 

 

 

 

Предложение 3.5.2. Если произведение многочленове

 

 

на многочлен ϕ(x),

но НОД( f (x),ϕ(x)) =1,

то g(x) делитсят

 

на ϕ(x).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ф

 

леммы 1.4.1.

 

 

 

 

 

 

 

 

 

Доказательство дословно повторяет доказательствоа

 

 

 

 

 

 

 

 

 

Предложение 3.5.3.

 

Если многочлен

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Кf (x) делится на каждый из по-

 

парно взаимно простых полиномов

 

 

 

 

 

 

 

 

м

 

 

то

 

 

 

f (x)

 

 

делится и

 

 

ϕ1 (x),ϕ2 (x),...,ϕm (x),

 

 

 

 

 

 

 

на их произведение

ϕ1 (x)ϕ2 (x) ... ϕm (x).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Доказательство в силу предложения 3.5.1 достаточно провести для случая

 

m = 2.

 

 

Пусть

 

f (x) делитсяи

на многочлены

 

 

ϕ1 (x), ϕ2 (x),

 

 

которые взаимно

 

просты друг с другом.

 

По теореме о делении с остатком

 

 

 

f (x) =ϕ (x)q(x).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

й

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

Произведение ϕ (x)q(x)

 

 

 

 

 

е

 

ϕи(x),

но

 

НОД(ϕ (x),ϕ

 

(x)) =1.

Соглас-

 

делится на

 

2

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

2

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

но предложениюгосударственный3.5.2 многочленш

 

q(x)

 

должен делиться на

 

 

 

ϕ

2

(x). Следова-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

тельно,

 

 

 

 

 

 

информатики

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

%

 

 

 

 

Таким обра-

 

 

 

 

 

 

 

 

 

 

 

%

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (x) =ϕ1 (x)ϕ2 (x)q(x)

для подходящего полинома q(x).

 

 

зом,

 

f (x)

 

 

 

 

 

 

 

 

 

ы

 

 

и

 

 

ϕ1 (x)ϕ2 (x)

и предложение 3.5.3 доказанои .

 

 

 

 

делится на произведение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

В

 

т

 

 

 

 

 

f (x) P[x] степени

n 1 называется

й

 

 

 

Определение 3.5.3. Многочлен

 

 

Белорусский

 

 

 

 

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

неприводимымуниверситетв кольце

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P[x], если в любом его представлении в виде произве-

 

дения

 

 

f (радиоэлектроникиx) = g(x)q(мx) сомножителей

 

g(x), q(x) P[x]

 

 

одингосударственныйиз этих сомнош

-

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

с

 

 

 

к

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

P.

 

информатики

и

 

 

жителей является константой, то есть элементом поля

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

е

 

 

е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Структура неприводимых полиномов существенно зависит отыполя

 

 

P.

 

Если

 

 

ф

 

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

т

 

 

в

 

 

 

 

P

= C поле комплексных чисел,

то неприводимыми полиномамиВ

 

 

 

а

 

 

 

 

 

только полиномы 1-й степени согласноБелорусскийосновной теореме алгеб-

 

C[x]

являютсяа

 

К

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

университет

 

 

 

 

 

 

 

а

 

 

 

 

 

 

ры. Отсюда следует, что в кольце

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

R[x] неприводимыми являются лишь поли-

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

радиоэлектроники

 

 

 

 

 

 

 

 

номы первой степени, а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

также второй степени с отрицательным дискриминан-

 

том. Что касается кольца Q[x],

 

 

 

 

 

 

 

 

 

 

 

 

 

д

 

 

 

 

 

 

 

 

 

 

n 1 суще-

 

то здесь для каждого натуральногое е

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

а

ф

т

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

10

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

К

а

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

м

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

и

и