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

Простое расширение Q+(a). Минимальное соотношение алгебраического элемента над полуполем рациональных неотрицательных чисел. Однопорожденные полуполя. Структура простого расширения полуполя неотрицательных рациональных чисел.

Рубрика Математика
Вид дипломная работа
Язык русский
Дата добавления 08.08.2007
Размер файла 223,9 K

Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже

Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.

21

МИНИСТЕРСТВО ОБРАЗОВАНИЯ РОССИЙСКОЙ ФЕДЕРАЦИИ

ВЯТСКИЙ ГОСУДАРСТВЕННЫЙ ГУМАНИТАРНЫЙ УНИВЕРСИТЕТ

Математический факультет

Кафедра алгебры и геометрии

Выпускная квалификационная работа

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

Выполнил

студент 5 курса

математического факультета

Чупраков Дмитрий Вячеславович

_____________________/подпись/

Научный руководитель:

д.ф-м.н., профессор Е.М. Вечтомов

_____________________/подпись/

Рецензент:

к.ф-м.н., доцент В.В. Чермных

_____________________/подпись/

Допущена к защите в ГАК

Зав. кафедрой ______________________д.ф-м.н., профессор Е.М. Вечтомов

(подпись) “__” _________

Декан факультета _____________________к.ф-м.н., доцент В.И. Варанкина

(подпись) “__” _________

Киров

2005

Содержание

  • Содержание 2
  • Введение 3
  • Глава 1. 5
    • 1.1. Базовые понятия и факты 5
    • 1.2. Простое расширение Q+(a) 5
    • 1.3. Минимальное соотношение алгебраического элемента над полуполем рациональных неотрицательных чисел 7
  • Глава 2. Однопорожденные полуполя 9
    • 2.1. Структура простого расширения полуполя неотрицательных рациональных чисел 9
    • 2.2. Расширения полуполя неотрицательных действительных чисел комплексным числом 11
    • 2.3. Расширения полуполя неотрицательных рациональных чисел комплексным числом 12
    • 2.4. Примеры 20
  • Литература 22

Введение

Теория полуполей - одно из интенсивно развивающихся разделов общей алгебры, являющейся обобщением теории полей. Одним из основных способов исследования полей является построение их расширений. Поэтому естественно исследовать расширения полуполей. Эта проблема освещена в статье А.В.Ряттель [3] и диссертации И.И.Богданова. Но в них рассматриваются случаи упорядочиваемых расширений. Интересно рассмотреть неупорядочиваемые расширения. Этому вопросу посвящена данная квалификационная работа

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

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

В работе принята сквозная тройная нумерация теорем и лемм, где первое число - номер главы, второе - номер параграфа, третье - номер в параграфе. Например, теорема 2.1.1 - первая теорема первого параграфа второй главы.

Основными результатами работы являются:

· Теорема 2.2.1. Любое расширение , где , является полем С.

· Теорема 2.3.1. Если , то - поле тогда и только тогда, когда Q+(-a2) - поле, позволяющая выявлять полуполя вида .

· Теорема 2.3.6. Если минимальный многочлен f-g порождает полуполе то, он либо имеет положительный действительный корень, либо корень , такой что и последовательность (**), заданная числами p и q, не содержит отрицательных элементов.
Последовательность задается следующим образом:

Эта теорема помогает сократить область поиска расширений, являющихся полуполями.

· Теорема 2.3.7. Для комплексных чисел расширение , минимальное соотношение которого имеет положительный корень, является полуполем.

Глава 1.

1.1. Базовые понятия и факты

Определение: Алгебра <P, +, > называется полуполем, если

(1) <Р, +> - коммутативная полугруппа с 0;

(2) <Р, > - группа с 1;

(3) Дистрибутивность

a.

b.

(4)

Не сложно показать, что Q+ является полуполем.

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

1.2. Простое расширение Q+(a)

Теорема 1.2.1. Произвольное полутело либо аддитивно идемпотентно, либо содержит копию Q+ в качестве полутела.

