Различия

Показаны различия между двумя версиями страницы.

--- лекции_2_курс_1_поток_осень_2026 [16.09.2026 01:13]
gordienko
+++ лекции_2_курс_1_поток_осень_2026 [15.10.2026 07:14] (текущий)
gordienko
@@ Строка 1: / Строка 1: @@
-**<color #ed1c24>ВНИМАНИЕ!</color>** Объявляется специальный курс "**[[:s_k_hopf_algebras_2026_2027|Алгебры Хопфа]]**", **понедельник**, **18:30-20:05**, ауд. **1408** (главное здание МГУ), с **7 сентября 2026 года**
+/* **<color #ed1c24>ВНИМАНИЕ!</color>** Объявляется специальный курс "**[[:s_k_hopf_algebras_2026_2027|Алгебры Хопфа]]**", **понедельник**, **18:30-20:05**, ауд. **1408** (главное здание МГУ), с **7 сентября 2026 года**
+*/
 ==== Алгебра, 3 семестр, лекции, мехмат МГУ, 201-207 группы, осенний семестр 2026/2027 ====
 **Лектор [[:staff:gordienko|Гордиенко Алексей Сергеевич]]**
+**[[https://disk.yandex.ru/i/Yqqxi0RkyF4Y0Q|Программа коллоквиума]]**
 ) **02.09.2026.** Магмы (=множества с бинарной операцией), полугруппы, моноиды, группы.
@@ Строка 25: / Строка 27: @@
 Факторгруппа по центру неабелевой группы не может быть циклической. Соответствие между подгруппами (в т.ч. нормальными) в группе и факторгруппе.
 Теоремы об изоморфизме групп. Прямое произведение групп. (Эквивалентные определения.) Внешнее прямое произведение групп. Примеры. Факторизация прямого произведения групп по прямому произведению нормальных подгрупп. Китайская теорема об остатках.
+) **16.09.2026.** Подгруппа, порождённая множеством. Порождающие для групп S_n и A_n. Свободная группа: определение через универсальное свойство и доказательство единственности; комбинаторное определение. Приведённые слова.
+Ассоциативность в комбинаторном определении свободной группы. Эквивалентность двух определений свободной группы. Соотношения между порождающими. Нормальное замыкание подмножества группы. Определяющие соотношения.  Задание группы диэдра порождающими и определяющими соотношениями.
+) **21.09.2026.** Конечно определённые группы. Инвариантность ранга свободной группы (для конечного ранга). Полупрямое произведение групп. Примеры.
+__Упражнение.__ Показать, что внешнее полупрямое произведение является группой.
+__Упражнение.__ Показать, что внутреннее полупрямое произведение изоморфно соответствующему внешнему полупрямому произведению.
+Базис абелевой группы. Свободная абелева группа, её универсальное свойство (__упражнение:__ доказать единственность) и явное описание.
+) **28.09.2026.**
+Теорема о согласованных базисах. Теорема о классификации конечно порождённых абелевых групп.
+Действие группы (два эквивалентных определения). Примеры: $S_n$, $GL_n$, $D_n$.
+) **30.09.2026.**  Орбиты, стабилизаторы. Биекция между орбитой и множеством левых смежных классов по стабилизатору. Разные орбиты не пересекаются. Сопряжённость стабилизаторов элементов одной орбиты. Действие группы на себе левыми и правыми сдвигами, действие группы на себе сопряжениями. Централизатор элемента. Нормализатор подгруппы. Теорема Кэли. Нетривиальность центра конечной $p$-группы. Группа порядка $p^2$ абелева. Существование нормальной подгруппы конечного индекса, содержащейся в подгруппе конечного индекса. Силовские $p$-подгруппы. Теоремы Силова (сформулировали).
+) **05.10.2026.** Доказали теоремы А и Б. Группа порядка 15 циклическая.
+Кручение в абелевой группе. Период группы. В любой периодической абелевой группе существует элемент, порядок которого равен периоду. Критерий цикличности конечной абелевой группы в терминах периода. Конечная подгруппа мультипликативной группы поля циклическая.
+Коммутант.
+) **12.10.2026.**   Ряд из коммутантов. Разрешимая группа. Простейшие свойства. Критерий разрешимости группы в терминах нормальной подгруппы и факторгруппы по ней.
+Субнормальный ряд в группе.
+Критерий разрешимости группы в терминах субнормальных рядов.
+ Группа порядка $p^k$ разрешима. Лемма Цассенхауза о бабочке. Теорема Шрейера.
+) **14.10.2026.** Факторгруппа свободной группы по коммутанту является свободной абелевой группой. Композиционный ряд. Теорема Жордана - Гёльдера. Группы с операторами. Классы сопряжённости в группах $S_n$ и $A_n$.
+__Упражнение__. Показать, что если нормальная подгруппа в $A_n$ содержит тройной цикл, то она совпадает с $A_n$. (Для $n \geqslant 5$ доказали на лекции, вам нужно проверить для остальных n.)
 (Продолжение следует.)