Кафедра высшей алгебры

Преподаватель: Д.А. Тимашёв

Занятия проходят по понедельникам на 2-й паре (10:35-12:20) в ауд. 438.

Нумерация задач даётся по «Сборнику задач по алгебре» под ред. А.И. Кострикина, новое изд., Москва, МЦНМО, 2009. Дополнительные задачи помечены знаком ★.

• 20 декабря 2021, 10:00−14:00, ауд. 438
• 23 декабря 2021, 15:00−19:00, ауд. 438
• 28 декабря 2021, 15:00−19:00, ауд. 439

Задание конечных групп таблицей умножения, примеры: группа Клейна V_4, группа кватернионов Q_8. Примеры изоморфных и неизоморфных групп: аддитивная и мультипликативная группы поля R, а также группа положительных вещественных чисел по умножению; Z_4 и V_4; GL_2(C) и GL_3(C). Порядок элемента группы, его свойства, циклические группы. Теорема Лагранжа и её следствия. Проблема классификации конечных групп, группы простого порядка.

• 55.16, 55.25абг, 55.26, 56.7в, 56.10, 56.11;
• какие из групп изоморфны: аддитивная группа поля рациональных чисел, его мультипликтивная группа, группа положительных рациональных чисел (по умножению)?
• доказать, что любая группа порядка 4 изоморфна либо Z_4 либо V_4;
• ★ доказать, что любая группа порядка 6 изоморфна либо Z_6 либо S_3.

Сопряжённость элементов в группе, классы сопряжённости, центр группы. Вычисление классов сопряженности и центра для групп Q_8, S_n, D_n. Нормальные подгруппы в группе S_3.

• 57.30б, 57.36, 58.3, 58.4бв, 58.10★, 58.11а, 58.20б, 58.23, 58.24агж.

Вычисление факторгрупп с помощью основной теоремы о гомоморфизмах.

• 58.32де, 58.33ге.

Автоморфизмы групп, вычисление Aut(Aut(Aut Z_9)). Прямое произведение (прямая сумма) групп, примеры разложений и неразложимости групп в прямые произведения (прямые суммы). Полупрямое произведение групп, примеры.

• 57.40, 58.43, 60.2бвг, 60.5ав, 60.7, 60.8б, 60.12;
• ★ доказать, что Aut(S_n)=Inn(S_n)≅S_n, кроме случаев n=2,6;
• какие из групп в задаче 60.2 разложимы (нетривиальным образом) в полупрямое произведение?
• разложить в полупрямое произведение группы: а) GL_n(K) б) невырожденных верхнетреугольных матриц размера n×n.

Конечно порождённые и не конечно порождённые абелевы группы, примеры. Структура конечно порождённых абелевых групп, её определение, исходя из представления группы в виде факторгруппы свободной группы по подгруппе, заданной набором порождающих элементов, приведением целочисленной матрицы координат порождающих элементов подгруппы к «диагональному» виду. Вычисление порядка элемента в конечно порождённой абелевой группе, представленной как факторгруппа свободной группы. Критерий конечности факторгруппы свободной абелевой группы.

• 60.32, 60.50, 60.52агд, 60.53, 60.54;
• Являются ли конечно порождёнными следующие группы:
  1. группа рациональных дробей m/n, у которых простые делители n содержатся среди {p_1,…,p_s}, с операцией сложения;
  2. группа рациональных дробей m/n≠0, у которых простые делители m и n содержатся среди {p_1,…,p_s}, с операцией умножения;
• доказать две формулы для объёма целочисленного n-мерного параллелепипеда П:
  1. vol(П) = число целых точек в П, не лежащих на его гранях, не содержащих данную вершину 0;
  2. vol(П) = ∑ (1/2^k)⋅(число целых точек внутри всех (n-k)-мерных граней П), где суммирование ведётся по k=0,1,…,n.

Конечные абелевы группы, их структура, тип группы. Классификация конечных абелевых групп заданного порядка. Определение типа факторгруппы конечной (или конечно порождённой) абелевой группы. Вложимость конечных абелевых групп друг в друга. Количество подгрупп заданного порядка в данной конечной абелевой группе.

• 60.39ежз, 60.40ав, 60.42, 60.43бв, 60.45.