Доказательство. Предположим, что S - неидемпотентное полутело, т.е. найдется такой ненулевой элемент sS, что s+ss. Откуда

.

Рассмотрим суммы единиц. Через обозначим сумму k единиц (при kN). Так как любое полутело является антикольцом, то . Покажем, что суммы различного числа единиц в S различны. Допустим от противного, что при некоторых натуральных m<n. Положим l=n-mN. Тогда . Прибавляя к обеим частям этого равенства элемент , получим

.

Применяя эту процедуру несколько раз, будем иметь

для любого tN.

По свойству Архимеда, найдется такое tN, что tl>n. При k=tl имеем и n<k. Тогда

.

Откуда 1=1+1 (). Получили противоречие.

Следовательно, полутело S содержит аддитивную копию N. Но тогда S содержит и частные сумм 1, т.е. содержит копию полуполя Q+, причем, очевидно, операции в Q+ и S согласованы.

¦

Теорема 1.2.2. - простое расширение полуполя Q+.

Доказательство. Заметим, что Q+(a) - полуполе. Кроме того, а  Q+(a). Это не сложно увидеть, взяв . Очевидно .

Предположим, что есть полуполе P меньшее Q+(a), содержащее а и Q+. Тогда оно содержит все выражения вида . Так как P - полуполе, то . Таким образом, . Так как P - минимальное полуполе, то . То есть, -простое расширение полуполя Q+.

¦

Аналогично доказывается следующее утверждение.

Теорема 1.2.3. - простое расширение поля Q.

1.3. Минимальное соотношение алгебраического элемента над полуполем рациональных неотрицательных чисел

Пусть а - алгебраическое число. Тогда минимальный многочлен F числа а имеет степень ? 1. Тогда обозначим через f многочлен, составленный из положительных одночленов многочлена F, а многочлен g составим из отрицательных членов, взятых с противоположными знаками. Тогда . , тогда .

Покажем, что любое равенство получается из , где . Заметим, что , так как а - корень , а - минимальный многочлен для a. Представим , где составлен из положительных одночленов многочлена h, а  _ составлен из отрицательных одночленов многочлена h, взятых с противоположным знаком. Таким образом,

Приведем подобные члены в паре , и найдем такой , что

,

не имеют подобных членов.

Аналогично найдем , что

и

не имеют подобных членов.

Получаем

Так как не имеют подобных членов и не имеют подобных членов, то

, или

, .

Найдем значения этих многочленов в точке а.

,.

Итак,

,

.

То есть, тогда и только тогда, когда .

Будем говорить, что Q+(a) порождается минимальным соотношением .

Глава 2. Однопорожденные полуполя

2.1. Структура простого расширения полуполя неотрицательных рациональных чисел

Для простого расширения справедливы следующие теоремы.

Теорема 2.1.1. Пусть простое расширение , a - алгебраический элемент над . Тогда эквивалентны следующие утверждения:

(1) - поле;

(2) ;

(3) ;

(4) ;

(5) .

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

· (1)(2): Пусть - поле. Так как - простое расширение поля Q элементом a. То . Однако, . Таким образом, .

· (2)(3): Заметим, что достаточно показать, что

.

Пусть его нет, тогда покажем, что никакой ненулевой элемент не будет обратим. Рассмотрим

и

,

тогда

.

По предположению, этот многочлен - тождественный ноль. А значит. . Так как , то . То есть, оба многочлена - нулевые. Мы же брали ненулевой многочлен b. Это показывает справедливость (3).

· (3)(4): Пусть , тогда . Так как (f - g)(a) = 0, то h(a) = 0.

· (4)(5): Пусть , покажем, что .

Так как h(a)=0, то . Покажем, что . Рассмотрим

.

Если b0?0, то

.

Если h0=0, то

.

Так как a?0, то

.

Тогда

.

Итак, .

· (5)(1): Пусть , покажем, что Q+(a) - поле. Действительно, мы знаем, что Q+(a) - полуполе. Рассмотрим bQ+(a), тогда . b + (_b)=0. То есть, Q+(a) - поле.

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

