- •Комбинаторика. Бином ньютона
- •1.1. Комбинаторика.
- •1.2. Бином Ньютона.
- •Комплексные числа
- •Соответствия. Функции. Отношения. Отношение эквивалентности
- •3.1. Соответствия. Функции. Отношения.
- •3.2. Подстановки.
- •3.3. Отношение эквивалентности.
- •Системы линейных уравнений
- •4.1. Определения.
- •4.2. Элементарные преобразования.
- •4.3. Решение и исследование систем линейных уравнений по Гауссу.
- •4.4. Решение систем линейных уравнений по Жордану.
- •Определители
- •5.1. Определения. Свойства.
- •5.2. Вычисление определителей.
- •5.3. Обратная теорема об определителях.
- •5.4. Разложение определителя по столбцам.
- •5.5. Полилинейность и кососимметричность определителя по столбцам.
- •5.6. Определитель транспонированной матрицы.
- •5.7. Разложение определителя по строкам.
- •5.8. Определитель матрицы с углом нулей.
- •5.8. Теорема о полном разложении определителя.
- •5.9. Решение слу по Крамеру.
- •5.10. Теорема Лапласа.
- •Группы, кольца, поля
- •6.1. Определения, примеры.
- •6.2. Простейшие свойства колец.
- •6.3. Делители нуля.
- •6.4. Кольцо классов вычетов.
- •6.5. Поля.
- •7. Линейные пространства
- •7.1. Определения, примеры.
- •7.2. Теоремы о базисах.
- •7.3. Изоморфизм линейных пространств.
- •7.4. Подпространства.
- •7.5. Теорема Кронекера-Капелли.
- •7.6. Решение однородных систем линейных уравнений.
- •8. Системы линейных уравнений
- •8.1. Определение ранга матрицы через миноры.
- •8.2. Решение систем линейных уравнений (продолжение).
- •8.3. Необходимые и достаточные условия равенства нулю определителя.
- •8.4. Общее решение неоднородной системы линейных уравнений.
- •9. Матрицы
- •9.1. Операции над матрицами, их свойства.
- •9.2. Элементарные матрицы.
- •9.3. Определитель произведения матриц.
- •9.4. Обратная матрица.
- •9.5. Решение матричных уравнений.
- •9.6. Ранг произведения матриц.
- •Алгебра многочленов
- •10.1. Построение алгебры многочленов.
- •10.2. Деление многочленов с остатком. Теорема Безу.
- •10.3. Наименьшее общее кратное и наибольший общий делитель многочленов.
- •10.4. Алгоритм Евклида.
- •10.6. Производная.
- •10.7. Кратные корни многочлена.
- •10.8. Основная теорема алгебры.
- •10.10. Разложение многочлена на простые множители
- •11. Поле рациональных функций
- •11.1. Построение поля отношений.
- •11.2. Поле рациональных функций.
- •12. Прямые суммы подпространств
- •Линейные отображения
- •13.1. Линейное отображение и его матрица.
- •13.2. Матрица композиции линейных отображений.
- •13.3. Сумма линейных отображений и её матрица.
- •13.4. Умножение линейного отображения на элемент
- •13.5. Изоморфизм алгебры линейных операторов и
- •14. Матрица перехода от одного базиса к другому
- •14.1. Изменение координат вектора при изменении
- •14.2. Изменение матрицы линейного отображения
- •14.3. Эквивалентные матрицы.
- •15. Образ и ядро линейного отображения Пусть : l l - линейное отображение.
- •16. Инвариантные подпространства
- •16.1. Свойства инвариантных подпространств.
- •16.2. Прямая сумма инвариантных подпространств.
- •16.3. Прямая сумма линейных операторов.
- •16.4. Собственные векторы и собственные значения
- •16.6. Минимальный многочлен линейного оператора и матрицы.
- •16.7. Инвариантные подпространства линейных операторов, действующих в векторных пространствах над r и над с.
- •17. Диагонализируемые линейные операторы
- •18. Евклидовы векторные пространства
- •18.1. Определения, примеры.
- •18.2. Свойства евклидовых пространств.
- •19. Ортогональные линейные операторы
- •19.1. Определение. Свойства.
- •19.2. Ортогональная группа.
- •19.3. Структура ортогонального оператора.
- •20. Самосопряженные линейные операторы
- •20.1. Сопряженные линейные пространства.
- •20.2. Сопряженные линейные операторы.
- •20.3. Самосопряженные линейные операторы.
- •20.4. Структура самосопряженного оператора.
- •21. Унитарные векторные пространства
- •21.1. Определения, примеры.
- •22. Унитарные линейные операторы
- •22.1. Определение. Свойства.
- •22.2. Унитарная группа.
- •22.3. Структура унитарного оператора.
- •23. Эрмитовы линейные операторы
- •23.1. Сопряженное линейное пространство.
- •23.2. Сопряженные линейные операторы.
- •23.3. Эрмитовы линейные операторы.
- •23.4. Структура эрмитова оператора.
- •24. Билинейные и квадратичные формы
- •24.1. Определение билинейной функции. Общие свойства.
- •Матрица билинейной формы.
- •24.3. Изменение матрицы билинейной формы при изменении базисов. Ранг билинейной формы.
- •24.4. Определение квадратичной формы. Связь билинейных и квадратичных форм. Матрица и ранг квадратичной формы.
- •24.5. Эквивалентность билинейных форм и квадратичных форм.
- •24.6. Канонический и нормальный вид квадратичных и симметричных билинейных форм.
- •24.7. Закон инерции для квадратичных форм.
- •24.8. Критерий Сильвестра.
- •25. Квадратичные формы в евклидовом пространстве
- •25.1. Приведение формы ортогональным преобразова-
- •25.2. Приведение пары форм.
- •26. Эрмитовы формы
- •26.1. Определение и основные свойства эрмитовых форм.
- •26.2. Нормальный вид эрмитовых форм.
- •27. Эрмитовы формы в унитарном пространстве
- •27.1. Приведение эрмитовой формы унитарным преобразованием координат.
- •27.2. Приведение пары форм.
- •28.1. Теорема Лагранжа.
- •28.2. Факторгруппы.
- •28.3. Морфизмы групп.
- •28.4. Теорема о разложении морфизма.
- •28.5. Циклические группы.
- •1. Комбинаторика. Бином Ньютона . . . . . . . . . . . . . . . . . . . . . 3
28.3. Морфизмы групп.
Пусть G1 – группа с бинарной операцией , G2 – группа с бинарной операцией .
Определения.
1. Отображение : G1 G2 называется морфизмом (или гомоморфизмом) групп, если a, b G1 (ab) = a b.
2. Если - морфизм и биекция, то называется изоморфизмом.
3. Если - морфизм и инъекция, то называется мономорфизмом.
4. Если - морфизм и сюръекция, то называется эпиморфизмом.
5. Если морфизм : G1 G1, то называется эндоморфизмом.
6. Если : G1 G1 - изоморфизм, то называется автоморфизмом.
Упражнения.
1. Пусть : G1 G2 , : G2 G3 - морфизмы групп.
Доказать, что : G1 G3 - морфизм групп.
2. Пусть AutG – множество автоморфизмов группы G. Дока-
зать, что AutG – группа.
Пусть : G1 G2 - морфизм групп, 1 – нейтрал в G1, 2 – нейтрал в G2 .
Утверждение 1. 1 = 2 , (g -1) = (g) -1 g G1.
Доказательство. Пусть 1 = с. Тогда (11) = 11 = =1 сс = с с -1сс = с -1с 2с = 2 с = 2 . Далее (gg -1) =(g)(g -1) = 1 = 2 (g -1) = (g) -1.
Определение. Ядром морфизма : G1 G2 называется Ker = -12 = {g G1| g = 2}.
Утверждение 2. Ker - нормальная подгруппа в G1.
Доказательство. Пусть a, b Ker. Тогда a = b = 2
(ab) = ab = 22= 2 ab Ker. Также (а -1)= (а) -1 =
= 2-1 = 2 a -1 Ker. И наконец, 1 = 2 1 Ker.
Следовательно, Ker - подгруппа в G1.
Пусть теперь gG1, aKer. Тогда (g -1аg)= (g)-1аg= = (g)-12g = 2 g -1аg Ker.
Следовательно, Ker - нормальная подгруппа в G1.
Утверждение 3. - инъекция Ker = {1}.
Доказательство. . Пусть - инъекция, и а Ker
а = 1= 2 а = 1 Ker = {1}.
. Пусть Ker = {1}, и а = b. Тогда (аb-1) =а(b)-1= = 2 аb-1 Ker аb-1= 1 a = b - инъекция.
Лекция 40.
28.4. Теорема о разложении морфизма.
Пусть Н - нормальная подгруппа в группе G, G / Н –
факторгруппа. Рассмотрим отображение : G G / Н та-
кое, что g G (g) = .
Утверждение. - эпиморфизм групп, причем Ker = H.
Доказательство. Так как a, b G (ab) = = =
= (a)(b), то - морфизм групп. И конечно же, - сюръекция, то есть - эпиморфизм. Этот эпиморфизм называется каноническим и обозначается сап. Очевидно, g Ker = g gН. Следовательно, Ker = Ker сап =H.
Следствие. Мы видели, что ядро любого морфизма – нормальная подгруппа. Теперь мы увидели, что любая нормальная подгруппа является ядром некоторого морфизма, например, канонического. Таким образом, нормальные подгруппы – это в точности те подгруппы, которые являются ядрами некоторых морфизмов.
Пусть теперь : G1 G2 - морфизм групп, Н = Ker, G1/ Н – факторгруппа, сап: G1 G1 / Н – канонический эпиморфизм.
Определим отображение : G1 / Н G2 следующим
образом: пусть по определению ( ) = g G1 / Н. Наше определение корректно, так как = gH, и (gH)= =g(H) = g2 = g. Кроме того, , G1 / Н
( ) = ( ) = (ab) =ab = ( ) ( ), то есть - морфизм групп. Если Ker , то ( ) = g = 2
g Ker = H = Ker = { } - инъекция (см. п.28.3, утверждение 3). Следовательно, - мономорфизм групп. И наконец, если мы будем рассматривать не как отображение G1/ Н в G2, а как отображение G1/ Н в Im = (G1), то будет ещё и сюръекцией, то есть и биекцией. Таким образом, : G1 / Н Im - изоморфизм групп. Так как Im G2, то обозначим через i тождественное вложение i : Im G2, i(g) = g g Im . Очевидно, i – морфизм и инъекция, то есть мономорфизм. Кроме того,
g G1 (i can)(g) = i( (can(g)))= i( ( )) = i(g)= g i can = . Таким образом, нами доказана
Теорема о разложении морфизма. Если : G1 G2 - морфизм групп, то коммутативна следующая диаграмма:
, то есть i can = ,
причем сап – эпиморфизм, - изоморфизм, i - мономорфизм групп.
Следствие. Для того, чтобы найти факторгруппу G / H группы G по нормальной подгруппе Н достаточно найти морфизм группы G такой, что Ker = H. И тогда
G / H Im .
Пример. Пусть G = С* - (коммутативная) группа ненуле-
вых комплексных чисел по умножению, Н=Un= {z C| zn= 1} – множество корней п-й степени из 1.
Пример. Доказать, что Un - подгруппа в С* (и следовательно, нормальная подгруппа).
Найдем G / H = С*/ Un . Для этого рассмотрим отображение : С* С* такое, что z C* z = zn. Очевидно,
1. - морфизм (эндоморфизм группы C*), так как (z1z2)= = (z1z2)n = z1nz2n = z1 z2 .
2. Ker = H = Un. Отсюда, в частности, следует Упражнение.
3. Im = C*, так как и C* z C* такой, что и = zn= z. Следовательно, С*/ Un С*.