Вопросы к гос. экзамену по дисциплине "Математика – Алгебра"
Вопросы к Гос.Экзамену по дисциплине “Математика – Алгебра”
Вопрос 3. Определитель квадратной матрицы.
В вопросе рассматривается одна из характеристик матрицы - числовая. Все свойства определителя (числовые характеристики) матрицы рассматриваются для того, чтобы это число стало возможным находить. Введение понятия определителя матрицы позволяет расширить возможности теории решения систем линейных уравнении и другие приложения теории матриц.
Итак, введем определение определителя матрицы и рассмотрим его свойства.
Пусть дана квадратная матрица А=(aij)n n, где аij Î R
Для введения определения матрицы обратимся к некоторым вопросам теории подстановок.
Подстановка
t=
1 2 … n
называется взаимно-однозначное
t(1) t(2) …t(n)
отображение множества М={1,2,...,n} на себя. Множество всех подстановок обозначается Sn, |Sn|=n!
Подстановки характеризуются своей четностью и нечетностью, которые вводятся через инверсию:
-если у подстановки четное число инверсии, то она четная;
-если-нечетное число инверсий, то она нечетная.
Для обозначения четности подстановки используется символ sgn(t ) -знак подстановки. Зафиксируем ряд необходимых утверждений:1) t = E (единичная)-четная; 2) sgn (t--1 ) = sgn t ;
3) одна транспозиция меняет четность подстановки.
Опр.1.Определителем квадратной матрицы называется число, равное сумме n! слагаемых, каждое из которых есть произведение n элементов матрицы, взятых ровно по одному из каждой строки и каждого столбца матрицы со знаком sgn (t )
где t -подстановка из индексов элементов произведения ,т.е.
|A|=åsgn(t)a>1>>t>> (1) >a>2>>t>> (2) >…a>n>>t>> (n) >>,> A=(a>ij>)>n*n>
приняты также обозначения для определителя: def A, Δ.
Теорема 2. Определитель матрицы обладает рядом свойств, среди которых следующие:
1°. |A|=|At|,где Аt -трансионированная;
2°. Определитель матрицы с нулевой строкой равен нулю;
3°. Определитель матрицы с двумя пропорциональными строками равен нулю.
4°. Определитель матрицы с двумя равными строками равен нулю.
5°. Перестановка двух строк(столбцов) матрицы изменяет знак определителя.
6°. Если к одной строке матрицы прибавить другую,уменьшенную на число, не изменяет ее
определитель.
7°. Если i-строка (столбец) матрицы имеет вид i(a>1>+...a>k > b1+...b>k> c>1>+....c>k>),то определитель такой матрицы равен сумме K-определителей,каждый из которых в i-строке имеет соответственно ее слагаемые, а остальные элементы совпадают с элементами матрицы.
8°. Если строку (столбец) матрицы умножить на число x, то определитель матрицы умножится на это число.
и другие.
Для решения проблемы вычисления определителя матрицы вводятся понятия минора элемента a>ij> (M>ij>) и его алгебраического дополнения (A>ij>) .
Минором M>ij > элемента a>ij> матрицы называется определитель матрицы,
полученный вычеркиванием i-строки и j-столбца.
Алгебраическим дополнением Aij элемента a>ij> называется число (-1)i+j М>ij>
Имеет место теорема о разложении по элементам строки (столбца).
Теорема 3 . |A|= a>1j>A>1j> +a>2j>A>2j >+....+a>nj>A>nj > или
|A|=a>i1>A>i1> +a>i2>A>i2> +...+a>in> A>in> .
Доказательство разобьем на три случая:
Cлучай
1.
a>11>…a>1n
>
|A|= a>21>…a>2n >= a>nn >M>nn>
………
0……a>nn>
Воспользуемся для доказательства определением определителя
|A|=åsgn(t)a>1>>t>> (1) >a>2 >>t>> (2)>…a >n-1,>>t>> (n-1) >a >n>>t>> (n)>
Так как в n-ой строке все элементы кроме a>nn> нули, то все слагаемые в определителе кроме a>nn> равны нулю. Тогда определитель такой матрицы равен:
>>sgn(t)
a>1>>t>>
(1)>
a >2
>>t>>
(2)>....a
>n-1,>>t>>
(n-1)>
a>
n n >=a
>n
n>
(>
>sgn(t’)
a >1>>t>>(1)>
a >2
>>t>>(2)>
...a >n-1,>>t>>(n-1)>),где
t = 1
2 ...
n-1 n t’
= 1 2 ... n-1
t >(1)> t> (2) >...> >t>(n-1)> t>(n)> , t>(1)> t>(2) > ... t>(n)> , т.к
t
= 1 2 ... n-1 n = 1 2 .... n
t>(1) > t>(2)> ... t>(n-1) > t>(n ) > t>(1) > t>(2) > ... t>(n)> > > ,то sgn (t) =sgn(t’).
Мы видим, что в скобках определитель порядка (n-1),полученного вычеркиванием n-ой строки и n-ого столбца. Поэтому
|A|=a>nn>M>nn>, что и требовалось доказать.
Случай 2.
a>
11> ... a>
1j> .. a >1n>
|A|= ................................. = a >ij> A >ij>
0 ... a> ij > ... 0
..................................
a> n1 > ... a> nj > ... a >nn>
Для доказательства воспользуемся свойством перестановки строк и столбцов матрицы, получим:
A>11
... >a>1j>
... a>1n>
a>11>
.. a>1j>
..a>1n>
a>11>
.. a>1n>
.. a>1j>
>
>A>
>=>
>
.......................>
>=
>
>n-i
.................... =>
>n-i
>
>n-j
.................... =
0 .. a>ij> ... 0> >a>n1> .. a>nj> ..a>nn >a>n1> .. a>nn> ..a>nj>
a>n1 .. > a>nj> ... a>nn> 0 .. a>ij> .. 0 0 .. 0 .. a>ij>
=>>2n-
M>ij>*a>ij>=>
>i+ja>ij>M>ij>=a>ij>A>ij>
Случай 3. |A|=a>1i>A>1i > +a>2i>A>2i >+....+a>ni>A>ni.>
A>11
.. >a>1j
>.. a>nn>
... a>1j>+0+..+0
... .. a>1j >
.. .. 0 .. ... 0
A>21> .. a>2j> .. a>2n> ... 0 +a>2j>+..+0 .. .. 0 .. .. a>2j> .. ... 0
A = ..................... =
......................... = ......... + ..........
+..+ ....... =
a>n1> .. a>nj> .. a>nn> ... 0+0+..+a>nj> ... .. 0 .. .. 0 .. ...a>nj>
= a>1j>A>1j>+a>2j>A>2j>+..+a>nj>A>nj>
Рассмотренная теорема позволяет вычислить определитель матрицы любого порядка .Теория определителей имеет приложительное значение, то есть используется в качестве средства для решения вопрос в математике. В частности, она лежит в основе решения систем линейных уравнений как одного из способов. Возможность использования теории определителей для решения систем зафиксированы теоремой Крамера.
Теорема 4. (Крамера). Если |A| не равен нулю, то система åa>ij>x>j>=b>i>, где i=1,n; j=1,n имеет единственное решение, которое находится по формуле:
x>i>=
>
>
, где
>
>
= A
,
Dx>i>-определитель матриц, полученных из А заменой i-столбца столбцом свободных членов.
Пусть
(1) åa>ij>x>j>=b>j>,
i=j=1,n, |A|
¹0.
Запишем
систему (1)
в
виде матричного уравнения
(2):
AX=b, где
А-основная матрица системы,
.
X>1
>b>1>
X= X>2> , b = b>2>
.. ..
x>n> b>n>
Если
|A|
¹0®
$
А-1
Þ
А-1АХ=А-1b
Þ
X=A-1
b.
Известна теорема утверждающая,
что
A-1
= >
>
A*
, где
A*
-присоединенная
матрица
к матрице A,
она состоит из алгебраических дополнений
элементов,
расположенных в столбцах.
Тогда:
A>11>
A>21> .. A>n1> b>1>
b>1>A>11>+b>2>A>22>+..+b>n>A>n1>
X=>
>
A*
b
=>
>
A>12>
A>22>
.. A>n2>
b>2>
= >
>
b>1>A>12>+b>2>A>22>+..+b>n>A>n2>
=
........................ ... ...................................
A>1n > A>2n > .. A>nn> b>n> b>1>A>1n>+b>2>A>2n>+..+b>n>A>nn>
>
>x>1>
=>
>
>
>x>2
>,
......
>
>x>n>
что
и позволит получить формулу:
X>i>=>
>
, где
>
>
= A , i=1,n
Вопрос 4. Бинарные отношения.
Математика как наука отражает мир взаимодействующих простых и сложных объектов (вещей, явлений, процессов). Абстрагируясь от реальности, математика рассматривает унарные, бинарные и другие отношения.
В вопросе требуется рассмотреть бинарные отношения, их свойства и особо обратить внимание на отношение эквивалентности, заданного на одном множестве. Рассмотрим прямое произведение двух множеств. A*B={a,b}, aÎA, bÎB}. Мы имеем множество упорядоченных пар. Есть смысл рассматривать его подмножество, которое и носит название “бинарное отношение”.
Опр.1 Бинарным отношением, заданным на множестве А, называется подмножество прямого произведения А*А. В силу своей природы, бинарные отношения являются множеством упорядоченных пар элементов из А.
Обозначения: W={(a,b) /,a,bÎA}; aWb, a,bÎA; (a,b)ÎW,где a,bÎA
Например, бинарные отношения являются:
1. "^"на множестве прямых.
2. "=" на множестве чисел.
3. " @ " изоморфизм на множестве алгебр.
4. " ~ " эквивалентность систем и др.
Бинарные отношения могут обладать свойствами:
1) рефлексивность: "aÎA, aWa;
2) симметричность: "a,bÎA, aWbÞbWa;
3) транзитивность: "a,b,c ÎA,aWb и bWcÞaWc
4) связность: "a,bÎA,aWbÞbWa;
5) антирефлексивность: "aÎA,(a,a)ÏW;
6) антисимметричность: "a,bÎA,aWb,bWaÞa=b
В зависимости от того, каким набором свойств обладают отношения, они допускают
классификацию,
которую
представим схемой:
Бинарное
отношение
функциональность
эквивалентность:
порядок:
"xÎA, $! yÎA: рефлексивность, антисимметричность,
f:x®y cимметричность, транзитивность
>
>
транзитивность
строгий
порядок:
нестрогий
порядок:
антирефлексивность
рефлексивность
частичный порядок: полный порядок:
не обладает свойством обладает связностью
связности
Остановимся на отношении эквивалентости, то есть на отношении WÌA*A, обладающее свойствами рефлексивности, симметричности, транзитивности. Легко проверить, что примерами таких отношений являются "=", "~", "сравнение по модулю", изоморфизм алгебр и другие.
Отношение эквивалентности играет большую роль в математике, значимость его определяется тем, что оно задает разбиение, а потому позволяет получать новые множества. Рассмотрим это подробнее.
Разбиением множества называется совокупность непустых подмножеств, непересекающихся, объединение которых совпадает с данным множеством.
Имеет место теорема, которая позволяет рассматривать отношение эквивалентности как разбиение.
Теорема 2. Бинарное отношение задает на A¹0 разбиение.
Для доказательства теоремы введем такое понятие как класс эквивалентности:
K>a>={x/xWa /x,aÎA} a-образующий элемент класса.
>>
свойствами рефлексивности, симметричности, транзитивности. Легко проверить, что примерами таких отношений являются "=", "~", "сравнение по модулю", изоморфизм алгебр и другие.
Отношение эквивалентности играет большую роль в математике, значимость его определяется тем, что оно задает разбиение, а потому позволяет получать новые множества. Рассмотрим это подробнее.
Разбиением множества называется совокупность непустых подмножеств, непересекающихся, объединение которых совпадает с данным множеством.
Имеет место теорема, которая позволяет рассматривать отношение эквивалентности как разбиение.
Теорема 2. Бинарное отношение задает на A¹0 разбиение.
Для доказательства теоремы введем такое понятие как класс эквивалентности:
a-образующий элемент класса.
Классы эквивалентности обладают свойствами:
1. " aÎA попадает в какой-либо класс, что означает, что K>a>¹0 . Это утверждение следует из введенного определения класса.
Любые два элемента из класса находятся в отношении, т.е. если b,cÎK>a> , b w c.
c,bÎK>a>Þ a w c, Þ c w a , Þ c w b
a w b a w b
Это свойство позволяет утверждать, что любой представитель класса может являться его образующим.
3°. Классы не пересекаются, т.е. КаÇКb=Æ
Пусть КаÇКb¹Æ®$сÎКаÇКbÞсÎКа,сÎКbÞсWа,cWbÞаWс,сWbÞаWbÞКа=Кb.
Свойства классов и позволяют утверждать истинность теоремы: A,W-эквивалентности ÞKa ,Kb ,...Þ
a) классы-подмножества A;
b) классы-неизвестного подмножества;
c) классы-не пересекающиеся;
d) ÈKa =A , аÎА
Имеет место и обратное утверждение.
Теорема 3.Если на А задано отношение Rs, соответствующее разбиению S, то Rs-отношение эквивалентности .
Пусть A, Rs, S-разбиения, следовательно, A разбивается на подмножества, объединение которых составляет A.
Если подмножества рассматривать как классы, полученные в результате отношения Rs: "принадлежность одному подмножеству", то легко доказать, что все свойства классов имеют место, поэтому Rs-эквивалентность.
Обозначим множество классов эквивалентности через A/w. Это новое множество называют фактор-множеством. Итак, A/w= Ka /a ÎA .
Рассмотрим некоторые примеры применения теории отношении эквивалентности:
Hа множестве дробей {a/b, аÎZ, bÎN} зададим отношение "=": а/b=с/dÛad=bс.
Тогда класс эквивалентности Ка/b={x/y| x/y=a/b}-рациональное число, а {Ka/b}=A/W-множество рациональных чисел.
2. Z, “º”: aºb(mod m)Û(a-b)Mm, {Ka}=Z/(m)=Zm-основное множество кольца классов вычетов.
3. Ф-множество фигур, " ~ "-подобие. Это отношение рождает понятие "форма фигуры" как класса подобных фигур.
Вопрос 5 . Элементы теории групп.
Алгебра как наука изучает различные алгебры: векторные пространства, группы, кольца. В вопросе требуется рассмотреть одну из них – группу. Определение группы задается аксиометрически и рассматривается одно из наиболее важных отношений, которое изучает эта наука, отношение эквивалентности, которое позволяет получать новые группы. Введем понятие алгебры.
Опр. 1. Алгеброй называется упорядоченная пара множеств <A,V>,где A-множество элементов любой природы, а V-множество алгебраических операций.
Опр. 2. Пусть дано множество A¹Æ . Алгебраическая операция “o ” на множестве А называется отображение f: А®А, т.е. для "a,bÎA, ($!) cÎA:aob=c
Опр. 3. Группой называется алгебра <G, o> с одной алгебраической операцией “ o ”,
удовлетворяющей свойствам (аксиомам):
1°."a,b,cÎG, ao(boc)=(aob)oc,
2°.$eG,"aÎG: eoa=aoe=a.
3°."aÎG, $a°ÎG:aoa°=a°oa=e.
e-нейтральный элемент относительно операции;
а°-симметричный относительно операции для а.
Группа, как алгебра, обладающая рядом свойств допускает классификацию. Представим ее схемой:
Будем рассматривать дальнейшие теоретические вопросы в терминах мультипликативной группы.
Теорема 4 (свойства группы). В группе нейтральный элемент единственный, для каждого элемента обращение единственно, уравнения ax=b, xa=b разрешимы и имеют единственное решение.
1. Пусть для еÎG, $e>1>,e>2>-нейтральный (единственный), рассмотрим
(1):e>1>e=ee>1>=e.
(2): e>2>e=ee>2>, откуда получим:
e>1>=e>1>e=e>1>ee>2>=ee>2>=e>2>, т.е. e>1>=e>2.>
2. Пусть для aÎG, $a>1>-1, a>2>-1-обратный для а.
Рассмотрим (1): a>1>-1a=aa>1>-1=e
(2): a>2>-1a=aa>2>-1=e , откуда получим:
a>1>-1aa>2>-1=ea>2>-1=a>2>-1,
a>1>-1aa>2>-1=a>1>-1e=a>1>-1 Þa>2>-1=a>1>-1.
3.
ax=b; aÎGÞ$a-1:
aa-1=a-1a=e.
Домножим
уравнение на a-1:
a-1ax=a-1bÞex=a-1bÞx=a-1b.
Пусть уравнение имеет два решения x>1>, x>2>:
ax>1>=b, ax>2>=b-равенства, домножим на а-1:
x>1>=a-1b, x>2>=a-1b.
В силу алгебраичности операции x>1>=x>2>, что и требовалось доказать.
Из определения группы видно, что G это множество, поэтому есть смысл рассматривать его подмножества. Среди подмножеств особый интерес представляют те, которые являются группами, т. е. замкнуты относительно той же групповой операции.
Опр. 5. Подмножество К группы <G, * > называется подгруппой, если оно само является группой <K, * > .
Теорема 6. (критерий подгруппы). Подмножество К группы G является подгруппой тогда и только тогда, когда выполнены два условия:
1°."a,bÎK, ab,baÎK.
2°."aÎK, a-1ÎK.
ÞG-группа, K Ì G. Пусть K p G (подруппы), тогда по определению К-группа. Следовательно, 1°,2° выполнены.
ÜG-группа, K Ì G, 1°, 2°. Покажем, что K p G, т. е. К-группа.
Для доказательства необходимо проверить четыре условия:
Замкнутость К относительно групповой операции.
Ассоциативность этой операции.
Существование нейтрального элемента.
Существование для каждого элемента обратного.
Из условия видно, что 1 и 4 выполнены. Второе имеет место в силу того, что КÌG. Проверим 3:
Т. к. "aÎK, $a-1ÎK ,условие 1°, то аa-1 Î К. Но аa-1= е, следовательно, еÎК, что и требовалось доказать. Критерий важен в теории групп тем, что сокращает процедуру проверки, является ли подмножество группой (подгруппой).
Особую роль в теории групп имеют подгруппы, называемые нормальными, или нормальными делителями. Выведем это понятие.
Пусть G-группа, K p G-подгруппа. Зададим отношение “сравнения по подгруппе К”:
aºb(mod K)Û ab-1 ÎK. Проверим, что отношение “º”-является эквивалентностью.
1).]aÎGÞ$ a-1G, aa-1=e, eÎKÞ aa-1ÎKÞ aºa(mod K)Þ ”º”-рефлексивно.
2).]aºb(mod K)Þab-1ÎK, (a-b-1)-1ÎKÞba-1ÎKÞbºa(mod K)Þ”º”-симметрично.
3).]aºb(mod K), bºc(mod K)Þab-1ÎK, bc-1ÎKÞ (ab-1)(bc-1)ÎKÞ ac-1ÎKÞ
aºc(mod K)Þ ”º”-транзитивно.
Таким образом, отношение сравнение по модулю в G является отношением эквивалентности, а эквивалентность, как известно, задает разбиение на G.
Обозначим класс эквивалентности, образованный элементами g ÎG, g¯ и покажем, что g¯=Kg={hg| hÎK, gÎG}
Тогда множество классов эквивалентности, которые называются смежными классами группы G по подгруппе К, образуют фактор-множество.
{Kg| gÎG}=G/”º”-фактор-множество.
Аналогично можно вывести отношение сравнения по подгруппе иначе:
“aºb(mod K)Ûb-1aÎK”.
Для различения классы Кg и gК называют правым и левым, причем È Кg=G и ÈgK=G, a {Kg/gÎG} и {gK/gÎG}-образуют фактор-множества.
Возможен случай, когда для "gÎG, Kg=gK. В этом случае К обозначают буквой Н и называют нормальным делителем группы G по Н. Чем интересен этот случай? Оказывается, над смежным классом группы G по Н можно производить операции, а это позволяет рассматривать новую алгебру.
Зададим операцию “ * ” на множестве смежных классов {Hg/g}, где нормальная подгруппа группы G так: Hg>1>Hg>2>=Hg>1>g>2> . Покажем, что выведенная таким образом операция является алгебраической, т. е. покажем, что умножение не зависит от представителей классов, т. е., если
a, a'ÎHg>1>, b,b'ÎHg>2>, то abºa'b'(mod H), т.е. ab, a'b'ÎHg>1>g>2.>
ab=(h>1>g>1>)(h>2>g>2>)=h>1>h>2>g>1>g>2>=hg>1>g>2>ÞabÎHg>1>g>2>;
a'b'=(h>1>'g>1>)(h>2>'g>2>)=h>1>'h>2>'g1g2=h'g>1>g>2>Þa'b'ÎHg>1>g>2>, следовательно
ab, a'b' принадлежит одному классу, т. е. Операция “ * ” на множестве классов является алгебраической, что и дает возможность рассматривать новую группу.
Теорема 7. Множество смежных классов группы G по нормальной подгруппе Н образуют группу.
Т. к. G, H p G-нормальная, {Hg/g G}=G/”º” . Зададим операцию: Hg>1>Hg>2>=Hg>1>g>2>. Покажем, что фактор-множество по введенной операции является группой.
1°.Hg>1>(Hg>2>Hg>3>)=Hg>1>(Hg>2>g>3>)=Hg>1>(g>2>g>3>)=H(g>1>g>2>)g>3>=Hg>1>g>2>Hg>3>=(Hg>1>Hg>2>)Hg>3>Þоперация ассоциативная.
2. Hg=He=H "Hg, H: HgH=HgHe=Hge=Hg, т. е. Н-выполняет роль нейтрального элемента на фактор-множестве.
3.Hg, Hg-1: HgHg-1=Hgg-1=He=H;
Hg-1Hg=Hg-1g=He=H, семейство класса Hg-1 выполняет роль обратного для Hg,
т.е. (Hg)-1=Hg-1.
так как все аксиомы имеют место, то мы имеем дело с группой. Ее обозначают G/H и называют фактор-группой.
Вопрос 6 Элементы теории колец.
В вопросе требуется ввести понятие кольца, рассмотреть классификацию колец и построить фактор-кольцо.
Так как кольцо это пример одной из алгебр, то следует напомнить определение алгебры.
Опр.1 |
Алгеброй
называется упорядоченное множество
двух множеств <A,U>,
где А> |
множество элементов любой природы, а U-множество операций.
Для введения определения кольца необходимо рассмотреть непустое множество и задание операций.
Опр.2 |
Кольцом
называется алгебра <
K,+,> |
удовлетворяют следующим свойствам:
1. < K, +> - аддитивная абелева группа,
2. “>>,,
- ассоциативно,
Имеет
место два дистрибутивных закона, то
есть >
>а,в,с
>
>
К , а(в+с)=ва+са.
Кольцо как алгебра допускает классификацию, представим её схемой:
|
-
С единицей,
т.е. >
>
>
>
Без единицы
Коммутативны
т.е.>
>
Не коммутативны
>
>
-
С делителями нуля, т.е.
>
>>
>
>
>
Без делителей
нуля.
Замечание: Определение всех классов колец предоставляется сформулировать читателю.
Опр.3 |
Коммутативное кольцо с единицей без делителей нуля называеться областью |
целостности.
Примером
области челосности является кольцо Z
, колцо многочленов от одной переменной
K>>,
где К- область челостности.
Так как кольцо это алгебра, а алгебра это множество, то есть смысл говорить о его
подмножествах, среди которых особый интерес представляют подкольца.
Опр.4 |
Подмножество I кольца К называется его подкольцом, если оно само является |
кольцом относительно операции кольца К .
Для проверки является ли рассматриваемое подмножество кольца К его подкольцом удобно пользоваться критерием подкольца.
Теорема 5. |
(критерий подкольца) Подмножество I кольца К является подкольцом |
тогда
и только тогда, когда оно замкнуто
относительно вычитания элементов и
умножения , т.е. если (1) >
>
(2)
>
>
Ü
Пусть >
>(где
“>
>
,,- “
быть подкольцом ,,) .Покажем что (1) и (2)
имеют место.
Так
как >
>
, то он является кольцом, а кольцо это
абелева група, тогда для >
>
, поэтому >
>
следовательно (1)
выполнено. Выполнимость (2) вытекает из
того что I
замкнуто
относительно умножения.
Пусть >
>
, (1),(2) – выполнены. Покажем, что I
– подкольцо, т.е. что I
– кольцо.
Для
этого проверим выполнимость всех аксиом
кольца. Из (2) следует, что I
– замкнуто относительно умножения,
ассоциативность умножения следует из
того,что >
>.
Рассмотрим
условие (1). Пусть>>
>
>>
>,но
>
>,
>
>,
ассоциатив
-ность сложения вытекает из того что >
>.
Таким образом, все аксиомы кольца имеют
место в I,
следовательно, I
– кольцо. Так
как >
>,
то это подкольцо.
Интересен случай подкольца, когда оно является идеалом. Введём это понятие.
Опр. 6 |
Подкольцо
I
кольца K
называется идеалом если для >
|
В
кольце с >
>
существует особый идеал:
>
>
Такой идеал называется главным идеалом.
Главный идеал является наименьшим
подкольцом, образованным >
>
Пусть К является областью целостности. Зададим на нём отношение “сравнения по идеалу I ”.
Опр.7 |
>
|
10.т.к.а-а=0ÎI, то отношение рефлексивно
20. Если а º в(mod I) Þ а-вÎI Þ в-аÎI Þ в º а(mod I) Þотношение симметрично
30.Если а º в(mod I), в º c(mod I) Þ а-вÎ I, в-сÎ I Þ (а-в)+(в-с)= а-сÎ I Þ
а º c(mod I) Þ отношение транзитивно.
Как известно, отношение эквивалентности задаёт разбиение.
К>а> - класс эквивалентности по отношению сравнения по идеалу, называется классом вычетов. Классы вычетов обладают всеми свойствами классов эквивалентности, т.е.
классы эквивалентности не пустые,
классы не пересекаются,
классы состоят из элементов кольца, связанные заданным отношением
каждый элемент из K входит в один из классов
объединение классов вычетов совпадает с кольцом.
Множество
классов вычетов {К>а>
/а>>К}
называется фактор-множество.
Имеет место теорема о фактор-множестве.
Теорема 8 |
Фактор-множество
с операциями сложения и умножения
классов вычетов> |
является кольцом.
Для доказательства выполним следующие процедуры:
зададим операции и проверим их корректность;
операции подчиняются аксиоматике кольца.
n 1).К>а>+К>в>=К>а+в> , К>а>К>в>=К>ав>
>>К>а>>
>, >
>К>в>
покажем, что а+в>
>
>
>К>а
>>
>,
а+в>
>К>а+в
>, >
>
К>в>>
>>ав>
Покажем,
что >
>>
>К>а+в
, >>
>К>ав>
Если >
>и
>
>>
>
>
>
>>>
>>а+в>
>>>ав
>
что доказывает, что введённые операции корректны, т.е. являются алгебраическими.
2).К>а>+(К>в>+К>с>)=К>а>+К>в+с>=К>а+(в+с)>=К>(а+в)+с>=К>(а+в>>)>+К>с>=(К>а>+К>в>)+К>с>>>сложение
ссоциативно
К>а>+К>в>=К>а+в>=К>в+а>=К>в>+К>а> сложение коммутативно;
К>а>+К>0>=К>а+0>=К>а>>>
К>0>=I
идеал выполняет роль нулевого элемента
относительно сложения;
К>а>+К>(-а) >= К>а+(-а)>= К>0>= I К>(->>а)>= -К>а> –противоположные классы
К>а>.(К>в>.К>с>) = К>а>.К>вс>=К>а(вс)>=К>(ав)с>=К>ав>.К>с>= (К>а>.К>в>).К>с>
К>а >.(К>в>+К>с>) = К>а>К>в+с>= К>а(в+с)>= К>ав+ас> = К>ав>+К>ас>
Всё
рассмотренное доказывает выполнимость
аксиоматики кольца, поэтому >
>-
кольцо. Оно обозначается >
>
и называется
фактор-кольцом кольца К
по идеалу I.
Кроме отношения сравнения по идеалу I в кольце рассматривается ещё отношение-
“ отношение делимости “. Рассмотрим его.
Опр. 7 |
Элемент
>
|
такое
>
>,
что а=вс. а
–называется
делимое, в
–делитель, с–частное.
И обозначается “ M
,,
Отношение
делимости позволит ввести ещё одно
отношение – ассоциативности элементов
- “ ~ ,, а
~в
>
>
аM
в / вM
а.
Элемент
>
>
называется обратимым в К если для него
существует >
>
такое, что
ав=1. Элементы а и в называют так же делителями единицы.
Отношение делимости обладает рядом свойств, оно является нестрогим числовым порядком, т.е.
10 “
M ,,
- рефлексивно : а>>0,
аM
а.
20 “ M ,, - антисимметрично : аM в, вM а Þ а = в.
30 “ M ,, - транзитивно : аM в, вM с, то аM с.
40 а,вM с Þ а+вM с, авM с.
50 а>1>,а>2>,
.... ,а>n >,
>
>
a>I>
M c Þ
а>1>,а>2>,
... ,а>n >M
с. и ряд
других свойств.
Отношение “ ~ “ является отношением эквивалентности.
10 >
>M
а
Þ
а ~ а.
20 а ~в Þ аM в, вM аÞ в ~а.
30
а ~в,
в~с Þ
аM
в, вM
с Þ
аM
с
> >>Þ>>
>c~a Þ
a ~c
вM a, сM в Þ сM в ,в M а Þ сM а
Вопрос 7 Гомоморфизм колец
В вопросе ставиться проблема взаимосвязи алгебр на примере колец, которые описываются гомоморфизмом. Предлогаеться решить проблему взаимосвязи кольца, фактор-кольца с другим кольцом, которая задаётся теоремой об эпиморфизме колец. Предварительно введём ряд понятий. Прежде всего, сформулируем определение алгебры и гомоморфизма алгебры.
Опр.1 |
Алгеброй
называется упорядоченное множество
двух множеств <A,U>,
где А> |
множество элементов любой природы, а U-множество операций.
Для введения определения кольца необходимо рассмотреть непустое множество и задание операций.
Опр.2 |
Гомоморфизмом алгебр называется отображение одной из них в другое, сохра - |
няющее
операции, т.е. если А , В – алгебры , с
U, W – множествами опреаций, f
– гомоморфизм
А
в В , то >
>
▲>
>U,
существует ■ >
>W.
Гомоморфизм алгебр допускает классификацию:
-
Свойства f
Гомоморфизм
Мономорфизм
Эпиморфизм
Изоморфизм
1.Сохранение операций
2.x>1>>
>y>1>Þ f(x>1>)>
>f(y>1>)
>
>
Все св-ва
1 - 3
Сформулировать определения мономорфизма, эпиморфизма, изоморфизма предоставляется читателю.
Рассмотрим гомоморфизм колец.
Опр.3 |
Гомоморфизмом
кольца <K, +, >
|
Сохраняющее операции, т.е. f(а+в)=f(а)Å f(в) ; f(ав)=f(а)Ä f(в).
Опр.4 |
Ядром
гомоморфизма f:
>
|
которых
равны нулю кольца К, т.е. Ker
f =>>
Теорема 5 |
Ker
f
кольца
К
в >
|
а,в Î Ker f Þ f(a)=0¢Î K¢, f(в)=0¢ÎK¢ ; кÎK
f(a-в)=f(а+(-в))=f(а)+f(-в)=f(а)-f(в)=0¢- 0¢=0¢Î K Þ а-в Î Ker f
f(ак)=f(а) f(к)=0¢ f(к)=0¢ Î К¢ Þ акÎ Ker f
f(ка)=f(к) f(а)= f(к) 0¢=0¢ Î К¢ Þ каÎ Ker f ,что и доказывает, что Ker f кольцо К в К ¢ является идеалом К
Имея К и идеал его I , можно задать отношение сравнения по идеалу. Известно, что это отношение является эквивалентностью поэтому задано разбиение, а следовательно, фоктор - кольца. Рассмотрим отображение Е : К® К /I, где Е(x)=K>x>
Покажем что Е – гомоморфизм ( эпиморфизм ).
E(x+y)=K>x+y>=K>x>+K>y>=E(x)+E(y); E(xy)=K>xy>=K>x>K>y>=E(x)E(y).
" K>x> Î K / I ;$ xÎ K, E(x)=K>x >>. >Это позволяет утверждать что Е - эпиморфизм> .>
Теорема 6 |
Если f: K® K¢ эпиморфизм, то существует изоморфизм K / Ker f на K¢ такой, |
что эпиморфизм f равен композиции Е и изоморфизма.
Для доказательства теоремы предварительно рассмотрим и зафиксируем условие теоремы.
К, К¢ - кольца , f: K®K¢, f(x)=x¢-эпиморфизм, тогда f обладает ядром Kerf, которое является идеалом K. Становиться возможным К фиксировать по Ker f = I, получаем фактор –кольцо К / Ker f. Рассмотрим Е: К® Ker f, где E(x)=Kx –эпиморфизм. Теперь можно приступать к доказательству теоремы, которое предполагает выполнение процедур по плану:
покажем что для x,yÎK>x> , f(x)=f(y),
зададим отображение Y: K/Ker f ® K¢ так :Y(K>x>)=f(x),
проверим, что Y - гомоморфизм,
Y - эпиморфизм,
Y - мономорфизм.
f = Y °E.
Итак,
покажем, что для x,yÎK>x>,
f(x)=f(y).
Пусть f(x)¹f(y)
Þ
f(x)-f(y)¹0¢
Þ
f(x-y)¹0¢
®
x-y ÏKer
f Þ
x >
>y(mod
Ker f)>
>Þ
xÏK>x>
Ú
yÏK>y>
,что противоречит
условию. Поэтому утверждение верно.Изобразим условие теоремы и результат доказанного схемой
K
·x
f f(x)
K¢
·y
Y
Ker f 0¢
E Kx
0¢¢ K¤ Ker f
>>
Зададим отображение Y: К/ker f®K’ , Y(Kx)=f(x).
Y(Kx+Ky)=Y(Kx+y)=f(x+y)=f(x)+f(y)=Y(Kx)+Y(Ky);
Y(KxKy)=Y(Kxy)=f(xy)=f(x)f(y)=Y(Kx)Y(Ky), т.е. Y-гомоморфизм.
Кх¹КуÞY(Кх)¹Y(Ку).Пусть это не так,пусть Y(Кх)=Y(Ку)Þf(х)=f(у)Þх и у из одного класса,что противоречит условию; т.е.Y - мономорфизм. х¢ÎК¢; т.к. f- эпиморфизм, то$ хÎК, f(х)=х¢, тогда $ Кх ÎК(ker f : E(х)=Кх, а Y(Кх)=х¢, что позволяет утвердждать: Y- эпиморфизм
Итак , Y-изоморфизм К/ker f и К¢.
Пусть YоЕ(х) ;YоЕ(х)=Y(Е(х))=Y(Кх)=f(х)ÞYоЕ=f
Вопрос 8 . Делимость в кольце целых чисел (Z)
В вопросе ставится проблема отношения делимости в кольце целых чисел и возможное его приложение для нахождения НОД и НОК целых чисел.
Опр.1.
Число а ÎZ называется делящимся на число в¹оÎZ, если существует такое число с, что а=вс,
а
называют в этом случае делимым, в –
делителем, с – частным. Обозначают
отношение ²>>”.
Отношение делимости на Z обладает рядом свойств:
1° " а¹ 0, аMа, | Доказательство:
2° " а¹0, в¹0, а:M в, вMаÞа=в, | а¹0 Þа=а×1ÞаMа;
3° "а,в,с, а:в и вMсÞ аMс | аMвÞа=вс
Истинность названных трех | вMаÞв=аd }Þа=а(dс)Þа×1=а(dс)Þ
Свойств позволяют утверждать, | а(1-dс)=0Þ1-dс=0Þdс=1 (нет делителей редко)Þ
Что отношение делимости |d и с делением 1, т.е.равны 1 или (-1)
является нестрогим частичным | аMвÞа=вк } Þа=с(mк)ÞаMс
порядком. | вMсÞв=сm}
4°а:в ,сMвÞа+вMс, авMс
5° асMвс, с¹0ÞаMв и ряд других
Убедимся в том, что отношение делимости не обладает свойством связности , т.е. является частичным. Это легко проверить примером: 4:/5. Потому естественным образом возникает проблема деления целого числа на другое не равное нулю. Такая ситуация описывается теоремой о делении с остатком.
Т 2.
"а,в¹0, Z(!)gч такие, что а=вg+ч, где 0£ч<в
Теорема содержит в себе две: о существовании и о единств.
Рассмотрим ихдоказательства.
Случай 1. а³0.Проведем доказательство методом матиндукции.
а=0 Þ 0=в0+0, где видно , что g=0, r=0ÎZ
а=п Þ и пусть теорема для п верна, т.е.
(1) п=вg+r, 0£r , 0<в
а=п+1Þ прибавим к обеим частям равенства (1) по 1, получим:
п+1=вg+(r+1). Исследуем (r+1).Если r+1<в, то теорема верна для п+1, если r+1=в,то
п+1=в(g+1)+0 и теорема вновь верна. На основании принципа матиндукции можно утверждать,что теорема верна для любого целого числа а³0.
Случай 2. а<0, тогда -а>0 и теорема для этого числа верна, т.е.-а=вg+r 0Þr<в.
Поступим так:
А=в(-g)+(-r), прибавим к левой части и вычтем в, получим а=в(-g)-в+в+(-r)Þa=b(-1-g)+
(b-r), где –1-gÎZ, в-r <в, при r>0, т.е. теорема верна.
(!) Пусть для а,в>0ÎZ существует два варианта:
а=вg1+r1, а=вg2+r2, где 0£r1,r2<в.
Заметим, что g1=g2Ûr1=r2.
Действительно, если r1=r2Þr1-r2=в(g2-g1)=0, в¹0Þg2-g1=0Þ
G1=g2, g1=g2Þg2-g1=0Þr1-r2=0Þr1=r2.
Поэтому рассмотрим случай, когда r1¹r2, тогда вg1+r1=вg2+r2Þr1-r2=в(g2-g1).
Так как 0 £r£b, 0£r2<b, то r1-r2<b. С другой стороны êb(g2-g1)ê=êbêêg2-g1ê>g1¹g2>b,
Т.е. R1-r2>b, что привело к противоречнию. Теорема доказана.
Рассмотрим возможное применение отношения делимости и отношения с остатком для введения
и способа вычисления НОД и НОК двух целых (натуральных) чисел. Введем определение
НОД и НОК.
Опр.3 Наибольшим общим делителем двух целых чисел а и в называется такой
Их общий делитель, который делится на всякий другой их общий делитель.
Опр.4. Наименьшим общим кратным двух целых чисел называется такое их
общее кратное , на которое делится всякое другое их общее кратное.
НОД и НОК двух чисел и большего числа можно находить способом разложения на
простые множители. Здесь рассмотрим другие способы в частности, алгоритм
Евклида.
Алгоритм Евклида представляет собой конечный процесс деления одного числа
на другое, затем второго числа на первый остаток, затем первый остаток
деления на второй и так до тех пор, пока деление завершится без остатков.
Это считается возможным, потому что остатки будут неотрицательным числом,
убывают, что бесконечным быть не может.
Оформим этот процесс математически:
а=bg1+r1, 0<r1<b,
b=r1g2+r2, 0 <r2<r1,
…………..
rk-2=rk-1gk+rk, 0<rk<rk-1
rk-1=rkgk+1 rk+1=0
и докажем теорему о нахождении НОД чисел. Заметим, что НОД чисел обозначаем так:
НОД (а;в), или просто (а,в)
Теорема 5
Последний, отличный от нуля, остаток в алгебре Евклида является НОД (а;в).
Для доказательства требуется предварительно рассмотреть две леммы:
Лемма 1: а=вg+r, то (а,в)=(в,r)
(a,b)=d®aMd1bMdÞa-bgMdÞrMdÞd – общий делитель в и r,
т.е., если (в,r)=d1,то d1Md (1)
(в,r)=d1®bMd1, rMd1ÞaMd1Þd1общий делитель a и b,ÞdMd1 (2)
Из (1) и (2) следует, что d=d1
Лемма 2: аMвÞ (а,в)=в
Теперь допишем теорему. Из последнего равенства в алгоритме Евклида следует, что
(rk-1,rk)=rk. А из предпоследнего, по лемме, следует, что (rk-2,rk-1)=(rk-1,rk)=rk
Поднимаясь от равенства к равенству в алгоритме Евклида получим (а,в)=,rk
Что и требовалось доказать.
Решим вопрос о нахождении НОК (а,в).Обозначим НОК (а,в)=m
И докажем теорему
Теорема 6 m=ab/(a,d). Для доказетельства воспользуемся определением НОК.
Напишем, что ав/(а,в) делится на а и на в.
(а,в)=Þa=a1d, тогда ab/(ab)=a1db1d/d(a1b1)=ab1=a1b, что и доказывает утверждение.
………..b=b1d
………..(a1,b1)=1
Покажем, что любое кратное чисел а и в делится на m.Пусть М общее кратное а и вÞ
М=ак, М=вmÞM=abs=absd/d=ab/(a,b)sdÞ
M:ab/(a,b), что и требовалось доказать. Используя определение НОК (а,в) можно
Сделать вывод, что m=ab/(a1b)
Вопрос 9 Элементы теории сравнения с кольце Z
В вопросе решается проблемы возможности задания бинарного отношения
”cравнение по модулю m” в кольце целых чисел, его свойств, среди которых построение
новых алгебр из Z.
Пусть Z -кольцо целых чисел, m ÎZ, m >1
Опр.1 Числа а и в называются сравнимыми по модулю m, если а-в:m.
Записывается: а=в(modm).
Легко показать, что введенное бинарное отношение на Z является отношением эквивалентности, т.е.
обладает свойствами рефлексивности ,симметричности ,транзитивности.
Действительно:
1° a-a=0ÎZ, 0:mÞaºa (modm);
2° aºb (modm)Þa-b:mÞb-a:mÞbºa (modm);
3° aºb (modm), bºc (modm)Þa-b:m,Þ(a-b)+(b-c):mÞa-c:mÞ
…………………………………aºc (modm)
Это очень важное свойство отношения сравнения,т.к. в таком случае оно задает разбиение
На Z , что рождает фактор – множество К/m=Zm, как множество классов эквивалентности.
Общая теория колец рассматривает эту ситуацию и утверждает, что<Zm,+,x>- кольцо.
Здесь же мы рассмотрим порождение другой алгебры – мультипликативной группы.
Для этого введем понятие взаимной простоты класса и модулем m.
Класс Ка=а называется взаимнопростым с m, если (а,m)=1, где а –образующей класса Ка
Однако в теории классов известно, что таким обьразующим может быть любой элемент из этого
класса).
Рассмотрим множество классов вычетов, каждый из которых взаимно прост с m.
Известно, что количество чисел, взаимно простых с модулем определяет функцию
Эйлера g(m) ,и что остатком от деления целых чисел на m составляют полную систему вычетов
Взаимно простые с m следует искать среди классов Ко,К1,К2,…,Кm-1. Пусть такими
классами будут ír1,r2,…rg(m) ý. Такую систему классов называют приведенной
Системой классов вычетов и их представителем приведенной системы вычестов
ír1,r2,…rg(m)ý.
В этой системе ровно g(m) элементов, ( ri,m)=1, (ri,m)=1
Теперь докажем теорему о приведенной системе классов вычетов.
Теорема 2. Приведенная система классов вычетов по модулю не образует
мультипликативную группу.
Для доказательства теоремы необходимо проверить существенные признаки мультипликативной группы,
т.е. проверить:
замкнутость относительного умножения,
ассоциативность умножения,
существование единичного элемента,
существование для каждого элемента обратного.
Рассмотрим {r1,ri,…rg(m)},где (ri,m)=1, напомним ,что ri×rj=ri×rj.
(rim)=1Þ
(rj,m)=1
(ri,m)=1
……(rj,m)=1 Если предположить, что (ri×rj,m)¹1, то это будет означать, что
най р-простое число такое, что ri×rj:p1Þ m:p
Если ri или rj делятся на р, то нарушаем условие (1).Если ri p, то по известному утверждению,
²a×b:p,(a,p)=1Þb:p², следует, ri:p, что также приводит к противоречию (1). И так,
(ri:rj,p)=1Þ
(ri×rj,p)=1, т.е.rirgÎ{r1,r2,…rj(m)}, что утверждает с необходимостью замкнутость
очередного умножения. Так как классы вычетов riÎZm, то умножение
Так как (1,m)=1, то ri=1, т.е. единый класс в рассматриваемом множестве есть.
Пусть аÎZ, (а,m)=1, рассмотрим{ar1,ar2,…arg(m)}.Легко показать, что
Это тоже приведенная система вычетов.Тогда ari=1Þa×ri=1, т.е. для ri
Существует класс ему обратный: а=ri-1. Можно существование обратного класса доказать и таким
Способом: a,r2…rg(m)=rj, сократим на ri, получим r1,r2…rj-1,rj+1 rg(m)=1, тогда
(r2…rg(m)=(r1)-1,(r1r3…rg(m)=(r2)-2 и т.д., что подвтерждает факт существования для
каждого класса ri ему обращенного ri-1. Теорема доказана.
Теория сравнения имеет всевозможное применение. В частности, теория сравнения
Используется при выводе признаков делимости. Сформулируем общий признак
Делимости на mÎZ, m>1, который назван признаком Паскаля. В основе этого признака лежит систематическая запись натурального числа в системе с основанием g, т.е.
(a>n>a>n-1>…a>1>a>0>)g=a>n>×gn+a>n-1>gn-1+…a>1>g1+a0>g>°.
Теорема 3.(Паскаля) Число а=(а>n>,a>n-1>…a1,a0)g делится на mÎZ,m>1 тогда и только
Тогда, когда на m деления в число: a>n>r>m>+a>n-1>r>n-1>+…a>1>r>1>+a>0>r>0>, где r>i> остаток
От деления g>i> на m.
g°=mg0+r>0>, g1=mg2+r>1>,…gn=mgn=r>n>Þ
g0ºr>0>(m>0>d>m>),g1ºr>1>(m>0>d>0>),…,gnºrn(m>0>d>0>). Используя свойства сравнения легко получаем,
что a>n>gn+…+a>0>g0ºa>n>r>n>+…+a>0>r>0> (m>0>d>0>). Воспользуемся определение сравнения, мы получаем истинность теоремы.
Общий признак позволяет вывести частный признак.
Выведем признак делимости на 3 и на 5, если число записано в десятичной
Системе исчисления.
m=3, g=10,тогда 10°=1º1(mod3),
10º1 (mod3), используем лемму, можно утверждать, что остатки r>i> =1, по
по признаку Паскаля
(a>n>a>n-1>…a>0>)10ºa>n>+…a>0>(mod3), откуда можно сфоормулировать признак
делимости на 3:
“Число делится на 3 тогда и только тогда, когла сумма его цифр в
десятичной делится на 3”.
Пусть b
ÎР(a),
т.к. Р(a)
= Р[a],
то b
= а>S>as
+···+a>1>a + a>0>,
где f(х) = а>S>хs
+···+a>1>х + a>0>Î
Р[х],
f(a) = b.
Пусть g(х) – линейный элемент для a,
т.е. g(х) = b>n>хn
+ ···+ b>1>х
+ b>0>.
Разделим f(х) на g(х) :
f(х) = g(х) g>1>(х) + r(х), 0£ deg r(х) < n, т.е. r(х) = с>0> + с>1>х +···+ с>n-1>хn-1. (с>i>Îр).
положим х = a в (1), получим f(a) = g(a) g>1>(a) + r(a), т.к. g(a) = 0, то f(a) = r(a), т.е. b = с>0> + с>1>a +···+ с>n-1>an-1. Получили, что такое представление однозначное.
Пусть b = с>0> + с>1>a +···+ с>n-1>an-1 и b = d>0> + d>1>a +···+ d>n-1>an-1.
Рассмотрим многочлен φ(х) = (с>0> - d>0>) + (с>1> - d>1>)х + ∙∙∙ + (с>n-1> - d>n-1>)х n-1, причем φ(a) = 0, т.е. получился многочлен, степени меньше чем n, для которого a является корнем, что противеречит линейности многочлена для a. Если φ(х) существует, то он нулевой, поэтому с>i> = d>i>, что и доказывает теорему.
Посмотрим как возможно изменить эту теорему для освобождения от алгебраической иррациональности в знаменатели дроби.
Пусть a – алгебраический элемент степени n > 1 не из Р
Пусть
f(х), h(х) два многочлена из Р[х],
h(a) ¹
0. Тогда в р(a)
может быть дробь >
>.
Возникает проблема представить дробь
в виде линейной комбинации
степеней a. Это возможно, так как любой элемент из р(a) есть линейная комбинация 1, a,…,a n-1 Задача состоит в нахождении алгоритма преобразования.
Пусть
g(х) – минимальный многочлен для
a
степени n. Т.к. h(a)
¹ 0,
то h(х)>
>g(х)
®
(h(х), g(х)) = 1 =>
uh + vg = 1. Т.к.
g(a) = 0,
u (a)
h (a) = 1
u(a)
= >
>.
Следовательно,
>
>=
f (a)u(a)
, где f(х), u(х)
Î
Р[х],
а f (a), u(a)Î
Р[a].
Таким образом удалось освободиться от
иррациональности в знаменателе дроби,
а сделать это можно так:
рассмотрим
h(х) и g(х) – минимальные a,
если a
с помощью алгоритма евклида подобрать u(х) такой, что h(х) g(х) + v(х) g(х) = 1;
найти u(a);
>>=
f (a)u(a)
Вопрос 10. Кольцо многочленов от одной переменной.
Вопрос предполагает решение проблемы построения кольца многочленов как алгебры и решение проблемы о корнях многочлена.
Для построения кольца многочленов как алгебры напомним определение алгебры.
Определение
1. Алгеброй
называется упорядоченное множество
двух множеств >
>,
где >
>
множество элементов любой природы, а V
– множество
операций.
Одной из алгебр является кольцо.
Определение 2. Кольцом называется алгебра с двумя бинарными операциями – сложение и умножение -, удовлетворяющих следующим свойствам:
< K, +> - аддитивная абелева группа;
“ ´ ”- ассоциативная операция;
Сложение и умножение связаны дистрибутивным законом.
Для построения кольца многочленов зададим кольцо К и введем понятие многочлена.
Определение 3. Многочленом f(x) называется сумма a>n>xn+a>n-1>xn-1+...+a>1>x+a>0>, где a>i>ÎK, x – неизвестное, xÏK, x0=1, 1·x= x. a>i> называют коэффициентами многочлена, a>n>- старшим, a>0> – свободным членом.
Определение
4. Суммой
двух многочленов >
>
и >
>
называется многочлен h(x)=f(x)+g(x),
h(x)=c>k>xk+...+c>0>>,
>где c>i>=a>i>+b>i>.
Определение 5.
Произведением
двух многочленов >
>и
>
>
называется многочлен >
>,
где >
>.
Обозначим множество всех многочленов с коэффициентами из кольца K через K[x] и рассмотрим алгебру <K[x], +, ´>. Докажем теорему о том, что эта алгебра является кольцом.
Теорема 6. Алгебра многочленов <K[x], +, ´>, с коэффициентами из кольца K образует кольцо.
g 1. f(x)+(g(x)+h(x))=(f(x)+g(x))+h(x)
f(x)+g(x)=g(x)+f(x)
f(x)(g(x)h(x))=(f(x)g(x))h(x)
f(x)(g(x)+h(x))=f(x)g(x)+f(x)h(x)
Ассоциативность сложения и умножения, коммутативность сложения и дистрибутивные законы непосредственно вытекают из введенных нами операций над многочленами.
2.
>
>-
называют нулевым многочленом, легко
проверить, что >
>,
т.е. >
>-
выполняет роль нулевого элемента в
алгебре K[x].
f(x)=(-a>n>)xn+...+(-a>1>)x+(-a>0>)=-f(x) – называют противоположным многочленом для многочлена f(x), он выполняет роль противоположного элемента в алгебре. Так как все аксиомы кольца выполняются, то <K[x],+,´> - кольцо, которое обозначают K[x] и называют кольцом многочленов над кольцом K.
Теорема 7. Если K область целостности, то K[x] тоже область целостности.
Для доказательства этой теоремы введем понятие степени многочлена.
Степенью многочлена f(x) называется максимальный показатель степени x с коэффициентом отличным от нуля. Обозначение: deg f(x)=n, где a>n>¹0.
Степень многочлена обладает свойствами:
deg (f + g) £ max (deg f, deg g); deg (fg) = deg f + deg g, если K – область целостности. Доказательство свойств степени многочлена осуществляется на основе двух аргументов: во-первых, на основании выполнения операций; во-вторых, на основании целостности K.
Приступим к доказательству теоремы. Требуется проверить выполнимость: (1) коммутативности умножения и (2) отсутствие делителей нуля.
коммутативность умножения следует из определения умножения многочленов над областью целостности, где умножение элементов коммутативно.
f(x)¹>>,
deg f(x)=n³0,
g(x)¹ >
>,
deg g(x)=m³0,
deg (f(x)g(x))=deg f(x)+deg g(x)=
n+m ³0
Þ
deg (fg) = n+m ³
0 Þ
$
c>n+m >¹
0 Þ
(fg)¹
>
>,
это и доказывает отсутствие делителей
нуля в K[x],
где K –
область целостности.
Пусть возникла ситуация, где требуется многочлен f(x) = a>n>xn+...+a>1>x+a>0 > разделить на двучлен (x-a). Это можно сделать с помощью алгоритма, который принято в математике называть схемой Горнера. Построим этот алгоритм.
f(x) = (x-a)g(x)+r(x), где f(x) = a>n>xn+...+a>1>x+a>0>, g(x)= b>n>xn+...+b>1>x+b>0 >.
Воспользуемся свойством степени, получим:
deg f(x) £ deg [(x-a)g(x)+r(x)]£ max[deg (x-a)g(x), deg r(x)]
deg (x-a)g(x)=deg (x-a)+deg g(x). Из этих равенств можно сделать вывод, что m=n-1, deg r(x)=0, т.е. r(x) – число, т.е. a>n>xn+a>n-1>xn-1+...+a>1>x+a>0>=(x- -a)b>n>xn+...+b>1>x+b>0>+r. Раскроем скобки справа и приравняем коэффициенты многочленов. Для удобства одновременно воспользуемся схемой.
a>n> |
a>n-1> |
... |
A>2> |
a>1> |
a>0> |
|
a |
b>n-1> |
b>n-2>=ab>n-1>+a>n-1> |
... |
b>0>=ab>1>+a>1> |
b>0>=ab>1>+a>1> |
r=ab>0>+a>0> |
a>n>xn=b>n-1>xn Þ b>n-1>=a>n>
a>n-1>xn-1=b>n-1>xn(-a)+b>n-2>xn-1 Þ a>n-1>=b>n-1>(-a)+b>n-2 >Þ b>n-2>=a>n-1>+ab>n-1>
b>1>=ab>2>+a>2>, b>0>=ab>1>+a, r=ab>0>+a>0>.
Введем понятие корня многочлена.
Определение 8. Число x=a называется корнем многочлена f(x), если значение многочлена f(a) равно нулю.
Рассмотрим теорему Безу о делении многочлена на двучлен (x-a).
Теорема 9. (Безу) Остаток от деления многочлена f(x) на двучлен (x-a) равен f(a).
g f(x), (x-a). Поделим, f(x)=(x-a)g(x)+r, мы установили, что r – число. Подставим x=a в равенство, получим f(a)=0g(a)+r, откуда вытекает утверждение теоремы f(a) = r.
Из теоремы вытекает следствие: f(x)M(x-a) Û x=a корень уравнения.
Þ f(x) M (x-a) Þ f(x)=(x-a)g(x)+f(a) (по теореме Безу), f(a)=0 Þ x=a корень f(x)
Ü Пусть x=a корень многочлена, т.е. f(a)=0 Þ f(x)=(x-a)g(x) (по теореме Безу), т.е. f(x) M (x-a).
Вопрос 11. Кольцо многочленов над полем комплексных чисел.
В алгебре многочленов имеют место две взаимно пересекающиеся, взаимно дополняющие линии. Это вопросы существования и количества корней многочлена и разложение многочлена на неприводимые множители.
В вопросе представлено решение этих аспектов для кольца многочленов над полем комплексных чисел, т.е. для кольца C[x], где C – поле комплексных чисел.
Итак, пусть P – поле.
Определение 1. Поле P называется алгебраически замкнутым, если любой многочлен положительной степени имеет в этом поле корень. Алгебраической замкнутостью обладает поле C, это решается основной теоремой алгебры.
Теорема 2. Любой многочлен положительной степени из кольца C[x] обладает по крайней мере одним корнем. Примем эту теорему без доказательства в силу того, что она требует предварительного доказательства ряда теорем из математического анализа.
Из основной теоремы алгебры вытекает ряд следствий, их и рассмотрим.
Следствие 3. Неприводимым над полем C многочленом является многочлен только первой степени.
Для доказательства этого утверждения введем определения приводимого и неприводимого многочлена. Многочлен f(x)ÎP[x] называется приводимым, если его можно представить в виде произведения двух многочленов меньшей положительной степени. В противном случае многочлен называется неприводимым.
Приступим к доказательству следствия 3.
Пусть дан f(x)ÎC[x]. Пусть он приводим. Покажем, что
рассмотрим f(x)=a>1>x+a>0>, degf(x)=1. Предположим, что f(x) – приводим. Тогда по определению приводимого многочлена f(x)=f>1>(x)f>2>(x), где degf>1>(x)>0, degf>2>(x)>0. Однако по условию degf(x)=1=1+0=0+1, то есть degf>1>(x)=0Èdegf>2>(x)=0, что противоречит свойству степеней. Полученное противоречие и доказывает неприводимость многочлена (а>1>х+а>0>).
Пусть deg f(x)>1, тогда по основной теореме алгебры он обладает корнем. Пусть таким корнем будет х=а. По следствию из теоремы Безу: f(x)=(x-a)f>1>(x). Так как deg(x-a)=1, degf(x)>1, deg(x-a)f>1>(x)=deg(x-a)+degf>1>(x), то degf(x)>0; то есть f(x) – приводим, что противоречит условию. Таким образом, неприводимым над полем С является только многочлен первой степени.
Следствие 4. Если f(x)ÎC[x], degf(x)=n³1, то его можно представить в виде:
с(x-a>1>)(x-a>2>)...(x-a>n>), (*)
где a>i> – корни его, а сÎС.
g
Пусть f(x)=c>1>x+c>0>=c>1>>>=c>1>(x-a>1>),
где >
>,то
есть для многочлена f(x)
утверждение верно: он представляется
в виде (*) и а>1>–
корень его, а с>1>–
старший коэффициент.
Далее, проведем доказательство методом математической индукции. Пусть теорема верна для многочлена степени меньшей или равной (n-1), то есть
f(x)=c(x-a>1>)...(x-a>n-1>), где a>1>, a>2>, ..., a>n-1>– его корни, а с – старший коэффициент.
Пусть f(x) – неприводим, а это возможно только для n=1, для этого случая теорема верна. Либо f(x) – приводим, тогда f(x)=g(x)h(x), где степени g(x) и h(x) меньше n, для них теорема верна. В силу свойства степени f(x)=c(x-a>1>)...(x-a>n>), то есть множителей будет ровно n. По следствию из теоремы Безу а>i> – корни f(x), если расткрыть скобки в правой части и воспользоваться равенством многочленов, то с – старший коэффициент f(x). Теорема доказана.
Из этого в следствии с необходимостью вытекает еще два.
Следствие 5. Количество комплексных коней многочлена f(x)ÎC[x] совпадает с его степенью.
Следствие 6. Любой многочлен f(x)ÎC[x] положительной степени n можно представить в виде:
f(x)=c(x-a>1>)a>1>(x-a>2>)a>2>...(x-a>k>)a>k>, где a>1>+...+a>k>=n, a>i> – его корни. Такое представление носит название канонического. Возможность такого представления вытекает из следствия (4) и допустимости повторяющихся корней, то есть кратных корней многочлена.
В теории многочленов над С имеет место теорема, устанавливающая связь между корнями многочлена и его коэффициентами.
Теорема 7. Пусть f(x)ÎC[x], degf(x)=n, a>n>=1 (то есть f(x) – нормирован), тогда как известно, f(x)=(x-a>1>)(x-a>2>)...(x-a>n>), где имеет место соотношение:
а>0 >= (-1)n a>1 >a>2 >... a>n>;
a1= (-1)n-1 (a>1>a>2 >... a>n-1>+ ... + a>2>a>3> ... a>n>);
. . . . . . . . .
an-2= a>1>a>2>+ a>1>a>3>+ ... + a>n-1>a>n >;
an-1= -(a>1>+ a>2>+ ... +a>n>);
эти соотношения называются формулами Виета. Однако, справедливости ради, надо отметить, что Виет нашел эту зависимость только для случая положительных корней, в общем виде эта теорема установлена А. Жирарое.
Вопрос 12 Кольцо многочленов над полем действительных чисел (R).
В алгебре имеет место теория многочленов. Многочлен введен по определению как выражение f(x)=a>n>xn+a>n-1>xn-1+...+a>1>x+a>0>, где a>i>ÎK – кольцо, x0=1, 1·x= x. Введение операций “+” и “´” многочленов позволило построить алгебру многочленов, которой является кольцо многочленов над кольцом К и обозначается К[x]. Особый интерес представляет теория многочленов, когда вместо кольца К взято поле. Такими числовыми полями являются C, R, Q.
В силу существования операции деления в поле, стало возможным рассматривать два взаимосвязанных вопроса в теории многочленов: корни многочлена и разложение многочлена на неприводимые многочлены.
Рассмотрим решение этой проблемы для кольца многочленов над R.
Теорема 1. Комплексные корни f(x)ÎК[x], то есть с действительными коэффициентами попарно сопряженными.
n
Пусть f(x)ÎК[x],
и пусть z=a+bi; a,bÎR
комплексное число, являющееся корнем
f(x), причем
degf(x)³2
в противном случае f(x)
комплексных корней иметь не может.
Покажем, что >
>=a–bi,
b¹0
тоже является корнем f(x).
f(>>)=a>n>>
>n+a>n-1>>
>n-1+...+a>1>>
>+a>0>=
(воспользуемся свойством сопряжения)
= =>
>,
то есть >
>
является корнем f(x),
что и требовалось доказать.
Рассмотренная выше теорема позволяет доказать теорему о неприводимом многочлене из R[x]. Напомним определение приводимого и неприводимого многочленов.
f(x) называется неприводимым, если его можно представить в виде произведения двух многочленов меньшей положительной степени и неприводимым, если этого сделать нельзя.
Рассмотрим f(x)= a>1>x+a>0>, a>i>ÎR. его нельзя представить в виде произведения двух многочленов меньшей положительной степени в силу того, что 1=1+0=0+1.
Решать будем вопрос о приводимости и неприводимости многочлена f(x)ÎR[x] степени большей или равной 2.
Теорема 2. Неприводимый многочлен f(x)ÎR[x], degf(x)=n³2 ассоциирован с многочленами (x-a)2+b2,где x=a+bi комплексный его корень.
n Пусть f(x)ÎR[x], degf(x)=n³2, пусть x=a+bi, b¹0 – корень f(x), он неприводим.
Прежде всего отметим, что у такого многочлена нет действительных корней, иначе бы f(x)=(x-a) f>1>(x) (следствие из теоремы Безу), что противоречило бы его неприводимости.
По
теореме о сопряженности мнимых корней
многочлена с действительными коэффициентами
f(x) обладает
еще одним корнем x>2>=a–bi,
где x>2>=>>.
Рассмотрим (x-x>1>)(x-x>2>)=(x-a)2+b2. (*)
Разделим f(x) на многочлен (*), получим:
f(x)=[(x-a)2+b2]g(x)+r(x).
Так
как степень делителя равна 2, то degr(x)<2,
то есть r(x)=cx+d.
Подставим в (1) x1=a=bi
и x>2>=a-bi, мы
получим: >
>
Так
как b¹0
, то c=0,
тогда d=0,
то есть r(x)=>>.
Это означает, что f(x)M (*). Но f(x) – неприводим, потом deg g(x)=0, то есть g(x)ÎR. Что и подтверждает ассоциированность f(x) и (*).
Теорема 3. Рассмотренная выше теорема позволит сделать ряд выводов:
Неприводимыми многочленами над R могут быть многочлены не выше второй степени.
Многочлен f(x)ÎR[x], degf(x)³1 может быть представлен в виде:
>>,
где >
>
если среди корней есть кратные, то можно
представить и в виде (*):
>>,
где S>i>
– кратности корней, а t>j>
– кратности сопряженных мнимых его
корней. Представление (*) называется
каноническим представлением f(x).
Теорема 4. Теоремы (1), (3) позволяют сделать с очевидностью вывод о том, что четность действительных корней совпадает с четностью его степени.
Вопрос 13. Кольцо многочленов над полем рациональных чисел (Q).
Теория многочленов утверждает, что множество многочленов f(x) = a>n >xn + …+ a>1 >x + a>0>,
где a>i> ∈K – кольцо, x0=1, x∈K, 1∙x=x с операциями сложения и умножения образуют кольцо многочленов над кольцом K и обозначают K[x].
Особый интерес представляет теория многочленов, когда вместо кольца K рассматривается поле P. В силу того, что в поле P есть операция деления, становится возможным построить теорию корня многочленов и теорию приводимых и неприводимых многочленов. Рассмотрим, как решается эта проблема в Q[x].
Напомним, что корнем f(x) называется такое число x=a, что f(a)=0.
f(x) называется неприводимым, если его нельзя представить в виде двух многочленов меньшей положительной степени, в противном случае его называют приводимым.
Итак, пусть Q[x], f(x)∈ Q[x], где f(x) = a>n >xn + …+ a>1 >x + a>0> …(1), сформулируем и докажем теорему о рациональных корнях многочлена с целыми коэффициентами. Если многочлен имеет рациональные коэффициенты, то он легко преобразуется к ему ассоциированному с целыми коэффициентами. Поэтому теорию существования и нахождения корней f(x)∈ Q[x] рассматривают именно для такого варианта, т.е. f(x)∈ Q[x], а a>i> ∈Z.
Теорема
1: Если
>
>∈Q,
где (p,q)=1,
является корнем многочлена (1)…
f(x) = a>n >xn + …+
+ a>1 >x + a>0>, >
>a>i> ∈Z,
то p является
делителем свободного члена, а q-делителем
старшего коэффициента a>n>.
■ Если >
>∈Q
корень f(x),
то f >
>=0.
Подставим в (1)
>
>
вместо x,
получим
0= a>n >>
>
+ …+ a>1> >
>+
a>0>,
приведём к общему знаменателю, получим
0= a>n >pn + a>n-1 >pn-1 q+…+ a>1 >p qn-1 + a>0 >qn …(2).
Преобразуем (2):
2.1: 0 = a>n >pn + q(a>n-1> pn-1 +…+ a>1 >p qn-2 + a>0> qn-1) ⇒ a>n >pn + q Q∶q, qQ∶q
⇒ a>n >pn ∶q, (p,q)′→ a>n>∶q, т.е. q-делитель старшего коэффициента;
2.2: 0 = > >p(a>n> pn-1 +…+ a>1> qn-1 ) + a>0> qn) ⇒ > >pQ + a>0 >qn∶ p, pQ∶ p, ⇒ a>0> qn∶ p, (q,p)=1 ⇒ a>0> ∶ p, т.е. p-делитель свободного члена, что и доказывает теорему.
Следствие 2: Если f(x)∈ Q[x], а a>i> ∈Z, a>n>=1, то он обладает только целыми корнями, которые находятся среди делителей свободного члена.
Истинность
этого утверждения очевидна в силу того,
что a>n>=1,
а делители 1 являются только ±1,
следовательно, q=±1
и >
>∈Z.
Т.к. >
>=
± p∈Z находятся
среди делителей, то утверждение верно.
Решим проблему неприводимости многочлена из Q[x], вернее о степени такого многочлена.
Решение этой проблемы предложено Эйзенштейном и носит название критерий Эйзенштейна о неприводимости многочлена в Q[x]. Заметим, что решение этой проблемы тоже есть смысл рассматривать для f(x)∈ Z[x], поскольку Q является полем частных области целостности Z.
Теорема 3: Пусть f(x)= c>n >xn + …+ c>1 >x + c>0>, c>i> ∈Z. Пусть все коэффициенты f(x), кроме старшего, делятся на p2. Тогда f(x) неприводим в Z[x].
■ Доказательство проведём методом от противного.
Пусть f(x)∈ Q[x] или f(x)∈ Z[x] приводим, т.е. существуют такие g(x), h(x)∈ Z[x], что
f(x) = (a>0 >+…+a>k >xk )(b>0> +…+ b>m> xm) = g(x)·h(x), (a>k >≠> >0, b>m> ≠ 0, k + m = n, причем 1≤ k, m<n).
Тогда c>0 >= a>0>·b>0>, c>n >= a>k>·b>m>. Так как c>0>∶p, c>0> не∶p>2>, c>0 >= a>0>·b>0 >⇒ a>0> не∶p Λ b>0> не∶p; пусть a>0>∶p,
b>0 >не∶p. Так как c>n> не∶p, то a>k> не∶p, b>m> не∶p, тогда у g(x) есть коэффициент делящийся на p и неделящийся на p. Пусть a>s > коэффициент g(x) с наименьшим s таким, что a>s> не∶p, т.е. a>0>, a>1>, …, a>s-1>∶p, а a>s >не∶p.
Найдем c>s >= a>s >b>s> + (a>s-1 >b>1> + a>0 >b>s>) (s<n), т.к. a>s> не∶p, b>0> не∶p, то a>s> b>0> не∶p, число (a>s-1 >b>1> + a>0>b>s>) ∶p, по свойству делимости в кольце Z, c>s> не∶p, s<n, а это противоречит условию. Получено противоречие в силу предположения, что f(x) - приводим. Что и доказывает теорему о неприводимости f(x).
Следствие 4: Если p – простое число и n – любое целое положительное число, то многочлен xn-p неприводим в Q[x].
Теорема 3 и следствие 4 позволяют сделать вывод о том, что в Q[x] существуют неприводимые многочлены любой степени. Поэтому решение проблемы нахождения корней f(x) и разложения его на неприводимые многочлены затрудненно и требует в каждом конкретном случае особого подхода.
Вопрос 14. Простое алгебраическое расширение поля.
Пусть дано поле P. P[x]- кольцо многочленов от одной переменной над полем P. Обратимся к понятию алгебраической замкнутости поля P. Напомним, что поле Р называется алгебраически замкнутым, если любой многочлен f(x)ÎP[x] обладает хлтя бы одним корнем. Введем такое понятие: элемент aÎР называется алгебраическим над полем Р, если существует f(x)ÎP[x], для которого a является корнем.
Пусть дано поле Р и aÏР, aÎF – поле.
Определение 1. Простым расширением поля Р с помощью элемента a называется наименьшее подмножество поля F, содержащее Р и a. Простое расширение поля Р с помощью aÎF обозначается Р(a).
В вопросе решается проблема о строении Р(a) и возможности применения этой теории для освобождения знаменателя дроби от алгебраической иррациональности. Для решения обозначенной проблемы рассмотрим Р[a]={f(a)/f(x)ÎP[x]}, где Р[a]={a>0>+a>1>a+...+a>n>an/a>i>ÎP, nÎN}.
Легко проверить, что Р[a] подкольцо поля Р(a).
Теорема 2. Пусть Р[x] – кольцо над Р, Р(a) – простое расширение Р с помощью элемента a. Пусть y: Р[х] на Р[a] – отображение такое, что y(f(x))=f(a). Тогда:
10. "aÎP, y(a)=a;
20. y(x)=a;
30. y – гомоморфизм и эпиморфизм;
40. Ker y ={f(x)Î Р[x]/ f(a)=0Î Р[a]};
50. Фактор-кольцо Р[х]/Ker y изоморфно кольцу Р[a].
n 10 и 20 следуют из определения y.
30: y(f(x)+g(x))= f(a)+g(a), y(fg)=f(a)g(a), y(1)=1, это проверяется непосредственно, поэтому y – гомоморфизм; "f(a)ÎР[a], $ f(x)Î Р[x], y(f(x))=f(a) Þ y – эпиморфизм.
40: следует из существования Ker f для гомоморфизма и из определения y.
Рассмотрим 50. Так как Ker y – идеал Р[х], то становится возможным Р[х] факторизовать, получить Р[х]/Ker y, тогда по основной теореме об эпиморфизме колец Р[х]/Ker y º Р[a].
e: Р[x]® Р[x]/Kery, e (f(x))=Kf(x).
j: Р[x]/Kery® Р[a], где
j(Kf(x))=f(a)Þ j – изоморфизм.
Следствие 3. Если a - трансцендентный элемент над полем Р, то Р[х]@ Р[a].
n В силу трансцендентности a над Р, Kery={0} и Р[x]/{0}@ Р[a], кроме того e – изоморфизм, то есть Р[x]/{0}@ Р[x] следовательно, Р[x]@ Р[a].
Определение 4. Пусть Р[х] – кольцо многочленов над полем Р. Пусть a – алгебраический элемент над полем Р. Минимальным многочленом * a над Р называется нормированный многочлен наименьшей степени, для которого a является корнем.
Обозначим минимальный многочлен для a над Р через g(x), deg g(x)=n называют степенью алгебраического элемента a над Р.
Легко показать:
g(x) существует для каждого алгебраического элемента;
g(х) – неприводимый многочлен в Р[х] над Р;
g(x) для a определяется однозначно.
– вытекает из определения алгебраического элемента.
– из определения минимальности g(x).
– из предположения, что существует два многочлена * g и h и их неприводимости, они ассоциированы, а так как они неприводимы, то g(x)=h(x).
Теорема 5. Пусть a алгебраический элемент степени n над Р (aÏР) и g(x) – его минимальный многочлен степени n, тогда имеют место:
10. Если f(a)=0, где f(x)Î Р[х], то f(x)M g(x);
20. Р[х]/(g(f))@ Р[х];
30. Р[х]/(g(f)) – поле;
40. Р[a]=Р(a).
n Пусть a корень f(x), то есть f(a)=0, известно, что g(a)=0, тогда (f,g) либо 1, либо нет. Первое невозможно, так как по известной теореме f(x)M (x-a) и
g(x)M(x-a). Следовательно, (f,g)¹1, то есть они не являются взаимно простыми, поэтому f(x) делится на g(x).
Зададим гомоморфизм y: Р[х]® Р[a], y(f(x))=f(a)ÞKer y={f(x),f(a)=0} состоит из многочленов, делящихся на g(x), поэтому Ker y=J=(g(x)) – идеал Р[х]Þ Р[х]/(g(x)) @ Р[a] (*), так как Р[a]ÌР(a), то Р[a] – область целостностиÞ Р[х]/(g(x)) в силу (*) тоже область целостности. Покажем, что любой элемент из Р[х]/(g(x)) ненулевой обратимый.
Пусть
>
>
смежный класс,
>
>,
то f(a)=0,
тогда f(x)
не делится на g(x)Þ(f(x),g(x))=1Þ>
>,
но >
>Þ
>
>Þ
>
>,
что и требовалось доказать, то есть
Р[х]/(g(x))
– поле, а так как эта алгебра изоморфна
Р[a],
то Р[a]
тоже поле являющееся подполем поля
Р(a).
Но Р(a)
минимальное подполе поля F,
следовательно, Р(a)
Ì Р[a],
откуда получаем, что Р[a]=Р(a).
Эта теорема позволяет установить строение простого алгебраического расширения Р(a).
Пусть a - алгебраический элемент над P, а Р(a) – простое алгебраическое расширение P, пусть степень a равна n>0. Тогда
Теорема 6. Любой элемент поля Р(a) однозначно представим в виде линейной комбинации n элементов 1,a,...,an-1 с коэффициентами из P.
Вопрос 15. Простые и составные числа.
Рассмотрим N – натуральные числа. Введем понятие простого и составного числа.
Опр.1 N ' а называется делящимся на число вÎN, в > 0, если существует такое число с, что а = вс, при этом а – делимое, в – делитель, с – частное.
Все
натуральные числа, в связи с отношениеми
делимости на , разбиваются на
группы: {0},
{1},
{р>1>,
р>2>,…,…},
{а>1>,
а>2>,…},
где 1 обладает только один делитель,
р>i> –
двумя, а для а>i>
существует более двух.
Опр.2
Натуральное число р называется простым,
если оно имеет ровно два различных
делителей. (1 и само число р), составным,
если имеет более двух делителей.
Введенное определение позволит выражать числа натуральные через простые. Это описывается теоремой, которую называют основной теоремой арифметики.
Теорема. 3 Любое n Î N, n > 1 можно единственным образом представить в виде произведения простых чисел с точностью до перестановки сомножителя.
В теореме содержится две теоремы: о существовании разложения и его единственности.
(7)
Пусть n Î
N, n
> 1. Для доказательства исследуем метод
математической индукции.
n = 2, 2 – простое число, следовательно n = 2 и есть его разложение.
Предположим, что для любого натурального числа, меньшего n, теорема верна и докажем для n.
Пусть дано натурально n, если оно простое, то это и есть его разложение. Если n составное, тогда n = вс, где в,с Î N и меньше n. По предположению индукции разложение их на простые множители существует, поэтому оно существует и для n. На основании принципа математической индукции, можно утверждать истенность теоремы для любого n Î N, n > 1.
(!) Докажем единственность разложения на простые множетели методом математической индукции.
n = 2, 2 = 2. Разложение единственное.
Допустим, что для любого числа натурального, меньшего n утверждение справедливо и докажем для n. Если n простое число, то это и есть его разложение и оно единственно. Если n составное, то оно допустит разложение на простые числа. Предположим, что таких разложений оказалось два: n = p>1>p>2 >¼ p>к> = q>1>q>2 >… q>s> (1). Из равенства (1) видно, что “правая часть” делится на p>1>. А т.к. в “правой части числа простые”, то
существует число q>i>, которое делится на p>1>;
(p>1>,
q>i>) = 1.
Следовательно, p>1> = q>i>.
Пусть q>i> = q>1>,
разделим обе части равенства (1) на p>1>,
получим, что и “левая часть” и “правая
часть” числа натуральные, меньше n,
а для них разложение единственное с
точночтью до перестановки сомножителя.
Поэтому при соответственно
мы получаем, что n = p>1>p>2 >¼
p>к>
– разложение n и это разбиение
единственное. Что и требовалось доказать.
Если
среди простых множителей окажутся
равные, то их объединяют в степень и
получают представление n
Î N
в виде: >
>,
которое называют каноническим
разложением натурального числа.
В теории натуральных чисел имеет место теорема, решающая вопрос о количестве простых чисел во множестве N.
Теорема 4. (Евклида) Множество простых чисел в N бесконечно.
Проведем доказательство методо от противного.
Пусть
простых чисел конечное число: p>1>p>2
>¼
p>к>.
Рассмотрим N
= p>1>p>2 >¼
p>к+1>.
Исследуем полученное число:
1)
N >
1 =>
оно простое или составное; N
¹ p>i>,
i = 1, к ;
2)
N >
>
p>i>, ,
i
= 1, к =>,
т.к. при делении на p>i>
получен остаток 1;
N
– составное. Если N
составное, то ему надлежит делиться
на 1, N
и еще на какое-нибуть простое число
(см. ниже), но это не так, поэтому N
не является составным. Полученное
противоречие и доказывает теорему.
Теорема
5. Наименьший, отличный от 1 делитель
составного числа, является простым
числом.
Пусть n Î N имеет делители, отличные от 1. Обозначим тот делитель, который будет наименьшим среди всех делителей. Пусть это натуральное число к, т.е. n = к . m; к, m Î N, к > 1. Исследуем к.
Если к = p – простое число, то теорема верна.
Если
к – составное число, то к = к>1>
m>1>, тогда n =
к>1> (m>1> m), n >
>к>1>,
к>1> < к,
что противоречит выбранному наименьшему
значению. Это и доказывает теорему.
Достаточно
часто в математике приходитс для
числа а Î
N
выяснять, является оно простым или
составным. Для решения подобных задач
предложен способ, носящий название
“решето Эратосфена…” или способа
отсеивания чисел кратных 2,3,…,p,… .
Опишем этот способ.
Если
даны числа натурального ряда:
1,2,3,4,5,…,n, то для установления какими
они являются: простыми или составными,
поступают так: вычеркивают 1,2 и каждое
второе, ибо каждое второе начинается
от 3, делится на 2, поэтому является
составным. Затем повторяем эту процедуру
для 3. 3 вычеркивается и каждое третье,
ибо 6 – третье по счету за 3, делится на
3. названную процедуру повторяют до
простого числа с не превосходящего >
>.
Оставшиеся числа являются простыми.
Такой
алгоритм можно использовать и для
установления чисел в промежутке
от n>1> до
n>2>.
Опишем его спецификацию . Если надо установить какие числа в промежутке от n>1> до n>2> являются простыми, то поступим так:
выясним простое или составное является число n>1>:
Проверим
его делимость на 2,3,5,…p ≤ >
>.
Если оно не делится на эти простые
числа, то оно простое;
Если оно делится хотя бы на одно из этих чисел, то оно составное.
при выяснении простого числа n, одновременно поступаем так:
2.1
если n>1>2,
то вычеркивают его и каждый второй (как
в первом случае); и переходим к (n>1>
+ 1);
2.2
если n>1
>2, то к числу
добавляем 1 и вычеркиваем n>1>
+ 1 и любое второе за ним;
2.3 если было 2.1, то переходим к (n>1> + 1) и проверяется делим его на 3, повторяем процедуру решета Эратосфена переходит к (n>1> + 2);
2.4 Если было 2.2, то проверяют делимость на 3;
2.4.1.
если n>1>3,
то проверяю решето Эратосфена и переходят
следующему.
не вычеркнутому числу и исследуют его делимое на 5;
2.4.2. если n>1> = 3q + r, то в зависимости от r = 1 или r = 2, добавляем 1 или 2 и
n>1> + 1, n>1> + 2.
И любое третье по счету и т.д.
2.5 Если n>1> оказалось простым, то все не вычеркнутые числа тоже простые. Если n>1> оказалось составным, а n>i> – простое, то все стоящие за n>i> числа остальные простые.