Реферат: Расширения полей

Реферат: Расширения полей

Содержание

Введение.

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

   На наш взгляд, наиболее целесообразным является введение в школьное преподавание элементов современной абстрактной алгебры.

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

   Математическая глубина и необычайно широкая сфера применения полей сочетаются с простотой ее основных положений – понятий полей, целый ряд важных теорем можно сформулировать и доказать, обладая начальными представлениями в области теории множеств. Поэтому теория полей как нельзя лучше подходит для того, чтобы показать школьникам образец современной математики.

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

1.   Простое алгебраическое расширение поля.

1.1.Простое расширение поля.

   Пусть P[x] — кольцо полиномов от x над полем P, где P — подполе поля F. Напомним, что элемент  a поля F называется алгеб­раическим над полем P, если a является корнем какого-нибудь полинома положительной степени из P [x].

   Определение. Пусть P < F и a0F. Простым расширением поля P  с помощью элемента a называется наименьшее подполе поля F, содержащее множество Р и элемент a. Простое расширение P  с помощью a обозна­чается через P (a), основное множество поля P (a) обо­значается через Р(a).

   Пусть a0F, P [x] — кольцо полиномов от x и

P[x]={f(a)*f0P[x]},

т. е. P [a] есть множество всех выражений вида a0 + a1a+...+ anan, где а0, a1,...an0P и n — любое натураль­ное число.

   Легко видеть, что алгебра +P[a], +, —, ., 1, — подкольцо поля P (a) — является кольцом; это кольцо обозначается символом P [a].

   Теорема 1.1. Пусть P [x]— кольцо полиномов от х над P  и P (a)— простое расширение поля P. Пусть y — отображение P[x] на P[a] такое, что y(f)=f(a) для любого f из P[x].  Тогда:

   (а) для любого а из Р y (а) = а;

   (b) y(x) = a;

   (с) y является гомоморфизмом кольца P [x] на кольцо P [a];

   (d) Ker y ={f0P[x]*f(a)=0};

   (е) фактор-кольцо P [x]/Кег y изоморфно кольцу P [a].

   Доказательство. Утверждения (а) и (Ь) непосредственно следуют из определения y. Отображение y сохраняет главные операции кольца P [x], так как для любых f и g из P[x]

y(f + g)=f(a)+g(a), y(fg)= f(a)g(a), y(1)=1.

Далее, по условию, y есть отображение Р[х] на Р[a]. Сле­довательно, y является гомоморфизмом кольца P [x] на кольцо P [a].

   Утверждение (d) непосредственно следует из определе­ния отображения y.

Поскольку y — гомоморфизм кольца P [x] на P [a], то фактор-кольцо P[x]/Кег y изоморфно кольцу P [a].

   Следствие 1.2. Пусть a — трансцендентный элемент над полем P. Тогда кольцо полиномов P [x] изоморфно кольцу P [a].

   Доказательство. В силу трансцендентности a над P  Kery={0}.  Поэтому P[x]/{0}– P [a]. Кроме того, фактор-кольцо кольца P [x] по нулевому идеалу изоморфно P [x]. Следовательно, P [x]– P [a].

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

Пусть P [x] — кольцо полиномов над полем P.

   Определение. Пусть a — алгебраический элемент над полем P. Минимальным полиномом элемента a, над P называется нормированный полином из P[x] наименьшей степени, корнем которого является a. Степень минимального полинома называется степенью элемента a над P.

Легко видеть, что для всякого элемента a, алгебраического над P , существует минимальный полином.

   Предложение 1.3. Если а — алгебраический элемент над полем P, а g и j — его минимальные полиномы над P, то g=j.

   Доказательство. Степени минимальных полиномов g и j совпадают. Если g ¹ j, то элемент a (степени n над P) будет корнем полинома g - j, степень которого меньше степени полинома j (меньше n), что невозможно. Следовательно, g=j.

   Теорема 1.4. Пусть a — алгебраический элемент степени n над полем P (aóP) и g — его минимальный полином над P. Тогда:

   (а) полином g неприводим в кольце P [x];

   (b) если f (a) = 0, где f 0 P[x], то g делит f;

   (с) фактор-кольцо P [x]/(g)  изоморфно кольцу P [a];

   (d) P [x]/(g)  является полем;

   (е) кольцо P [a] совпадает с полем P (a).

   Доказательство. Допустим, что полином g приводим в кольце P [x], т. е. существуют в P[x] такие поли­номы j и h, что

g = jh, 1£deg j,  deg h<deg g = n.

Тогда g(a) = j(a)h(a) = 0. Так как P (a) — поле, то j( a) = О или h(a) = 0, что невозможно, поскольку, по условию, степень элемента a над P равна п.

   Предположим, что f 0 P[x] и f(a) = 0. По условию, g(a) = 0. Следовательно, f и g не могут быть взаимно про­стыми. Поскольку полином g неприводим, то g делит f.

   Пусть j — гомоморфизм кольца P [x] на кольцо P [a] (y(f)=f(a) для  всякого f из P[x]), рассмотренный в тео­реме 2.1. В силу (Ь) ядро гомоморфизма y состоит из крат­ных полинома g, т.е. Кег y = (g). Следовательно, фактор-кольцо P = P [x]/(g) изоморфно кольцу P [a].

   Поскольку P[a]ÌP(a), то P [a] есть область целост­ности. Так как               P @ P[a], то фактор-кольцо P также есть область целостности. Нам надо показать, что любой ненулевой элемент f из P обратим в P. Пусть f — элемент смежного класса f. Так как f ¹ 0, то f(a)¹0; поэтому полином g не делит полином f. Поскольку полином g неприводим, отсюда следует, что полиномы f и g — взаимно простые. Следовательно, в Р[x] существуют такие полиномы u и v, что uf + vg=1. Отсюда вытекает равенство uf = 1, показывающее, что элемент f обратим в кольце P. Итак, установлено, что фактор-кольцо P является полем.

   В силу (с) и (d) P [a] является полем и поэтому P(a)ÌP[a]. Кроме того, очевидно, P[a]ÌP(a). Значит, P[a] = P(a). Следовательно, кольцо P [a] совпадает с полем P (a). 

1.3.Строение простого алгебраического расширения поля.

   Теорема 1.5. Пусть a — алгебраический над полем P  элемент положительной степени n. Тогда любой элемент поля P(a) однозначно представим в виде линейной комби­нации n элементов 1, a, ..., an-1 с коэффициентами из Р.

   Доказательство. Пусть b— любой элемент поля P (a). По теореме 1.4, P(a) = P[a]; следовательно, существует в P[x] полином f такой, что

(1)    b = f(a).

Пусть g — минимальный полином для a над P;  в силу условия теоремы его степень равна п. По теореме о делении с остатком, существуют в P[x] полиномы h и r такие, что

(2)    f = gh + r, где r = 0 или der r < der g = n , т. е.  r=c0+c1x +…cn-1xn-1 (ci0P). Полагая в (2) x = а и учитывая равенство (1), имеем

(3)    b = c0+c1a +…cn-1an-1

Покажем, что элемент b однозначно представим в виде линейной комбинации элементов 1, a, ..., an-1. Пусть

(4)    b = d0+d1a +…dn-1an-1               (di 0 P)

—любое такое представление. Рассмотрим полином  j

j = (с0 – d0) + (c1 - di.)x + . . . + (сn-1 –dn-1)xn-1

Случай, когда степень j меньше n,   невозможен, так как в силу (3) и (4)   j(a) = 0 и степень j меньше степени g. Возможен лишь случай, когда j = 0, т. е. с0 = d0, . . . , сn-1 = dп-1. Следовательно, элемент b однозначно представим в виде линейной комбинации элементов 1, a,…,an-1.

1.4.Освобождение от алгебраической иррациональности в знаменателе дроби.

