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

Mnogochlen

.pdf
Скачиваний:
7
Добавлен:
12.02.2015
Размер:
577.71 Кб
Скачать

Замечание 5.4. Заметим, что сумма кратностей корней многочлена f 2 K[x]; deg f ¸ 1 в алгебраически замкнутом поле K

m1 + ¢ ¢ ¢ + mk

равна степени многочлена deg f = n: Поэтому можно сказать, что число корней многочлена не нулквой степени в алгебраически замкнутом поле равно степени многочлена, если каждый корень считать столько раз какова его кратность.

Замечание 5.5. Если K не является алгебраически замкнутым полем, то утверждение Теоремы 5.4. неверно. Например, K = R; f = x2 + 1:

Теорема 5.5 Пусть K алгебраически замкнутое поле и f 2 K[x]; n = deg f ¸ 1. Тогда образ функции f : K ! K совпадает с K.

Доказательство. Для любого ® 2 K, существует ¯ 2 K такое что ¯-корень многочлена f ¡ ®.

¤

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

Теорема 5.6. Основная Теорема Алгебры. Поле C- алгебраически замкнуто.

Теорема 5.7. Для любого поля K существует алгебраически замкнутое поле K (называемое алгебраическим замыканием поля K), удовлетворяющее следующим условиям:

1)K ½ K.

2)Если L - промежуточное поле :K ½ L ½ K и L-также алгебраически замкнуто, то L = K:

3)Если поле F удовлетворяет условиям 1), 2) для поля K, то существует изоморфизм (см. Введение)

µ: K ! F

такой, что µ(®) = ® для любого ® 2 K.

x 6: Факториальность кольца многочленов над полем.

31

Определение 6.1. Пусть K-поле . Многочлен f 2 K[x]; deg f ¸ 1; называется неприводимым над полем K, если

f = gh; g; h 2 K[x]; ) deg g = 0 или deg h = 0:

В протином случае многочлен f называется приводимым.

Замечание 6.1. Многочлены первой степени являются непрводимыми над любым полем.

Замечание 6.2. Понятие неприводимости -понятие относительное, зависящее от поля над которым рассматривается данный многочлен. Например, многочлен f = x2 + 1 можно рассматривать как многочлен над полем Q или R, где он неприводим, или над полем C, где f = (x ¡ i)(x + i).

Теорема 6.1. Пусть K поле и f 2 K[x]; n = deg f ¸ 1. Тогда многочлен f раскладывается в произведение неприводимых над K многочленов. При этом, такое разложение единственно с точностью до перестановки сомножителей и их умножения на элементы из K¤.

Доказательство. Доказательство: индукция по n = deg f. Для n = 1 утвержедение -очевидно.

Предположим утверждение теоремы имеет место для всех многочленов, степень которых меньше n = deg f. Рассмотрим многочлен f. Если он неприводим, то утверждение теоремы очевидно выполнено. Предположим f = f1f2, где f1; f2 2 K[x]; 0 < deg f1 < n; 0 < deg f2 < n. Ввиду предположения индукции f1; f2 раскладываются в произведение неприводимых над K многочленов. Следовательно и f имеет такое разложение.

Докажем единственность такого раложения. Пусть f = p1p2 ¢ ¢ ¢ pr = q1q2 ¢ ¢ ¢ qs;

где p1; : : : ; pr; q1; : : : qs- неприводимые многочлены над полем K. Так как p1 j f существует номер i такой , что p1 j qi ( в противном случае

(qi; p1) = 1 для всех i

Упражнение 1x4

(f; p1) = 1:)

)

Можно считать i = 1. Так как q1-неприводим над K и p1 j q1 , то q1 = ®p1, где ® 2 K¤. Так как f приводим , r; s > 1. Следовательно,

0 < deg p2 ¢ ¢ ¢ pr = deg(®1q2) ¢ ¢ ¢ qs < n:

По предположению индукции, при подходящей нумерации имеем:

q2 = ®1p2; : : : ; pr = ®rqr; r = s;

32

где ®2; : : : ; ®r 2 K¤.

