Алгебра КНАД 2025/2026 — различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
(Домашнее задание)
(Краткое содержание лекций)
Строка 66: Строка 66:
  
 
'''Лекция 9''' (10.11.2025). Многочлены от нескольких переменных. Лексикографический порядок, стабилизация убывающих цепочек мономов. Элементарная редукция, редукция относительно множества многочленов, остатки, базис Грёбнера. Остановка процесса редукции.
 
'''Лекция 9''' (10.11.2025). Многочлены от нескольких переменных. Лексикографический порядок, стабилизация убывающих цепочек мономов. Элементарная редукция, редукция относительно множества многочленов, остатки, базис Грёбнера. Остановка процесса редукции.
 +
 +
'''Лекция 10''' (17.11.2025). S-многочлен и критерий Бухбергера. Идеалы в кольце многочленов от нескольких переменных, алгоритм Бухбергера для построения базиса Грёбнера идеала. Проблема принадлежности идеалу и исключения переменных.
 +
 +
'''Лекция 11''' (24.11.2025). Diamond Lemma. Доказательство критерия Бухбергера. Лемма Диксона и остановка алгоритма Бухбергера.
  
 
= Домашнее задание =
 
= Домашнее задание =

Версия 16:06, 24 ноября 2025

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

Группа БКНАД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. Доказательство критерия Бухбергера. Лемма Диксона и остановка алгоритма Бухбергера.

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

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

Куда сдавать домашнее задание

Группа 241

Группа 242

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

Экзамен

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

  • Домашние задания
241 242
  • Результаты Контрольной работы
[241] [242]
  • Итоговая ведомость
[241] [242]

Ссылки

  • Папка с задачами для семинаров и домашними заданиями.
  • [ Видеозаписи].

Литература

Основная

  • Курс алгебры, Винберг, Э. Б.
  • Заметки по теории кодирования, Ромащенко, А. Е.
  • Введение в алгебру: основы алгебры: учебник для вузов, Кострикин, А. И.
  • Идеалы, многообразия и алгоритмы. Кокс, Литтл, О'Ши.

Дополнительная

  • Практическая криптография, Фергюсон, Нильс
  • Базисы Гребнера и системы алгебраических уравнений, Аржанцев, И. В.
  • Сборник задач по алгебре, учебник, под ред. А. И. Кострикина, 3-е изд., испр. и доп.