Теорема Гильберта об инвариантах
Теоре́ма Ги́льберта об инвариа́нтах, теорема, устанавливающая конечнопорождённость алгебры всех многочленов на комплексном векторном пространстве форм степени от переменных, инвариантных относительно действия полной линейной группы , определяемого линейными заменами этих переменных. Первое доказательство теоремы, использующее теорему Гильберта о базисе и формальные процессы теории инвариантов, дано в работе Гильберта (см. Hilbert. 1890). Д. Гильберт (Hilbert. 1893) конструктивно доказал эту теорему и получил оценку сверху для степеней образующих указанной алгебры инвариантов (что в принципе даёт возможность их выписать явно).
Теорема Гильберта является первой основной теоремой теории инвариантов для -й симметрической степени стандартного представления . Доказательство теоремы Гильберта стимулировало постановку вопроса о конечнопорождённости алгебр инвариантов для подгрупп группы , а также постановку 14-й проблемы Гильберта. Используя теорию интегрирования на группах, Г. Вейль доказал конечнопорождённость алгебры инвариантов для любых конечномерных представлений компактных групп Ли и комплексных полупростых групп Ли (см. Вейль. 1947).
Теоремой Гильберта принято называть также следующее её обобщение: если – алгебра конечного типа над полем , – геометрически редуктивная группа её -автоморфизмов и – подалгебра всех -инвариантных элементов в , то также имеет конечный тип над (см. Mumford. 1965; Nagata. 1964).