Семинары, 104 группа
Преподаватель: Егор Андреевич Ясинский
http://www.mccme.ru/~yasinsky/
Домашние задания выдаются в Листках. Дополнительные листки не следует понимать как «задачи со звездочкой». Их назначение — показать применения алгебры в самых разнообразных ситуациях.
2 сентября
Линейные системы и определители малых порядков. Метод Крамера. Геометрический смысл определителя.
Дополнительно: изменение площадей и объемов под действием линейных отображений.
9, 14, 16 сентября
Я в отъезде, заменяли И. А. Чубаров и С. А. Гайфуллин. Темы занятий: метод Гаусса, линейные системы с параметром, линейная зависимость векторов, операции над матрицами.
Некоторые домашние задачи: 6.9 (в) 6.10 (в) 6.12 (и) 6.14 (а) 17.1 (б,з) 17.2 (а) 17.3 (в) 17.4 (а,б) 17.7 (задачник Кострикина, 2001 г.)
23 сентября
Векторные пространства и их подпространства. Пространство решений однородной системы. Базис. Фундаментальная система решений.
Дополнительно: линейные рекуррентные последовательности и матрицы.
28 сентября
30 сентября
Обратная матрица, ее нахождение с помощью элементарных преобразований. Матричные уравнения.
Дополнительно: линейная алгебра над F2, экстремальная комбинаторика и гипотеза Борсука.
7 октября
Элементарные матрицы и их польза. Квадратные матрицы, коммутирующие со всеми матрицами того же размера, скалярны. След матрицы и его свойства.
Листок 5 (на 14 октября; некоторые задачи обсуждались на семинаре)
Дополнительно: применение алгебры в экономике: модель Леонтьева.
12 октября
Контрольная №1. Темы контрольной:
- Определители малых порядков.
- Метод Гаусса.
- Ранг матрицы. Фундаментальная система решений.
- Линейная зависимость векторов.
- Операции над матрицами. Обратная матрица.
14 октября
Перестановки: все что вы хотели знать о них, но боялись спросить (краткий конспект с примерами и задачами).
Перестановки. Умножение перестановок, запись в виде произведения независимых циклов. Четность перестановок.
Дополнительно: применение алгебры в топологии (I): инварианты узлов, движения Рейдемейстера, многочлен Александера.
21 октября
Порождающие симметрической группы. Определение знака перестановки с помощью транспозиций, четность цикла. Определители, их свойства и простейшие методы вычисления.
Листок 7 (некоторые задачи обсуждались на семинаре)
Дополнительно: применение алгебры в топологии (II): квантовые инварианты узлов, кронекеровское произведение матриц и уравнения Янга-Бакстера.
26 октября
Методы вычисления определителей: приведение к треугольному виду, разложение по строке/столбцу, рекуррентные соотношения (для трёхдиагональных матриц).
28 октября
Коллоквиум
2 ноября (перенос с 9 ноября)
Кольца и поля. Поле комплексных чисел. Алгебраическая форма записи комплексных чисел, их сложение, умножение и деление. Тригонометрическая форма записи. Формула Муавра и тождество Эйлера. Описание движений плоскости с помощью комплексных чисел, ориентация. Инверсия.
Дополнительные задачи:
- Меняет ли инверсия относительно окружности ориентацию плоскости?
- Образуют ли всевозможные инверсии (относительно различных окружностей) группу?
11 ноября
Проверочная работа (~30 мин.). Темы:
- Перестановки.
- Вычисление определителей (в частности, метод рекуррентных соотношений, см. № 4.1 в задачнике)
Извлечение корней из комплексных чисел. Корни из единицы, их сумма. Геометрические места точек и комплексные числа. Пример задачи: найти ГМТ {(1+it)/(1-it): t∈R}. Рациональная параметризация окружности, понятие о пифагоровых тройках.
Листок 10: классификация движений плоскости.
18 ноября
Кольца и гомоморфизмы между ними. Примеры: матрицы, многочлены, кольца вычетов, кватернионы, октавы (в Листке 11 - кольцо формальных степенных рядов, булевы кольца, в т.ч. кольцо подмножеств фиксированного множества). Алгебра многочленов. Деление многочленов, нахождение наибольшего общего делителя (алгоритм Евклида). Корни, теорема Безу.
Дополнительно: Кватернионы и их применение для описаний вращений трехмерного пространства. Теорема Гурвица о сумме квадратов.
23 ноября
Кратность корня многочлена, формальная производная и формула Тейлора. Разложение по степеням линейного двучлена.
Неприводимые многочлены над полями C и R, разложение на неприводимые множители. Всякий многочлен нечетной степени из R[x] имеет вещественный корень.
Делители нуля в кольцах, области целостности. Примеры (в т.ч. делители нуля в кольцах вычетов, матрицах, кольце C[0,1], булевых кольцах; отсутствие делителей нуля в поле). Поле частных целостного кольца. Поле рациональных дробей, разложение рациональной дроби в сумму простейших (над C и R).
25 ноября
Кольца вычетов; выяснение того, когда кольцо вычетов является полем. Циклические группы, группа Un корней степени n из 1. Группа (Z/nZ)*, ее порядок; первообразные корни.
Редукция по простому модулю и доказательство неразрешимости некоторых диофантовых уравнений.
Группы и их подгруппы, примеры. Теорема Лагранжа (теория групп) и теоретико-числовые следствия из нее (теоремы Эйлера и Ферма).
Дополнительно: короткое доказательство квадратичного закона взаимности Гаусса.
2 декабря
Характеристика поля char(k), ее простота (при char(k)>0) ; пример бесконечного поля конечной характеристики. Каждое конечное поле характеристики p содержит pn элементов.
Неприводимость многочленов над Q и Z: лемма Гаусса, признак Эйзенштейна. Многочлены деления круга Φn(x), доказательство неприводимости над Q для n=p; над Q существуют неприводимые многочлены сколь угодно большой степени.
Редукционный признак неприводимости: если f=anxn+…∈Z[x], p не делит an и [f]p неприводим в Fp[x], то f неприводим в Q[x]. «Решето Эратосфена» для отыскания неприводимых многочленов малых степеней над конечными полями.
Дополнительно можно почитать о применении алгебры, в том числе колец вычетов, в криптографии (RSA, система Диффи-Хелмана и пр.):
- С. Б. Гашков, Современная элементарная алгебра, Глава 2, пар. 2.9
- Более продвинутое чтение: Ю. Г. Прохоров, Эллиптические кривые и криптография, Глава 1
7 декабря
Кольцо многочленов от нескольких переменных, его факториальность; пример нефакториального кольца.
Лексикографический порядок. Симметрические многочлены. Степеннные суммы Ньютона. Формулы Виета. Основная теорема о симметрических многочленах, примеры.
9 декабря
Еще раз о выражении симметрического многочлена через элементарные, случай неоднородного многочлена. Разбор задач из Листка 15.
Результант и дискриминант. Теория исключений и решение простейших систем алгебраических уравнений, понятие о теореме Безу (о пересечении плоских алгебраических кривых). Дискриминант кубического трехчлена, его связь с корнями.
16 декабря
Контрольная №2. Темы контрольной:
- Алгоритм Евклида для многочленов (в том числе над конечным полем).
- Корни многочленов, их кратность.
- Разложение рациональной дроби в сумму простейших.
- Неприводимые многочлены над Z, Q и Fp (для малых p)
- Выражение симметрических многочленов через элементарные.
Предполагается, что вы также умеете работать с комплексными числами и вычетами по простому модулю.