Доказанный факт влечет следующую теорему.

Теорема 2.1.2. Пусть Q+(a) простое расширение Q+, a - алгебраический элемент над Q+. Тогда эквивалентны следующие утверждения:

(1) Q+(a) -полуполе;

(2) ;

(3) ;

(4) ;

(5) .

Доказательство. Несложно установить равносильность утверждений (1) _ (4), исходя из предыдущей теоремы. Докажем условие равносильность их утверждению (5).

Из условия (5) следует, что никакой элемент не обратим по сложению. Тогда Q+(a) не является полем, а значит Q+(a) - полуполе. Докажем, что из (3) следует (5). Действительно, согласно условию (3),

(hQ+[a], h?0) h(a)?0.

То есть, если h(a)=0, то h=0. Пусть h(a)=(x+y)(a)=0. Тогда

.

Тогда (xi+yi)=0.

Так как xiQ+ и yiQ+, то xi=yi=0. А значит, x=y=0.

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

¦

2.2. Расширения полуполя неотрицательных действительных чисел комплексным числом

Теорема 2.2.1. Любое расширение , где , является полем С.

Доказательство. Пусть , и при a > 0. Тогда находится строго в первой или четвертой четверти комплексной плоскости.

Очевидно, существует натуральное n, что лежит строго во второй или третьей четверти. То есть, , где c < 0, . Значит, и . По теореме 2.1.1, - поле. Очевидно, что . То есть, является полем С.

Аналогично рассматривается случай ¦

2.3. Расширения полуполя неотрицательных рациональных чисел комплексным числом

Теорема 2.3.1. Если , то - поле тогда и только тогда, когда Q+(-a2) - поле.

Доказательство. По теореме 2.1.1 Q+(ai) - поле равносильно существованию

f0, f(ai)=0.

Так как все степени aiQ+(ai). Рассмотрим некоторый многочлен

.

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

То есть,

Это верно тогда и только тогда, когда Q+(-a2) - поле.

Получили, что Q+(ai) - поле тогда и только тогда, когда Q+(-a2) - поле. ¦

Как следствие получаем более ценные утверждения.

Следствие 1. Если , то Q+(ai) - полуполе тогда и только тогда, когда Q+(-a2) - полуполе.

Следствие 2. Если и Q+(-b2) - полуполе, aQ+(-b2), то Q+(a + bi) - полуполе.

Теорема 2.3.2. Пусть - комплексный корень квадратного трехчлена f(x) неприводимого над Q. Тогда - полуполе в том и только том случае, когда f(x) имеет положительный действительный корень.

Доказательство. Пусть удовлетворяет минимальному соотношению, являющемуся квадратным уравнением без положительных корней. Тогда , где D - дискриминант минимального соотношения.

Рассмотрим минимальный многочлен, соответствующий данному минимальному значению. Он имеет вид . Если bc ? 0, то имеем многочлен из . Пусть многочлен имеет два отрицательных корня, тогда , . То есть . Если многочлен не имеет действительных корней, то

(*)

То есть, .

Рассмотрим .

При получаем многочлен из Q+[x]. Пусть . Введем обозначения:

, , ,

, , .

Тогда многочлен примет вид . Умножим его на , получим многочлен . Если , то это искомый многочлен иначе умножим его на .

Докажем, что, проделав такую операцию достаточно большое количество раз, мы получим многочлен из Q+. Докажем, что найдется такие k, что . При этом . Для начала найдем дискриминант уравнения .

То есть, дискриминант Dl+1 имеет тот же знак, что и Dl. Так как D0<0, то пользуясь методом математической индукции заключаем, что любой дискриминант Dl<0.

Рассмотрим неравенство , подставим , . Получим

.

То есть,

.

Зная, что заметим

.

Итак, для доказательства нам достаточно установить, что

.

То есть,

.

Пусть аналогичными рассуждениями мы установили, что нам достаточно доказать неравенство

