на тему рефераты Информационно-образоательный портал
Рефераты, курсовые, дипломы, научные работы,
на тему рефераты
на тему рефераты
МЕНЮ|
на тему рефераты
поиск
Курсовая: Факторизация полиномов над конечными полями

Курсовая: Факторизация полиномов над конечными полями

Министерство образования Российской Федерации

Ярославский государственный университет имени П.Г. Демидова

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

Курсовая работа

на тему:

Факторизация полиномов над конечными полями (Алгоритм Берлекампа)

Выполнил: Степанов А.Ю.

Группа КБ-21

Ярославль, 2004

Краткий план.

1. Введение в алгебру полиномов.

2. Наибольшие общие делители полиномов над полем.

3. Неприводимые сомножители полиномов.

4. Разложение полиномов на свободные от квадратов множители.

5. Основные факты о конечных полях.

6. Разложение полиномов на множители в конечных полях.

7. Вычисление числа неприводимых полиномов над конечным полем.

8. Подход к алгоритму Берлекампа.

9. Алгоритм Берлекампа.

10. Пример.

1. Введение в алгебру полиномов. Пусть K – область целостности, x –

независимая переменная – её можно рассматривать как просто формальный символ, а

не как независимый аргумент области К. Тогда выражение вида

Курсовая: Факторизация полиномов над конечными полями , где Курсовая: Факторизация полиномов над конечными полями для Курсовая: Факторизация полиномов над конечными полями

называется полиномом от переменной х над K.

Полиномы называются равными, если у них равны коэффициенты при

соответствующих степенях х

Определим так сумму и произведение полиномов:

Курсовая: Факторизация полиномов над конечными полями

Курсовая: Факторизация полиномов над конечными полями

Очевидно, что сумма и произведение полиномов от х над К также представляют собой

полином над K. Mножество полиномов от х над областью целостности К само

является областью целостности, которая обозначается как K[x]. Покажем это.

Возьмём полиномы Курсовая: Факторизация полиномов над конечными полями и Курсовая: Факторизация полиномов над конечными полями

. Тогда их произведение Курсовая: Факторизация полиномов над конечными полями

. Знаком 0 здесь обозначен нулевой многочлен - Курсовая: Факторизация полиномов над конечными полями

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

, так что Курсовая: Факторизация полиномов над конечными полями и Курсовая: Факторизация полиномов над конечными полями

не обращаются в 0. Следствием из этого является Курсовая: Факторизация полиномов над конечными полями

так как Курсовая: Факторизация полиномов над конечными полями и Курсовая: Факторизация полиномов над конечными полями

являются элементами области целостности К. Но Курсовая: Факторизация полиномов над конечными полями

- коэффициент при старшем члене полинома-произведения, т.е. Курсовая: Факторизация полиномов над конечными полями

, что означает отсутствие в K[x] делителей нуля.

Рассмотрим полином Курсовая: Факторизация полиномов над конечными полями

- не равный тождественно 0 полином над К. Тогда полином Курсовая: Факторизация полиномов над конечными полями

делит полином Курсовая: Факторизация полиномов над конечными полями если Курсовая: Факторизация полиномов над конечными полями

- некоторый полином над К, что Курсовая: Факторизация полиномов над конечными полями

. В этом случае используется запись Курсовая: Факторизация полиномов над конечными полями

. Полином Курсовая: Факторизация полиномов над конечными полями

называется делителем полинома Курсовая: Факторизация полиномов над конечными полями

.

Докажем важный факт, известный как свойство евклидовости:

Пусть К – область целостности, а Курсовая: Факторизация полиномов над конечными полями

и Курсовая: Факторизация полиномов над конечными полями - два полинома

над К[x] и пусть Курсовая: Факторизация полиномов над конечными полями

обратим в К. Тогда существуют единственные полиномы Курсовая: Факторизация полиномов над конечными полями

и Курсовая: Факторизация полиномов над конечными полями (частное и

остаток соответственно), что

Курсовая: Факторизация полиномов над конечными полями , Курсовая: Факторизация полиномов над конечными полями .

Доказательство производится индукцией по степени делимого Курсовая: Факторизация полиномов над конечными полями

.Если Курсовая: Факторизация полиномов над конечными полями или Курсовая: Факторизация полиномов над конечными полями

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

. В противном случае пусть Курсовая: Факторизация полиномов над конечными полями

, Курсовая: Факторизация полиномов над конечными полями и образуем

полином Курсовая: Факторизация полиномов над конечными полями . При этом Курсовая: Факторизация полиномов над конечными полями

так как убрана старшая степень х. В случае Курсовая: Факторизация полиномов над конечными полями

или Курсовая: Факторизация полиномов над конечными полями - всё

доказано. В противном случае по индукции Курсовая: Факторизация полиномов над конечными полями

для некоторых Курсовая: Факторизация полиномов над конечными полями и Курсовая: Факторизация полиномов над конечными полями

, таких что Курсовая: Факторизация полиномов над конечными полями .

Поэтому Курсовая: Факторизация полиномов над конечными полями , что и

доказывает существование полиномов Курсовая: Факторизация полиномов над конечными полями

и Курсовая: Факторизация полиномов над конечными полями . Ясно, что Курсовая: Факторизация полиномов над конечными полями

и Курсовая: Факторизация полиномов над конечными полями - полиномы в

кольце К[x], при этом либо Курсовая: Факторизация полиномов над конечными полями

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

доказательства единственности предположим наличие другой пары Курсовая: Факторизация полиномов над конечными полями

и Курсовая: Факторизация полиномов над конечными полями , такой что Курсовая: Факторизация полиномов над конечными полями

Страницы: 1, 2, 3, 4, 5, 6, 7, 8, 9



© 2003-2013
Рефераты бесплатно, курсовые, рефераты биология, большая бибилиотека рефератов, дипломы, научные работы, рефераты право, рефераты, рефераты скачать, рефераты литература, курсовые работы, реферат, доклады, рефераты медицина, рефераты на тему, сочинения, реферат бесплатно, рефераты авиация, рефераты психология, рефераты математика, рефераты кулинария, рефераты логистика, рефераты анатомия, рефераты маркетинг, рефераты релиния, рефераты социология, рефераты менеджемент.