Кафедра высшей алгебры

Преподаватель: Д.А.Тимашёв

Занятия проходят по четвергам на 2-й паре (10:45-12:20) в ауд. 14-05 и по субботам на каждой чётной неделе на 1-й паре (9:00-10:35) в ауд. 13-27.

• 25 декабря 2023, 14:00−18:00, ауд. 436
• 27 декабря 2023, 15:00−19:00, ауд. 406
• 29 декабря 2023, 9:00−13:00, ауд. 436

• 17 января 2024, 10:00, ауд. 14-08

• 15 января 2023, 12:00, ауд. 13-27

Нумерация задач даётся по «Сборнику задач по алгебре» под ред. А.И.Кострикина, новое изд., Москва, МЦНМО, 2009. Дополнительные задачи помечены знаком ★.

Системы линейных уравнений (СЛУ), их матрицы. Метод Крамера решения квадратных СЛУ малых размеров (2×2 и 3×3). Определители 2-го и 3-го порядка.

• 8.6вд, 8.2е, 9.1гд, 9.2ж, 16.1б;
• решить методом Крамера систему линейных уравнений:
• 

Элементарные преобразования СЛУ и их матриц. Метод Гаусса решения СЛУ.

• 8.1вге, 8.2адж;
• доказать, что для приведения матрицы к ступенчатному виду достаточно элементарных преобразований 1-го типа.

Связь решений совместной СЛУ и ассоциированной однородной системы линейных уравнений (ОСЛУ). Критерии определённости совместной СЛУ и квадратной СЛУ: ассоциированная ОСЛУ должна быть определена. Задача интерполяции, теорема о полиномиальной интерполяции. Арифметическое векторное пространство R^n. Линейная зависимость системы векторов.

• 8.7, 8.8, 6.4, 6.6, 6.7вд, 6.9абд;
• ★ найти явную формулу для интерполяционного многочлена.

Базис системы векторов (три эквивалентных определения), координаты вектора в базисе. Стандартный базис в R^n. Алгоритм нахождения базиса конечной системы векторов в R^n.

• 6.11, 6.12вги, 6.13, 6.14, 7.19★;
• доказать, что для подсистемы векторов B⊂S следующие условия эквивалентны:
  1. B линейно независима и линейно порождает систему S;
  2. B — минимальная (по включению) порождающая подсистема в S.

Подпространства в векторном пространстве, пример: пространство решений ОСЛУ. Фундаментальная система решений ОСЛУ, её нахождение.

• 8.4бвг, 8.25★, 35.9аб, 35.11аб.
• В пространстве R^∞ всех последовательностей действительных чисел рассматривается подмножество U, состоящее из последовательностей a = (a_1, a_2, …), удовлетворяющих рекуррентному уравнению a_(n+m) + c_1·a_(n+m-1) + … + c_m·a_n = 0 (при всех n).
  1. Доказать, что U — подпространство;
  2. найти dim U.

Ранг матрицы, его свойства. Вычисление ранга матрицы.

• 7.1дл, 7.2аз, 7.5, 7.7, 7.10.

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

• 17.1бв, 17.4ав, 17.13, 17.25, 17.26★, 19.4абв, 19.15;
• доказать, что квадратная матрица A, коммутирующая со всеми квадратными матрицами B того же размера (т.е. A·B = B·A), имеет вид A = λ·E для некоторого числа λ.

Обратная матрица. Если матрица A нильпотентна, то матрицы E+A и E-A обратимы. Решение матричных уравнений вида AX=B. Нахождение обратной матрицы.

• 17.17, 18.3взи, 18.4, 18.9дкл, 18.17★, 19.14, 19.21;
• решить матричное уравнение:
• 

Элементарные матрицы, умножение на них слева и справа. Задача: как изменится A^{-1}, если записать строки матрицы A в обратном порядке?

Перестановки и подстановки, их количество. Умножение подстановок. Циклические подстановки, разложение произвольной подстановки на независимые циклы, применение к возведению подстановок в степень.

• 19.3в, 3.1вг, 3.2аге, 3.13;
• как изменится A^{-1}, если матрицу A подвергнуть одному из следующих преобразований:
  • транспонировать относительно побочной диагонали;
  • повернуть на 90º против часовой стрелки?
• решить уравнения в подстановках:
  • 
• (задача о квартирном обмене) Несколько семей хотят обменяться квартирами. За один день каждая семья может принять участие не более чем в одном обмене квартирами с какой-нибудь другой семьей. Доказать, что любой сложный обмен можно осуществить не более чем за два дня.

Чётность и знак перестановок и подстановок. Знак циклической подстановки. Задача про «пятнашки»: можно ли, последовательно передвигая фишки на соседнее свободное место, поменять местами фишки 14 и 15, оставив остальные фишки на месте?

Определители квадратных матриц, их вычисление по развёрнутой формуле.

• 3.6бвж, 3.11, 3.22, 10.4б, 16.2;
• можно ли, вращая слои куба Рубика на шарнирах, добиться того, чтобы угловые кубики одной из граней переставились по кругу, а остальные кубики остались на своих местах (возможно, повернувшись)?

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

• 11.1гд, 11.4, 13.1бвж, 13.2ежз, 14.1зкм★н.

