Матрицы. Операции сложения и умножения на число. Системы
линейных уравнений. Метод Гаусса. Следствия. Системы однородных
уравнений.
Умножение матриц. Свойства. Ассоциативность. Матричная
запись систем линейных уравнений. Связь однородных и
неоднородных систем линейных уравнений. Понятие кольца. Примеры.
Умножение на диагональные матрицы. Умножение треугольных матриц.
Матричные единицы. Их произведения. Элементарные матрицы.
Умножение произвольной матрицы на элементарную. Подстановки. Их
произведение. Ассоциативность. Транспозиции. Разложение
подстановки в произведение транспозиций.
Запись подстановок. Обратная и единичные подстановки. Понятие
группы. Примеры. Число подстановок. Неподвижные элементы.
Независимые подстановки коммутируют. Циклы. Разложение
подстановки в произведение независимых циклов. Применение
подстановки к перестановке. Четность. Корректность определения
четности (как меняется число инверсий при применении
транспозиции).
Четность произведения подстановок. Четность обратной
подстановки. Число четных и нечетных подстановок. Группа A_n.
Понятие подгруппы. Определители. Определитель треугольной
матрицы. Определитель транспонированной матрицы. Вычисление
определителя при помощи элементарных преобразований.
Полилинейные и кососимметрические функции. Полилинейность и
кососимметричность определителя.
Эквивалентное определение определителя (как полилинейной
кососимметрической формы). Опрелитель с углом нулей. Разложение
определителя по строке (и фальшивое разложение). Определитель
Вандермонда. Теорема Крамера.
Определитель произведения матриц. Обратная матрица. Единицы и
обратные элементы в ассоциативном кольце (единственность).
Критерий существования обратной матрицы. Формула для обратной
матрицы. Вычисление обратной матрицы при помощи элементарных
преобразований. Делители нуля в кольце. Делители нуля в кольце
матриц.
Группы GL_n и SL_n. Векторные пространства. Линейная
зависимость. Критерий невырожденности матрицы. Базис.
Координаты. Размерность пространства и подпространства. Лемма о
линейной зависимости. Следствия.
Ранг матрицы. Ранг суммы матриц. Теорема о ранге. Алгоритм
нахождения базиса. Ранг произведения матриц.
Критерий совместности системы линейных уравнений. Решения
однородной системы линейных уравнений.
Фундаментальная система решений. Задание подпространства
системой линейных уравнений.
Морфизмы алгебраических структур (случай групп, колец,
векторных пространств). Примеры. Понятие алгебры.
Изоморфизмы. Примеры. Изоморфизм векторных пространств одной
размерности. Ядро и образ гомоморфизма.
Поля. Определение, свойства, примеры. Конечномерная
ассоциативная алгебра без делителей нуля является телом. Поле
комплексных чисел. Аксиоматическое определение, существование,
единственность. Алгебраическая запись. Вещественная и мнимая
части. Комплексное сопряжение.
Тригонометрическая форма комплексного числа. Формула Муавра.
Решения уравнения z^n=w. Группа µ_n корней из 1.
Первообразные корни. Циклические группы. Кольца вычетов.
Делители нуля и обратимые элементы. Поля F_p. Конечное
ассоциативное кольцо без делителей 0 является телом. Изоморфизм
Z/nZ и µ_n.
Теорема Вилсона. Характеристика поля. Примеры. Умножения
целых чисел на элементы аддитивной абелевой группы и элементы
кольца. Бином Ньютона. Свойства полей характеристики р.
Отображение Фробениуса. Кольцо многочленов. Доказательство
единственности.
Кольцо многочленов. Доказательство существования. Кольцо
формальных степенных рядов. Степень многочлена. Делители нуля в
кольце многочленов. Подстановка элемента в многочлен.
Восстановление многочлена по его значениям. Функциональное
равенство многочленов. Пример для конечных полей. Корни
многочленов. Интерполяционная формула Лагранжа. Схема
Горнера. Теорема Безу. AlgI-13.pdf
Кратность корня. Деление многочленов над полем с остатком.
Делимость в кольцах. Неприводимые многочлены. Наибольший
общий делитель. Алгоритм Евклида. Факториальность кольца
многочленов над полем. Факториальные и евклидовы кольца.
Дифференцирования. Дифференцирования кольца многочленов над
полем. AlgI-14.pdf
Дифференцирования. Понижение кратности при
дифференцировании.Формула Тейлора. Основная теорема
алгебры(формулировка). Сходимость последовательностей
комплексных чисел. Лемма о возрастании модуля многочлена.
AlgI-15.pdf
Лемма Даламбера. Основная теорема алгебры (доказательство).
Следствия. Неприводимые многочлены над C и R.
Поле частных целостного кольца. Поле рациональных функций. AlgI-16.pdf
Поле рациональных функций. Простейшие дроби. Разложение дроби
в сумму простейших. Простейшие дроби над C и R.
Многочлены над факториальным кольцом. Лемма Гаусса.
Факториальность кольца многочленов над факториальным кольцом.
AlgI-17.pdf
Многочлены от нескольких переменных. Лексикографический
порядок. Лемма о старшем члене. AlgI-18.pdf
Симметрические многочлены. Основная теорема и симметрических
многочленах. Формулы Виета. Дискриминант. Результант
(определение и свойства).
Вычисление результанта. Циклические группы. Примеры. Подгруппа
циклической группы. Циклические подгруппы. Порядок
элемента.
Порядок элемента. Изоморфизм циклических групп одного порядка.
Смежные классы. Теорема Лагранжа. Малая теорема Ферма.
Нормальные подгруппы. Свойства. Примеры. Факторгруппа
(определение, доказательство не закончено).
Теорема о гомоморфизме групп. Идеалы. Примеры. Факторкольца.
Теорема о гомоморфизме колец. Присоединение к полю корня
неприводимого многочлена.