¤

Замечание 6.1. Можно рассматривать нормализованные неприводимые (над K) многочлены, входящие в разложение f 2 K[x]. Далее, можно собрать одинаковые многочлены и записав их произведение в виде соответствующих степеней , получим:

f = a0p1®1 p2®2 ¢ ¢ ¢ pk®k

(6:1)

где a0-старший коэффициент многочлена f, p1; : : : ; pk- различные неприводимые (над K) нормализованные делители f, ®1; : : : ; ®k 2 N. Форма (6.1) единственна с точностью до перестановки множителей pi.

УПРАЖНЕНИЕ. Пусть f; g 2 K[x]; deg f; deg g ¸ 1. Дополняя разложение в произведение неприводимых какждого из многочленов нулевыми степенями , получим

f = a0p®1 1 p®2 2 ¢ ¢ ¢ p®kk ; g = b0p¯11 p¯22 ¢ ¢ ¢ p¯kk ;

где ®i; ¯j ¸ 0. Докажите:

1)f : g , ®i ¸ ¯i для любого i = 1; : : : ; k:

2)(f; g) = pmin1 11gpmin2 22g ¢ ¢ ¢ pmink kkg:

3)[f; g)] = pmax1 11gpmax2 22g ¢ ¢ ¢ pmaxk kkg:

Таким образом, для кольца многочленов над полем имеет место аналог "Основной Теоремы Арифметики"об однозначности разложения на простые ( в случае кольца многочленов -на неприводимые) множители. Свойство колец иметь однозначные раложения элементов на "неразложимые элементы"можно формализовать следующим образом.

Пусть A -коммутативное кольцо с единицей и A¤ = U(A)-группа обратимых элементов. Элемент p 2 A называется простым , если

p = p1p2; p1; p2 2 A ) p1 2 A¤ или p2 2 A¤:

Кольцо A называется факториальным если любой элемент a 2 A; a =6 0; a 2= A¤ разлагаеncz в произведение простых и такое разложение однозначно с точностью до перестановки сомножителей и умножения их на элементы из группы A¤.

Отметим, что для наших примеров факториальных колец Z¤ = 1g; (K[x])¤ = K¤. В данном курсе мы не обсуждаем свойство факториальности для произвольных колец . Ометим только, что в общем случае кольца не только не являются фактори-

альными, но даже не имеют простых элементов.

33

x 7: Неприводимые многочлены над полями C; R; Q.

Неприводимые многочлены над полями C; R.

Ввиду "Основной Теоремы Алгебры"(Теорема 5.6). Поле C -алгебраически замкнуто, и следовательно, неприводимыми являются только многочлены первой степени (Теорема 5.4).

Для описания неприводимых многочленов над полем R нам потребуется следующее определение. Дискриминантом D(f) многочлена f = a0x2 + a1x + a2 2 K[x] будем называть следующий элемент поля K:

 

 

 

 

 

 

 

 

 

def

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

D(f) = a12 ¡ 4a0a2

:

 

 

 

 

 

 

 

 

Пусть D(f) 2 K. Тогда

¡

 

 

2p0

 

 

 

 

 

 

 

 

 

 

 

 

¡

 

2p0

 

 

 

 

 

 

2

0

 

a12

4

0

 

a0(x

 

 

¡a1 ¡ D(f)

)(x

 

 

¡a1

+ D(f)

) = a0x2

+ a0

2a1

x + a0

¡ D(f)

=

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

a

 

 

 

a

 

a2

 

 

 

 

 

 

 

 

 

= a0x2 + a1x + a2 = f

 

 

 

 

 

 

 

(7:1):

Теорема 7.1. Непрводимыми многочленами над полем вещественных чисел являются только многочлены первой степени и второй степени с отрицательным дискриминантом.

Доказательство. Пусть f 2 R[x]; deg f ¸ 1 и пусть f-неприводим над R. Далее, пусть ® 2 C- корень f (Теорема 5.6). Так как f-неприводим над R, то ® 2= R. Следовательно, ®¹ =6 ®, где ®¹-комплексно-сопряженное к ® комплексное число. Далее, если

