Различия
Показаны различия между двумя версиями страницы.
Предыдущая версия справа и слева Предыдущая версия Следующая версия | Предыдущая версия | ||
алгебра_3_курс_фммф_осень_2022 [15.02.2023 15:02] timashev |
алгебра_3_курс_фммф_осень_2022 [08.04.2025 16:43] (текущий) |
||
---|---|---|---|
Строка 58: | Строка 58: | ||
Вычисления в простых расширениях полей. Построение конечных полей как простых расширений полей вычетов, | Вычисления в простых расширениях полей. Построение конечных полей как простых расширений полей вычетов, | ||
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 70: | Строка 70: | ||
Нахождение поля разложения многочлена. Круговой многочлен, | Нахождение поля разложения многочлена. Круговой многочлен, | ||
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 88: | Строка 88: | ||
Неприводимость кругового многочлена. Вычисление некоторых групп Галуа: Aut(**R**/ | Неприводимость кругового многочлена. Вычисление некоторых групп Галуа: Aut(**R**/ | ||
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 118: | Строка 118: | ||
Вычисление группы Галуа с помощью резольвент. | Вычисление группы Галуа с помощью резольвент. | ||
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 128: | Строка 128: | ||
== Семинар == | == Семинар == | ||
- | Присоединение единицы к ассоциативному кольцу или алгебре. Обратимые элементы и делители нуля в кольцах и алгебрах, | + | Присоединение единицы к ассоциативному кольцу или алгебре. Обратимые элементы и делители нуля в кольцах и алгебрах, |
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 148: | Строка 148: | ||
Идеалы в алгебре C(X) непрерывных функций на топологическом пространстве X. Простые кольца, | Идеалы в алгебре C(X) непрерывных функций на топологическом пространстве X. Простые кольца, | ||
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 160: | Строка 160: | ||
Полилинейные отображения модулей, | Полилинейные отображения модулей, | ||
- | Система порождающих модуля. Конечно порождённые, | + | Система порождающих модуля. Конечно порождённые, |
[[https:// | [[https:// | ||
Строка 176: | Строка 176: | ||
== Семинар == | == Семинар == | ||
- | Тензорное произведение молулей, колец и алгебр. | + | Тензорное произведение модулей, колец и алгебр. |
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 190: | Строка 190: | ||
Модули гомоморфизмов. Нётеровы кольца (коммутативные и некоммутативные), | Модули гомоморфизмов. Нётеровы кольца (коммутативные и некоммутативные), | ||
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 210: | Строка 210: | ||
Пример неевклидова кольца главных идеалов: | Пример неевклидова кольца главных идеалов: | ||
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 240: | Строка 240: | ||
Разложение натурального числа в сумму двух и четырёх квадратов, | Разложение натурального числа в сумму двух и четырёх квадратов, | ||
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 269: | Строка 269: | ||
Классификация двумерных коммутативных ассоциативных алгебр над **C**. Существование точного конечномерного представления у конечномерной ассоциативной алгебры. Запись линейного представления нильпотентной алгебры нильтреугольными матрицами, | Классификация двумерных коммутативных ассоциативных алгебр над **C**. Существование точного конечномерного представления у конечномерной ассоциативной алгебры. Запись линейного представления нильпотентной алгебры нильтреугольными матрицами, | ||
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 297: | Строка 297: | ||
Стандартное скалярное умножение на простом расширении поля и дискриминант многочлена. Тензорное произведение полупростых алгебр. | Стандартное скалярное умножение на простом расширении поля и дискриминант многочлена. Тензорное произведение полупростых алгебр. | ||
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 309: | Строка 309: | ||
Центральные простые алгебры и алгебры с делением. Группа Брауэра. Обобщённые кватернионы. | Центральные простые алгебры и алгебры с делением. Группа Брауэра. Обобщённые кватернионы. | ||
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 325: | Строка 325: | ||
== Семинар == | == Семинар == | ||
- | Свойства обобщённых кватернионных алгебр. Расширение скаляров, | + | Свойства обобщённых кватернионных алгебр. Расширение скаляров, |
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 355: | Строка 355: | ||
Разложение групповой алгебры в прямую сумму простых идеалов, | Разложение групповой алгебры в прямую сумму простых идеалов, | ||
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 367: | Строка 367: | ||
Псевдоортогональная и симплектическая группы Ли. Связность групп Ли GL_n(**C**) и SO_n(**C**). | Псевдоортогональная и симплектическая группы Ли. Связность групп Ли GL_n(**C**) и SO_n(**C**). | ||
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 377: | Строка 377: | ||
== Лекция 18 == | == Лекция 18 == | ||
- | Линейные представления алгебр Ли и модули над алгебрами Ли. Дифференциал линейного прдставления группы Ли есть линейное представление её касательной алгебры Ли. __Присоединённое представление__ группы Ли и алгебры Ли, связь между ними. Двулистные накрытия SU_2(**C**) → SO_3(**R**) и SL_2(**C**) → SO_3(**C**). Связь между линейным представлением группы Ли и его дифференциалом посредством экспоненциального отображения. Эквивалентность теоретико-представленческих свойств (приводимость, | + | Линейные представления алгебр Ли и модули над алгебрами Ли. Дифференциал линейного представления группы Ли есть линейное представление её касательной алгебры Ли. __Присоединённое представление__ группы Ли и алгебры Ли, связь между ними. Двулистные накрытия SU_2(**C**) → SO_3(**R**) и SL_2(**C**) → SO_3(**C**). Связь между линейным представлением группы Ли и его дифференциалом посредством экспоненциального отображения. Эквивалентность теоретико-представленческих свойств (приводимость, |
[[https:// | [[https:// | ||
Строка 383: | Строка 383: | ||
== Семинар == | == Семинар == | ||
- | Связность симплектической группы и компоненты связности псевдоортогонадьной группы. Присоединённая алгебра Ли и группа Ли обратимых элементов конечномерной ассоциативной алгебры с единицей. Структура группы Ли обратимых кватернионов. | + | Связность симплектической группы и компоненты связности псевдоортогональной группы. Присоединённая алгебра Ли и группа Ли обратимых элементов конечномерной ассоциативной алгебры с единицей. Структура группы Ли обратимых кватернионов. |
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 395: | Строка 395: | ||
== Лекция 19 == | == Лекция 19 == | ||
- | __Центр масс__ выпуклого множества. Компактность выпуклой оболочки компактного множества. Существование инваривнтного скалярного умножения и полная приводимость линейных представлений компактных групп Ли. Линейные представления группы вращений плоскости и многочлены Фурье. __Вещественные формы__ комплексных групп Ли. Совпадение инвариантных подпространств у комплексной группы Ли и её вещественной формы в комплексном линейном представлении. | + | __Центр масс__ выпуклого множества. Компактность выпуклой оболочки компактного множества. Существование инвариантного скалярного умножения и полная приводимость линейных представлений компактных групп Ли. Линейные представления группы вращений плоскости и многочлены Фурье. __Вещественные формы__ комплексных групп Ли. Совпадение инвариантных подпространств у комплексной группы Ли и её вещественной формы в комплексном линейном представлении. |
[[https:// | [[https:// | ||
Строка 405: | Строка 405: | ||
== Лекция 20 == | == Лекция 20 == | ||
- | Редуктивные группы Ли. __Унитарный трюк Вейля__: | + | __Редуктивные группы Ли__. __Унитарный трюк Вейля__: |
[[https:// | [[https:// | ||
Строка 413: | Строка 413: | ||
Вычисление экспоненциального отображения. Представления группы Ли **R**. Прообраз подгруппы Ли при дифференцируемом гомоморфизме — подгруппа Ли, её касательная алгебра Ли. Стабилизатор вектора в линейном представлении группы Ли и группа автоморфизмов конечномерной алгебры — группы Ли, их касательные алгебры Ли. | Вычисление экспоненциального отображения. Представления группы Ли **R**. Прообраз подгруппы Ли при дифференцируемом гомоморфизме — подгруппа Ли, её касательная алгебра Ли. Стабилизатор вектора в линейном представлении группы Ли и группа автоморфизмов конечномерной алгебры — группы Ли, их касательные алгебры Ли. | ||
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 425: | Строка 425: | ||
Линейные представления группы Ли SL_2 и алгебры Ли sl_2: структура неприводимых представлений, | Линейные представления группы Ли SL_2 и алгебры Ли sl_2: структура неприводимых представлений, | ||
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 445: | Строка 445: | ||
Вычисление старших векторов в простых подмодулях тензорного произведения простых sl_2-модулей. Вычисление сферических функций Лапласа, | Вычисление старших векторов в простых подмодулях тензорного произведения простых sl_2-модулей. Вычисление сферических функций Лапласа, | ||
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 473: | Строка 473: | ||
Вычисления в алгебре Клиффорда. Алгебры Клиффорда размерностей 1 и 2. Отщепление двумерного подпространства. | Вычисления в алгебре Клиффорда. Алгебры Клиффорда размерностей 1 и 2. Отщепление двумерного подпространства. | ||
- | [[https://files.teach-in.ru/ | + | [[https:// |
{{: | {{: | ||
Строка 483: | Строка 483: | ||
== Контрольная работа == | == Контрольная работа == | ||
- Вычисление матрицы стандартного скалярного умножения (//1 вариант// | - Вычисление матрицы стандартного скалярного умножения (//1 вариант// | ||
- | - Изоморфизм алгебр обобщённых кватернионов над **Q** (//1 вариант// | + | - Изоморфизм алгебр обобщённых кватернионов над **Q** (//1 вариант// |
- Задаёт ли матричная кривая линейное представление группы **R** (//1 вариант// | - Задаёт ли матричная кривая линейное представление группы **R** (//1 вариант// | ||
- Нахождение старшего вектора заданного веса в sl_2-модуле (//1 вариант// | - Нахождение старшего вектора заданного веса в sl_2-модуле (//1 вариант// | ||
- Вычисление в алгебре Клиффорда (//1 вариант// | - Вычисление в алгебре Клиффорда (//1 вариант// |