Действия групп на множествах, описание орбит и стабилизаторов. В подгруппе индекса n содержится нормальная подгруппа индекса, делящего n!. Пять правильных многогранников (платоновы тела), двойственность между ними. Группы движений двойственных многогранников совпадают. Группа движений куба.

• 57.1абв, 57.2а, 57.3, 57.9бв, 57.12в, 57.13ав★, 58.37.

Теоретико-групповое определение и классификация правильных многогранников. Формула Бернсайда для числа орбит действия конечной группы на конечном множестве.

• 57.23, 57.25, 57.31;
• сколько существует различных игральных костей? (игральная кость — это кубик, на каждой грани которого написана цифра от 1 до 6, причём цифры могут повторяться);
• доказать формулу Эйлера для правильного многогранника с помощью формулы Бернсайда.

Коммутант группы, его свойства. Вычисление коммутанта группы G методом оценки сверху (ядро гомоморфизма G в абелеву группу) и снизу (подгруппа, порождённая некоторым количеством коммутаторов). Кратные коммутанты, разрешимые группы, критерий разрешимости (в терминах подгруппы и факторгруппы).

• 62.7г, 62.8б, 62.11в, 62.13, 62.15, 58.38;
• доказать, что -E не является коммутатором в группе SL_2(R);
• вычислить производный ряд для группы, состоящей из невырожденных действительных матриц вида
• 

Силовские подгруппы, теоремы Силова, примеры: силовские подгруппы в A_4, в GL_2(Z_p), в прямом произведении групп. Арифметика конечных групп: доказательство непростоты групп заданного порядка (80).

• 59.3а, 59.4а, 59.13где, 59.14, 59.15, 59.22ав, 59.24;
• описать все силовские подгруппы в D_3×A_4.

Арифметика конечных групп: доказательство разрешимости и коммутативности групп заданного порядка (12 и 455). Классификация групп порядка ≤10.

Линейные и матричные представления групп, в том числе представление в пространстве функций на множестве с действием группы. Приводимые, неприводимые и вполне приводимые представления, разложение в прямую сумму неприводимых представлений. Нахождение инвариантных подпространств и доказательство неприводимости (пример: стандартное представление группы A_n при n≥5).

• 59.20вг, 62.18вгде★, 69.2, 69.7, 69.9, 69.11;
• доказать, что любая неабелева группа порядка 8 изоморфна либо Q_8, либо D_4;
• разложить мономиальное представление группы A_n при n=3,4 над полем C на неприводимые слагаемые.

Теорема Машке. Описание неприводимых комплексных представлений конечных абелевых групп (пример: V_4). Описание одномерных комплексных представлений конечных групп (пример: S_3×D_5). Факты о количестве и размерностях неприводимых комплексных представлений конечной группы. Описание всех неприводимых комплексных представлений группы D_n.

• 70.2жз, 70.10, 70.34бге, 70.37б, 70.39;
• описать все одномерные комплексные представления группы A_4×D_4;
• описать все неприводимые комплексные представления групп Q_8 и A_4×Z_3.

Алгебры, структурные константы. Классификация двумерных комплексных алгебр с единицей. Идеалы, главные идеалы, кольца главных идеалов. Факторалгебры K[x]/(f), их свойства, вычисления в K[x]/(f). Присоединение корня, избавление от иррациональности в знаменателе. Минимальный многочлен.

• 63.21б, 63.22а, 64.8б, 64.2а, 64.42, 67.3бгдеж, 67.12;
• представить выражение (a²-3a-1)/(a²+2a+1) в виде многочлена от a наименьшей возможной степени с рациональными коэффициентами, где a∈C — корень многочлена x³+x²+3x+4.

1. Вычисление факторгруппы свободной абелевой группы и нахождение в ней порядка заданного элемента (1 вариант) и количества элементов заданного порядка (2 вариант).
2. Нахождение централизатора элемента группы подстановок и количества элементов в его классе сопряжённости (1 вариант); описание орбит действия группы на множестве (2 вариант).
3. Доказательство коммутативности группы заданного порядка (1 вариант); описание силовских подгрупп в группе (2 вариант).
4. Вычисление производного ряда группы (1 вариант); доказательство разрешимости группы заданного порядка (2 вариант).
5. Описание одномерных комплексных представлений группы.
6. Избавление от иррациональности в знаменателе выражения в поле, получаемом присоединением корня неприводимого многочлена к полю Z_3 (1 вариант) и C (2 вариант).