Конечная групповая схема
Коне́чная группова́я схе́ма, групповая схема, конечная и плоская над базисной схемой. Если – конечная групповая схема над схемой , то , где – конечный плоский квазикогерентный пучок алгебр над . В дальнейшем предполагается, что локально нётерова. В этом случае пучок является локально свободным. Если связна, то ранг алгебры над полем вычетов точки не зависит от и называется рангом конечной групповой схемы. Пусть морфизм –схем, отображающий элемент в элемент для любой –схемы Морфизм является нулевым, если ранг делит и – приведённая схема или – коммутативная конечная групповая схема. Конечная групповая схема ранга , где – простое число, коммутативна (Тэйт. 1972).
Если – подгруппа коммутативной конечной групповой схемы , то определяется конечная групповая схема , причём ранг схемы равен произведению рангов схем и .
Примеры. 1) Пусть – мультипликативная групповая схема (соответственно абелева схема над ); тогда является конечной групповой схемой ранга (соответственно ). 2) Пусть – схема над простым полем и – гомоморфизм Фробениуса аддитивной групповой схемы . Тогда является конечной групповой схемой ранга . 3) Для любой конечной абстрактной группы порядка постоянная групповая схема является конечной групповой схемой ранга .
Классификация конечных групповых схем над произвольными базами проведена только для случая, когда ранг схемы есть простое число (Тэйт, Оорт. 1973). Хорошо изучен случай, когда – коммутативная конечная групповая схема, a – спектр поля характеристики (см. Μанин. 1963; Demazuге. 1970; Кгaft. 1975).