Алгебра на ПМИ 2020/2021 (основной поток) — различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
(Краткое содержание лекций)
(Листки с задачами)
Строка 100: Строка 100:
  
 
[https://www.dropbox.com/s/qp0v5bdcc913bux/A_20-21_Stream2_Problems06.pdf?dl=0 '''Задачи к лекции 6''']
 
[https://www.dropbox.com/s/qp0v5bdcc913bux/A_20-21_Stream2_Problems06.pdf?dl=0 '''Задачи к лекции 6''']
 +
 +
[https://www.dropbox.com/s/da27lghr1b2pyi7/A_20-21_Stream2_Problems07.pdf?dl=0 '''Задачи к лекции 7''']
  
 
= Контрольная работа =
 
= Контрольная работа =

Версия 18:11, 26 мая 2021

Telegram-канал: ссылка

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

Группа БПМИ203 БПМИ205 БПМИ206 БПМИ207 БПМИ208 БПМИ209 БПМИ2010 БПМИ2011 БПМИ2012
Лектор Роман Авдеев
Семинарист Дима Трушин Роман Авдеев Михаил Федоров Сергей Гайфуллин Роман Авдеев Антон Шафаревич Юлия Зайцева Михаил Хрыстик Артём Максаев
Ассистент Никита Морозов Максимилиан Громовой Юлия Василевская Елизавета Руденко Володя Кузнецов Ира Голобородько Владимир Смурыгин Арина Голубицкая Ваге Оганнисян

Расписание консультаций

Преподаватель/ассистент понедельник вторник среда четверг пятница
1
Роман Авдеев
2
Дима Трушин
3
Михаил Федоров
4
Сергей Гайфуллин 17:30-18:30 :[1]
5
Антон Шафаревич
6
Юлия Зайцева
7
Михаил Хрыстик
8
Артём Максаев
9
Никита Морозов По договорённости, пишите в тг
10
Максимилиан Громовой
11
Юлия Василевская По договорённости, пишите в тг
12
Елизавета Руденко По договорённости, пишите в тг
13
Володя Кузнецов По договорённости, пишите в лс.
14
Ирина Голобородько
15
Владимир Смурыгин
16
Арина Голубицкая
17
Ваге Оганнисян

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

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

Oитоговая = 0,3 * Одз + 0,2*Ок/р + 0,5*Оэкз.

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

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

Лекция 1 (7.04.2021) [видеозапись, снимок доски, слайды]. Бинарные операции. Полугруппы, моноиды, группы, коммутативные (абелевы) группы. Порядок группы. Примеры групп. Подгруппы. Описание всех подгрупп в группе целых чисел по сложению. Циклические подгруппы. Порядок элемента группы. Связь между порядком элемента и порядком порождаемой им циклической подгруппы. Циклические группы. Левые смежные классы группы по подгруппе, разбиение группы на левые смежные классы.

Лекция 2 (14.04.2021) [видеозапись, снимок доски, слайды]. Индекс подгруппы, теорема Лагранжа. Пять следствий из теоремы Лагранжа. Нормальные подгруппы. Факторгруппа группы по нормальной подгруппе. Гомоморфизмы групп, простейшие свойства. Изоморфизм групп, изоморфные группы. Ядро и образ гомоморфизма групп. Теорема о гомоморфизме для групп. Примеры.

Лекция 3 (21.04.2021) [видеозапись, снимок доски]. Классификация циклических групп с точностью до изоморфизма. Прямое произведение групп и разложение группы в прямое произведение подгрупп. Разложение конечной циклической группы. Примарные абелевы группы. Теорема о разложении конечной абелевой группы в прямое произведение примарных циклических групп (формулировка). Экспонента конечной абелевой группы, критерий цикличности. Криптография с открытым ключом. Задача дискретного логарифмирования. Система Диффи–Хеллмана обмена ключами. Криптосистема Эль–Гамаля.

Конспект, включающий в себя содержание лекций 1–3

Лекция 4 (28.04.2021) [видеозапись, снимок доски, слайды]. Понятие кольца, примеры. Коммутативные кольца. Обратимые элементы, делители нуля, нильпотенты. Поля. Критерий того, что кольцо вычетов является полем. Подкольца, подполя. Идеалы в кольце. Главные идеалы и идеалы, порождённые подмножеством коммутативного кольца. Факторкольцо кольца по идеалу. Гомоморфизмы, изоморфизмы колец. Ядро и образ гомоморфизма колец. Теорема о гомоморфизме для колец.

Лекция 5 (12.05.2021) [видеозапись, снимок доски, слайды]. Кольцо K[x] многочленов от одной переменной над полем. Деление с остатком. Наибольший общий делитель двух многочленов, теорема о его существовании и линейном выражении. Неприводимые многочлены. Факториальность кольца K[x]. Теорема о том, что K[x] является кольцом главных идеалов. Критерий того, что факторкольцо K[x]/(h) является полем. Базис факторкольца K[x]/(h) как векторного пространства над полем K. Присоединение корня неприводимого многочлена.

Конспект, включающий в себя содержание лекций 4 и 5

Лекция 6 (19.05.2021) [видеозапись; снимок доски, слайды]. Лексикографический порядок на одночленах от нескольких переменных. Лемма о конечности убывающих цепочек одночленов. Старший член ненулевого многочлена. Лемма о старшем члене. Элементарная редукция многочлена относительно ненулевого многочлена. Нередуцируемые многочлены. Лемма о конечности цепочек элементарных редукций. Остаток многочлена относительно заданной системы многочленов. Системы Грёбнера. Характеризация систем Грёбнера в терминах цепочек элементарных редукций. S-многочлены. Критерий Бухбергера (формулировка).

Конспект, включающий в себя содержание лекции 6

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

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

Листок с задачами к лекции N содержит в себе N-е домашнее задание.

Задачи к лекции 1

Задачи к лекции 2

Задачи к лекции 3

Задачи к лекции 4

Задачи к лекции 5

Задачи к лекции 6

Задачи к лекции 7

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

Экзамен

Формат экзамена: устный, по билетам

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

203 205 206 207 208 209 2010 2011 2012

Литература

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