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

Материал из Wiki - Факультет компьютерных наук
Перейти к навигации Перейти к поиску
Следующая правка →
Новая страница: «= Преподаватели и учебные ассистенты = {| class="wikitable" style="text-align:center" |- ! Группа !! БКНАД241 !! БКНАД242 |- || Лектор ||colspan="2"| [https://www.mathnet.ru/php/person.phtml?option_lang=rus&personid=23927 Андрей Валерьевич Царев] |- || Семинарист || [https://www.mathnet.ru/php/person.phtml?option_lang=rus&personid=23927 Андрей Валерьевич Ц...»
 
Нет описания правки
Строка 51: Строка 51:
= Краткое содержание лекций =
= Краткое содержание лекций =


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


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


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


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


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


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


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


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


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


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


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


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


'''Лекция 13''' (08.12.2025). Две теоремы о гомоморфизме. Базис в абелевых группах, свободные абелевы группы с конечным базисом и их описание. Связь с конечными абелевыми группами.
'''Лекция 13''' (10.12.2026).  
 
'''Лекция 13''' (17.12.2026).


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

Версия от 13:14, 26 августа 2026

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

Группа БКНАД241 БКНАД242
Лектор Андрей Валерьевич Царев
Семинарист Андрей Валерьевич Царев Никита Юрьевич Медведь
Ассистент Алексей Самсонов Дарья Швалюк

Контакты

Преподаватель/Ассистент Как связаться Когда
1
 А.В. Царев
2
 Н.Ю. Медведь
3
 А. Самсонов
4
 Д. Швалюк

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

  • Еженедельные домашние задания
  • Коллоквиум
  • Письменная контрольная работа по задачам
  • Устный экзамен по теории

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

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

F = 0,1 * H + 0,25 K + 0,5 T + 0,4 E

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

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

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

Лекция 1 (03.09.2026). Бинарная операция. Группа: определение, примеры и простейшие свойства. Подгруппа, критерий подгруппы. Гомоморфизмы групп. Изоморфные группы.

Лекция 2 (10.09.2026). Группы классов вычетов и группы подстановок. Теорема Кэли. Правые и левые смежные классы. Теорема Лагранжа и следствия из нее.

Лекция 3 (17.09.2026). Нормальные подгруппы и факторгруппы. Основная теорема о гомоморфизме групп. Циклические группы. Порядок элемента группы. Описание циклических групп и их подгрупп.

Лекция 4 (24.09.2026). Действие группы на множестве. Лемма Бернсайда. Прямое произведение групп. Конечные абелевы группы. Китайская теорема об остатках и основная теорема арифметики.

Лекция 5 (01.10.2026).

Лекция 6 (08.10.2026).

Лекция 7 (15.10.2026).

Лекция 8 (05.11.2026).

Лекция 9 (12.11.2026).

Лекция 10 (19.11.2026).

Лекция 11 (26.11.2026).

Лекция 12 (03.12.2026).

Лекция 13 (10.12.2026).

Лекция 13 (17.12.2026).

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

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

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

Группа 241

Группа 242

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

Экзамен

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

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

Ссылки

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

Литература

Основная

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

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

  • Практическая криптография, Фергюсон, Нильс
  • Базисы Гребнера и системы алгебраических уравнений, Аржанцев, И. В.
  • Сборник задач по алгебре, учебник, под ред. А. И. Кострикина, 3-е изд., испр. и доп.
Источник — https://wiki.cs.hse.ru/index.php?title=Алгебра_КНАД_2026/2027&oldid=96923