.

Тогда

.

Раскрывая скобки и приводя подобные слагаемые, получим, что

.

Используя оценку и деля на положительный элемент , получаем

.

Обозначим . Рассмотрим отображение , заданное по правилу . При , . Отображение является сжимающим. Оно имеет единственную неподвижную точку. Найдем ее: . Откуда . Заметим, что . Последовательность стремится к 4. То есть, нам достаточно установить, что , а это следует из (*). Итак, мы доказали, что . То есть, мы нашли такой многочлен, , что . Итак, мы доказали, что если удовлетворяет минимальному соотношению, являющемуся квадратным уравнением без положительных корней, то - поле. ¦

Следствие 1. Если - мнимый корень квадратного трехчлена, то  _ поле.

Следствие 2. Любое простое расширение является полем , порожденным минимальным соотношением 2 степени.

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

Заметим, что . Покажем, что для любого aQ найдется такой квадратный многочлен , что - его корень многочлена. Для этого достаточно представить . Возьмем такой , что , тогда . Очевидно, . Таким образом, нам удалось найти многочлен из . То есть, - поле. ¦

Рассмотрим последовательность действительных чисел :

(**)

Будем говорить, что последовательность задается числами p и q.

Лемма 2.3.3. Существует n, что .

Доказательство. Пусть . Покажем, что последовательность убывающая.

,

то есть .

Пусть , тогда

Так как , то

Пользуясь методом математической индукции, заключаем, что , то есть - убывающая.

Так как - монотонно убывающая и ограничена снизу 0, то существует . Тогда .

То есть, . Но тогда

,

,

что невозможно для . То есть, . ¦

Лемма 2.3.4. Если , то существует , что .

Доказательство. Запишем а и b в виде десятичных дробей:

, Так как , то существует k, что и .

Тогда . Рассмотрим число .

То есть, . ¦

Теорема 2.3.5. Если и , то

.

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

Если n=1, то . Рассмотрим .

То есть,

.

Так как . По лемме 2.3.4 . Тогда

.

Рассмотрим n > 1.

Пусть .

Покажем, что

Раскроем скобки и сгруппируем члены при xj.

То есть,

Заметим, что . Для существования , по лемме 2.3.4, достаточно выполнения условий и , то есть, . Обозначим . Так как , то и . Для существования достаточно доказать существование и . То есть, . Обозначим . Повторим эту операцию n-2 раза. Получим, что . По лемме 2.3.4, существует, если и . Эти условия следуют из того, что и .

Таким образом, доказано существование

¦

Теорема 2.3.6. Если минимальный многочлен f-g порождает полуполе то, он либо имеет положительный действительный корень, либо корень , такой что и последовательность (**), заданная числами p и q, не содержит отрицательных элементов.

Доказательство. Пусть многочлен f-g не имеет положительных действительных корней, и для всех корней вида , где , последовательность (**), заданная числами p и q, содержит отрицательный элемент. Тогда, по теореме 2.3.5, для каждого множителя вида существует многочлен , что . Рассмотрим многочлен . так как и . Кроме того , а остальные множители многочлена имеют вид или . То есть, . Таким образом . По теореме 2.1.1, минимальный многочлен порождает поле. ¦

Теорема 2.3.7. Для комплексных чисел расширение , минимальное соотношение которого имеет положительный корень, является полуполем.

Доказательство. Пусть a' - положительный корень минимального соотношения. Предположим, что - поле. Тогда существует многочлен f с положительными коэффициентами, делящийся на минимальный многочлен. Значит f(a')=0. Но . Значит a' - не является корнем многочлена f. То есть - полуполе. ¦

2.4. Примеры

1. Рассмотрим . Оно удовлетворяет минимальному соотношению . По теореме 2.3.7, - полуполе. Аналогично доказывается, что - полуполе.

2. - полуполе. Для доказательства нужно воспользоваться теоремой 2.3.1.

