Лекции 2 курс 2 поток. Лектор И.В. Аржанцев. Осень 2015
Лекция 24 (17/12) Тела и алгебры с делением. Алгебра кватернионов, ее основные свойства. Алгебраические элементы ассоциативной алгебры и их минимальные многочлены. Конечномерные алгебры с делением над алгебраически замкнутым полем. Теорема Фробениуса.
Лекция 23 (10/12) Поле из четырех элементов. Над Z_p существует неприводимый многочлен любой степени. Подполя конечного поля. Линейный код над конечным полем, его длина и размерность. Расстояние Хэмминга. Минимальное расстояние линейного кода и число исправляемых ошибок. (7,4)-код Хэмминга.
Лекция 22 (08/12) Теорема существования и единственности для поля разложения многочлена. Простое подполе. Порядок конечного поля. Автоморфизм Фробениуса. Теорема существования и единственности для конечных полей.
Лекция 21 (03/12) Cтепень F[x]/(f) над F равна степени многочлена f. Присоединение корня неприводимого многочлена. Алгебраические и трансцендентые элементы. Минимальный многочлен алгебраического элемента. Алгебраичность как конечномерность подалгебры, порожденной элементом. Алгебраические элементы образуют подполе. Конечно порожденное расширение полей. Поле разложения многочлена.
Лекция 20 (26/11) Алгебра матриц над полем является центральной простой алгеброй. Факторкольца, теорема о гомоморфизме для колец. Факторкольцо F[x]/(f(x)) является полем в точности тогда, когда f(x) неприводим. Расширения полей, конечное расширение и его степень, степень башни расширений.
Лекция 19 (24/11) Явное описание неприводимых представлений группы S_4. Кольца, алгебры и поля: определения и примеры. Групповая алгебра. Делители нуля, обратимые элементы, нильпотенты и идемпотенты. Левые, правые и двусторонние идеалы, идеалы в коммутативных кольцах. Идеал, порожденный подмножеством. Главный идеал. Кольца Z и F[x] - кольца главных идеалов. Пример неглавного идеала в F[x,y].
Лекция 18 (19/11) Cоотношения ортогональности для характеров. Кратность вхождения неприводимого представления как скалярное произведение характеров. Определяемость представления его характером. Число неприводимых комплексных представлений конечной группы равно числу классов сопряженности. Разложение регулярного представления на неприводимые. Порядок группы равен сумме квадратов размерностей неприводимых представлений. Явное описание неприводимых представлений группы S_3.
Лекция 17 (12/11) Гомоморфизмы представлений, лемма Шура, усреднение линейных отображений. Характер представления, центральные функции на группе, пространство комплекснозначных функций на конечной группе как эрмитово пространство.
Лекция 16 (10/11) Одномерные представления: сведение к фактору по коммутанту. Описание одномерных комплексных представлений конечных абелевых групп. Представления абелевых групп: неприводимые комплексные представления одномерны, комплекное представление конечной абелевой группы разлагается в прямую сумму одномерных.
Лекция 15 (05/11) Прямая сумма представлений, вполне приводимые представления, примеры отсутствия полной приводимости, теорема Машке. Инвариантные скалярные произведения над R и C. Инвариантность ортогонального дополнения.
Лекция 14 (29/10) Представление группы, эквивалентность представлений, матричный язык, след и определитель, инвариантное подпространство, подпредставление, неприводимое представление. Примеры: представления групп Z и Z_n, регулярное представление конечной группы, мономиальное представление симметрической группы, подпредставление в гиперплоскости с нулевой суммой координат (называю его каноническим), неприводимость канонического представления при условиях на характеристику поля.
Лекция 13 (27/10) Cиловские подгруппы, три теоремы Силова. Группа порядка pq разрешима ступени не выше двух. Группа порядка 15 циклическая
Лекция 12 (22/10) Три действия группы на себе. Теорема Кэли. Сопряженность стабилизаторов точек одной орбиты. Изоморфизм действий. Транзитивное действие изоморфно действию на множестве смежных классов. Длина орбиты конечной группы и формула Бернсайда. Нетривиальность центра и разрешимость p-групп. Факторгруппа G/Z(G) не может быть циклической. Коммутативность групп порядка p^2.
Лекция 11 (15/10) История классификации конечных простых групп. Действие группы на множестве. Орбиты и стабилизаторы. Транзитивные, свободные и эффективные действия. Ядро неэффективности. Примеры действий.
Лекция 10 (13/10) Разрешимость группы верхнетреугольных матриц. Простые группы. Существование композиционного ряда у конечной группы. Классификация конечных групп в два этапа: классификация простых групп и классификация расширений. Абелевы простые группы. Простота группы A_n (n\ge 5).
Лекция 9 (08/10) Коммутант группы и его основные свойства. Характеристические подгруппы. Коммутанты групп S_n, A_n, D_n, SL_n(F) и GL_n(F). Кратные коммутанты, их характеристичность и нормальность. Разрешимые группы, основные примеры и свойства. Производный ряд группы.
Лекция 8 (06/10) Экспонента конечной группы. Конечная подгруппа мультипликативной группы поля является циклической. Единственность разложения конечно порожденной абелевой группы. Порождающие элементы группы. Группа A_n порождена тройными циклами и парами независимых транспозиций (n>4). Порождающие группы диэдра. Группа GL_n(F) порождена элементарными матрицами, а группа SL_n(F) - элементарными матрицами первого типа. Коммутатор элементов, коммутант группы (успели только определить).
Лекция 7 (01/10) Теорема о согласованных базисах, факторгруппы свободных абелевых групп, инвариантные множители, универсальное свойство свободной абелевой группы, разложение конечно порожденной абелевой группы в прямую сумму циклических, единственность разложения конечной абелевой группы в прямую сумму примарных циклических, примеры.
Лекция 6 (24/09) Cвободные абелевы группы. Все базисы содержат одно и то же число элементов. Ранг. Матрица перехода. Подгруппа свободной абелевой группы ранга n свободна и ее ранг не превосходит n. Алгоритм приведения целочисленной матрицы к диагональному виду.
Лекция 5 (17/09) Факторизация по сомножителям, разложение конечной циклической группы. Абелевы группы: периодическая часть, группы без кручения, конечно порожденные и свободные абелевы группы.
Лекция 4 (15/09) Классы сопряженности, централизатор элемента, формула для числа элементов в классе сопряженности, описание классов сопряженности в симметрической группе, группе GL_n(C), группе диэдра и группе кватернионов. Внешние и внутренние прямые произведения.
Лекция 3 (10/09) Теорема о гомоморфизме, примеры. Группа автоморфизмов Aut(G). Группы автоморфизмов циклических групп. Группа внутренних автоморфизмов. Центр группы, Int(G) = G/Z(G).
Лекция 2 (03/09) Циклические подгруппы и порядок элемента. Циклические группы и их подгруппы. Смежные классы, индекс подгруппы, теорема Лагранжа и ee пять следствий. Нормальные подгруппы, факторгруппа, теорема о гомоморфизме (успели только сформулировать).
Лекция 1 (01/09) Группы и подгруппы. Гомоморфизмы, изоморфизмы и автоморфизмы. Основные классы групп: числовые (аддитивные и мультипликативные), вычеты, группы подстановок, группы матриц, группы симметрий, группа диэдра, группа кватернионов Q_8.