Об извлечении трансвекций в надгруппах нерасщепимого максимального тора
Автор: Джусоева Нонна Анатольевна
Журнал: Владикавказский математический журнал @vmj-ru
Статья в выпуске: 1 т.15, 2013 года.
Бесплатный доступ
Устанавливается, что $TE(\sigma_A)$, где $E(\sigma_A)$ - подгруппа, порожденная всеми трансвекциями из сетевой группы, является группой. Кроме того, доказывается, что эта группа порождается тором и корневыми подгруппами позиции первого столбца элементарной группы $E(\sigma_A)$.
Надгруппы, промежуточные подгруппы, элементарная группа, нерасщепимый максимальный тор, трансвекция
Короткий адрес: https://sciup.org/14318405
IDR: 14318405
Текст научной статьи Об извлечении трансвекций в надгруппах нерасщепимого максимального тора
Данная работа примыкает к направлению, связанному с описанием подгрупп полной линейной группы над полем, содержащих тор. Наиболее значительные результаты в этом направлении были получены в работах З. И. Боревича, Н. А. Вавилова и их учеников. Настоящая статья продолжает работы З. И. Боревича и В. А. Койбаева и посвящена исследованию трансвекций в подгруппах полной линейной группы GL(n, к) степени n над полем k , содержащих нерасщепимый максимальный тор, связанный с радикальным расширением к( n d) степени n основного поля к нечетной характеристики.
Мы предполагаем, что рассматриваемые подгруппы содержат одномерное преобразование, а потому в силу [4] все такие подгруппы содержат элементарные трансвекции на всех позициях (для радикального расширения поля k ).
Сформулируем основной результат работы. Элементы матриц тора T = T (d) порождают некоторое подкольцо R(d) (см. [3]) поля к. Пусть R — промежуточное подкольцо, R(d) С R С к, d Е R, A — идеал кольца R. Через ст а обозначим сеть, у которой на главной диагонали и выше стоит идеал dA, а ниже диагонали — A. Пусть, далее, E ( ст а ) — подгруппа, порожденная всеми (общими) трансвекциями из сетевой группы G ( ct а ).
Теорема. Произведение TE ( ст а ) является группой, причем эта группа порождается тором T и корневыми подгруппами:
TE ( ct ) = h T,t ii (A) : 2 6 i 6 n ) .
Более точно, всякая трансвекция из E(ct) имеет вид ct2i(a2)tai(aa).. .tni(an)c-1
для некоторых c ∈ T , α i ∈ A.
В работе приняты следующие обозначения: e — единичная матрица порядка n; eij — матрица, у которой на позиции (i,j) стоит 1 G k, а на остальных местах нули; tij (£) = e + ^eij — элементарная трансвекция £ G k*, i = j; трансвекция — это матрица n вида (5ij + aiej), где 52 aiei = 0 (5j — символ Кронекера); [x, y] = xyx-1 y-1 — ком-i=1
мутатор элементов x, y (соответственно [X, Y] — коммутант); через (S ) ij обозначается элемент s ij матрицы S = (s ij ), стоящий на позиции (i, j); s ij — элементы обратной матрицы S - 1 = (s ij ); с каждым вектором x = (x i , X 2 ,..., x n ) G k n \ 0 связана невырожденная матрица C (x), элементы которой вычисляются по формулам
<г*гж^ = Jxi +1 - j, j 6 i;
1C (x); ij |dx n+i+1-j , j > i + 1.
С каждой матрицей C = C (x) = (c ij ) связана обратная матрица C - 1 = C (y) = (c 0 j ), y = (y 1 , ...,y n ) G k n , где y i = iCC^ ) | , причем Cn — алгебраическое дополнение элемента c 1 i матрицы C = C (x).
В работе рассматривается унитальное подкольцо R q = R(d) поля k, порожденное элементами x i y j , dx r y s ,
R q = R(d) = xxy j j, dx r y s : i + j 6 n + 1, r + s > n + 1, x G k n \ 0^>.
На протяжении всей статьи R — промежуточное подкольцо, R q С R С k, d G R.
-
2. Элементарная сетевая группа
Пусть x n — d — неприводимый многочлен степени n над полем k, d G k. Тогда e i = 9г - 1 , 1 6 i 6 n, образует базис радикального расширения K = k( n d), 9 = n d, поля K = k(9) над k. Мы рассматриваем нерасщепимый максимальный тор T = T (d), который является образом мультипликативной группы поля K = k( n d) при регулярном вложении в G = GL(n, k). В выбранном базисе тор T = T (d) определяется как матричная группа
T = T (d) = { C(x) : x G k n \ 0 } .
Пусть R — унитальное подкольцо поля k, содержащее кольцо R q = R(^), d G R. Пусть, далее, A — идеал кольца R, причем через σ A обозначим сеть, у которой на главной диагонали и выше стоит идеал dA, а ниже диагонали — A. Пусть, далее, E(a A ) — подгруппа, порожденная всеми (общими) трансвекциями из сетевой группы G(a a ) [1]. Подгруппу E(a A ) мы называем элементарной сетевой подгруппой, соответствующей сети σ A .
Лемма 1 [2, предложение 2] . Справедливы следующие два утверждения:
-
(1) для любых a, в G k n \ 0 найдется x G k n \ 0 такой, что C (x)a = в;
-
(2) если a G k n — произвольная строка (столбец), то для любого i, 1 6 i 6 n, найдется x G k n такой, что i-я строка (столбец) матрицы C (x) совпадает с a.
-
3. Сеть, ассоциированная с промежуточной подгруппой
Лемма 2 [3, теорема 2.7.7] . Тор T нормализует группы G(a) и E(а). Следовательно, TG(a) и TE(a) — промежуточные подгруппы, содержащие тор T.
Лемма 3 [4, лемма 3] . Пусть b = (6 ij + a i e j ) — трансвекция из TG(a). Тогда a i e j G σ ij .
C Доказательство теоремы. Пусть b = (5ij + aijeij) — трансвекция из TE(а). Согласно лемме 3 имеем b G E(а). Далее, согласно лемме 1 для некоторой матрицы c G T матрица c-1bc отличается от единичной только первым столбцом, с другой стороны по лемме 2 c-1 bc E G(a). Следовательно, матрица c-1 bc E G(a) (а потому и матрица b) принадлежит правой части доказываемого равенства. B
С промежуточной подгруппой H, T 6 H 6 G , содержащей трансвекцию, связаны модули трансвекций (i = j )
Aij = Aij(H) = {a E k : tj(a) E H, i = j} и их кольца множителей
R ij = R ij (H) = R ij (A ij ) = { A E k : XA j C A ij } .
Очевидно, что A ij являются подгруппами аддитивной группы k + поля k ( R ij -модули). Положим A i = A ii , 2 6 i 6 n. Тогда [3, лемма 2.7.1] справедлива формула
A ij = JAi +1 - j ’ j < i ;
-
[^ dA n+i+1- j , j > i + 1 -
- Будем предполагать, далее, что все кольца Rij совпадают между собой и равны кольцу R, Ai — целые идеалы кольца R, d ∈ R, R ⊇ R0 . Будем предполагать также, что
- A = A2 = A3 = - - - = An -
- Положим A1 = dA и рассмотрим сеть a = (ста) = a(Ai, A2,---, An), которую мы называем сетью ассоциированной с подгруппой H .
Из теоремы вытекает следующее утверждение.
Предложение 1. Группа TE ( ст а ) содержится в группе H .
Рассмотрим матрицу
1 |
0 |
0 - |
-- 0 |
||
λ 2 |
1 |
0 - |
-- 0 |
||
а = |
λ 3 |
0 |
1 - |
-- 0 |
|
^ |
... λ n |
... 0 |
... . 0 - |
.. -- 1 |
Предложение 2 [4, лемма 4] . Если матрица a содержится в группе H, то λ i A 2 ⊆ A i +1 для всех i, 2 6 i 6 n — 1, и dX n A n C A n- 1 .
Лемма 4. Если матрица а содержится в группе H, то X i E R для всех i, 2 6 i 6 n — 1, и dX n E R. Далее, если A = R, то X i E R для всех i, 2 6 i 6 n.
C Если n = 2, то X 2 E A E R. Если же n > 3, то из предложения 2 следует, что X i E R для всех i, 2 6 i 6 n — 1. Далее, dX n A C A, откуда dX n E R. Если при этом A = R, то по доказанному t ii (X i ) E H для 2 6 i 6 n — 1. Умножая матрицу а на tn ( — X i ), мы получим матрицу t n1 (X n ) E H , откуда X n E R. B
Список литературы Об извлечении трансвекций в надгруппах нерасщепимого максимального тора
- Боревич З. И. Описание подгрупп полной линейной группы, содержащих группу диагональных матриц//Зап. науч. семин. ПОМИ РАН.-1976.-Т. 64.-С. 12-29.
- Трансвекции в подгруппах полной линейной группы, содержащих нерасщепимый максимальный тор//Алгебра и анализ.-2009.-Т. 21, № 5.-С. 70-86.
- Койбаев В. А. Подгруппы группы $\mathrm{GL}(2,k),$ содержащие нерасщепимый тор.-Владикавказ: ВНЦ РАН и РСО-А, 2009.-183 с.-(Итоги науки. ЮФО. Сер. мат. моногр.).
- Койбаев В. А., Шилов А. В. О подгруппах полной линейной группы, содержащих нерасщепимый максимальный тор//Зап. науч. семин. ПОМИ РАН.-2010.-Т. 375.-С. 130-139.