Вы находитесь на странице: 1из 557

Э.Б.

Винберг
КУРС АЛГЕБРЫ
2-е изд., испр. и доп. — М.: Изд-во «Факториал Пресс», 2001. — 544 с.
Книга представляет собой расширенный вариант курса алгебры, читаемого в
течение трех семестров на математических факультетах университетов. В нее
включены такие дополнительные разделы, как элементы коммутативной алгебры
(в связи с аффинной алгебраической геометрией), теории Галуа, теории
конечномерных ассоциативных алгебр, и теории групп Ли. Это позволяет
использовать книгу не только как учебник по общему курсу алгебры, но и как
пособие для тех, кто желает углубить свои познания в алгебре. Изложение
иллюстрируется большим количеством примеров и сопровождается задачами,
часто содержащими дополнительный материал.
Для математиков и физиков — студентов, аспирантов, преподавателей и
научных работников.
ОГЛАВЛЕНИЕ

Предисловие 5
Предисловие ко второму изданию 6
Глава 1. Алгебраические структуры 7
§ 1. Введение 7
§ 2. Абелевы группы 10
§ 3. Кольца и поля 14
§ 4. Подгруппы, подкольца и подполя 17
§ 5. Поле комплексных чисел 19
§ 6. Кольца вычетов 25
§ 7. Векторные пространства 31
§ 8. Алгебры 35
§ 9. Алгебра матриц 38
Глава 2. Начала линейной алгебры 43
§ 1. Системы линейных уравнений 43
§ 2. Базис и размерность векторного пространства 52
§ 3. Линейные отображения 62
§ 4. Определители 73
§ 5. Некоторые приложения определителей 86
Глава 3. Начала алгебры многочленов 90
§ 1. Построение и основные свойства алгебры многочленов 90
§ 2. Общие свойства корней многочленов 96
§ 3. Основная теорема алгебры комплексных чисел 103
§ 4. Корни многочленов с вещественными коэффициентами 107
§ 5. Теория делимости в евклидовых кольцах 113
§ 6. Многочлены с рациональными коэффициентами 119
§ 7. Многочлены от нескольких переменных 122
§ 8. Симметрические многочлены 127
§ 9. Кубические уравнения 136
§ 10. Поле рациональных дробей 141
Глава 4. Начала теории групп 147
§ 1. Определение и примеры 147
§ 2. Группы в геометрии и физике 154
§ 3. Циклические группы 159
§ 4. Системы порождающих 164
§ 5. Разбиение на смежные классы 167
§ 6. Гомоморфизмы 175
Глава 5. Векторные пространства 183
§ 1. Взаимное расположение подпространств 183
§ 2. Линейные функции 187
§ 3. Билинейные и квадратичные функции 191
§ 4. Евклидовы пространства 202
§ 5. Эрмитовы пространства 210
Глава 6. Линейные операторы 214
§ 1. Матрица линейного оператора 214
§ 2. Собственные векторы 220
§ 3. Линейные операторы и билинейные функции в евклидовом
пространстве 226
§ 4. Жорданова форма 237
§ 5. Функции от линейного оператора 244
Глава 7. Аффинные и проективные пространства 254
§ 1. Аффинные пространства 254
§ 2. Выпуклые множества 263
§ 3. Аффинные преобразования и движения 273
§ 4. Квадрики 283
§ 5. Проективные пространства 297
Глава 8. Тензорная алгебра 311
§ 1. Тензорное произведение векторных пространств 311
§ 2. Тензорная алгебра векторного пространства 319
§ 3. Симметрическая алгебра 326
§ 4. Алгебра Грассмана 332
Глава 9. Коммутативные кольца 342
§ 1. Абелевы группы 342
§ 2. Идеалы и факторкольца 355
§ 3. Модули над кольцами главных идеалов 364
§ 2. Нётеровы кольца 372
§ 3. Алгебраические расширения 375
§ 4. Конечно порожденные алгебры и аффинные алгебраические
многообразия 388
§ 5. Разложение на простые множители 400
Глава 10. Группы 409
§ 1. Прямые и полупрямые произведения 409
§ 2. Коммутант 416
§ 3. Действия 419
§ 4. Теоремы Силова 426
§ 5. Простые группы 428
§ 6. Расширения Галуа 433
§ 7. Основная теорема теории Галуа 438
Глава 11. Линейные представления и ассоциативные алгебры 445
§ 1. Инвариантные подпространства 445
§ 2. Полная приводимость линейных представлений 458
§ 3. Конечномерные ассоциативные алгебры 462
§ 4. Линейные представления конечных групп 470
§ 5. Инварианты 482
§ 6. Алгебры с делением 488
Глава 12. Группы Ли 501
§ 1 . Определение и простейшие свойства групп Ли 502
§ 2. Экспоненциальное отображение 508
§ 3. Касательная алгебра Ли и присоединенное представление 512
§ 4. Линейные представления групп Ли 618
Ответы к задачам 525
Словарь сокращений 529
Список литературы 530
Указатель обозначений 531
Предметный указатель 534
ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ
Автоморфизм группы 176, 411 — линейных операторов 219, 465,
— внутренний 412 467
— алгебраической структуры 23 — матриц 40, 41, 187, 359, 513
алгебра 35, 36, 358, 491 — многочленов 90, 91
— альтернативная 499, 500 — многочленов на алгебраическом
— — ассоциативная полупростая многообразии 393
464, 470, 491 — многочленов от нескольких
— простая 467, 468 переменных 122-124, 187, 388,
— — внешняя векторного 396
пространства 334 — нильпотентная 462
— градуированная 187 — октав 499, 500
— Грассмана (см. алгебра внешняя) — полилинейных функций 325
334 — расщепимся 494
— групповая 470, 471, 473, 474 — с делением 488, 490, 492-495
— инвариантов 483, 484, 486 — с единицей 358
— кватернионов 37, 42, 56 — — симметрическая векторного
— — обобщенная 489, 490, 494 пространства 328, 329
— конечно порожденная 388-391,394 — суперкоммутативная 334
— Кэли (см. алгебра октав) 499, 500 — тензорная 325
— Ли 513 — формальных степенных рядов 92
— — простая 519 — — функций на множестве, F(X;K)
35, 359, 360, 483 смежные 271
— центральная 489, 492, 494 высота вектора 240
— K[t]/(h) 464, 466, 468 — корневого вектора 237, 238
алгоритм Евклида 116 — параллепипеда 208
альтернирование 334 — нильпотентного оператора 240
аннулятор модуля 367 вычет числа по модулю 27
— подпространства 190 — квадратичный 200
антиавтоморфизм 490, 499 Геометрия аффинная 156, 157, 276,
антикоммутативность 15, 513 277
аргумент комплексного числа 24 — конформная 310
ассоциативность 12, 13, 149 — Лобачевского 310
ассоциатор 499 — проективная 304
Базис 34, 56, 58-60, 196, 222, 230 — псевдоевклидова 283
Базис абелевой группы 343, 344 — гипербола 290, 309
— жордановый 243 гиперболоид двуполостный 290-292,
— модуля 367, 368 309
— ортонормированный 204, 213 — — однополостный 290-292, 309
— пространства решений 68 гипергрань выпуклого
— симплектический 202 многогранника 270
— согласованный с гиперплоскость в аффинном
подпространством 183, 184 пространстве 256, 265
— трансцендентности 388, 389 — — в проективном пространстве
бивектор 333 299
Вектор 32, 34 Гиперплоскость опорная 265, 267
— в аффинном пространстве 254 гиперповерхность второго порядка
— геометрический 32 285
— корневой 237 гомоморфизм алгебр 359
— собственный 220 — канонический 359
f-вектор выпуклого многогранника — — групп 175, 176, 178, 181
270 — канонический 182
векторизация аффинного Ли 511, 514
пространства 255 — — колец 357
векторы ортогональные 194, 212 — канонический 357
— линейно зависимые 52-54, 57, 58, — — модулей 366
204, 336 — канонический 366
— — независимые 52-54, 57, 58, 73, — — над полем 380
336 гомотетия 276
— ориентированные положительно градуировка 187
74, 75 грань выпуклого многогранника 270,
вершина выпуклого многогранника 271
271 группа 8, 149
— квадрики 285, 286 — абелева (коммутативная) 12, 13,
— параболоида 296 149, 176, 342-355, 451, 472
вершины выпуклого многогранника — — конечно порожденная 352
— — автоморфизмов 412 — — — С 161, 168, 174, 178, 181
— — внутренних 412 — — — Zp 169
— конечного расширения полей 433 — — невырожденных квадратных
— аддитивная 12, 149 матриц (см. группа полная
— аффинных преобразований линейная)
квадрики 293 — треугольных матриц, Bn(K) 418,
— вращений куба 182, 422, 423 505
— вычетов по модулю n, Zn 28, 29, — — обратимых элементов кольца
162, 163, 174, 413, 415 150
— Галилея 157 — — — — Zn , Zn* 29, 163, 169, 170,
— Галуа 435
355, 413
— дважды транзитивная 478
— однопараметрическая,
— — движений аффинного
порожденная оператором 251
евклидового пространства 278,
— ортогональная, On 152, 170, 232,
279, 414
— плоскости 8, 148, 153, 156, 170, 233, 460, 488, 504, 507, 510, 513,
421, 422 517, 520, 521
— диагональных матриц 411 — — специальная SOn 232, 432, 507,
— диэдра, Dn 153, 182, 473 520
— знакопеременная, Aп 177, 179, 417, — параллельных переносов
418, 429, 430 векторного пространства, Tran
— классов идеалов 407, 408 V 148, 150, 155, 421
— кольца аддитивная 14 — подстановок (см. группа
— комплексных чисел по модулю симметрическая)
равных 1, Т 176, 460 — полная аффинная, GA(V) 156, 179,
— конечная 169, 171, 178, 423, 425, 181, 275, 277, 303, 412, 414
458, 470, 478, 482-484, 486 — — проективная, PGL(V) 302, 412
— — порядка р2 426 — полная линейная, GL(V), GLn(K)
— — порядка pq 428 148, 150, 155, 166, 168, 174, 176,
— Ли 501 179, 181, 411, 412, 414, 418, 453,
— — линейная 503-505 462, 501, 503, 505, 507, 508
— — редуктивная 521 — порожденная подмножеством 165
— — связная 507, 510, 519 — преобразований 147, 150, 157, 159,
— — — простая 519, 521 170, 419
группа линейных преобразований — примерная (p-группа) 351, 426
конечномерного векторного — простая 428, 429
пространства (см. группа полная — псевдоортогональная 283
линейная) — Пуанкаре 157, 159, 283
Группа Лоренца 283, 507 — разрешимая 418
— мультипликативная 13, 149 — свободная 343, 344, 349
— — корней n-й степени из 1, Сn 162, — симметрии фигуры 153, 281
164 — симметрии куба 171, 172, 282, 448,
— — поля 17, 150, 355, 501 477
— — правильных многогранников
172, 282 делитель нуля 16, 17
— — тетраэдра 180 — в алгебре Ln(K) 41
— — треугольника 180 диагональ матрицы (главная) 33
— симметрическая 147, 161, 165, 166, — — побочная 35
168, 170, 174, 176, 179, 412, 414, диаграмма коммутативная 423
418, 421, 449, 472, 482, 483 дивизор простой 406
— топологическая 459, 460 дискриминант 135, 136, 138
— — компактная 459-462, 486 дистрибутивность 14
— транзитивная 155 дифференциал 179, 261, 274, 284
— унимодулярная, SLn (K) 153, 154, дифференцирование алгебры
168, 176, 182, 417, 418, 504, 506, многочленов 99, 100
510, 513, 517, 519-522 длина вектора 203
Группа унитарная 236, 460, 505, 507, — орбиты 171
521 дополнение алгебраическое 83
— унитарная специальная 236, 505, — ортогональное 195, 212
507, 517, 521 дробь (в поле отношений) 141, 142,
— целых чисел, Z 162-164, 174 143
— циклическая 162-164, 169, 175, — несократимая 142
351, 354, 415, 476 — рациональная 143
— четверная Клейна, V4 180, 421, 431 — правильная 143, 144, 145
— PSLn(K) 431, 432 — простейшая 144
— S3 151,180,182,412,413,418,439, Единица группы 13, 149
— кольца 15
472, 473
— матричная 41
— S4 173,180-182,414,448,459,472,
— правая 151
476, 477, Задача интерполяции 93
— SL2(Z) 154, 166 — — с кратными узлами 247
Движение аффинного евклидового — о получении максимальной
пространства 278, 279 прибыли 272
— винтовое 281 — транспортная 273
— несобственное 279 закон инерции 199, 212
— собственное 278 замыкание поля алгебраическое 380
действие группы на множестве 419, — кольца целое 386
420, 482 знак перестановки 77, 176, 177
— смежных классов 423 значение собственное 220, 221
— левыми сдвигами 420 Идеал алгебры (двусторонний) 358
— правыми сдвигами 420 — — левый 358
— сопряжениями 421 — — правый 358
— транзитивное 421, 423 — главный 361, 401
— эффективное 420 — кольца (двусторонний) 356
деление окружности на равные части — — левый 356
443 — — правый 356
— — с остатком 94, 114 — многообразия алгебраического 394
делимость элементов 113
— нормирования 406 — без делителей нуля 16
— простой 374 — вычетов по модулю 25, 28, 29, 42,
идеалы эквивалентные 407 358, 361
изоморфизм алгебр 38 — главных идеалов 361, 362, 374
— аффинных пространств 275 — евклидово 114, 115, 117, 362, 368,
— векторных пространств 33, 58 401
— действий 423 — — коммутативное 14
— евклидовых пространств 209 — ассоциативное с единицей 42, 92,
— многообразий алгебраических 395 133
— модулей 366 — — многочленов
— представлений 446 113,114,116,358,402
— структур алгебраических 9 — от нескольких переменных 124,
инвариант действия группы 482, 483 373, 403
инволюция стандартная 490 — нётерово 372-375, 385, 386, 400,
индекс подгруппы 169 406
инерции положительный 199, 212 — нормальное (целозамкнутое) 386
инерции отрицательный 199, 212 — факторнальное 401, 402, 406
индукция трансфинитная 61 — функций на множестве 15, 17
Канонический вид квадратичной — целостное (область целостности)
функции 229 113, 141, 400, 408
— — — — эрмитовой 235 — целых чисел 15, 16, 19, 113, 114,
карта аффинная 300 116, 141, 357, 386
квадрика 283, 285-291, 293, 295, 297, — — — поля 387, 407, 408
305 коммутант 416
— коническая 286, 289, 290, 295 коммутативность 12, 13
— линейчатая 309, 310 кратный 418
— нецентральная 289, 290, 295 коммутатор 416
— овальная 309, 310 — матриц 512
— проективная 306 комплексификация 222, 236
— вещественная 308 композиция отображений 8
— комплексная 308 — линейных 70
— невырожденная 306-308, 310 компонента изотипная 454
— — центральная 285 — неприводимая 398
— — неконическая 289, 290, 293, 295 — однородная многочлена 123
— цилиндрическая 288 — связная 506
кватернион 489 коника 285, 309
— сопряженный 490 константы структурные 491
Класс отношения эквивалентности 26 конус 286, 292, 305
— смежный 167, 171 — грассманов 337
— сопряженных элементов 421 — квадратичный 290, 291, 305
клетка жорданова 241, 245, 371 координаты барицентрические 256,
— нильпотентная 241 262
кольцо 14, 176, 356, 365, 373 — вектора 34
— ассоциативное 15 — неоднородные 300
— однородные 300 — кососимметричная 186
— плюккеровы 338 — косоэрмитова 211
— тензора 321 — коэффициентов 43
— элемента тензорного произведения — — расширенная 43
314 — линейного оператора 214-216
корень многочлена (алгебраического — — отображения 64, 71
уравнения) 96, 97, 107, 136 — невырожденная 59, 72-74, 81, 88
— кратный 97, 101, 136 — — целочисленная 89, 154
Корень многочлена простой 97 — нижняя треугольная 47
— первообразный 163 — нильтреугольная 238, 359, 463
коэффициент линейного уравнения — — обратимая 72
43 — обратная 73, 88
— линейной функции (формы) 188 — ортогональная 205
— многочлена 91, 101 — перехода 59
— — старший 91 — полуторалинейной функции 211
кривая второго порядка 285 — симметричная 186
критерий Сильвестра 200 — скалярная 41
Лемма Гаусса 120, 402 — строго треугольная 47, 49, 154
— Даламбера 105 — ступенчатая 45
— Нётр о нормализации 390 Матрица транспонированная 42, 70,
— о возрастании модуля 105 81
— о замене 389 — трапецеидальная 46
— о линейной зависимости 55, 57 — унитарная 213
— о неподвижной точке 458, 461 — элементарная 51
— Цорна 61 — эрмитова 211
— Шура 450 матрицы подобные 243
— линейная комбинация векторов 34, метод аксиоматический 11
52, 60 — вращений 51
— барицентрическая 255 — Гаусса 44, 49-51
— выпуклая 263 — Якоби 199
— нетривиальная 52, 53 минор 83, 89
— тривиальная 52 — главный 221
— оболочка множества 55, 57 — дополнительный 83
— часть преобразования 179 — окаймляющий 89
Матрица 38, 45 — угловой 89, 196
— билинейной функции 192 многогранник выпуклый 268, 272,
— верхняя треугольная 47 282
— Грамма (скалярного умножения) — правильный 282
204 — телесный 268
— диагональная 39, 154, 175 многогранники правильные
— единичная 40 двойственные 282
— жорданова 243, 245, 371 многообразие алгебраическое 283
— квадратичной функции 194 — аффинное 393, 395, 396, 398, 399,
— квадратная 39, 85, 186 404, 405
— грассманово 337 — правый 365
— дифференцируемое 502 — свободный 367, 368
— линейное 283 — циклический 367
многоугольник правильный 282 — — примарный 369
многочлен 90-94, 106, 107, 109, 110, модуль комплексного числа 23, 103
112, 119-122 морфизм многообразий
— аннулирующий оператора 244 алгебраических 395
— — матрицы 244 — представлений 446
— деления круга 121 — — — неприводимых 450
— минимальный матрицы 244 Наибольший общий делитель 115,
— — оператора 244-246 401, 402
— — элемента 377 наименьшее общее кратное 118
— — на алгебраическом направление особое параболоида 294
многообразии 393 начало отсчета 148, 255
— неполный 137 невычет квадратичный 200
— неприводимый 116, 383, 403, 404, неизвестные системы линейных
436, 441 уравнений главные 47
— — от нескольких переменных 122- — — — — свободные 47
124, 151 неравенство Коши — Буняковского
— — — однородный 123, 187 203, 204
— — — симметрический 127-129, норма в векторном пространстве 248
151 — в евклидовом кольце 114
— — — — элементарный 127, 129, — кватерниона 490
133 — линейного оператора 248
— нормированный (приведенный) — октавы 499
99, 119 нормализатор подгруппы 425
— от матрицы (оператора) 244, 246 нормальный вид квадратичной
— примитивный 120, 402 функции 198, 199, 212
— сепарабельный 435 нормирование 406
— характеристический 221, 224, 225, Область целостности 113, 141
228, 238, 239, 243, 246 оболочка аффинная 256
множество выпуклое 263, 264, 267, — выпуклая 264
269 образ гомоморфизма групп 175
— замкнутое относительно операции — линейного отображения 65
17 объем параллепипеда 208, 209
множители инвариантные 350, 354, — ориентированный 75
370 оператор альтернирования 334
модуль 43, 364 — дифференцирования 218, 220, 225,
Модуль конечно порожденный 367, 237, 240, 251
369, 372 — кососимметрический 227, 230
— левый 364 — косоэрмитовый 235
— над кольцом Z 365 — линейный 214-216, 219-226, 245,
— — — многочленов 365 371
— периодический 367 — — обратимый (невырожденный)
220, 233 — сравнимости по модулю 27
— нильпотентный 240 — — — подгруппы 167, 173, 174, 356
— ортогональный 227, 231 — эквивалентности 25
— представления 435 — — согласованное с операцией 26
— присоединенный 514 — — определяемое действием 421
— Рейнольдса 484 Парабола 290, 291, 299
Оператор самосопряженный 227, 235 параболоид 296, 307
— симметрирования 328 — гиперболический 290-292, 309
— симметрический 227-229 — эллиптический 290-292, 309
— — положительно определенный параллепипед 208, 268
230, 233 — фундаментальный 345
— сопряженный 227, 235 перемена знака 109
— тождественный 219 перенос параллельный 148
— унитарный 235 пересечение подпространств 184
— эрмитовый 235 перестановка элементов 77
— — положительно определенный — тривиальная 77
235 — четная (нечетная) 77, 78
операция коммутативная 10 перманент квадратной матрицы 331
определитель Вандермонда 83, 127, плоскость бесконечно удаленная 300
403 — в аффинном пространстве 256,
— матрицы 75, 79-82, 176, 192 259, 260, 267
— оператора 220 Плоскость в проективном
орбита 421 пространстве 299, 301
— точки 170, 171 площадь параллелограмма
основание параллепипеда 208 ориентированная 74
остаток от деления многочленов 94 поверхность второго порядка 285
ось движения 280 поворот зеркальный 231, 281
— параболоида 296 поворот на угол 217, 220, 223
отображение аффинное 273, 274 подалгебра 38
— линейное 62-64, 66-71 подгруппа 17, 18, 151
— полилинейное (p-линейное) 311, — дискретная 345, 346
312, 317 — кручения 352
— — кососимметрическое 332, 333 — p-кручения 353
— — симметрическое 326, 327 нормальная 173, 413
— скользящее 281 — — порожденная множеством
— факторизации 26 элементов 165
— эквивариантное 422 p-подгруппа силовская 426, 427
— экспоненциальное 508-509 подгруппы сопряженные 425
отражение 224, 227, 279 подкольцо 18
отрезок 263 — порожденное над кольцом 376
отношение элементов 13 подматрица 83
— на множестве 25 подмодуль 365
— (простое) точек 278 — кручения 370
— двойное 304, 305 — порожденный множеством 367
подполе 19, 32 — — ассоциативной алгебры 446
— порожденное элементами 379 — — — — регулярное 450, 464
— G-инвариантных элементов 433 — — вполне приводимое 451, 453,
подпредставление 447, 451 457, 458
подпространства линейно — — группы 420, 446, 475
независимые 185 — — — Ли 514, 518, 519
подпространство векторного — — — — присоединенное 515
пространства 33, 58, 190, 191 — — изотипное (S-изотипное) 454
— инвариантное 215, 447, 518 — — неприводимое 448,450,451,475
— корневое 238, 239 — — — тривиальное 469
— невырожденное 195 — — множества 445, 454
— собственное 223, 225 — — мономиальное 449
— циклическое 240 — — одномерное 448
подстановка 147 представления линейные
— нечетная 177 изоморфные 446
— четная 177 преобразование аффинное 156, 157,
подъем индексов тензора 322 179, 275, 303
поле 16, 29, 30, 35 — Лоренца 159
— — алгебраически замкнутое 103 — линейное 214
:
— алгебраических чисел 380, 387 — множества 147, 218
— комплексных чисел 20, 21, 34, 36, — ортогональное 152
37, 41, 56, 103, 116, 358 — проективное 302, 303
— конечное 29, 382, 383, 436, 439 — сохраняющее ориентацию 181
поле круговое (деления круга) 378, преобразования элементарные
384, 387, 437, 439 системы линейных уравнений
— отношений (дробей) 142, 388 44, 45
— разложения многочлена на — — столбцов матрицы 70, 347
множители 380, 436, 437, 439 — — строк матрицы 44, 45, 62, 347
поливектор (p-вектор) 333 приведение к главным осям 229
полупространство ограниченное принцип тензорной алгебры
гиперплоскостью 265 основной 317
— опорное 265 присоединение корня многочлена 377
поляризация 330 программирование линейное 272
— квадратичной функции 194 проективизация 306
Порядок группы 163, 169 проектирование ортогональное 217
порядок элемента 160-163, 169 проектор 224
последовательность векторов — ортогональный 227
сходящаяся по норме 248 проекция вектора 186
— комплексных чисел сходящаяся — ортогональная 205, 213
103 произведение внешнее
— финитная 60, 91 полилинейных функций 336
представление линейное 445 произведение групп полупрямое 415
— — алгебры Ли 515 — — прямое 351,411
— — — — присоединенное 515, 516 — идеалов 407
— матрицы на матрицу 38, 39 — функций на группе 473
— — — элемент 38 — — — множестве со значениями в
— (композиция) отображений 8 поле, F(X,K) 32, 33, 35, 56, 57,
— — линейных 70 188, 218, 420
— подгрупп полупрямое 414 — эрмитово 212, 213
Произведение подгрупп прямое 409, процесс ортогонализации Грамма —
410 Шмидта 197, 206
— — симметрическое полилинейных прямая в аффинном пространстве 256
функций 331 — в проективном пространстве 299
— — тензорное векторных пфаффиан матрицы 340
пространств 312-314, 316-318 Радикал алгебры 463
— — матриц 318 — — кольца (нильпотентный) 374
— — операторов 318 разделение орбит 482
— — полилинейных функций 325 разложение многочлена на
— — представлений 457, 473 множители 106, 107, 113, 117
производная 100, 251 — — полярное 233, 236
пространство аффинное 254, 275 — — элемента на простые
— — евклидово 262 множители 117, 118,401
— векторное (линейное) 31, 365 Размерность векторного
— — бесконечномерное 55, 60, 61, пространства 50, 56, 60
190, 249 — многообразия алгебраического 399
— — евклидово 202, 210 — представления 445
— — конечномерное 34,36,55,56,58, — пространства решений системы
187, 188, 248, 249 линейных уравнений 67
— касательное к группе Ли 504, 509, разность элементов 12
512, 514 — — симметрическая 16
— Минковского 283 разрешимость в квадратных
— полилинейных функций 311 радикалах 441, 442
— — кососимметрических функций ранг абелевой группы 343
332 — билинейной функции 193, 202
— — симметрических функций 326 — квадратичной функции 194
— — отображений 311, 314, 317 — матрицы 61
— представления 445 — модуля 368
— проективное 299 — оператора 220
— псевдоевклидово 283 — произведения матриц 73
— — аффинное 283 — системы векторов 61
— сопряженное 188, 189, 226 расстояние 207, 262
— счетномерное 60, 61 расширение Галуа 435
— тензоров типа (p, q) 319 — кольца 375
— топологическое нётерово 398 — — алгебраическое 376
— — неприводимое 398 — — конечно порожденное 376
— — связное 506 — — конечное 385
— финитных последовательностей — — целое 385
60, 91, 190 — поля 136, 246, 315, 379, 467
— — алгебраическое 376 эквивалентные 44
— — квадратичное 377, 387, 436 след матрицы 188
— — конечное 376, 378, 379, 492 смежный класс 167, 171
— — простое 377 соотношения Плюккера 338
расщепимое 492 составляющая вектора ортогональная
ребро выпуклого многогранника 270 205
редукция по модулю 120 сопряжение комплексное 23
резольвента кубическая 134 спектр алгебры 396
репер аффинного пространства 255 спуск индексов тензора 322
рефлексивность 26 стабилизатор точки 170, 425
решение общее системы линейных старший член многочлена 126
уравнений 47 степень алгебры 493
решетка в пространстве En 345 — внешняя векторного пространства
ряд абсолютно сходящийся 249 334
— — композиционный группы 429 — многочлена 91
Свертка 320 — — по переменной 124
сигнатура квадратичной функции 199 — — по совокупности переменных
— билинейной функции 199 123
символ Кронекера 189 — расширения 376
— Лежандра 355 — симметрическая векторного
симметричность 26 пространства 328
симметрия центральная 276 — трансцендентности 389
симплекс n-мерный 264 — элемента алгебраического 377
симплекс-метод 273 строка 13
система алгебраических уравнений — единичная 34
392 — нулевая 13
— векторов 52 сумма матриц 38
— — эквивалентная 61 — подпространств 183, 185, 186
— порождающая 165 — представлений 453
— координат аффинная 255 — прямая алгебр 360
— — прямоугольная 263 — прямая групп 351
Система линейно независимая 343 — — колец 360
— уравнений линейных 43, 44, 50, 67 — — модулей 365
— — — неопределенная 48, 49, 50 — — подгрупп 350
— — — несовместная 44 — — подпространств 185, 323 •
— — — однородная 49, 50, 67, 68 — — пространств 324
— — — определенная 48, 49, 62 схема Горнера 95
— — — совместная 44, 49, 62 Тело 488
— — — строго треугольная 47 выпуклое 264-266
— — — ступенчатая 47 тензор 319
— образующих (порождающих) ковариантный 325
модуля 367 контравариантный 323
— точек общего положения 304 кососимметрический 334
системы линейных уравнений Тензор метрический 322
симметрический 328 транспозиции смежные 166
теорема Безу 95 транспозиция 177, 165
Бернсайда 456 тривектор 333
Ведцербёрна 496 трисекция угла 443
Вильсона 99 Удвоение куба 443
Гамильтона — Кэли 246, 371 угол между векторами 203
Гильберта о базисе идеала 373 умножение в алгебре 36
— о нулях 393 — левое 219
об инвариантах 484, 486, 522 — линейных отображений 70
Декарта 109 — матриц 38-40, 59
Жордана— Гёльдера 429 — скалярное 202, 205, 212
Кронекера — Капелли 62 Упорядочивание лексикографическое
Кэли 421 125
Лагранжа 169 уравнение линейное 43
Менелая 258 — — — однородное 43
Минковского — Вейля 269 — — разрешимое в радикалах 440
о гомоморфизме алгебр 359 Факторалгебра 358
групп 177, 182 факторгруппа 174, 182
колец 357 факторкольцо 356
модулей 366 фактормножество 26
примитивном элементе 377, 492 фактормодуль 366
ранге матрицы 89 факторпредставление 448, 451
об определителе матрицы с углом факторпространство 366
нулей 82 фигуры эквивалентные (равные)
основная алгебры комплексных относительно группы 154, 156
чисел 103 флаг многогранника 282
теории Галуа 438 форма алгебраическая комплексного
— отделимости 265 числа 22
— Ферма малая 30, 170 — билинейная 192
— Фробениуса 495 — вещественная группы Ли 520, 521
— Штейница 271 — линейная 188
— Чевы 259 — квадратичная 194
— Эйлера 170, 232 — тригонометрическая комплексного
тождество Якоби 15, 37, 513 числа 24
топология Зарисского 397 формула Бернсайда 425
тор, Tn 460 —для возведения в степень
точка аффинного пространства 254 комплексного числа 24
— внутренняя 264 — — деления комплексных чисел 24
— граничная 264 — интерполяционная Лагранжа 146,
— крайняя 268, 271 247
точки аффинно зависимые 257 — Кардано 140
точки аффинно независимые 257, 277 — Муавра 24
— — бесконечно удаленные 300 — преобразования координат 59
транзитивность 26 — разложения определителя по i-й
строке (j-му столбцу) 84 центр алгебры ассоциативной 470
формулы Виета 98 — — Ли 516
— Крамера 87, 88 — аффинно-квадратичной функции
— Тейлора 101 284
фундаментальная система решений — группы 412
68 — — Ли связной 516
функция аффинно-квадратичная 284, — квадрики 285, 287
286, 288 — тела 489
— аффинно-линейная 261, 265, 272 — тяжести 255
— билинейная 192, 226 — выпуклого множества 460
— — кососимметрическая 193, 201, централизатор элемента 425
202 цикл в симметрической группе 161
— — невырожденная 193, 195 циклы независимые 161
— — отрицательно определенная 198 Частное 13
— — положительно определенная — неполное 94
198 числа Ферма 444
— — симметрическая 193, 196 число комплексное 20
— дифференцируемая 502 — целое алгебраическое 386
— квадратичная 194, 199, 200 — — гауссово 114
— — положительно определенная — сочетаний 30
198 — сочетаний с повторениями 123
— — отрицательно определенная 198 Экспонента 354
— — невырожденная 194, 195, 200 — от линейного оператора 251
— — эрмитова 211 элемент алгебраический 375, 378
— — — положительно определенная — — целый 385
212 — ведущий 45
— — координатная 189 — матричный представления 474,
Функция линейная 69, 188 476
— от линейного оператора 250 — нильпотентный 374, 462, 464
— полилинейная (n-линейная) — обратный (в группе) 13
76,311, 325 — обратный (в кольце) 16
— кососимметрическая 76, 78, 80, — обратимый 16, 149
332 — — в Zn 29
— симметрическая 326 — — в Ln(K) 41,72
— полуторалинейная 210 — порождающий 162
— — косоэрмитова 211 — правый обратный (в группе) 151
— — невырожденная 211 — представимый в радикалах 440
— — эрмитова 211 — простой 116
— центральная 475 — противоположный (в группе) 12
— Эйлера 170, 361 — разложимый 315, 317, 327, 333
— δ-функция 56 — трансцендентный 375
Характер представления 475, 476 элементы алгебраически зависимые
характеристика поля 29, 30, 161 376, 388
Целая часть дроби 144
— ассоциированные 114 эллипсоид 290, 292
— взаимно простые 114, 402 эндоморфизм группы 176
— модуля линейно независимые 367 — — Фробениуса 383
— сопряженные в группе 421 Ядро билинейной функции 193
— сравнимые по модулю подгруппы — гомоморфизма групп 175
167 — линейного отображения 65, 67
эллипс 290, 291, 309 — неэффективности 420, 424