Алгебра на ПМИ 2023/2024 (пилотный поток) — различия между версиями
Материал из Wiki - Факультет компьютерных наук
| (не показаны 4 промежуточные версии этого же участника) | |||
| Строка 80: | Строка 80: | ||
* [https://drive.google.com/file/d/15NnTE7dk94F5hnFsn-BHC527bDLnMRso/view?usp=sharing '''Лекция 13'''] (07.06.2024) Доказательство критерия Бухбергера. Алгоритм Бухбергера. Минимальный базис Грёбнера, его существование и единственность. Задачи о принадлежности идеалу и совпадении двух идеалов. Задачи о наличии решения, принадлежности радикалу, эквивалентности систем и конечности числа решений. | * [https://drive.google.com/file/d/15NnTE7dk94F5hnFsn-BHC527bDLnMRso/view?usp=sharing '''Лекция 13'''] (07.06.2024) Доказательство критерия Бухбергера. Алгоритм Бухбергера. Минимальный базис Грёбнера, его существование и единственность. Задачи о принадлежности идеалу и совпадении двух идеалов. Задачи о наличии решения, принадлежности радикалу, эквивалентности систем и конечности числа решений. | ||
| + | |||
| + | * [https://drive.google.com/file/d/1mW1qzqdsRvSYqiYCzbVbPq0OMuzQuMtX/view?usp=sharing '''Лекция 14'''] (11.06.2024) Примеры полей. Характеристика поля. Расширения полей, алгебраические и трансцендентные элементы. Минимальный многочлен. Конечное расширение и его степень. Присоединение корня многочлена. Поле разложения многочлена: существование и единственность (без доказательства). | ||
| + | |||
| + | * [https://drive.google.com/file/d/1omX8Ih2T8038OtKtUT1F_lO6IyqNAZl3/view?usp=sharing '''Лекция 15'''] (14.06.2024) Конечные поля. Простое подполе и порядок конечного поля. Автоморфизм Фробениуса. Теорема существования и единственности для конечных полей. Поле из четырех элементов. Цикличность мультипликативной группы. Реализация конечного поля как факторкольца. Неприводимые многочлены над конечным полем. Подполя конечного поля. | ||
= Листки с задачами = | = Листки с задачами = | ||
| Строка 100: | Строка 104: | ||
* [https://drive.google.com/file/d/1jtgHuww4vXmfKvrPN2BkIg7Up9c5litR/view?usp=sharing '''Листок 8'''] | * [https://drive.google.com/file/d/1jtgHuww4vXmfKvrPN2BkIg7Up9c5litR/view?usp=sharing '''Листок 8'''] | ||
| + | |||
| + | * [https://drive.google.com/file/d/1w-u8CfwZ1Ci1ZKgwAKVf1C6AZhIQYAea/view?usp=sharing '''Листок 9'''] | ||
| + | |||
| + | * [https://drive.google.com/file/d/1GA9NzzduBvHErLbc1GOHq0lHjJG7YB8a/view?usp=sharing '''Листок 10'''] | ||
= Лабораторные = | = Лабораторные = | ||
| Строка 121: | Строка 129: | ||
Экзамен состоится 24 июня, распределение студентов по времени будет опубликовано позже. | Экзамен состоится 24 июня, распределение студентов по времени будет опубликовано позже. | ||
| − | [https://docs.google.com/document/d/1-t2PNwW5CsrecZwsePl1h-Eniy-Z1ihdXx9tUtddb-s/edit?usp=sharing Регламент экзамена] | + | [https://docs.google.com/document/d/1-t2PNwW5CsrecZwsePl1h-Eniy-Z1ihdXx9tUtddb-s/edit?usp=sharing Регламент экзамена]. |
| + | |||
| + | [https://drive.google.com/file/d/165Idt98Cge8BxMul9vEWxbdKTJGABA5j/view?usp=sharing Программа курса] | ||
| + | |||
| + | [https://drive.google.com/file/d/1OFrr_A48nOyLxRuC-zMs6_-oSwbQf7aS/view?usp=sharing Список вопросов] | ||
= Ведомости текущего контроля = | = Ведомости текущего контроля = | ||
{| class="wikitable" style="text-align:center" | {| class="wikitable" style="text-align:center" | ||
|- | |- | ||
| − | ! [https://docs.google.com/spreadsheets/d/1Cqd8HeuZWtTy3kbggwKLW2WxTgMYq4c4vll9VWBrDTw/edit#gid=1196896000 231] !! [https://docs.google.com/spreadsheets/d/1Cqd8HeuZWtTy3kbggwKLW2WxTgMYq4c4vll9VWBrDTw/edit#gid=1418802091 232] !! [https://docs.google.com/spreadsheets/d/1Cqd8HeuZWtTy3kbggwKLW2WxTgMYq4c4vll9VWBrDTw/edit#gid=1697515667 233] !! [https://docs.google.com/spreadsheets/d/1Cqd8HeuZWtTy3kbggwKLW2WxTgMYq4c4vll9VWBrDTw/edit#gid=1370470393 234] | + | ! [https://docs.google.com/spreadsheets/d/1Cqd8HeuZWtTy3kbggwKLW2WxTgMYq4c4vll9VWBrDTw/edit#gid=1196896000 231] !! [https://docs.google.com/spreadsheets/d/1Cqd8HeuZWtTy3kbggwKLW2WxTgMYq4c4vll9VWBrDTw/edit#gid=1418802091 232] !! [https://docs.google.com/spreadsheets/d/1Cqd8HeuZWtTy3kbggwKLW2WxTgMYq4c4vll9VWBrDTw/edit#gid=1697515667 233] !! [https://docs.google.com/spreadsheets/d/1Cqd8HeuZWtTy3kbggwKLW2WxTgMYq4c4vll9VWBrDTw/edit#gid=1370470393 234] !! |
| + | [https://docs.google.com/spreadsheets/d/1SWMDf--TKyHe-nI5n6UREGAcrE9EIhfxkSI04F4O9t8/edit?usp=sharing ЛР1] | ||
|- | |- | ||
|} | |} | ||
Текущая версия на 10:48, 17 июня 2024
Содержание
Преподаватели и учебные ассистенты
| Группа | БПМИ231 | БПМИ232 | БПМИ233 | БПМИ234 |
|---|---|---|---|---|
| Лектор | Аржанцев Иван Владимирович | |||
| Семинарист | Зайцева Юлия Ивановна | Перепечко Александр Юрьевич | Максаев Артем Максимович | Калеева Галина Анатольевна |
| Ассистент | Потарусов Артём | Парфенов Артём | Рогожкин Егор | Воротников Игорь |
| Ассистент по лабораторным | Гундарин Роман | |||
Расписание консультаций
Если хотите прийти на консультацию, надо обязательно предварительно связаться с соответствующим преподавателем / ассистентом.
| Преподаватель/ассистент | понедельник | вторник | среда | четверг | пятница | |
|---|---|---|---|---|---|---|
| |
Аржанцев Иван Владимирович | 17:40-19:00 | 17:40-19:00 | |||
| |
Зайцева Юлия Ивановна | 16:20-17:40, S828 | 18:10-19:30, S828 | |||
| |
Калеева Галина Анатольевна | 18.00, zoom (ссылка в чате) | ||||
| |
Максаев Артем Максимович | 14:40-16:00, T909 | ||||
| |
Перепечко Александр Юрьевич | 16:10 до 17:30, S812 или TG | ||||
| |
Воротников Игорь | 15:00-16:00 | ||||
| |
Гундарин Роман | 14:40-16:00 | ||||
| |
Парфенов Артём TG | 14:40-16:00 S832 или zoom | ||||
| |
Потарусов Артём | 14:40-16:00 | ||||
| |
Рогожкин Егор | 19:00-20:00 |
Порядок формирования оценок
Итоговая оценка выражается следующим образом:
Oитоговая = 0,25 * Одз + 0,1 * Олаб + 0,25 * Ок/р + 0,4 * Оэкз.
Округление производится для итоговой оценки. Способ округления — арифметический.
Краткое содержание лекций
В этом разделе выложены конспекты всех лекций курса. Содержание этих конспектов может незначительно отличаться от материала, фактически прочитанного на лекциях.
- Лекция 1 (03.04.2024) Полугруппы и группы: основные определения и примеры. Группы матриц и группы подстановок. Подгруппы. Классификация подгрупп в группе (Z,+). Циклические подгруппы и порядок элемента.
- Лекция 2 (05.04.2024) Циклические группы. Смежные классы и индекс подгруппы. Теорема Лагранжа и её следствия. Нормальные подгруппы. Факторгруппы. Гомоморфизмы и изоморфизмы. Классификация циклических групп.
- Лекция 3 (09.04.2024) Гомоморфизмы и изоморфизмы. Классификация циклических групп. Теорема о гомоморфизме. Центр группы. Прямое произведение групп. Факторизация по сомножителям. Разложение конечной циклической группы. Конечно порождённые и свободные абелевы группы.
- Лекция 4 (16.04.2024) Свободные абелевы группы и их ранги. Характеризация базисов. Подгруппы свободных абелевых групп. Теорема о согласованных базисах. Алгоритм приведения целочисленной матрицы к диагональному виду.
- Лекция 5 (19.04.2024) Факторгруппа решетки по подрешетке. Строение конечно порождённых абелевых групп. Конечные абелевы группы. Экспонента конечной абелевой группы. Критерий цикличности. Действие группы на множестве. Орбиты и стабилизаторы.
- Лекция 6 (23.04.2024) Транзитивные, свободные и эффективные действия. Три действия группы на себе. Классы сопряжённости. Изоморфизм действий. Теорема Кэли. Основные понятия криптографии с открытым ключом. Задача дискретного логарифмирования. Система Диффи-Хеллмана обмена ключами. Криптосистема Эль-Гамаля.
- Лекция 7 (30.04.2024) Протоколы с нулевым разглашением: три примера. Задача разделения секрета: метод Шамира и метод Блейкли. Кольца. Примеры колец.
- Лекция 8 (14.05.2024) Кольца: обратимые элементы, делители нуля, нильпотенты и идемпотенты. Поля и алгебры. Идеалы. Главные идеалы. Факторкольца и теорема о гомоморфизме для колец. Дополнительный материал: многочлены от одной переменной над полем, наибольший общий делитель, неприводимые многочлены, однозначность разложения на множители и описание идеалов.
- Лекция 9 (17.05.2024) Центр алгебры матриц над полем. Простота алгебры матриц над полем. Элементарные симметрические многочлены. Основная теорема о симметрических многочленах. Лексикографический порядок. Лемма о старшем члене.
- Лекция 10 (21.05.2024) Доказательство основной теоремы о симметрических многочленах. Теорема Виета. Дискриминант многочлена. Вопросы о существовании решения и о конечности числа решений произвольной системы полиномиальных уравнений. Случай систем линейных уравнений. Формулировка теоремы Гильберта о базисе. Нётеровы кольца и условие обрыва возрастающих цепочек идеалов.
- Лекция 11 (24.05.2024) Доказательство теоремы Гильберта о базисе. Лемма Диксона. Идеал старших членов. Идеал полиномиальной системы. Эквивалентные системы. Радикал идеала. Формулировка теоремы Гильберта о нулях. Дополнительный материал: кольцо многочленов над нётеревым кольцом нётерово.
- Лекция 12 (04.06.2024) Задача о принадлежности многочлена идеалу. Алгоритм деления. Оператор редукции. Нормальная форма многочлена. Базис Грёбнера идеала. S-многочлены и формулировка критерия Бухбергера.
- Лекция 13 (07.06.2024) Доказательство критерия Бухбергера. Алгоритм Бухбергера. Минимальный базис Грёбнера, его существование и единственность. Задачи о принадлежности идеалу и совпадении двух идеалов. Задачи о наличии решения, принадлежности радикалу, эквивалентности систем и конечности числа решений.
- Лекция 14 (11.06.2024) Примеры полей. Характеристика поля. Расширения полей, алгебраические и трансцендентные элементы. Минимальный многочлен. Конечное расширение и его степень. Присоединение корня многочлена. Поле разложения многочлена: существование и единственность (без доказательства).
- Лекция 15 (14.06.2024) Конечные поля. Простое подполе и порядок конечного поля. Автоморфизм Фробениуса. Теорема существования и единственности для конечных полей. Поле из четырех элементов. Цикличность мультипликативной группы. Реализация конечного поля как факторкольца. Неприводимые многочлены над конечным полем. Подполя конечного поля.
Листки с задачами
Листок с задачами содержит в себе домашнее задание. Дедлайн по домашнему заданию номер N: начало постоянного (не мигающего) семинара на неделе N+1.
Лабораторные
Планируется две лабораторные работы: в конце апреля и в начале июня.
Первая лабораторная — на абелевы группы. Дедлайн — 23:59 22 мая. Задание по ссылке, сама лабораторная доступна в классруме для лабораторных работ. Оценка за первую лабораторную работу равна сумме баллов за каждое задание, делённой на 1,6 (максимальная возможная оценка — 10).
Вторая лабораторная — на базисы Грёбнера. Дедлайн — 23:59 19 июня. Задание доступно в классруме для лабораторных работ.
Итоговая оценка за лабораторные равна среднему арифметическому оценок за две лабораторные.
Контрольная работа
Контрольная работа состоялась 5 июня, начало в 9:00.
Работа проводится письменно и включает в себя 6 задач. На решение задач отводится 120 минут. Во время контрольной запрещено использование средств связи и материалов.
Экзамен
Экзамен состоится 24 июня, распределение студентов по времени будет опубликовано позже.
Ведомости текущего контроля
| 231 | 232 | 233 | 234 |
|---|
Куда сдавать домашние задания
Номер группы определяется ведомостью (см. выше).
Литература
- Э.Б. Винберг. Курс алгебры. М.: Факториал Пресс, 2002.
- А.И. Кострикин. Введение в алгебру. Основы алгебры. М.: Наука. Физматлит, 1994.
- А.И. Кострикин. Введение в алгебру. Основные структуры алгебры. М.: Наука. Физматлит, 2000.
- Сборник задач по алгебре под редакцией А.Н. Кострикина. Новое издание. М.: МЦНМО, 2009.