Задача об освобождении от алгебраической иррациональности в знаменателе дроби состоит в следующем. Пусть a — алгебраический элемент степени n>1 над полем P; f и h — полиномы из кольца полино­мов P [x]и h(a) ¹0. Требуется представить элемент f(a)/h(a)P(a) в  виде линейной  комбинации степеней эле­мента a, т. е. в виде j(a),

где jP[x].

   Эта задача решается следующим образом. Пусть g — минимальный полином для a над P. Так как, по теореме 1.4, полином неприводим над P и h(a) ¹ 0, то g не делит h и, значит, полиномы h и g — взаимно простые. Поэтому существуют в P[x] такие полиномы u и v, что

uh+vg=1               (1)

Поскольку g(a) = 0, из (1) следует, что

u(a)g(a) = 1,  1/h(a) = u(a).

Следовательно, f(a)/h(a) = f(a)u(a), причем f,u P[x] и f(a)u(a)P[a]. Итак, мы освободились от иррациональности в знаменателе дроби f(a)/h(a)  .

Пример.

Освободиться от иррациональности в знаменателе дроби

.

Решение. В нашем случае a=. Минимальным многочленом этого числа является

p(x)=x3-2.

Многочлены p(x) и g(x)=-x2+x+1 взаимно просты. Поэтому существуют такие многочлены j и y, что

pj+gy=1.

Для отыскания j и y применим алгоритм Евклида к многочленам p и g:

   -x3-2              -x2+x+1           -x2+x+1    2x-1

     x3-x2-x            -x-1               -x2+1/2x    -1/2x+1/4

         x2+x-2                                1/2x+1

         x2-x-1                                   1/2x-1/4

           2x-1                                          5/4

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

p=g(-x-1)+(2x-1),

g=(2x-1)(-1/2x+1/4)+5/4.

Откуда находим

(2x-1)=p+g(x+1),

5/4=g-(p+g(x+1))(-1/2x+1/4)

или

p1/5(2x-1)+g(4/5+1/5(2x2+x-1))=1,

p1/5(2x-1)+g(2/5x2+1/5x+3/5)=1.

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

y(x)= (2/5x2+1/5x+3/5).

Тогда

y(a)=y()=.

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

.

2.Составное алгебраическое расширение поля.

2.1. Конечное расширение поля.

   Пусть P — подполе поля F. Тогда мы можем рассматривать F как векторное пространство над P, т. е. рассматривать векторное пространство +F, +, {wl½l P},,

где wl- операция умножения  элементов  из F на скаляр lP.

   Определение. Расширение F поля P называется конечным, если F, как векторное пространство над P, имеет конечную размерность. Эта размерность обозначается через [F : P].

   Предложение 2.1. Если a — алгебраический элемент степени n над P, то [P (a):P]=n.

Это предложение непосредственно следует из теоремы 1.5.

   Определение. Расширение F поля P называется алгебраическим, если каждый элемент из F является алгебра­ическим над P.

   Теорема 2.2. Любое конечное расширение F поля P является алгебраическим над P.

   Доказательство. Пусть n-размерность F над P. Теорема, очевидно, верна, если n = 0. Предположим, что n>0. Любые n+1 элементов из F линейно зависимы над P. В частности, линейно зависима система элементов 1, a, ..., an, т. е. существуют в P такие элементы      с0, с1,…,cn не все равные нулю, что с0×1+ с1a+…+cn an = 0.

Следовательно, элемент a является алгебраическим над P.

   Отметим, что существуют алгебраические расширения поля, не являющиеся конечными расширениями.

2.2. Составное алгебраическое расширение поля.

   Расширение F поля P называется составным,  если  существует

возрастающая  цепочка  подполей  L i поля F такая, что

P = L0 — L1 —…— Lk= F   и k>1.

Теорема 2.3. Пусть F — конечное расширение поля L  и L — конечное расширение поля P. Тогда F  является конечным расширением поля P  и

(I)        [F : P] = [F : L]@[ L : P].

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

(1)  a1,…,am — базис поля L над P (как векторного  пространства) и

