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

Занятия проходят по понедельникам на 1-й паре (9:00-10:35) в ауд. 14-05 15-03.

Объявления:

• пересдача коллоквиума по алгебре пройдёт в четверг 27 ноября на 5-й паре (16:45-18:20), ауд. 16-04;
• занятие с понедельника 1 декабря переносится на четверг 11 декабря, 1-я пара (9:00-10:35).

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

Группы (напоминание из 1-го семестра): определение, единственность нейтрального и обратного элементов в группе, абелевы группы, мультипликативная и аддитивная терминологии. Примеры групп: аддитивные и мультипликативные группы колец и полей, матричные и линейные группы, группы движений (в т.ч. группа диэдра D_n), группы подстановок (симметрическая группа S_n и знакопеременная группа A_n). Задание конечной группы таблицей умножения, примеры: группа Клейна V₄ и группа кватернионов Q₈. Изоморфизм групп, примеры изоморфных и неизоморфных групп: аддитивная и мультипликативная группы поля R, а также группа положительных вещественных чисел по умножению; Z₆, S₃ и D₃; Z₄ и V₄. Порядок элемента группы, его свойства, циклические подгруппы.

• 55.16, 55.25абг, 55.26, 56.7, 56.10, 56.11;
• какие из групп изоморфны: аддитивная группа поля рациональных чисел, его мультипликативная группа, группа положительных рациональных чисел (по умножению)?
• изоморфны ли группы GL₂(C) и GL₃(C)?

Теорема Лагранжа и её следствия о порядках элементов в конечных группах. Проблема классификации конечных групп, группы простого порядка. Сопряжённость элементов в группе, классы сопряжённости, центр группы. Вычисление классов сопряженности и центра для групп Q₈ и S_n.

• доказать, что любая группа порядка 4 изоморфна либо Z₄ либо V₄;
• ★ доказать, что любая группа порядка 6 изоморфна либо Z₆ либо S₃;
• описать классы сопряжённости в группе D_n.
• 57.29, 57.30б, 57.36, 58.20бв, 58.23, 58.24агж.

Вычисление классов сопряженности и центра для группы D_n. Нормальные подгруппы, их перечисление в группах S₃ и S₄.

• 58.1абд, 58.2, 58.3, 58.4б, 58.10, 58.11а, 58.12.

Факторгруппы. Гомоморфизмы, их ядра и образы. Основная теорема о гомоморфизмах, вычисление факторгрупп с её помощью. Автоморфизмы групп, группа внутренних автоморфизмов Inn(G), её нормальность в Aut(G), группа внешних автоморфизмов Out(G). Автоморфизмы циклических групп, вычисление Aut(Aut(Aut Z₉)).

• 57.39а, 57.40, 57.41б, 57.45, 58.32де, 58.33ге, 58.41;
• ★ доказать, что Aut(S_n) = Inn(S_n) ≅ S_n, кроме случаев n=2,6.

Прямое произведение (прямая сумма) групп, примеры разложений и неразложимости групп в прямые произведения (прямые суммы). Разложение конечной циклической группы в прямую сумму.

• 60.2бг, 60.5, 60.7, 60.8, 60.12.

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

• 60.32, 60.50, 60.51, 60.52агд, 60.53.
• Доказать:
  1. группа S_n порождена транспозицией (1,2) и циклом (1,2,…,n);
  2. группа A_n порождена парами независимых транспозиций при n ≥ 5;
  3. группа B_n(K) невырожденных верхнетреугольных матриц порождена элементарными матрицами 1-го и 3-го типов.
• Являются ли конечно порождёнными следующие группы:
  1. группа рациональных дробей m/n, у которых простые делители n содержатся среди {p₁,…,p_s}, с операцией сложения;
  2. группа рациональных дробей m/n≠0, у которых простые делители m и n содержатся среди {p₁,…,p_s}, с операцией умножения.

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

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

Количество подгрупп заданного порядка в данной конечной абелевой группе. Действия групп на множествах, описание орбит и стабилизаторов. Порядок орбиты конечной группы. Группа вращений куба.

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

Действие группы на себе сопряжениями: классы сопряжённости и централизаторы, число элементов в классе сопряжённости. Силовские подгруппы, теоремы Силова, примеры: силовские подгруппы в A₄, в SL₂(Z_p), в прямом произведении групп.

• 57.23б, 57.25, 57.31, 59.3а, 59.4а, 59.9, 59.13где, 59.15;
• описать все силовские подгруппы в D₃×A₄.

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

• 62.1в, 62.7г, 62.8б, 62.10, 62.11в, 62.21, 58.38;
• вычислить производный ряд для группы, состоящей из невырожденных действительных матриц вида
• 

Арифметика конечных групп: доказательство непростоты, разрешимости и коммутативности групп заданного порядка.

• 59.20вг, 59.22ав, 59.23, 59.24, 62.18вгде★, 62.22★, 62.23★

Коллоквиум

Кольца, алгебры, структурные константы. Алгебра кватернионов. Классификация двумерных комплексных алгебр с единицей. Идеалы, главные идеалы, кольца главных идеалов.

• 63.21б, 63.22а, 63.23, 64.2б, 64.8б.