Название спецкурса на английском языке
Introduction to number theory
Авторы курса
Архипова Людмила Геннадьевна, Снурницын Павел Владимирович
Подразделение
[Кафедра МКМА]
Тип спецкурса
Спецкурс по выбору студента
Список тем
Простые числа. Делимость в кольце целых чисел, НОД, НОК, Алгоритм Евклида. Однозначное разложение целых чисел на простые множители. Бесконечность числа простых чисел. Мультипликативные функции, функции Эйлера и Мёбиуса. Формула обращения Мёбиуса. Неравенства Чебышева.
Сравнения. Сравнения и их свойства. Полная и приведенная система вычетов. Число решений линейного сравнения. Теоремы Эйлера и Ферма. Китайская теорема об остатках. Повторение основных определений алгебры: группа, кольцо, идеал, фактор-группа и фактор-кольцо, поле. Кольцо классов вычетов (определения и свойства выше на языке колец). Делители нуля. Кольцо многочленов над любым полем. Однозначность разложения в кольце многочленов.
Первообразные корни. Теорема Лагранжа (число корней многочлена над произвольным полем не превосходит степени многочлена). Группа единиц кольца вычетов по модулю простого. Структура группы единиц кольца вычетов по произвольному модулю. Первообразные корни и индексы. Степенные вычеты.
Квадратичные вычеты. Квадратичные вычеты и невычеты. Символ Лежандра, символ Якоби, их свойства. Теорема Вильсона и её обобщение. Лемма Гаусса. Квадратичный закон взаимности. Равномерное распределение последовательностей mod n (обзорно).
Конечные поля
Источники: [Степ, главы I-II], [IR, главы 7-8,10-11], [Serre, глава I], [LN, главы 2,5], [БШ, параграфы I.1-I.2, АД.2-АД.3]
Конечные поля. Расширения полей. Конечное поле F_q как фактор-кольцо кольца многочленов F_p [x]. Количество неприводимых многочленов над F_p . Цикличность мультипликативной группы F_q^* . Конечные расширения полей, cвойства расширения F_q / F_p .
Группа автоморфизмов. Норма и след. Подполя конечных полей. Автоморфизм Фробениуса, цикличность группы Галуа конечного поля. Соответствие Галуа для башни конечных полей. Норма и след для произвольных конечных расширений полей. Дискриминант базиса расширения. Свойства нормы и следа в случае конечных полей.
Корни из единицы. Круговой многочлен. Круговой многочлен, круговое поле. Цикличность группы корней из единицы. Примитивные корни из единицы. Произведение круговых многочленов. Разложение кругового многочлена над конечным полем. Число неприводимых многочленов над конечным полем. Факты о неприводимых многочленах. Критерий неприводимости Эйзенштейна.
Тригонометрические суммы
Источники: [Степ, главы I-II], [IR, главы 7-8,10-11], [Serre, глава I], [LN, главы 2,5], [БШ, параграфы I.1-I.2, АД.2-АД.3]
Характеры. Суммы Гаусса. Характеры конечных абелевых групп. Двойственная группа. Свойства ортогональности. Аддитивные и мультипликативные характеры конечного поля. Суммы Гаусса, обобщённые суммы Гаусса. Соотношение Хассе-Дэвенпорта.
Тригонометрические суммы. Уравнения над конечными полями. Связь тригонометрических сумм с числом решений уравнений в конечных полях. Суммы Якоби и их приложения для числа решений уравнений. Теоремы Варинга и Шевалле. Суммы характеров. Неполные суммы характеров. Теорема Виноградова-Пойя.
Дзета функция Артина. Элементы алгебраической геометрии над конечным полем: аффинное и проективное пространства, уравнения как гиперповерхности. Дзета функция Артина, критерий её рациональности. Дзета функция гиперповерхности заданной формой a_0 x_0^m +…+ a_n x_n^m и её рациональность.
p-адические числа
Источники: [БШ, глава I], [Serre, глава II], [Gouv, главы 1-4]
p-адические числа: элементарное определение и свойства. Элементарное определение кольца и поля p-адических чисел. Единицы кольца Z_p . p-показатель и p-адическая метрика. Свойства вложения Q в Q_p . Делимость и сравнения в Z_p . Сходимость последовательностей и рядов p-адических чисел.
Аксиоматическое определение поля p-адических чисел, метризованные поля. Метризованные поля, пополнение по метрике, теорема о существовании и единственности пополнения метризованного поля (без доказательства). Эквивалентность метрик. Метрики поля рациональных чисел, Теорема Островского. Некоторые топологические свойства связанные с неархимедовыми метриками.
Лемма Гензеля, принцип Хассе. Несколько вариантов формулировки Леммы Гензеля. Связь разрешимости сравнений по модулю степени простого с разрешимостью в поле p-адических чисел. Оценка числа решений сравнения по модулю степени простого. Теорема Минковского-Хассе и локально-глобальный принцип (обзорно).
Числовые поля
Источники: [IR, главы 9,12-13], [БШ, глава III], [Marc, главы 2-5], [Cox, параграфы I.4, II.7], [DSV, глава 2]
Кольцо целых гауссовых чисел. Евклидовы кольца, кольца главных идеалов. Однозначность разложения на множители в кольцах главных идеалов. Кольцо гауссовых чисел Z[i] и кольцо чисел Эйзенштейна Z[ω]. Число представлений целого в виде суммы двух квадратов. Суммы четырёх квадратов, связь с алгеброй кватернионов.
Арифметика колец целых алгебраических чисел. Числовые поля, кольца алгебраических целых чисел. Нётеровы кольца. Однозначность разложения в кольце алгебраических целых чисел. Элементы теории Галуа числовых полей. Применение теории Галуа к разложению на простые идеалы в башнях полей и колец.
Квадратичное поле и круговое поле. Квадратичное числовое поле Q( √(d)) и его кольцо целых. Разложимость на простые идеалы. Группа единиц кольца целых квадратичного поля. Число классов идеалов квадратичного поля (обзорно). Круговое поле Q( ζ_m ), простые идеалы соответствующего кольца целых. Приложения для кругового многочлена.
Список источников
[Вин] И.М. Виноградов, Основы теории чисел. Наука, 1981.
[IR] К. Айерленд, М. Роузен, Классическое введение в современную теорию чисел, МИР, 1987 (K. Ireland, M. Rosen, A Classical Introduction to Modern Number Theory. Springer, 1990).
[БШ] З.И. Боревич, И.Р. Шафаревич, Теория чисел. Наука, 1972.
[Serre] Ж.-П. Серр, Курс арифметики. МИР, 1972 (J.-P. Serre, Cours D’Arithmetique, Presses Universitaire de France, 1970).
[Степ] С.А. Степанов, Арифметика алгебраических кривых. Наука, 1991.
[LN] R. Lidl, H. Niederreiter, Introduction to Finite Fields and their Applications. Cambridge University Press, 1994.
[Gouv] F. Gouvêa, p-adic Numbers: An Introduction. Springer, 2020.
[Marc] D.A. Marcus, Number Fields. Springer, 2018.
[Cox] D.A. Cox, Primes of the Form x^2 +n y^2 . Wiley, 2013.
[DSV] G. Davidoff, P. Sarnak, A. Valette, Elementary Number Theory, Group Theory, and Ramanujan Graphs, Cambridge University Press, 2003.
[Stein-ent] W. Stein, Elementary Number Theory: Primes, Congruences, and Secrets, 2017.
[Kat] S. Katok, p-adic Analysis Compared with Real. AMS, 2007 (С.Б. Каток, p-адический анализ в сравнении с вещественным. МЦНМО, 2004).
[The Book] M. Aigner, G.M. Ziegler, Proofs from THE BOOK. Springer, 2018 (М. Айгнер, Г.М. Циглер, Доказательства из КНИГИ. МЦНМО, 2006).
Аудитория
Ещё не назначена
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта