!-я лекция 3 сентября.

Отношения эквивалентности, согласованные с операцией на множестве. Операция на фактормножестве, гомоморфизм факторизации.

Отношение сравнимости по модулю нормальной подгруппы в группе, факторгруппа. Теорема о гомоморфизме групп.

2-я лекция 10 сентября.

Пересечение и произведение подгрупп в группе. Количество элементов в произведении конечных подгрупп. Произведение подгрупп, одна из которых нормальна. Перестановочность элементов нормальных подгрупп, пересекающихся только по единице.

Разложение группы в прямое произведение своих подгрупп. Случай двух множителей. Внешнее прямое произведение групп, его связь с внутренним. Пример: китайская теорема об остатках.

Разложение группы в полупрямое произведение (двух) подгрупп.

3-я лекция 14 сентября.

Конечно порожденные абелевы группы. Линейно независимые системы элементов и базисы. Свободные абелевы группы (с.а.г.). Равномощность базисов с.а.г. Описание всех базисов. Теорема о том, что всякая подгруппа с.а.г. ранга n является с.а.г. ранга ⇐ n.

Решетки в вещественном векторном пространстве V, их характеризация как дискретных подгрупп, порождающих пространство V.

4-я лекция 17 сентября.

Кристаллографические группы и группы симметрии кристаллов. Конечность группы симметрии кристалла и возможные порядки ее элементов.

Существование базиса свободной абелевой группы, согласованного с заданной подгруппой. Разложение конечно порожденной абелевой группы в прямую сумму циклических подгрупп.

5-я лекция 21 сентября.

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

6-я лекция 24 сентября.

Группы преобразований и действия групп. Ядро неэффективности действия. Орбиты и стабилизаторы. Биекция между орбитой и множествои сиежных классов по стабилизатору. Вычисление длины орбиты конечной группы.

Действие группы на себе левыми (правыми) сдвигами. Смежные классы как орбиты подгруппы.

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

7-я лекция 1 октября.

Классы сопряженных элементов в группе собственных движений евклидовой плоскости.

Действие группы на множестве своих подгрупп сопряжениями. Нормализатор подгруппы.

Подгруппа, порожденная подмножеством. Системы порождающих в группе. Теоремы о том, что симметрическая группа порождается транспозициями и группа невырожденных матриц порождается элементарными матрицами.

Центр группы. Группа внутренних автоморфизмов как факторгруппа группы по ее центру. Центры симметрической группы и группы невырожденных матриц.

8-я лекция 8 октября.

Коммутатор элементов группы и коммутант группы. Характеризация коммутанта как наименьшей нормальной подгруппы, факторгруппа по которой абелева.

Вычисление коммутантов групп S_n, A_n, GL_n(K), SL)n(K) (|K|>3).

Кратные коммутанты и разрешимые группы. Разрешимость подгруппы и факторгруппы. Обратно, если нормальная подгруппа и факторгруппа по ней разрешимы, то и сама группа разрешима.

Выяснение того, при каких n группа S_n разрешима.

9-я лекция 15 октября.

Теоремы Силова.

10-я лекция 22 октября.

Группа автоморфизмов циклической группы. Группы порядка pq.

Линейные и матричные представления групп, связь между ними.

Изоморфизмы представлений. Сумма представлений.

11-я лекция 26 октября.

Инвариантные подпространства. Ограничение представления на инвариантное подпространство. Сумма и пересечение инвариантных подпространств.

Неприводимце и вполне приводимые представления. Полная приводимость всякого подпредставления вполне приводимого представления. Вполне приводимые представления как суммы неприводимых. Полная приводимость представлений конечной группы над полем нулевой характеристики.

12-я лекция 29 октября.

Мономиальное представление группы S_n.

Гомоморфизмы представлений. Ядро и образ гомоморфизма, гомоморфизмы неприводимых представлений. Лемма Шура. Неприводимые представления абелевых групп над алгебраически замкнутым полем.

Пространство гомоморфизмов Hom(R,S), в частности, Hom(R,R)=End(R). Формула для его размерности (в случае алгебраически замкнутого поля). Следствие: кратности вхождения неприводимых представлений в данное представление не зависят от выбора разложения.