f = a0xn + a1x1 + ¢ ¢ ¢ + an; a0; : : : ; an 2 R;

то

f®) = a0®¹n + a1®¹1 + ¢ ¢ ¢ + an = a¹0®n + a¹1®1 + ¢ ¢ ¢ + a¹n =

¹

= a0®n + a1®1 + ¢ ¢ ¢ + an = f(®) = 0 = 0:

Таким образом, ®¹-также корень f. Следовательно, (x ¡ ®) j f; (x ¡ ®¹) j f, а значит (УПРАЖНЕНИЕ 4) x4), многочлен Á = (x ¡ ®)(x ¡ ®¹) делит f. Но

Á = x

2

¡ (® + ®¹) x + ®®¹ 2 R[x]

неприводим над R

f = a0Á ) deg f = 2:

 

)

Далее,

 

2

 

 

 

|{z}

 

 

 

 

|

 

{z

 

}

2R

 

 

 

 

 

 

 

R

 

 

 

 

 

f = a0x2 + a1x + a2 2 R[x] ¡ неприводим над R ,

 

, не существует вещественных корней

(7:1)

 

f , D(f) < 0:

¤

34

Неприводимые многочлены над полями Q.

Предложение 7.2. Любой многочлен f 2 Q[x] можно представить в виде f = pq Á

где

p 2 Z; q 2 N; (p; q) = 1; Á = b0xn + b1x1 + ¢ ¢ ¢ + bn 2 Z[x]; (b0; : : : ; bn) = 1:

При этом, такое представление единственно.

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

f = a0xn + a1x1 + ¢ ¢ ¢ + an 2 Q[x]:

Тогда

 

pi

 

 

 

 

 

 

 

 

ai =

; pi 2 Z; qi 2 N; (pi; qi) = 1:

 

qi

Положим

 

 

 

q

 

 

 

pi

 

q = [q0; q1

; : : : ; qn]; q^i =

; p = (p0

; p2

; : : : ; pn); bi = q^i

:

 

 

 

 

 

 

qi

 

 

p

Тогда

f = a0xn + a1x1 + ¢ ¢ ¢ + an = pp qq f = pq (pq a0xn + pq a1x1 + ¢ ¢ ¢ + pq an) =

 

p

 

 

 

 

 

=

 

b0xn + b1x1

+ ¢ ¢ ¢ + bn :

q

|

 

{z

 

 

}

:=Á

Далее,

(pi; qi) = 1 для всех i ) (p; qi) = 1 для всех i ) (p; q) = 1: Предположим существует простое число l , делящее все коэффициенты b0; : : : ; bn.

Так как числа fppi g взаимно просты, то l делит q^j для некоторого номера j, а значит делит и какиелибо qj1 ; : : : ; qjs . Пусть i-такой номер, что ld j qi и ld+1 - qj1 ; : : : ; qjs .

 

 

 

 

 

 

 

 

 

 

q

 

 

 

 

 

 

 

 

 

 

 

 

Тогда l - q^i =

 

( поскольку q = [q0; q1; : : : ; qn]). С другой стороны, (pi; qi) = 1, а

qi

значит l - ppi . Следовательно, l - bi. Противоречие.

 

 

 

 

 

Пусть

 

 

(p; q) = 1;

(p0; q0) = 1; (b0; : : : ; bn) = 1; (b00 ; : : : ; bn0 ) = 1 и

 

 

 

p

 

 

 

 

p

 

 

 

 

 

 

p0

 

 

 

p0

 

 

 

Á =

 

(b0xn + b1x1 + ¢ ¢ ¢ + bn) =

 

(b00 xn + b10 x1 + ¢ ¢ ¢ + bn0 ) =

 

Á0 )

 

q

q

q0

q0

8

 

 

q 0

 

Á 2 Z[x]

)

q0 : q

q = q0

p = p0

b = b0

; : : : b = b0 :

>

 

pq

 

 

 

 

 

 

 

(p;q)=1; (b0

;:::;bn)=1;

 

 

 

 

 

 

 

 

 

) > p0q

 

 

 

2

 

 

(p0;q0)=1; (b00

;:::;bn0 )=1;

)

 

)

) 0 0

 

 

n n

> q0

 

 

 

 

 

 

 

)

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

<

 

 

 

Á0

 

 

Z[x]

 

 

 

q : q0

 

 

 

 

 

 

:

 

 

 

 

 

 

 

 

 

 

 

 

 

¤

 

 

 

 

 

 

 

35

Заметим, что неприводимость многочлена f над полем Q эквиалентна неприводимости целочисленного многочлена Á. Таким образом, достаточно описать целочисленные неприводимые над Q многочлены. Однако, в отличие от поля вещественных чисел, нет универсального критерия неприводимости таких многочленов.

Теорема 7.3 Многочлен Á 2 Z[x] неприводим над полем Q тогда и только тогда когда он неприводим над кольцом Z.

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

à = c0xm + c1x1 + ¢ ¢ ¢ + cm; µ = d0xl + d1x1 + ¢ ¢ ¢ + dl 2 Z[x] õ = e0xn+l + e1xn+1 + ¢ ¢ ¢ + em+l

Предположим

(c0; c1; : : : ; cn) = 1; (d0; d1; : : : ; dn) = 1:

Тогда

(e0; e1; : : : ; em+l) = 1:

Доказательство Леммы Гаусса. Предположим простое число l делит e0; : : : ; en. Далее, положим

i0 = minfi

j

l - cig; j0 = minfj

j l - djg; k = i0 + j0:

Ввиду (2.7),

X

 

 

X

 

 

 

ek =

cidj = ci0 dj0 +

 

 

 

 

cidj :

 

i+j=k

i+j=k;i6=i0;j6=j0

 

 

 

 

 

|;

 

 

0{z:l

 

}< i0 и, следовательно,

( Поскольку при i + j = k

= i0 + j0; i = i0

j

= j

либо i

l j ci,либо j < j0 и l j dj.)

 

6

 

 

6

 

 

 

 

 

 

 

 

 

 

 

 

 

Далее, l - ci0 dj0 Поэтому l - ek. Противоречие.

 

 

 

 

 

 

¤

 

 

 

 

 

 

Теперь перйдем к доказательству Теоремы 7.3. Если многочлен Á приводим над Z,

то очевидно приводим и над Q.

 

 

 

 

 

 

Предположим Á = gh;

g; h 2 Q[x]. Тогда (Предложение 7.2)

g =

p1

Ã; h =

p2

µ; (p1; q1) = 1; (p2; q2) = 1;

q1

 

 

 

q2

 

 

 

 

 

 

à = c0xm + c1x1 + ¢ ¢ ¢ + cm; µ = d0xl + d1x1 + ¢ ¢ ¢ + dl 2 Z[x]; (c0; c1; : : : ; cn) = 1; (d0; d1; : : : ; dn) = 1:

Далее, если

õ = e0xn+l + e1xn+1 + ¢ ¢ ¢ + em+l;

36

то

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(e0; e1; : : : ; em+l) = 1

Лемма Гаусса:

 

 

(7:2)

Пусть

 

 

 

p1

 

p2

 

p3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

; (p3; q3) = 1:

 

 

 

 

 

(7:3)

 

 

 

 

 

 

 

 

 

q3

 

 

 

 

 

Далее

 

 

 

q1 q2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p3

p3

(e0xn+l + e1xn+1 + ¢ ¢ ¢ + em+l) 2 Z[x] )

p3

 

 

 

7:3

g =

 

õ =

 

 

ei 2 Z для любого i )

q3

q3

q3

 

 

 

 

7:2

 

 

(p1;q1)=1;(p2

;q2)=1

q2

p1

p3

 

 

 

) q3 j ei для любого i ) q3 = 1

 

)

 

 

 

 

(q1

j p2

)

 

2 Z )

 

 

 

 

 

q3

 

 

 

 

 

p3

 

 

 

p3

 

 

 

 

