imported>Ravdeev: Migrated current public revision from wiki.cs.hse.ru

2026-06-05T14:50:55Z

Migrated current public revision from wiki.cs.hse.ru

Новая страница

Telegram-канал: [https://t.me/Alg_25_26_AMI_osn https://t.me/Alg_25_26_AMI_osn]

= Преподаватели и учебные ассистенты =

{| class="wikitable" style="text-align:center"
|-
! Группа !! БПМИ256 !! БПМИ257 !! БПМИ258 !! БПМИ259 !! БПМИ2510 !! БПМИ2511 !! БПМИ2512 !! БПМИ2513 !! БПМИ2514 !! БПМИ2515
|-
|| Лектор ||colspan="10"| [https://t.me/newsuslik Роман Авдеев]
|-
|| Семинарист || [https://t.me/newsuslik Роман Авдеев] || [https://t.me/i_mihanya Михаил Игнатьев] || [https://t.me/Astana_G Дмитрий Гайфулин] || [https://t.me/sgayf Сергей Гайфуллин] || [https://t.me/t1som Алина Никитина] || [https://t.me/theromestasenko Роман Стасенко] || [https://t.me/musix3000 Амина Каракотова] || [https://t.me/aleksandrov_ki Кирилл Александрóв] || [https://t.me/AlTal Алексей Таламбуца] || [https://t.me/maaarkooo Марк Черебедов]
|-
|| Ассистент || [https://t.me/lizkmrv Елизавета Комарова] || [https://t.me/w_wip Максим Грицан] || [https://t.me/vadkam Вадим Камалов] || [https://t.me/shierururu Марина Василькова] || [https://t.me/parsifal45 Данил Лисиенко] || [https://t.me/an_soc София Соленникова] || [https://t.me/repressedd Дамир Хасанов] || [https://t.me/PiP8PoP Полина Литвина] || [https://t.me/ice_fusion Максим Минин] || [https://t.me/cep3au Сергей Зайцев]
|}

= Порядок формирования оценок =

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

Oитоговая = 0,33 * Одз + 0,22*Ок/р + 0,45*Оэкз.

Округление производится только для итоговой оценки. Способ округления — арифметический.

= Краткое содержание лекций =

[https://drive.google.com/file/d/1H5KJWhhq0WZH7uxwebg0lmlD3ibmD3A-/view?usp=sharing '''Конспект лекций''']

'''Лекция 1''' (1.04.2026) [[https://drive.google.com/file/d/1YKZjxhOuTmo7RVpQWG1INGz_BthCf6X9/view?usp=drive_link '''слайды''']]. Бинарные операции. Полугруппы, моноиды, группы, коммутативные (абелевы) группы. Порядок группы. Примеры групп. Подгруппы. Описание всех подгрупп в группе целых чисел по сложению. Циклические подгруппы. Циклические группы. Порядок элемента группы. Связь между порядком элемента и порядком порождаемой им циклической подгруппы

'''Лекция 2''' (3.04.2026) [[https://drive.google.com/file/d/1biOHJcjQVXlFzG0LnQq9xD4YejS7M9sh/view?usp=drive_link '''слайды''']]. Левые (правые) смежные классы группы по подгруппе, разбиение группы на левые (правые) смежные классы. Индекс подгруппы, теорема Лагранжа. Пять следствий из теоремы Лагранжа. Нормальные подгруппы. Бинарная операция на множестве смежных классов по нормальной подгруппе

'''Лекция 3''' (8.04.2026). Факторгруппа группы по нормальной подгруппе. Гомоморфизмы групп, примеры, простейшие свойства. Изоморфизм групп, изоморфные группы. Ядро и образ гомоморфизма групп, их свойства. Теорема о гомоморфизме для групп. Примеры

'''Лекция 4''' (15.04.2026) [[https://drive.google.com/file/d/1yMicuzNtBfL_b9YU67Bgzv_CeuOFUi91/view?usp=drive_link '''слайды''']]. Классификация циклических групп с точностью до изоморфизма. Прямое произведение групп и разложение группы в прямое произведение подгрупп. Разложение конечной циклической группы. Примарные абелевы группы. Теорема о разложении конечной абелевой группы в прямое произведение примарных циклических групп (формулировка). Экспонента конечной абелевой группы. Критерий цикличности

'''Лекция 5''' (17.04.2026) [[https://drive.google.com/file/d/1WGv2WE_HdgOrRDd9WOjXGYJjQPWJOVGa/view?usp=drive_link '''слайды''']]. Понятие кольца, примеры. Коммутативные кольца. Обратимые элементы, делители нуля, нильпотенты. Поля. Критерий того, что кольцо вычетов является полем. Подкольца, подполя. Идеалы в кольце. Главные идеалы в коммутативном кольце

'''Лекция 6''' (22.04.2026) [[https://drive.google.com/file/d/1lfYNhmJ_3q1Yb8Irc2PUXIx2VUcRZCjH/view?usp=drive_link '''слайды''']]. Идеалы, порождаемые подмножеством коммутативного кольца. Факторкольцо кольца по идеалу. Гомоморфизмы, изоморфизмы колец. Ядро и образ гомоморфизма колец. Теорема о гомоморфизме для колец. Кольцо K[x] многочленов от одной переменной над полем. Деление с остатком в кольце K[x]. Наибольший общий делитель двух многочленов, теорема о его существовании и линейном выражении

'''Лекция 7''' (24.04.2026). Неприводимые многочлены. Факториальность кольца K[x]. Теорема о том, что K[x] является кольцом главных идеалов. Факторкольцо K[x]/(h). Критерий того, что факторкольцо K[x]/(h) является полем

'''Лекция 8''' (29.04.2026) [[https://drive.google.com/file/d/1tPS_edf59FGz7edl3FwLl0C0pC3yakeM/view?usp=drive_link '''слайды''']]. Базис и размерность факторкольца K[x]/(h) как векторного пространства над полем K. Присоединение корня неприводимого многочлена. Лексикографический порядок на одночленах от нескольких переменных. Лемма о конечности убывающих цепочек одночленов. Старший член ненулевого многочлена. Лемма о старшем члене. Элементарная редукция многочлена относительно ненулевого многочлена. Нередуцируемые многочлены. Лемма о конечности цепочек элементарных редукций. Остаток многочлена относительно заданной системы многочленов

'''Лекция 9''' (13.05.2026). Системы Грёбнера. Характеризация систем Грёбнера в терминах цепочек элементарных редукций. S-многочлены. Критерий Бухбергера. Базис Грёбнера идеала, теорема о трёх эквивалентных условиях

'''Лекция 10''' (20.05.2026). Решение задачи вхождения многочлена в идеал. Лемма о конечности цепочек одночленов, в которых каждый следующий одночлен не делится ни на один из предыдущих. Теорема Гильберта о базисе идеала. Алгоритм Бухбергера построения базиса Грёбнера идеала. Редуцируемость к нулю S-многочлена двух многочленов с взаимно простыми старшими членами

'''Лекция 11''' (22.05.2026) [[https://drive.google.com/file/d/1WIvHMPKbaWmATPPEB3Lh49CxACL7FxCw/view?usp=drive_link '''слайды''']]. Поля. Характеристика поля. Расширение полей, его степень. Степень композиции двух расширений. Существование конечного расширения исходного поля, в котором заданный многочлен (а) имеет корень; (б) разлагается на линейные множители. Алгебраические и трансцендентные элементы. Минимальный многочлен алгебраического элемента и его свойства. Поле, порождаемое алгебраическим элементом

'''Лекция 12''' (27.05.2026). Порядок конечного поля. Общая конструкция конечных полей. Поле из четырёх элементов. Автоморфизм Фробениуса. Существование конечного поля, порядок которого — степень простого числа. Цикличность мультипликативной группы конечного поля. Реализация конечного поля как факторкольца кольца многочленов над полем вычетов

'''Лекция 13''' (3.06.2026). Единственность конечного поля заданного порядка. Описание подполей конечного поля. Коды над конечным алфавитом. Расстояние Хэмминга. Коды, исправляющие t ошибок. Минимальное расстояние кода. Теорема о связи минимального расстояния кода с числом ошибок, которые он может исправлять.

'''Лекция 14''' (5.06.2026). Линейные коды. Проверочная матрица. Связь минимального расстояния линейного кода с его проверочной матрицей. Бинарный код Хэмминга, его минимальное расстояние и число ошибок, которые он может исправлять. Неравенство Синглтона. Код Рида–Соломона и его минимальное расстояние: классическая реализация и БЧХ-реализация.

= Листки с задачами =

[https://drive.google.com/file/d/1U88IgabAITYVVFZ7rAmUhpAKveIVIIDa/view?usp=drive_link '''Задачи к лекции 1''']

[https://drive.google.com/file/d/1FKdxx1oTEz7UscP6dBcO-2sz9Q9mxw42/view?usp=drive_link '''Задачи к лекции 2''']

[https://drive.google.com/file/d/11LfEtsh0-YiF_OacBBEo30aJjMDXw-Rr/view?usp=drive_link '''Задачи к лекции 3''']

[https://drive.google.com/file/d/14btFb7lAe2YM7NoWmedf4Fo_SsSjDcdJ/view?usp=drive_link '''Задачи к лекции 4''']

[https://drive.google.com/file/d/1Vhl9sgQ7miwy9ZcJTHd9bTxF5Llg-b4s/view?usp=drive_link '''Задачи к лекции 5''']

[https://drive.google.com/file/d/1bcBsa4XoEm0oYEsoJS5G81qpg5KizblZ/view?usp=drive_link '''Задачи к лекции 6''']

[https://drive.google.com/file/d/1p0zuuMje789FhJggSd9Y2hhzDN79xdPB/view?usp=drive_link '''Задачи к лекции 7''']

[https://drive.google.com/file/d/1fBfmGKC0a_QFSr8lRn0FRUsSWD3OMU8_/view?usp=drive_link '''Задачи к лекции 8''']

[https://drive.google.com/file/d/1cMwu7iVa7CjUA1Kj_gFbB50w5xdA24Cr/view?usp=drive_link '''Задачи к лекции 9''']

[https://drive.google.com/file/d/1_7x51e20LBsE9BDbDU6aUoUAeL4LKvMf/view?usp=drive_link '''Задачи к лекции 10''']

[https://drive.google.com/file/d/1b4Qja9plAaRuYT8d8S3G18Z50DBRwFAu/view?usp=drive_link '''Задачи к лекции 11''']

[https://drive.google.com/file/d/1NvzM9rK8SxhKBX45E0okKAwWg-KtmSC-/view?usp=drive_link '''Задачи к лекции 12''']

[https://drive.google.com/file/d/1wlpwUCAy6F8JOODquJJjibqQKJlzvfRp/view?usp=drive_link '''Задачи к лекции 13''']

[https://drive.google.com/file/d/1mayVbjp7efy-3gAuImywYqYUPffL9Agt/view?usp=drive_link '''Задачи к лекции 14''']

= Домашние задания =

[https://drive.google.com/file/d/1KCsB-i2zdH5J72G83GmGWXywglwGDEIb/view?usp=drive_link '''ДЗ-1''']

[https://drive.google.com/file/d/1zK-yCdm8CixRUSpttIBIfyjRxv2kCUPq/view?usp=drive_link '''ДЗ-2''']

[https://drive.google.com/file/d/1dQ1v_eEfLgVAwVW5_NTP1HVGgn3BJzoI/view?usp=drive_link '''ДЗ-3''']

[https://drive.google.com/file/d/1EP4kX6HqDf0ExCEBxQ1aZVQGqnqmSd9t/view?usp=drive_link '''ДЗ-4''']

[https://drive.google.com/file/d/1VcIG4pbalXF62m7XoLOfoqs1sgGbJFTd/view?usp=drive_link '''ДЗ-5''']

[https://drive.google.com/file/d/1-xGy82y154SWPBZjYhOjx6oLoUNR2qtY/view?usp=drive_link '''ДЗ-6''']

[https://drive.google.com/file/d/1EgyEDQ1WZWNP5b80L1QdvN4N4Fkoo-Tn/view?usp=drive_link '''ДЗ-7''']

[https://drive.google.com/file/d/1FXZ_GiAUmUi9k6G8PAYkaRDDdOcmokca/view?usp=drive_link '''ДЗ-8''']

[https://drive.google.com/file/d/1KmI_15fj2oCjS61NHZuj5O1LSlmD_byv/view?usp=drive_link '''ДЗ-9''']

= Контрольная работа =

Дата-время: 8 июня, 16:40

Разрешения на контрольной: иметь с собой только ручку и электронное устройство с единственной функцией "калькулятор"

'''Темы задач на контрольной работе'''

* Порядки элементов и подгруппы в конечных абелевых группах [60.39, 60.40, 60.42, 60.43, 60.45] ("прямая сумма" = "прямое произведение")
* Алгоритм Евклида и линейное представление НОД в кольце многочленов [25.2, 25.3, 25.7, [https://www.dropbox.com/s/6ugc0adjv4pv0h4/Quotients.pdf?dl=0 ещё задачи]]
* Разложение многочленов на неприводимые множители над полями R, C и Z_p [27.1, 27.2, [https://www.dropbox.com/s/hc5uz9iiiw201hl/Factorization_examples.pdf?dl=0 ещё примеры]]
* Базисы Грёбнера и их приложения [[https://www.dropbox.com/s/ssubw1mqn3hhqor/GB_examples.pdf?dl=0 примеры], задачи 5,9 из листка 10 и задачи 1,2,3 из ДЗ-7]
* Минимальные многочлены и вычисления в конечных расширениях полей [67.3, задачи 2,3 из листка 8, задача 1 из ДЗ-6, задачи 4,5 из листка 11 и задача 1 из ДЗ-8]
* Вычисления в конечных полях [[https://www.dropbox.com/s/y8u27gr9kk5nw6b/FF_examples.pdf?dl=0 примеры]]

Для каждой темы в скобках указаны задачи, рекомендуемые к прорешиванию в качестве тренировки (номера даны по Сборнику задач по алгебре под редакцией А.И. Кострикина)

Также стоит обратить внимание на задачи, предлагавшиеся на аналогичных контрольных прошлых лет

= Экзамен =

Формат экзамена: устный

= Ведомости текущего контроля =

{| class="wikitable" style="text-align:center"
|-
! [https://docs.google.com/spreadsheets/d/1otn1VdiWcUYn8GbWdG6PnkBiQW8ALrVOvda3TpZfYxQ/edit?gid=458782119#gid=458782119 256] !! [https://docs.google.com/spreadsheets/d/1otn1VdiWcUYn8GbWdG6PnkBiQW8ALrVOvda3TpZfYxQ/edit?gid=1181982027#gid=1181982027 257] !! [https://docs.google.com/spreadsheets/d/1otn1VdiWcUYn8GbWdG6PnkBiQW8ALrVOvda3TpZfYxQ/edit?gid=2074432488#gid=2074432488 258] !! [https://docs.google.com/spreadsheets/d/1otn1VdiWcUYn8GbWdG6PnkBiQW8ALrVOvda3TpZfYxQ/edit?gid=1003272547#gid=1003272547 259] !! [https://docs.google.com/spreadsheets/d/1otn1VdiWcUYn8GbWdG6PnkBiQW8ALrVOvda3TpZfYxQ/edit?gid=658286564#gid=658286564 2510] !! [https://docs.google.com/spreadsheets/d/1otn1VdiWcUYn8GbWdG6PnkBiQW8ALrVOvda3TpZfYxQ/edit?gid=834516625#gid=834516625 2511] !! [https://docs.google.com/spreadsheets/d/1otn1VdiWcUYn8GbWdG6PnkBiQW8ALrVOvda3TpZfYxQ/edit?gid=1692194870#gid=1692194870 2512] !! [https://docs.google.com/spreadsheets/d/1otn1VdiWcUYn8GbWdG6PnkBiQW8ALrVOvda3TpZfYxQ/edit?gid=241205604#gid=241205604 2513] !! [https://docs.google.com/spreadsheets/d/1otn1VdiWcUYn8GbWdG6PnkBiQW8ALrVOvda3TpZfYxQ/edit?gid=1651735923#gid=1651735923 2514] !! [https://docs.google.com/spreadsheets/d/1otn1VdiWcUYn8GbWdG6PnkBiQW8ALrVOvda3TpZfYxQ/edit?gid=637903293#gid=637903293 2515]
|}

= Литература =

* Э.Б. Винберг. Курс алгебры. М.: Факториал Пресс, 2002
* А.И. Кострикин. Введение в алгебру. Основы алгебры. М.: Наука. Физматлит, 1994
* А.И. Кострикин. Введение в алгебру. Основные структуры алгебры. М.: Наука. Физматлит, 2000
* Сборник задач по алгебре под редакцией А.Н. Кострикина. Новое издание. М.: МЦНМО, 2009
* Р. Лидл, Г. Нидеррайтер. Конечные поля (2 тома). М.: Мир, 1988
* И.В. Аржанцев. Базисы Грёбнера и системы алгебраических уравнений. М.: МЦНМО, 2003

Алгебра на ПМИ 2025/2026 (основной поток) - История изменений

imported>Ravdeev: Migrated current public revision from wiki.cs.hse.ru