Главная » Просмотр файлов » Р. Лидл, Г. Нидеррайтер - Конечные поля. Т. 1 (1988)

Р. Лидл, Г. Нидеррайтер - Конечные поля. Т. 1 (1988) (1127099), страница 99

Файл №1127099 Р. Лидл, Г. Нидеррайтер - Конечные поля. Т. 1 (1988) (Р. Лидл, Г. Нидеррайтер - Конечные поля. Т. 1 (1988)) 99 страницаР. Лидл, Г. Нидеррайтер - Конечные поля. Т. 1 (1988) (1127099) страница 992019-05-11СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 99)

Теперь из (7.12) получаем 5 — 1 75 =- ~ а', 5(55, 0 '.1, 1 - с -- 1. 4 4. Иснлючнтельные многочлени 455 Б салу леммы 5.51 многочлен Е (х) является перестановочным ,н го~левом поля Г», тогда и только тогда, когда де1(А) ~ О, ь(ножество многочленов вида (7.12), являющихся перестанозочнымп многочленами поли Г ., образует группу относительно операции композиции многочленов с последующим приведением по мсжулю х» — х. Эта группа известна как группа Бетти— Милю». Приведем без доказательства следующую теорему. 7,24. Теорема.

Группа Бетти — Матье изоморфна общей линсйнон группе СЕ (г, ~»), образованной невырождснными г х г„стрицами над полем Г относительно операции умножения маштоц ф 4. Исключительные многочлены При изучении перестановочных многочленов. можно воспользоваться некоторыми геометрическими идеями.

Преимущество, которое мы получаем от такого подхода, состоит в том, что появляется возможность применять очень сильную теорему Ленга— Всйлн (см. комментарии к гл. б), которая дает оценку для числа , ацновальных точек на абсолютно неприводимой кривой„заданной ~ад конечным полем. Пусть дан многочлен ) ~ !»»(х! степени й ) 1; образуем чногочлен от двух переменных ) (") — ! (у) х — у имеющий степень й — 1. Пусть Е х Š— прямое произведение двух экземпляров алгебраического расширения Е поля 1'». Определим алгсбраи»лекую кривую С„над полем Г» как подмйожество множества Е,, Е вида С„=-.. ((а, Ь) еЕ и Е(ц (а, Ь) = О), где ц, Е 1'» (х, у) — ненулевой многочлен от двух переменных нзд полем 1'».

Точка (а, Ь), лежащая на кривой С, называется ,овциональной точкой, если элементы а и Ь принадлежат Г». разумеется, число рациональных точек на кривой всегда конечно, так как множество ~г'» х р» само конечно. Используя введенные выше обозначения, получаем, что многочлен г' (х) является перестансво»ным много»ленам поля К» тогда и только тогда, когда С,ь не содержит рациональных точек, лежащих вне прямой у = х. Напомним, что для любого поля К элементы кольца К (х, у! единственным образом разлагаются на неприводимые многочлены н что многочлен положительной степени из К (х, у! называется абсолютно неприводимым, если он неприводим над любым алгебраическим расширением поля К.

Гл. 7. Г!ерестввовочггые иногочлеггы 7.25. Определение. Многочлен Г" (х) Е Тч (х! степени с( йь 2 называется исключительны,я многочленом над полем )ч, если ни; один неприводимый делитель многочлена ,р(„„1 Г(х)-Г® х — у не является абсолютно неприводимым, Иными словами, многочлен 7' (х) является исключительным .г чггогочлеггоы иад полем Тч, если каждый неприводимый делитель! мпогочлена г(г (х, у) ~ г, (х, у1 допускает нетривиальное раз- ''; ложение на множители над некоторым алгебраическим расшире- .( пнем поля (ч.

Следующая теорема устанавливает связь между перестановоч- г ными и исключительными многочлеиамп, Отметим сначала (без до- г казательства), что любой исключительный многочлен является 1 «почти ггерестановочным» многочленом в следующем смысле. ", 7.26, Лемма. Пусть 7'(х) ~ К«1х! является исключительным ': многочленом над полем Кч степени й, и пусть через К (7) обозначено ) число различных элементов в чножестве' ()' (с) ! с Е $ ч) значений, 1 которые может принимать этот многочлен, Тогда У (7) ) гà — 1 — А (й), где А (й) — константа, зависящая только от степени й ') многочлена Г' (х). 7.27, Теорема. Пусть Ге — поле характеристики р, а 7' (х) — гг исключительный многочлен йад полем г)ч степени г(, причем р ) )~ В (й), где В (й) — некоторая константа, зависящая только огп й.

Тогда много«лен 7' (х) является перестановочным многочленом 1 поля Г . Доказательство. Используя обозначения леммы 7.26, можно г) представить (7 ()) в виде )г ()) = д — ш, где О < иг ~~ А (й). Для )г доказательства теоремы достаточно показать, что иг =- О. Допу- ~ стим, что ш 1, н покажем, что в этом случае мы приходим к про-:; тиворечию. Пусть различными элементами в множестве значений, которые ", принимает Г"(х), будут элементы Ь,, Ье, ..., Ь„ , и пусть остав- шиеся элементы поля Гч — это с,, с,, ..., с . Для г' = 1, 2, ... ', ..., г7 — го обозначим через т, число решений уравнения Г" (х) = Ь; 1 « — ге в поле Гтч, тогда ~~ т; = «1.

КРоме того, т; ) ! длЯ любого г=! — 1, 2, ..., »Г — гв, а значит, т; «, иг + ! (г = 1, 2, ..., о — цг). В то же время для 1 — -- 1, 2, ..., ш получаем )(с) = ~ тгЬо сеГ» 4 4. Исключительные ыногочлены 457 1,-ели р ". В (г(), где В (г() == дА (г() + 2, то справедливы соотно,„„,ния гг — 2 ).

р — 2 ~ г(А (г() ) г(аг, а тогда для всех ! -= 1, 2, ..., гс можйо записать ~(х)' = ао '+ а!"х+; а,!",х' ', В силу леммы 7,3 е — е ха 7'()'= Е <О Е "=О. Е!ге ! =о ~у' Таким образом, 2г ть;=О ((=1, 2„ г=! (7.14) Положим т — — тах (т„..., тч ); тогда из (7,!3) получаем, что 1:,' пг --. аг + 1.

Если через з;, ! ( ! ( т, обозначить число таких ть длн котоРых т! =- 1, то и, + ... + з =- г7 — ы и т ц — ге гч Е (1 — 1) з; = ~ т; — ~'„ зз = г) — (г) — аг) =- гс. (7. 15) г=.—.! г-=! Перенумеруем элементы Ь,, ..., Ьч таким образом, что т, =- ... пгг! 1 пг51+! ''' туг!ге 2, ..., тг -г- . -~-$ -!-! т,, + и, — — т, тогда формула (7.14) принимает вид г+ егг А!=~1 1„'Ь';=О (1=1, 2, ..., аг). ! — "! г=гг+" +г. г+' Отсюда вытекает, что !) Е г=г -г-- -г-г +! 7-! 2,'.с' =- О, и, следа гбач уl ег ги ~ с,'г = 2' ,с', -1- А, = ~, 'с + ~' (!— есе 7 Так как 1 ( г ( и ( г(А (г() ( г7 — 2, то вательно, ге «г .~,-.

° .г-гг 24=- Е(1-1) Е й ('") 7=2 г=г + -егз г+! Рассмотрим далее два многочлена ге ег д(х) = П (х — сь), Ь(х) = П 171 (х — Ь.,+...и.г,+!)'-'. е=! г)з (7.15) вытекает, что г(ед (а) = аг, с(еа (Ь) =- аг. Обозначим "врез В, и Ь„О ( г ( и, коэффициенты при х -' соответственно в Ы (х) И 6 (х). ПУсть бг и Н,, 1 ( ! ( в, обозначают сУммы Ьх Гл.

т. Порестаяовочяые маогочлены степеней всех корней многочленов 8 (х) и Й (х) соответственно. Тогда из (7.18) получаем, что 6, = — Н, для всех 1 '1-< гв. Из формулы Ньютона (см. теорему 1.75) следует, что т — 1 ~~ 6,,а; + 1д, =. 0 (! <,, 1 < щ). а=-о (7. 17) де С (й) — некоторая константа, зависящая только от й, Для ваших целей нам понадобится более слабое утверждение, вытекающее из (7.!8).

7.28. Лемма. Существует последовательность й,, lга ... целых положительных чисел, обладающих следующим свойством: если тр с Рч(х, у) — абсолютпно неприводимый многочлен и в ) )гю где й == г(ед (гр), то либо С„содержит некоторую рациональную точку (а, Ь), а ~ Ь, либо многочлен гр имеет вид с(у — х) для некоторого с Е Ео.

Так как р .> йА (й) + 2 > А (й) > то, то коэффициент при аг в (7.17) отличен от О. Значит, систему из гв уравнений (7.17) можно однозначно разрешить относительно йт, ..., д и выразить их через 6,, ..., 6, а именно 8~ == — 6ь да =- (6', — 6т)/2 и т, д. Аналогично получаем, что й~ --- — Нь )тт = (Н', — На)12 и т. д., а так как 6, == Н, для всех 1 ( 1..

то, то отсюда вытекает, что йг -= )т„для всех 0 = г 4 тв. Таким образом, д(х) === А (х)„и множество (с,, ..., с ) должно с точностью до порядка элементов совпадать с множеством (Ьн~.ь ..., Ь, ). Это, однако, невозможно, так как по определению элементы Ь; отличны от с„. Тем самым мы пришли к противоречию, что и завершает доказательство теоремы. П Предыдущая теорема показывает, что в конечном поле достаточно большой характеристики свойство многочлена быть исключительным является достаточным для того, чтобы он был перестаиовочным многочленом.

Определим теперь, при каких предположениях свойство многочлена быть исключительным является также и необходимым условием для того, чтобы этот многочлен был перестановочиым, Утверждение, обратное к теореме 7.27, становится справедливым при некоторых дополнительных условиях, которые можно юлучить из теоремы Леига — Вейля. Переформулируем эту теорему следующим образом, Пусть через М обозначено число рациональных точек на кривой С, где тр ~ 1)'ч [х, у) — абсолютно неприводимый многочлен, г(ед (гр) = й. Тогда по теореме Ленга — Вейля (см. примечания к 5 4 гл, б) справедливо нера- венство 4 4.

Исключительные много»лены 459 доказательство. Для каждого д Е И выберем число йл таким обр;!3 м, чтобы выполнял ь неравенлво о — (д — 1) (с( — 2) дне — С (д) > д ,лн всех д ',ь йд. Тогда если гр — абсолютно неприводимый много,;л,п степени д от двух переменных над полем Е», где д . ял, то г,л 17 18) следует, что С содержит по меньшей мере д + ! рацион;гльных точек. Если мггогочлен ср отличен от с (у — х), то из его и;приводимости следует, что он не делится на у — х и, следоваггь»ьно, гь (х, х) не является нулевым многочленом.

Таким образом, ггрггззгг С пересекает прямую у ==- х не более чем в д рациональных точках. Следовательно, С содержит хотя бы одну рациональную точку (а, Ь), где а ~ Ь, П '!тооы доказать следующую теорему, воспользуемся привез нпымп в начале этого параграфа понятиями алгебраических кривых и нх рациональных точек, а также их связью с перестапоаочными многочленами.

7.29. Теорема. Суи)ествуепг последовате гьность целых полон ительных чисел йы )ге ..., такая, что для любого конечного поля ,.",, порядка о > 'ян, такого, что НОД (п, д) =- 1, справедливо следуюи!ее утверждение: если ~ (х) Р 'г» 1х1 — перестановочный многочлен поля Г», с1ей (7 (х)) — -- п >. 2, то он является исключительным многочлейом над полем Г». Доказательспиго.

Очевидно, что в лемме 7.28 числа й,, йе, кожно выбрать таким образом, что последовательность )гг, йе будет неубывающей, т, е. !гг ( йе < .... Пусть числа Ан выбраны указанным образом, и пусть ) (х) Р Г» 1х) — перестановочный мггогочлен поля Г», удовлетворяющий условиям нашей теоремы. Если Ф (л, у) — (1 (х) — !г (у))г(х — у) с Е» (х, у1, го алгеораическая кривая Сф не имеет рациональных точек, не гсжащих на прямой у =- х. Предположим теперь, что многочлен 1 (х) не является исключительным многочленом.

Характеристики

Тип файла
DJVU-файл
Размер
14,01 Mb
Тип материала
Высшее учебное заведение

Список файлов книги

Свежие статьи
Популярно сейчас
А знаете ли Вы, что из года в год задания практически не меняются? Математика, преподаваемая в учебных заведениях, никак не менялась минимум 30 лет. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6540
Авторов
на СтудИзбе
300
Средний доход
с одного платного файла
Обучение Подробнее