j

 

 

 

 

 

 

 

)

 

2 Z ) Á = (

 

 

Ã) µ :

 

 

 

 

 

 

 

 

q3

q3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2Z[x]

 

|{z}

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

¤

|

 

{z

 

}

2Z[x]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теорема 7.4.Критерий Эйзенштейна. Пусть f = a0xn +a1x1 +¢ ¢ ¢+an 2 Z[x]:

Предположим существует простое число p, такое, что:

1)p - a0,

2)p j a1; : : : ; an,

3)p2 - an.

Тогда многочлен f неприводим над Q.

Доказательство. Предположим f приводим над Q. Тогда он приводим над Z (Теорема 7.3). Пусть

f = (b0xm + b1x1 + ¢ ¢ ¢ + bm)(c0xl + c1x1 + ¢ ¢ ¢ + cl); bi; cj 2 Z; m + l = n; m; l ¸ 1:

Далее,

 

p j an; p2 - an ) p j bm; p - cl или p j cl; p - bm:

 

Можно считать

 

p j bm; p - cl:

(7:4)

Пусть

p j bm; p j b1; : : : ; p j bi0+1; p - bi0

(такое i0 существует, поскольку p - a0 = b0c0. ) Положим

Ввиду (2.7)

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

i0 + l = k:

 

iX

ak =

bicj

 

+j=k

 

p - ak

= bi0 dl +

 

 

bi

cj:

|{z}

k; i>i

;j<l

|{z}

p-

i+j= X 0

 

:p

 

при k = i0 + l > 0:

37

Противоречие с 2).

¤

Следствие 7.5 Для любого натурального числа n существует неприводимый над Q многочлен f 2 Q[x] степени n.

II.РАСШИРЕНИЯ ПОЛЕЙ.

x 8: Типы расширений полей.

Определение 8.1. Пусть K-подполе поля L. Тогда поле L называется расширением поля K.

Если поле L рассматривается как расширение поля K, то мы обозначаем его символом L=K.

Заметим, что поле L, являющееся расширением поля K является линейным пространством над полем K. Действительно, на множестве L определена операция сложения, относительно которой L-абелева группа, и умножения , в частности, для любого ® 2 K; l 2 L определено произведение ®l 2 L. При этом, все свойства линейного пространства вытекают из свойств операций в поле.

Если пространство L над K- конечномерно, то его размерность называется степенью расширения L=K и обозначается символом deg L=K. Если это пространство -бесконечномерно, то пишем deg L=K = 1.

Определение 8.2. Расширение L=K-называется конечным , если deg L=K = n 2 N. Если deg L=K = 1, то расширение L=K называется бесконечным.

Примеры.

1.deg C=R = 2 ( здесь 1; i базис C над R.)

2.deg R=Q = 1 (доказательство ниже).

Определение 8.3. Пусть L=K- расширение поля K. Элемент ® 2 L назыается алгебраическим над K, если ® является корнем некоторого ненунулевого многочлена f 2 K[x] .Расширение L=K-называется алгебраическим , если любой элемент ® 2 L является алгебраическим над K. В противном случае расширение L=K-называется трансцендентным.

Примеры.

38

1. C=R-алгебраическое расширение (® 2 C -корень многочлена x2 ¡(®+®¹)x+®®¹ 2

R.

2. R=Q- трансцендентное расширение(доказательство ниже).

Предположим, ®-алгебраический элемент над K. Тогда

P® = ff 2 K[x] j deg f ¸ 1; f(®) = 0g =6 ;:

Нормализованный многочлен p® 2 P® минимальной степени (т.е. deg p® · deg f

для любого многочлена f 2 P®) называется минимальным многочленом

алгебраи-

ческого элемента ®.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

I. Минимальный многочлен алгебраического элемента -неприводим.

 

 

 

 

 

II. Любой многочлен f 2 P® делится на минимальный.

 

 

 

 

 

 

 

 

 

III. Минимальный многочленединственный.

 

 

 

 

 

 

 

 

 

 

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

= p0

p00

 

p0

; p00

 

K[x];

deg p0 < deg p

 

;

deg p00

< deg p

 

 

 

 

p

 

 

 

 

 

I. Предположим

 

®

®

®, где

®

® 2

 

 

®

 

®

 

®

 

 

 

 

®.

Тогда

 

 

 

 

 

 

 

8

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 = p

 

(®) = p0

(®)p00 (®)

p®0 (®) = 0

 

 

 

 

 

 

 

 

 

p

 

:

 

 

®

®

 

 

®

 

 

) >

 

 

 

) противоречие с определением

 