(2)  b1,…,bn — базис поля F над L . Любой элемент d  из  F можно линейно выразить через базис:

(3)  d = l1b1+...+lnbn  (lk L).

Коэффициенты 1k можно линейно выразить через базис (1):

(4)  lk = p1k a +…+ pmk am  (pikP).

Подставляя выражения для коэффициентов lk в (3), получаем

d =    å  pik aibk.

i{1,…,m}

k{1,…,n}

Таким образом, каждый элемент поля F  представим в виде линейной комбинации элементов множества B, где

B = { a ibk½{1,..., m}, k  {l,..., n}}.

Отметим, что множество B состоит из nm элементов.

   Покажем, что B есть базис F над полем P. Нам надо показать, что система элементов множества B линейно независима. Пусть

(5)  åcikaibk = 0,

       I,k

где cik  P. Так как система (2) линейно независима над L , то из (5) следуют равенства

(6)  с1ka 1+...+сmka m = 0 (k = 1,..., n).

Поскольку элементы a 1, ..., a m линейно независимы над P, то из (6) следуют равенства

c1k = 0,…,cmk = 0  (k = 1, ..., n),

показывающие, что все коэффициенты в (5) равны нулю. Таким образом, система элементов B линейно независима и является базисом F над P.

   Итак установлено, что [F , P] = nm = [F: L]×[L: P]. Следовательно, F является конечным расширением поля P и имеет место формула (I).

   Определение. Расширение F поля P называется составным алгебраическим, если существует возрастающая цепочка подполей поля P

P = L0 — L1 —…— Lk= F   и k>1 (1)

такая, что при i = 1,..., k поле L i является простым алгебраическим расширением поля     L i-1.  Число k назы­вается длиной цепочки (1).

   Следствие 2.4. Составное алгебраическое расшире­ние F  поля P является конечным расширением поля P.

Доказательство легко проводится индукцией по длине цепочки (1) на основании теоремы 2.3.

   Теорема 2.5. Пусть a1,..., ak — алгебраические над полем P элементы поля F . Тогда поле P(a1,..., ak) является конечным расширением поля P.

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

L 0 = P, L 1 = P [a1], L 2= P [a1, a2,],..., L k = P [a1 ,..., ak].

Тогда L1 = P [a1] есть простое алгебраическое расшире­ние поля L0; L2 есть простое алгебраическое расширение поля L1 , так как

L2 = P [a1,a2] = (P [a1])[a2] = L1[a2] = L1(a2)  и т. д.

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

P = L0 — L1 —…— Lk= F  

где Li = Li-1(ai ) при i = 1, ..., k, т. е. каждый член цепочки (2) является простым алгебраическим расширением предшествующего члена цепочки. Итак, поле F является составным алгебраическим расширением поля P. Следовательно, в силу следствия 2.4 поле F  является конеч­ным расширением поля P .

   Следствие 2.6. Составное алгебраическое расшире­ние поля является алгебраическим расширением этого поля.

2.3. Простота составного алгебраического расширения поля.

   Теорема 2.7. Пусть числовое поле F есть составное алгебраическое расширение поля P . Тогда F является простым алгебраическим расширением поля P.

   Доказательство. Пусть P —L — F ,  причем L = P(a), F = L(b) и, следовательно, F = P(a, b).

   Пусть f и g — минимальные полиномы над P соответственно для чисел a и b и deg f = m, deg g = n. Полиномы f и g неприводимы над P и, следовательно, не имеют в поле E комплексных чисел кратных корней. Пусть

a = a1 ,..., am — корни полинома f в C и

b = b1 ,..., bn — корни полинома g в C.

Рассмотрим конечное множество М:

M = {(ai-a)/(b-bk)½i0{1,…,m}, k0{2,…,n}}.

Поскольку P  — числовое множество (и, значит, бесконеч­ное), то в P существует число c, отличное от элементов множества М, c0P(М, cóМ. Пусть

Страницы: 1, 2, 3