Преподаватель: Д.А.Тимашёв
Занятия проходят по понедельникам на 2-й паре (10:35-12:20) в ауд. 463 и на каждой нечётной неделе по четвергам на 4-й паре (15:00-16:35) в ауд. 454.
Нумерация задач даётся по «Сборнику задач по алгебре» под ред. А.И.Кострикина, 3-е изд., Москва, Физматлит, 2001. Дополнительные задачи помечены знаком ★.
Системы линейных уравнений (СЛУ) и их матрицы. Элементарные преобразования. Метод Гаусса решения СЛУ: приведение к ступенчатому и улучшенному ступенчатому виду, совместные и несовместные системы, главные и свободные неизвестные, общее решение системы, определённые и неопределённые системы, преимущество улучшенного ступенчатого вида. Однородные системы линейных уравнений (ОСЛУ), связь решений совместной СЛУ и ассоциированной ОСЛУ. Квадратные СЛУ, критерий определённости: ассоциированная ОСЛУ должна быть определена. Полиномиальная интерполяция.
Метод Крамера решения квадратных систем линейных уравнений малых размеров (2×2 и 3×3). Определители 2-го и 3-го порядка.
Перестановки и подстановки. Умножение подстановок, его свойства, симметрическая группа. Циклические подстановки, их орбиты, транспозиции. Разложение подстановки на независимые циклы, применение к возведению подстановок в степень. Решение уравнений в подстановках.
Инверсии в перестановках и подстановках, их чётность и знак. Свойства знака подстановок: изменение при умножении на транспозицию, выражение через число транспозиций в разложении подстановки, мультипликативность, знак обратной подстановки, знак цикла. Задача про «пятнашки»: можно ли, последовательно передвигая фишки на соседнее свободное место, поменять местами фишки 14 и 15, оставив остальные фишки на месте?
Определители квадратных матриц: развёрнутая формула, определитель треугольной матрицы. Свойства определителей: полилинейность и кососимметричность, обращение в 0 при наличии нулевой строки/столбца, совпадающих или пропорциональных строк/столбцов, поведение при элементарных преобразованиях, при транспонировании. Метод вычисления определителя приведением к треугольному виду. Правило Крамера.
Вычисление определителей приведением к треугольному виду. Определитель с углом нулей, определитель блочно-треугольной матрицы. Определитель Вандермонда.
Дополнительные миноры и алгебраические дополнения к элементам квадратной матрицы. Разложение определителя по строке и по столбцу.
Вычисление трёхдиагональных определителей путём решения линейных однородных рекуррентных уравнений 2-го порядка. Алгебраические операции над матрицами.
Свойства алгебраических операций над матрицами. Нулевая и единичная матрицы, их свойства. Матричные единицы, их умножение. Некоммутативность умножения матриц. Описание квадратных матриц, коммутирующих со всеми квадратными матрицами того же размера. Делители нуля и нильпотентные матрицы, нильпотентность нильтреугольных матриц. Элементарные матрицы, их основное свойство.
Обратная матрица: единственность, критерий существования. Если матрица A нильпотентна, то матрицы E+A и E-A обратимы. Присоединённая матрица, её основное свойство, формула для обратной матрицы. Матричные уравнения AX=B, метод их решения. Метод нахождения обратной матрицы решением матричного уравнения AX=E.
Арифметическое векторное пространство R^n. Линейные комбинации векторов, линейная зависимость, задача: выяснить линейную зависимость или независимость систем векторов {u+v,u+w,v+w} и {u-v,u-w,v-w}, где u,v,w∈R^n — линейно независимые векторы. Свойства линейно зависимых и независимых систем векторов, основная лемма о линейной зависимости. Базис и ранг системы векторов, координаты вектора в базисе. Стандартный базис пространства R^n, координаты в нём. Алгоритм нахождения базиса.
Подпространства в R^n, размерность подпространства. Способы задания подпространств: линейная оболочка системы векторов, пространство решений ОСЛУ. Фундаментальная система решений ОСЛУ (ФСР). Алгоритм нахождения ФСР. Различные определения ранга матрицы, свойства ранга: неизменность при элементарных преобразованиях строк и столбцов и при транспонировании матрицы. Вычисление ранга матрицы путем приведения к ступенчатому виду и методом окаймления миноров.
Ранг произведения матриц, случай невырожденности одного из сомножителей. Задача: если AB и BA — единичные матрицы, то A и B — квадратные матрицы. Вычисление ранга блочной матрицы. Ранг присоединённой матрицы. Определитель произведения матриц.
Поле комплексных чисел C. Алгебраическая форма записи комплексных чисел, модуль комплексного числа и сопряжённое число, вычисления над комплексными числами в алгебраической форме. Геометрическая интерпретация комплексных чисел, решение алгебраических задач геометрическими методами (пример: уравнение |(z+1-i)/(z-1+i)|=1) и геометрических задач методами алгебры комплексных чисел (пример: доказательство теоремы о том, что сумма квадратов диагоналей параллелограмма равна сумме квадратов его сторон). Аргумент комплексного числа, тригонометрическая форма записи комплексных чисел, вычисления над комплексными числами в тригонометрической форме, формула Муавра. Выражение тригонометрических функций кратных углов через функции исходного угла и степеней тригонометрических функций через функции кратных углов в первой степени с помощью комплексных чисел. Автоморфизмы полей и их расширений, группы Галуа, пример: группа Gal(C/R), её структура.
Извлечение корней из комплексных чисел. Задача: вычислить cos(2π/5) в радикалах с помощью комплексных корней 5-й степени из 1. Группа U_n комплексных корней степени n из 1, сумма и произведение всех корней степени n из 1, первообразные корни из 1.
Вычисление сумм с помощью комплексных чисел. Многочлены от одной переменной над полем K. Степень многочлена, её свойства, отсутствие делителей нуля в кольце многочленов K[x]. Деление многочленов с остатком. Деление с остатком на линейный двучлен, теорема Безу, схема Горнера. Разложение многочлена по степеням линейного двучлена. Производная многочлена, её свойства. Высшие производные, формула Тейлора.
Кратность корня многочлена, связь со значениями производных. Неприводимые многочлены, разложение многочлена на неприводимые множители, выяснение вопросов о делимости многочленов в терминах этого разложения. Наименьшее общее кратное (НОК) и наибольший общий делитель (НОД) многочленов, нахождение НОК и НОД по разложению на неприводимые множители. Алгоритм Евклида. Линейное выражение НОД через исходные многочлены: (f,g)=uf+vg, его единственность при ограничениях на степени u и v, и его нахождение методом неопределённых коэффициентов. Избавление от кратных множителей в разложении многочлена на неприводимые множители.
Разложение многочленов на неприводимые множители над полями C и R. Неприводимых многочленов над любым полем бесконечно много. Существование неприводимых многочленов сколь угодно большой степени над конечным полем. «Решето Эратосфена» для нахождения всех неприводимых многочленов степени ≤n над конечным полем. Нахождение всех неприводимых многочленов степени ≤4 над полем Z_2.
Над полем Q существуют неприводимые многочлены любой степени. Нахождение всех рациональных корней многочлена с целыми или рациональными коэффициентами. Редукция многочленов с целыми коэффициентами по простому модулю, её применение к изучению вопроса о разложимости на множители с целыми коэффициентами, редукционный признак неприводимости. Примитивные многочлены, лемма Гаусса. Эквивалентность неразложимости на множители меньшей степени над Q и над Z. Признак Эйзенштейна.
Поле K(x) рациональных дробей над полем K. Несократимое представление рациональной дроби, её разложение в сумму многочлена и правильной дроби. Разложение правильной дроби в сумму простейших дробей методом неопределённых коэффициентов, примеры для K=C и R. Многочлены от нескольких переменных, симметрические многочлены, примеры: степенные суммы s_k и элементарные симметрические многочлены σ_k. Теорема Виета. Основная теорема о симметрических многочленах, метод неопределённых коэффициентов для нахождения выражения произвольного симметрического многочлена через элементарные. Выражение степенных сумм s_1,…,s_4 через элементарные симметрические многочлены.