®

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

<

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

II.

 

 

 

 

 

 

 

>p®00

(®) = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f 2 P®; f = p®q + r;

q; r 2 K[x];

deg r < deg p® )

 

 

 

 

 

 

) 0 = f(®) = p®(®) q(®) + r(®) = r(®)

определение p®

r = 0 ) f = p®q:

 

 

 

 

 

)

 

 

 

 

 

 

 

 

 

=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

|

{z

}

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

III.

p®; p~® ¡ минимальные многочлены элемента

)

>

p®

p~®

®

®

и j

)

 

>

 

 

 

 

<

p®;p~®¡нормализованные p

 

 

 

8

 

= p~ :

 

>p~® j

p®

 

 

 

>

 

¤

 

 

 

:

 

 

 

 

II

® )

Определение 8.4. Пусть L=K- расширение поля K, M ½ L. Расширением поля K порожденное множеством M (или полученное присоединением M) называется подполе поля L (обозначается K(M)), такое что

1)K ½ K(M),

2)M ½ K(M),

39

3) если подполе F ½ L содержит K и M, то K(M) ½ F .

Если M = f®g, то K(M) = K(®) называется расширением полученным присоединением элемента ®. Расширения полученные присоединением одного элемента называются простыми.

Предложение 8.2. Пусть L=K- расширение поля K, ® 2 L: Тогда

 

 

 

 

 

 

 

f(®)

 

 

 

 

 

 

 

 

 

K(®) = f

 

 

 

 

 

 

j f; g 2 K[x]; g(®) 6= 0g:

 

 

 

g(®)

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

K(®)¡поле

 

f(®)

 

 

 

® 2 K(®)

 

) f

 

 

 

 

j f; g 2 K[x]; g(®) 6= 0g ½ K(®):

g(®)

>

 

 

f(®)

 

 

 

¡

 

 

 

 

 

 

 

 

8K ½ f

g(®)

j f; g 2 K[x]; g(®) 6= 0g ½ L

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

|

 

 

 

 

 

 

 

 

{z

 

 

}

 

>

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

поле

 

 

Определение K(®)

>

 

 

f(®)

 

 

 

¡

 

 

 

 

 

 

 

)

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

<

®

2 fg(®) j

f; g

2

K[x]; g(®) = 0

g ½

L

>

 

 

 

 

 

 

 

6

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

>

 

|

 

 

 

 

 

 

 

 

{z

 

 

}

 

:

 

 

 

 

 

 

 

 

 

 

 

 

>

 

 

 

 

 

 

 

 

 

 

поле

 

 

 

>

 

 

f(®)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

) f

 

 

j f; g 2 K[x]; g(®) 6= 0g = K(®):

 

 

g(®)

¤

Если M = 1; : : : ; ®mg -конечное множество, то

def

K(®1; : : : ; ®m) = K(M):

Предложение 8.3. Пусть L=K- расширение поля K, ®1; : : : ; ®m 2 L: Пусть, далеее,

K0 = K; K1 = K0(®1); K2 = K1(®2); : : : ; Ki = K1(®i); : : : ; Km = K1(®m)

Тогда

Km = K(®1; : : : ; ®m):

Доказательство. Индукция по m. Для m = 1 утверждение -тавтология. Предположим K1 = K(®1; : : : ; ®1): Далее,

®1; : : : ; ®m 2 Km; K ½ Km:

(8:1)

Пусть F -поле, такое что

®1; : : : ; ®m 2 F ½ L; K ½ F ½ L:

40

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]