О максимальных подгруппах полной линейной группы над полем рациональных функций

Автор: Джусоева Нонна Анатольевна, Дзигоева Валентина Созрыкоевна, Койбаев Владимир Амурханович

Журнал: Владикавказский математический журнал @vmj-ru

Статья в выпуске: 4 т.12, 2010 года.

Бесплатный доступ

Строится класс максимальных подгрупп полной линейной группы $G = \mathrm{GL}(n,k(x))$ степени~$n$ над полем рациональных функций $\Omega = k(x)$ с коэффициентами из поля~$k$ нечетной характеристики, содержащих нерасщепимый максимальный тор $T=T(\varphi)$, связанный с радикальным расширением $K=\Omega(\sqrt[n]{\varphi})$ степени~$n$ основного поля $\Omega = k(x)$, где $\varphi$~—- неприводимый многочлен в $k[x]$.

Промежуточные подгруппы, максимальные подгруппы, нерасщепимый максимальный тор, трансвекция.

Короткий адрес: https://sciup.org/14318320

IDR: 14318320

Текст научной статьи О максимальных подгруппах полной линейной группы над полем рациональных функций

Настоящая статья посвящена построению класса максимальных подгрупп полной линейной группы G = GL(n, k(x)) степени n над полем рациональных функций fi = k(x) , с коэффициентами из поля k нечетной характеристики, содержащих нерасщепимый максимальный тор T = T (у) , связанный с радикальным расширением K = fi( n/у) степени n основного поля fi = k(x) , где у — неприводимый многочлен в k[x] .

Сформулируем основной результат работы. Элементы матриц тора T = T(у) порождают некоторое подкольцо R(у) поля k(x) . Пусть R v — подкольцо у -целых дробей рациональных функций (т. е. рациональных функций, у которых знаменатели свободны от у ). Тогда R(у) С R ^ . Через оу обозначим сеть, у которой выше главной диагонали стоит идеал уR ^ , а на главной диагонали и ниже — R ^ . Далее, G(a ^ ) — сетевая группа [1].

Теорема. Для произвольного неприводимого многочлена у группа TG(a y ) является максимальной подгруппой полной линейной группы G = GL(n,k(x)) , не содержащей SL(n, k(x)) .

С каждым вектором x = (x i , X 2 ,...,x n ) fi n \ 0 связана невырожденная матрица C (x) , элементы которой вычисляются по формулам

(C (x)) j =

{xi+1-j, уxn+i+1— j,

j 6 i;

j i + 1.

С каждой матрицей C = C (x) = (c ij ) связана обратная матрица C - 1 = C (y) = (c ij ) , y = (y i ,... ,y n ) fi n , где y i = icC^Xjj , причем C ii — алгебраическое дополнение элемента c i i матрицы C = C (x) .

В работе рассматривается унитальное подкольцо R(у) поля fi , порожденное элементами x i y j , ϕx r y s :

R(у) = (x i y j , уx r y s : i + j 6 n + 1, r + s > n + 1, x fi n \ 0^ ring , (c) 2010 Джусоева Н. А., Дзигоева В. С., Койбаев В. А.

О максимальных подгруппах полной линейной группы

t n у — неприводимый многочлен степени n над полем Q [2]. Тогда e i = 9г - 1 , 1 6 i 6 n, образует базис радикального расширения K = Q( ^/у) , 9 = n^. поля K = Q(9) над Q . Мы рассматриваем нерасщепимый максимальный тор T = T (у) , который является образом мультипликативной группы поля K = Q( -n/у ) при регулярном вложении в G = GL(n,k). В выбранном базисе тор T = T (у) определяется как матричная группа

T = т(у) = { C(x) : x g Q n \ 0 } .

С промежуточной подгруппой H , T 6 H 6 G , содержащей трансвекцию, связаны модули трансвекций ( i = j )

Aij = Aij(H) = {a G Q : tj (a) G H, i = j} и их кольца множителей

R i3 = R i,- (H ) = R i3 (A i3 ) = { A G Q : AA j C A ij } .

Очевидно, что A ij являются подгруппами аддитивной группы Q поля Q (R ij -модули). Положим A i = A ii , 2 6 i 6 n Тогда [3, лемма 2.7.1] справедлива формула

A ij =

A i+1 - j 1       j < i;

yA n+i+1- j 1 j i + 1

Положим A i = yA n и рассмотрим сеть a = (a ij ) = a(A i , A 2 ,..., A n ) , которую мы называем сетью, ассоциированной с подгруппой H .

Элементы матриц тора T = T (у) порождают подкольцо R(y) поля Q . Пусть R — промежуточное подкольцо, R(y) C R C Q . Через ct r обозначим сеть, у которой на главной диагонали и выше стоит идеал ϕR , а ниже диагонали — R , а через σ R — сеть, у которой на главной диагонали и ниже стоит R , а выше — yR . Пусть, далее, E ( ct r ) — подгруппа, порожденная всеми трансвекциями из сетевой группы G ( ct r ).

Доказательство нашей теоремы основано на следующей лемме.

Лемма [4, теорема 1] . Пусть H — подгруппа полной линейной группы G = GL(n, Q) , содержащая нерасщепимый максимальный тор T = T (у) . Предположим, что сеть a , ассоциированная с подгруппой H , совпадает с сетью ct r . Тогда произведение TE ( ct r ) является группой и справедливы включения

TE (aR) 6 H 6 N (ctr), где N(aR) = NG(E(aR)) — нормализатор элементарной подгруппы E(aR) в группе G = GL(n, k). Для нормализатора N(aR) справедливо равенство

N (a R ) = TG(a R ).

Список литературы О максимальных подгруппах полной линейной группы над полем рациональных функций

  • Боревич З. И. Описание подгрупп полной линейной группы, содержащих группу диагональных матриц//Зап. науч. семинаров ЛОМИ РАН.-1976.-Т. 64.-C. 12-29.
  • Боревич З. И., Шафаревич И. Р. Теория чисел. 3-е изд.-М.: Наука, 1985.-503 c.
  • Койбаев В. А. Подгруппы группы $\mathrm{GL}(2,k),$ содержащие нерасщепимый тор.-Владикавказ: ВНЦ РАН, 2009.-183 c.-(Итоги науки. ЮФО. Сер. мат. моногр.)
  • Койбаев В. А., Шилов А. В. О подгруппах полной линейной группы, содержащих нерасщепимый максимальный тор//Зап. науч. семинаров ЛОМИ.-2010.-Т. 375.-C. 130-139.
Статья научная