Алгебраическая группа преобразований
Алгебраи́ческая гру́ппа преобразова́ний, алгебраическая группа , действующая регулярно на алгебраическом многообразии . Точнее, алгебраическая группа преобразований есть тройка , где – морфизм алгебраических многообразий, удовлетворяющий условиям: , для всех и , ( – единица группы ). Если , и определены над полем , то называется алгебраической группой -преобразований. Например, , где – присоединённое действие или действие посредством сдвигов, является алгебраической группой преобразований. Если – алгебраическая подгруппа в , – её естественное действие в аффинном пространстве , то – алгебраическая группа преобразований. Для всякой точки через обозначается орбита точки , а через – стабилизатор точки . Орбита не обязательно замкнута в , но всегда существуют замкнутые орбиты, например замкнутые орбиты минимальной размерности. Иногда под алгебраической группой преобразований понимается алгебраическая группа , действующая рационально (но не обязательно регулярно) на алгебраическом многообразии (это значит, что – рациональное отображение, а выписанные выше свойства выполнены для общих точек). Как показал А. Вейль (A. Weil. 1955), всегда существует многообразие , бирационально изоморфное и такое, что действие на , индуцированное рациональным действием на , регулярно. Задачи описания орбит, стабилизаторов, полей инвариантных рациональных функций (см. Теория инвариантов) и построения фактормногообразий являются основными в теории алгебраических групп преобразований и имеют многочисленные применения.