Разложение определителя по строке и столбцу. Трёхдиагональные определители и линейные однородные рекуррентные уравнения 2-го порядка.

• 12.2, 12.3ези, 14.1бгде, 12.4, 4.5;
• вычислить определитель:
• 

Комплексные числа: алгебраическая форма записи. Вычисления над комплексными числами в алгебраической форме. Геометрическая интерпретация комплексных чисел, решение алгебраических задач геометрическими методами (пример: уравнение |(z-1+i)/(z+1-i)| = 1) и геометрических задач методами алгебры комплексных чисел (пример: доказательство теоремы о том, что сумма квадратов диагоналей параллелограмма равна сумме квадратов его сторон).

Тригонометрическая форма записи комплексных чисел, вычисления над комплексными числами в тригонометрической форме. Выражение тригонометрических функций кратных углов через функции исходного угла.

• 20.1еж, 21.2бж, 21.9аг, 21.10, 21.12, 21.13в;
• доказать с помощью комплексных чисел теорему Птолемея: произведение диагоналей четырёхугольника, вписанного в окружность, равно сумме произведений его противоположных сторон.

Извлечение корней из комплексных чисел. Корни из 1, сумма и произведение всех корней степени n из 1. Вычисление сумм с помощью комплексных чисел.

• 22.7еипр, 22.8г, 22.9б, 22.17аб, 22.22★, 23.1вг, 23.2аг.

Многочлены от одной переменной над полем: деление с остатком, теорема Безу, схема Горнера. Разложение многочлена по степеням линейного двучлена, значения высших производных и кратность корня многочлена, формула Тейлора.

• 25.1б, 26.1бв, 26.2бв, 26.3бв, 26.4, 26.6, 26.7аб, 26.11★.

Рациональные корни многочлена с целыми или рациональными коэффициентами. Неприводимые многочлены, разложение многочлена на неприводимые множители. Наибольший общий делитель (НОД) многочленов и алгоритм Евклида. Линейное выражение НОД через исходные многочлены: НОД(f,g) = u·f+v·g, его единственность при ограничениях на степени u и v, и его нахождение методом неопределённых коэффициентов.

• 28.1в, 28.2бвж, 28.3, 25.2вг, 25.3б, 25.5б;
• найти НОД многочленов x^n-1 и x^m-1.

Избавление от кратных множителей в разложении многочлена на неприводимые множители. Разложение многочленов на неприводимые множители над полями C и R. Неприводимых многочленов над любым полем бесконечно много. Существование неприводимых многочленов сколь угодно большой степени над конечным полем. Алгоритм нахождения всех неприводимых многочленов степени ≤n над конечным полем. Нахождение всех неприводимых многочленов степени ≤3 над полем Z_2.

• 25.8б, 27.1абд, 27.2бге, 27.5, 27.7, 27.12, 27.14★;
• найти все неприводимые многочлены степеней 4 и 5 со старшим коэффициентом 1 над полем Z_2;
• найти все неприводимые многочлены степени ≤3 со старшим коэффициентом 1 над полем Z_3;
• найти количество неприводимых многочленов степени 4 со старшим коэффициентом 1 над полем Z_3.

Редукция многочленов с целыми коэффициентами по простому модулю, её свойства. Примитивные многочлены, лемма Гаусса. Разложимость многочлена с целыми коэффициентами на множители меньшей степени в Q[x] равносильна разложимости на множители меньшей степени в Z[x]. Разложение многочленов на множители над Q с помощью редукций.

Рациональные дроби: представление в виде суммы многочлена и правильной дроби, разложение правильной дроби в сумму простейших дробей методом неопределённых коэффициентов, случай полей C и R.

• 28.8, 28.9абде, 29.1бе, 29.2аги, 29.3;
• разложить на неприводимые множители над Q:
  • 3x^5-2x^4+5x^3-4x^2-5x-1,
  • 2x^4-3x^3+5x^2+8x-5,
  • 3x^4-x^3+5x^2+8x-7;
• ★ доказать, что многочлен x^4-10x^2+1 неприводим над Q, но его редукция по любому простому модулю p приводима над Z_p.

Многочлены от нескольких переменных, степень одночлена и многочлена, однородные компоненты многочлена. Лексикографический порядок на одночленах, старший член многочлена, старший член произведения многочленов. Симметрические многочлены: основная теорема, метод неопределённых коэффициентов для нахождения выражения произвольного симметрического многочлена через элементарные. Выражение степенных сумм s_1, s_2, s_3, s_4 через элементарные симметрические многочлены. Теорема Виета.

• 31.2, 31.5, 31.9авер, 31.15★, 31.21а, 31.25.

1. Возведение в степень (1 вариант) и извлечение корней (2 вариант) в поле C.
2. Нахождение НОД двух многочленов и его линейного выражения через эти многочлены.
3. Разложение многочлена по степеням линейного двучлена, вычисление значений высших производных (1 вариант) и определение кратности корня (2 вариант).
4. Разложение многочлена на неприводимые множители над полем R (1 вариант) и Q (2 вариант).
5. Разложение рациональной дроби в сумму многочлена и простейших дробей над полем R (1 вариант) и C (2 вариант).
6. Выражение симметрического многочлена через элементарные симметрические многочлены.