Содержание

1 Преподаватели и учебные ассистенты
2 Контакты
3 Формы контроля знаний студентов
4 Порядок формирования итоговой оценки
5 Краткое содержание лекций
6 Домашнее задание
7 Куда сдавать домашнее задание
8 Контрольная работа
9 Экзамен
10 Ведомости текущего контроля
11 Ссылки
12 Литература
- 12.1 Основная
- 12.2 Дополнительная

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

Группа	БКНАД241	БКНАД242
Лектор	Дима Трушин
Семинарист	Галина Калеева	Никита Медведь
Ассистент	Хасанов Айдар	Мосевнин Кирилл

Контакты

	Преподаватель/Ассистент	Как связаться	Когда
1	Дима Трушин	telegram	Напишите мне и мы договоримся о времени проведения консультации. Для тех кто в Москве, очные консультации по средам с 17:00 до 20:00 в S812.
2	Галина Калеева	Телеграм, ищите в группе курса алгебры	По вторникам в 19.00 в зуме. Во вторник 7 октября в 18.00!
3	Хасанов Айдар	Телеграм	с 17:00 до 20:00 в тг
4	Мосевнин Кирилл	telegram	Пишите, желательно в будние дни 16:00-21:00 (в выходные могу не ответить)

Формы контроля знаний студентов

Еженедельные домашние задания

Письменная контрольная работа по задачам

Устный экзамен по теории

Порядок формирования итоговой оценки

Итоговая оценка считается по формуле

F = 0,3 * H + 0,3 T + 0,4 E

где H -- оценка за еженедельные домашние задания, T -- оценка за письменную контрольную, E -- оценка за устный экзамен.

Только финальная оценка F округляется. Правила округления арифметические.

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

Лекция 1 (08.09.2025). Бинарные операции. Ассоциативность, нейтральный элемент, обратный элемент, коммутативность. Определение группы. Аддитивная и мультипликативная нотации. Подгруппы и циклические подгруппы.

Лекция 2 (15.09.2025). Подгруппы и циклические подгруппы (напоминание). Порядок элемента. Классификация циклических групп. Описание подгрупп в группе Z. Описание подгрупп в группе Z_n. Левые и правые смежные классы. Теорема Лагранжа и ее следствия. Нормальные подгруппы (определение).

Лекция 3 (22.09.2025). Гомоморфизмы и изоморфизмы групп. Ядро и обрз гомоморфизма их свойства. Произведение групп. Конечные абелевы группы. Китайская теорема об остатках. Структура конечных абелевых групп.

Лекция 4 (29.09.2025). Мультипликативная версия Китайской теоремы об остатках. Структура Z_{p^n}^*. Криптография. Быстрое возведение в степень. Проблема дискретного логарифмирования. Система Диффи-Хелмана и Эль-Гамаля. RSA.

Лекция 5 (06.10.2025). Кольца, коммутативные кольца, поля, подкольца. Обратимые элементы, делители нуля, нильпотенты, идемпотенты. Идеалы. Описание идеалов в Z и Z_n. Гомоморфизмы и изоморфизмы колец. Китайская теорема об остатках для колец. Ядро и образ гомоморфизма колец и их свойства.

Лекция 6 (13.10.2025). Многочлены от одной переменной. Алгоритм Евклида деления с остатком, наибольший общий делитель, идеалы в F[x]. Неприводимые многочлены и однозначное разложение на множители в F[x]. Кольца полиномиальных остатков, Китайская теорема об остатках для колец полиномиальных остатков.

Лекция 7 (20.10.2025). Доказательство Китайской теоремы для колец полиномиальных остатков. Идеалы в кольце полиномиальных остатков. Характеристика поля. Расширение полей, расширение корнем. Конечные поля: количество элементов в конечном поле, цикличность мультипликативной группы конечного поля (формулировка), классификация конечных полей (без доказательства). Конструкция построения конечных полей. Случайные генераторы Галуа. Потоковое шифрование.

Лекция 8 (03.11.2025). Коды с исправлением ошибок. Расстояние Хэмминга, минимальное расстояние кода, количество исправляемых ошибок. Линейные коды, вес элемента, проверочная матрица, количество исправляемых ошибок в терминах проверочной матрицы. Коды Хэмминга. Неравенство Синглтона. Коды Рида-Соломона.

Лекция 9 (10.11.2025). Многочлены от нескольких переменных. Лексикографический порядок, стабилизация убывающих цепочек мономов. Элементарная редукция, редукция относительно множества многочленов, остатки, базис Грёбнера. Остановка процесса редукции.

Лекция 10 (17.11.2025). S-многочлен и критерий Бухбергера. Идеалы в кольце многочленов от нескольких переменных, алгоритм Бухбергера для построения базиса Грёбнера идеала. Проблема принадлежности идеалу и исключения переменных.

Лекция 11 (24.11.2025). Diamond Lemma. Доказательство критерия Бухбергера. Лемма Диксона и остановка алгоритма Бухбергера.

Лекция 12 (01.12.2025). Отношения эквивалентности и фактормножества. Конгруэнция на группе. Построение структуры группы на классах эквивалентности. Описание конгруэнтностей в терминах нормальных подгрупп.

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

Каждый листок содержит задачи с семинара и соответствующее ДЗ. Дедлайн сдачи домашнего задания – начало следующего семинара. Дедлайн мягкий. При опоздании на t часов, оценка умножается на 0.7^{t / 24}.