Алгебра. Учебник для студентов-математиков. Часть 1

А. Л. Городенцев

ФАКУЛЬТЕТ МАТЕМАТИКИ

АЛГЕБРА

Учебник
для студентов-математиков

Часть 1

ISBN 978-5-4439-0217-3

9 785443 902173 >

А. Л. Городенцев | Алгебра. Учебник для студентов-математиков. Часть 1

Книга представляет собой первую часть интенсивного 
двухгодичного курса алгебры для студентов, профессионально изучающих математику и физику. Основу курса 
составляют лекции, читавшиеся в Независимом московском 
университете и на факультете математики Высшей школы 
экономики, а также материалы сопровождавших 
их семинарских занятий.

В книге также приводится большое количество задач 
и упражнений.

А. Л. Городенцев

АЛГЕБРА

Учебник
для студентов-математиков

Часть 1

Электронное издание

Допущено УМО по классическому университетскому образованию
в качестве учебного пособия для студентов высших учебных заведений,
обучающихся по направлениям 01.03.01 «Математика»,
01.03.03 «Механика и математическое моделирование», специальности
01.05.01 «Фундаментальные математика и механика»

Москва
Издательство МЦНМО
2014

УДК 512
ББК 22.14
Г70

Городенцев А. Л.
Алгебра. Учебник для студентов-математиков. Часть 1.
М.: МЦНМО, 2014.
485 с.
ISBN 978-5-4439-2087-0

Книга представляет собой первую часть интенсивного двухгодичного
курса алгебры для студентов, профессионально изучающих математику
и физику. Основу курса составляют лекции, читавшиеся в Независимом
московском университете и на факультете математики Высшей школы
экономики, а также материалы сопровождавших их семинарских занятий. В книге также приводится большое количество задач и упражнений.

Подготовлено на основе книги:
А. Л. Городенцев. Алгебра. Учебник для студентов-математиков. Часть 1. —
М.: МЦНМО, 2014.

Издательство Московского центра
непрерывного математического образования
119002, Москва, Большой Власьевский пер., 11. Тел. (499) 241–74–83.
http://www.mccme.ru

ISBN 978-5-4439-2087-0
ffi Городенцев А. Л., 2014
ffi МЦНМО, 2014

Оглавление

Стандартные обозначения и сокращения . . . . . . . . . . . . . . . . . . . . . . . . . .
8

Глава 1. Множества, отображения, разбиения . . . . . . . . . . . . . . . . . . . .
11

§ 1. Множества и отображения . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
1.1. Множества . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
1.2. Отображения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12
1.3. Разбиения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
14
1.4. Классы эквивалентности . . . . . . . . . . . . . . . . . . . . . . . . . .
17
1.5. Композиции отображений . . . . . . . . . . . . . . . . . . . . . . . . .
21
1.6. Группы преобразований . . . . . . . . . . . . . . . . . . . . . . . . . . .
23
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . .
24

Глава 2. Числа и функции . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27

§ 2. Числовые поля и кольца . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
2.1. Поля . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
27
2.2. Абелевы группы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
29
2.3. Поле комплексных чисел . . . . . . . . . . . . . . . . . . . . . . . . . .
30
2.4. Коммутативные кольца . . . . . . . . . . . . . . . . . . . . . . . . . . .
36
2.5. Делимость . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
37
2.6. Взаимная простота . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
39
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . .
40
§ 3. Кольца и поля вычетов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
42
3.1. Кольцо вычетов /(n) . . . . . . . . . . . . . . . . . . . . . . . . . . . .
42
3.2. Поле вычетов 𝑝 = /(p) . . . . . . . . . . . . . . . . . . . . . . . . . .
43
3.3. Прямые произведения . . . . . . . . . . . . . . . . . . . . . . . . . . . .
46
3.4. Гомоморфизмы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
47
3.5. Китайская теорема об остатках . . . . . . . . . . . . . . . . . . . . .
49
3.6. Простое подполе и характеристика . . . . . . . . . . . . . . . . . .
51
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . .
52
§ 4. Многочлены и алгебраические числа . . . . . . . . . . . . . . . . . . . .
55
4.1. Ряды и многочлены . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
55
4.2. Деление с остатком . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
57
4.3. Корни многочленов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
60
4.4. Кольцо вычетов [x]/( f ) . . . . . . . . . . . . . . . . . . . . . . . . . .
61

Оглавление

4.5. Поле частных целостного кольца . . . . . . . . . . . . . . . . . . . .
65
4.6. Поле рациональных функций (x) . . . . . . . . . . . . . . . . . . .
67
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . .
69
§ 5. Формальные степенные ряды . . . . . . . . . . . . . . . . . . . . . . . . . . .
72
5.1. Алгебраические операции над формальными рядами . . . . .
72
5.2. Дифференциальное исчисление . . . . . . . . . . . . . . . . . . . . .
73
5.3. Разложение рациональных функций . . . . . . . . . . . . . . . . . .
76
5.4. Логарифм и экспонента . . . . . . . . . . . . . . . . . . . . . . . . . . .
79
5.5. Бином Ньютона . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
80
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . .
83
§ 6. Факторкольца и идеалы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
85
6.1. Идеалы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
85
6.2. Факторизация . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
86
6.3. Кольца главных идеалов . . . . . . . . . . . . . . . . . . . . . . . . . . .
87
6.4. Н¨етеровы кольца . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
90
6.5. Разложение на множители . . . . . . . . . . . . . . . . . . . . . . . . .
92
6.6. Гомоморфизмы подъема и вычисления . . . . . . . . . . . . . . . .
98
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 100

Глава 3. Векторы и матрицы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103

§ 7. Векторы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
7.1. Векторные пространства . . . . . . . . . . . . . . . . . . . . . . . . . . 103
7.2. Базисы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
7.3. Подпространства . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
7.4. Линейные операторы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 116
§ 8. Двойственность . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121
8.1. Двойственное пространство . . . . . . . . . . . . . . . . . . . . . . . . 121
8.2. Аннуляторы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 125
8.3. Двойственные операторы . . . . . . . . . . . . . . . . . . . . . . . . . . 127
8.4. Факторпространства . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
8.5. Метод Гаусса . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
8.6. Расположение подпространства относительно базиса . . . . . 137
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 141
§ 9. Матрицы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
9.1. Алгебры над полем . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 145
9.2. Умножение матриц . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 147
9.3. Матрицы перехода . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
9.4. Некоммутативные кольца . . . . . . . . . . . . . . . . . . . . . . . . . . 156
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 159
§ 10. Определители . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163
10.1. Объем . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 163
10.2. Отступление: знак перестановки . . . . . . . . . . . . . . . . . . . . 165

Оглавление
5

10.3. Свойства определителей . . . . . . . . . . . . . . . . . . . . . . . . . . . 169
10.4. Грассмановы многочлены . . . . . . . . . . . . . . . . . . . . . . . . . . 172
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 177
§ 11. Модули . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
11.1. Определение модулей . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
11.2. Образующие и соотношения . . . . . . . . . . . . . . . . . . . . . . . 182
11.3. Матрицы гомоморфизмов . . . . . . . . . . . . . . . . . . . . . . . . . 186
11.4. Разложимость . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 187
11.5. Ранг свободного модуля . . . . . . . . . . . . . . . . . . . . . . . . . . . 188
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 190
§ 12. Конечно порожденные модули над кольцами
главных идеалов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193
12.1. Теорема об инвариантных множителях . . . . . . . . . . . . . . . 193
12.2. Пример: подрешетки в 𝑚 . . . . . . . . . . . . . . . . . . . . . . . . . 197
12.3. Теорема об элементарных делителях . . . . . . . . . . . . . . . . . 199
12.4. Пример: конечно порожденные абелевы группы . . . . . . . . 203
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 204
§ 13. Пространство с оператором . . . . . . . . . . . . . . . . . . . . . . . . . . . . 205
13.1. Классификация операторов . . . . . . . . . . . . . . . . . . . . . . . . 205
13.2. Аннулирующие многочлены . . . . . . . . . . . . . . . . . . . . . . . . 210
13.3. Перестановочные операторы . . . . . . . . . . . . . . . . . . . . . . . 214
13.4. Функции от оператора . . . . . . . . . . . . . . . . . . . . . . . . . . . . 216
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 220

Глава 4. Геометрические структуры . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225

§ 14. Евклидовы пространства . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225
14.1. Евклидова структура . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 225
14.2. Матрицы Грама . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 227
14.3. Евклидова геометрия . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 228
14.4. Двойственность . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 229
14.5. Ортогональные операторы . . . . . . . . . . . . . . . . . . . . . . . . . 232
14.6. Аффинные пространства . . . . . . . . . . . . . . . . . . . . . . . . . . 234
14.7. Метрики, нормы и топология . . . . . . . . . . . . . . . . . . . . . . . 238
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 241
§ 15. Группы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 247
15.1. Группы преобразований . . . . . . . . . . . . . . . . . . . . . . . . . . . 247
15.2. Абстрактные группы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 253
15.3. Гомоморфизмы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 256
15.4. Действие группы на множестве . . . . . . . . . . . . . . . . . . . . . 260
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 264
§ 16. Смежные классы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 267
16.1. Теорема Лагранжа . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 267
16.2. Факторгруппы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 269

Оглавление

16.3. Простые группы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 271
16.4. p-группы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 272
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 275
§ 17. Ортогональная геометрия над произвольным полем . . . . . . . . 276
17.1. Билинейные формы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 276
17.2. Симметричные билинейные и квадратичные формы . . . . . 281
17.3. Изометрии невырожденной симметричной формы . . . . . . 285
17.4. Невырожденные кососимметричные формы . . . . . . . . . . . . 291
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 294
§ 18. Проективное пространство . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 297
18.1. Проективизация векторного пространства . . . . . . . . . . . . . 297
18.2. Задание фигур уравнениями . . . . . . . . . . . . . . . . . . . . . . . 301
18.3. Подпространства . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 305
18.4. Линейные проективные преобразования . . . . . . . . . . . . . . 308
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 312
§ 19. Квадрики . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 315
19.1. Проективные квадрики . . . . . . . . . . . . . . . . . . . . . . . . . . . 315
19.2. Касательное пространство к квадрике . . . . . . . . . . . . . . . . 319
19.3. Пример: Gr(2, 4) ⊂ 5 и прямые в 3
. . . . . . . . . . . . . . . . . 323
19.4. Поляритеты . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 326
19.5. Аффинные квадрики . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 328
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 332

Глава 5. Комплексные и вещественные структуры . . . . . . . . . . . . . . . . 335

§ 20. Эрмитовы пространства . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 335
20.1. Эрмитова геометрия . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 335
20.2. Сопряжение операторов . . . . . . . . . . . . . . . . . . . . . . . . . . . 340
20.3. Нормальные операторы . . . . . . . . . . . . . . . . . . . . . . . . . . . 343
20.4. Полярное разложение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 344
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 346
§ 21. Комплексификация и овеществление . . . . . . . . . . . . . . . . . . . . 348
21.1. Овеществление . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 348
21.2. Комплексификация . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 350
21.3. Эрмитово продолжение евклидовой структуры . . . . . . . . . 354
21.4. Комплексные структуры . . . . . . . . . . . . . . . . . . . . . . . . . . . 355
21.5. Келеровы тройки (I, g, ω) . . . . . . . . . . . . . . . . . . . . . . . . . . 357
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 363
§ 22. Кватернионы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 364
22.1. Три инволюции на пространстве Mat2() . . . . . . . . . . . . . 364
22.2. Тело кватернионов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 365
22.3. Универсальное накрытие S3 = SU2 ↠ SO3() . . . . . . . . . . . 368
22.4. Два семейства комплексных структур на . . . . . . . . . . . . 371
22.5. Спиноры . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 372
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 375

Оглавление
7

Глава 6. Полилинейная алгебра . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 377

§ 23. Тензорные произведения модулей . . . . . . . . . . . . . . . . . . . . . . . 377
23.1. Полилинейные отображения . . . . . . . . . . . . . . . . . . . . . . . 377
23.2. Универсальное полилинейное отображение . . . . . . . . . . . . 379
23.3. Тензорное произведение модулей . . . . . . . . . . . . . . . . . . . . 380
23.4. Изоморфизм U∗ ⊗ V ≃ Hom(U, V) и разложимые
операторы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 383
23.5. Тензорные произведения абелевых групп . . . . . . . . . . . . . . 384
23.6. Канонические изоморфизмы . . . . . . . . . . . . . . . . . . . . . . . 385
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 387
§ 24. Тензорная алгебра векторного пространства . . . . . . . . . . . . . . . 389
24.1. Свободная ассоциативная алгебра T(V) . . . . . . . . . . . . . . . 389
24.2. Двойственность и св¨ертки . . . . . . . . . . . . . . . . . . . . . . . . . 390
24.3. Линейный носитель тензора . . . . . . . . . . . . . . . . . . . . . . . . 391
24.4. Соотношения (косо)симметричности . . . . . . . . . . . . . . . . . 393
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 396
§ 25. Поляризация полиномов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 400
25.1. Симметрические и кососимметрические тензоры . . . . . . . . 400
25.2. Поляризация коммутативных многочленов . . . . . . . . . . . . 403
25.3. Производные и поляры . . . . . . . . . . . . . . . . . . . . . . . . . . . . 405
25.4. Поляризация грассмановых многочленов . . . . . . . . . . . . . . 409
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 412

Глава 7. Симметрические функции, массивы и таблицы Юнга . . . . . . . 415

§ 26. Симметрические функции . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 415
26.1. Симметрические и кососимметрические многочлены . . . . . 415
26.2. Элементарные симметрические многочлены . . . . . . . . . . . 417
26.3. Полные симметрические многочлены . . . . . . . . . . . . . . . . 419
26.4. Степенные суммы Ньютона . . . . . . . . . . . . . . . . . . . . . . . . 419
26.5. Детерминантные тождества . . . . . . . . . . . . . . . . . . . . . . . . 421
26.6. Кольцо симметрических функций . . . . . . . . . . . . . . . . . . . . 425
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 426
§ 27. Исчисление массивов, таблиц и диаграмм . . . . . . . . . . . . . . . . 428
27.1. Массивы и элементарные операции над ними . . . . . . . . . . 428
27.2. Уплотнение массивов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 431
27.3. Действие симметрической группы на DU-множествах . . . . 436
27.4. Полиномы Шура . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 438
27.5. Правило Литтлвуда — Ричардсона . . . . . . . . . . . . . . . . . . . . 441
27.6. Скалярное произведение . . . . . . . . . . . . . . . . . . . . . . . . . . 444
Задачи для самостоятельного решения . . . . . . . . . . . . . . . . . . . . 445

Ответы и указания к некоторым упражнениям . . . . . . . . . . . . . . . . . . . . . . 447

Предметный указатель . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 471

Стандартные
обозначения и сокращения

, , , , , натуральные, целые, рациональные, действительные,
комплексные числа и кватернионы

⇒
и
⇐⇒
«следует» и «равносильно»

∀ ,
∃
и
:
«для любого», «существует» и «такой, что»

Hom(X, Y)
множество отображений или гомоморфизмов X → Y

End(X) = Hom(X, X)
множество отображений или гомоморфизмов X → X

Aut X ⊂ End(X)
группа обратимых отображений X → X

|M|, |G|, |λ|
число элементов в конечном множестве M, порядок
группы G и количество клеток в диаграмме Юнга λ

|pq|, |v|, ∥v∥
расстояние между точками p и q и длина (норма)
вектора v

a ... b (или b | a)
a нацело делится на b (или b нацело делит a)

a ≡ b (mod n)
a сравнимо с b по модулю n (т. е. (a − b) ... n)

/(n), 𝑞
кольцо или аддитивная группа вычетов по модулю n
и конечное поле из q элементов

НОД, НОК, ЧУМ
наибольший общий делитель, наименьшее общее
кратное, частично упорядоченное множество

S𝑛
симметрическая группа Aut({1, 2, ... , n})

(σ1, σ2, ... , σ𝑛) ∈ S𝑛
перестановка k → σ𝑘

|i1, i2, ... , i𝑚〉 ∈ S𝑛
циклическая перестановка i1 → i2 → ... → i𝑚 → i1

K[x] и K[[x]]
кольца многочленов и формальных степенных рядов
с коэффициентами в коммутативном кольце K

[x1, x2, ... , x𝑛]⩽𝑚
пространство многочленов степени не выше m от
переменных x1, x2, ... , x𝑛 с коэффициентами в 〈ξ1, ξ2, ... , ξ𝑛〉
кольцо грассмановых многочленов от (антикоммутирующих) переменных ξ1, ξ2, ... , ξ𝑛

Стандартные обозначения и сокращения
9

∗, K∗
мультипликативные группы ненулевых элементов
поля и обратимых элементов кольца K

V ∗, F∗
двойственное пространство и двойственный или евклидово или эрмитово сопряженный оператор

Mat𝑚×𝑛(K), Mat𝑛(K)
модуль матриц из m строк и n столбцов и алгебра
квадратных (n×n)-матриц с элементами из кольца K

M𝑡, λ𝑡
транспонированная матрица и транспонированная
(сопряженная) диаграмма Юнга

〈ξ, v〉 = ξ(v) = ev𝑣(ξ)
св¨ертка вектора v ∈ V с ковектором ξ ∈ V ∗

(v, w)
евклидово или эрмитово скалярное произведение
векторов v и w

GL(V), PGL(V), O(V), U(V) группы линейных, проективных, ортогональных и
унитарных преобразований пространства V

SL(V), SO(V), SU(V)
группы линейных, ортогональных и унитарных преобразований с определителем 1

GL𝑛, PGL𝑛, SL𝑛 и т. д.
соответствующие предыдущим преобразованиям
группы (n × n)-матриц

S𝑛V ∗
пространство однородных многочленов степени n
на векторном пространстве V

(V), (V)
аффинизация и проективизация векторного
пространства V

V( f ) ⊂ (V)
гиперповерхность, заданная уравнением f (v) = 0

Q, q, q, q
квадрика Q = V(q) ⊂ (V), задаваемая уравнением
q(v) = 0, где q ∈ S2V ∗ — квадратичная форма с поляризацией q: V × V → и корреляцией q: V → V ∗

TV, SV, ΛV
тензорная, симметрическая и внешняя алгебры векторного пространства V