3. Покажем, что - полуполе. Во-первых, заметим, что . Рассмотрим . По теореме 2.3.7,  _ полуполе. Тогда, по теореме 2.3.1, - полуполе. . То есть, - полуполе.

4. , минимальное соотношение которого имеет вид , есть полуполе. Действительно, многочлен имеет положительный корень, а значит - полуполе.

Теперь приведем примеры полей.

5. является полем, потому что его минимальный многочлен имеет вид .

6. Пусть удовлетворяет минимальному соотношению . Его минимальный многочлен делит . То есть, - поле. Несложно видеть, что . Итак, .

7. Пусть удовлетворяет минимальному соотношению . Тогда - поле.

8. Пусть , если , то - поле. Так как , то Если , то . Рассмотрим последовательность (**), порожденную p и q. . По теореме 2.3.7, - поле.

Литература

1. Вечтомов Е.М. Введение в полукольца. - Киров: Изд-во Вятского гос. пед. ун-та, 2000

2. Вечтомов Е.М. О свойствах полутел // Матем. вестник педвузов Волго-Вятского региона. - 2001, вып. 3. - Киров: Изд-во Вят. гос. пед. ун-та. - С. 11-20.

3. Ряттель А.В. Однопорожденные полукольца с делением // Матем. вестник педвузов Волго-Вятского региона. - 2002, вып. 4.- Киров: Изд-во Вятского госпедуниверситета. - С. 39-45.


Подобные документы

  • Множество неотрицательных действительных чисел как интерпретируемое подмножество R. Делимость в мультипликативных полугруппах. Строение числовых НОД и НОК полугрупп. Изучение мультипликативных полугрупп неотрицательных действительных чисел с 0 и 1.

    дипломная работа [177,9 K], добавлен 27.05.2008

  • Изучение процесса появления действительных чисел, которые стали основой арифметики, а также способствовали возникновению рациональных и иррациональных чисел. Арифметика в трудах мыслителей Древней Греции. И. Ньютон и определение действительного числа.

    реферат [16,4 K], добавлен 15.10.2013

  • Закон сохранения количества чисел Джойнт ряда в натуральном ряду чисел как принцип обратной связи чисел в математике. Структура натурального ряда чисел. Изоморфные свойства рядов четных и нечетных чисел. Фрактальная природа распределения простых чисел.

    монография [575,3 K], добавлен 28.03.2012

  • Свойства чисел натурального ряда. Периодическая зависимость от порядковых номеров чисел. Шестеричная периодизация чисел. Область отрицательных чисел. Расположение простых чисел в соответствии с шестеричной периодизацией.

    научная работа [20,2 K], добавлен 29.12.2006

  • Появление отрицательных чисел. Понятие мнимых и комплексных чисел. Формула Эйлера, связывающая показательную функцию с тригонометрической. Изображение комплексного числа на координатной плоскости. "Гиперкомплексные" числа Гамильтона ("кватернионы").

    презентация [435,9 K], добавлен 16.12.2011

  • Сумма n первых чисел натурального ряда. Вычисление площади параболического сегмента. Доказательство формулы Штерна. Выражение суммы k-х степеней натуральных чисел через детерминант и с помощью бернуллиевых чисел. Сумма степеней и нечетных чисел.

    курсовая работа [8,2 M], добавлен 14.09.2015

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

    творческая работа [123,8 K], добавлен 04.09.2010

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

    курсовая работа [46,8 K], добавлен 29.04.2017

  • Система, свойства и модели комплексных чисел. Категоричность и непротиворечивость аксиоматической теории комплексных чисел. Корень четной степени из отрицательного числа. Матрицы второго порядка, действительные числа. Операции сложения и умножения матриц.

    курсовая работа [1,1 M], добавлен 15.06.2011

  • Разработка индийскими математиками метода, позволяющего быстро находить простое число. Биография Эратосфена - греческого математика, астронома, географа и поэта. Признаки делимости чисел. Решето Эратосфена как алгоритм нахождения всех простых чисел.

    практическая работа [12,2 K], добавлен 09.12.2009

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу.