ФОРМА

Значение ФОРМА в математической энциклопедии:

алгебраической группы G, определенной над полем k, - алгебраич. группа G', определенная над . и изоморфная группе Gнад нек-рым расширением . ноля k. В этом случае G' наз. L/k- формой алгебраич. группы G. Если k_s - сепарабельное замыкание поля . в фиксированном основном алгебраически замкнутом поле . (универсальной области), то k_s/k- формы наз. просто k-формами группы G. Две L/k- формы группы наз. эквивалентными, если они изоморфны над k. Множество всех классов эквивалентных L/k- форм группы Gобозначается через E(L/k, G )(в случае L=k_s- через E(k, G ))(см. [5],[7],[8]).
Пример. Пусть а

и

- две определенные над . подгруппы полной линейной группы GL(2), тогда G' является k-формой . (соответствующий определенный над Кизоморфизм задается формулой

Эта k-форма не эквивалентна G (если рассматривать Gкак свою собственную k-форму относительно тождественного изоморфизма G -> G). В рассмотренном примере множество Е(k, G )состоит из двух элементов, представленных указанными двумя k-формами.
Задача классификации Ф. алгебраич. групп естественно переформулируется на языке Галуа когомологий;[3, 5]. А именно, пусть L/k- расширение Галуа с группой Галуа Г _L/k (снабженной топологией Крулля). Группа Г _L/k естественно действует на группе Aut_LG всех L-автоморфизмов группы G, а также на множестве всех L-изоморфизмов группы G' в группу G (в координатах эти действия сводятся к применению автоморфизмов из Г _L/k к коэффициентам рациональных функций, определяющих соответствующее отображение). Пусть -нек-рый L-изоморфизм, и -образ под действием Тогда отображение является непрерывным 1-коциклом группы Г _L/k со значениями в дискретной группе Aut_LG. При замене j на другой L-изоморфизм указанный коцикл заменяется на когомологичный. Тем самым возникает отображение Основное утверждение о когомологич. интерпретации задачи описания Ф. группы G состоит в том, что это отображение биективно. В случае когда все автоморфизмы внутренние, G' наз. внутренней формой группы G, а в противном случае - внешней.
Для связных редуктивных групп имеется глубоко развитая теория Ф. В ней устанавливаются относительные варианты структурной теории редуктивных групп над алгебраически замкнутым полем: k-корни, k-группа Вейля, разложение Брюа над . и т. п.; при этом роль максимальных торов играют максимальные k-разложимые торы, а роль борелевских подгрупп - минимальные k-параболич. подгруппы [1, 2, 6, 7]. Эта теория позволяет свести вопрос о классификации Ф. к классификации анизотропных над kредуктивных групп (см. Анизотропная группа, Анизотропное ядро);вопрос о классификации последних существенно зависит от свойств поля k. Если а то описание Ф. полупростых алгебраич. групп - это описание вещественных Ф. комплексных полупростых алгебраич. групп (см. Комплексификация группы Ли).

Лит.:[1] Борель А., Линейные алгебраические группы, пер. с англ., М., 1972; [2] Xамфри Д ж., Линейные алгебраические группы, пер. с англ., М., 1980; [3] Серр Ж. - II., Когомологий Галуа, пер. с франц., М., 1068; [4] его же, Алгебраические группы и поля классов, пер. с франц., М., 1968; [5] Воскресенский В. Е., Алгебраические торы, М., 1977; [6] Борель А., Титc Ж., лМатематика