Трансвекции в надгруппах нерасщепимого тора

Владикавказский математический журнал 2009, Том 11, выпуск 4, С. 22-31

УДК 519.46

ТРАНСВЕКЦИИ В НАДГРУППАХ НЕРАСЩЕПИМОГО ТОРА В. А. Койбаев, А. В. Шилов

Исследуются промежуточные подгруппы полной линейной группы ОЬ(п, к) степени п над произвольным полем к, содержащие нерасщепимый максимальный тор, связанный с расширением степени п основного поля к. Доказывается, что если надгруппа нерасщепимого максимального тора содержит одномерное преобразование, то она содержит элементарные трансвекции по крайней мере в двух позициях любой строки и любого столбца.

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

§ 1. Введение

Настоящая статья продолжает работу первого автора [8] и посвящена исследованию промежуточных подгрупп полной линейной группы ОЬ(п, к) степени п над произвольным полем к, содержащих нерасщепимый максимальный тор, связанный с расширением степени п основного поля к. Доказывается, что если надгруппа нерасщепимого максимального тора содержит одномерное преобразование, то она содержит элементарные трансвекции по крайней мере в двух позициях любой строки и любого столбца. Мы доказываем также, что если расширение основного поля к является простым, то надгруппа нерасщепимого максимального тора, содержащая одномерное преобразование, содержит элементарные трансвекции на всех позициях.

К настоящему времени полное описание надгрупп нерасщепимого тора получено лишь для некоторых специальных полей таких, как конечные или локальные. Для конечных полей это работы У. Кантора [13], Г. Зейтца [15, 16] и Р. Дая [10-12], в которых получены окончательные результаты для полей (характеристики, не равной 2 и 3), содержащих не менее 13 элементов. Важные результаты о надгруппах нерасщепимого тора для локальных и глобальных полей получены В. П. Платоновым [14]. В случае поля вещественных чисел Ж надгруппы максимального тора замкнуты в вещественной топологии и, в частности, имеется только конечное число промежуточных подгрупп [9, 14].

В отличие от конечных полей, в случае бесконечных полей расположение надгрупп нерасщепимого тора определяется некоторым классом подколец основного поля (см. [1, 2, 5-7]). А именно, определяется некоторое наименьшее кольцо Ко основного поля к так, что расположение всякой подгруппы, содержащей нерасщепимый тор, фиксируется элементарной сетевой группой, построенной (сетью идеалов) над промежуточным кольцом К, Ко ^ К ^ к.

Для более подробного ознакомления с результатами данного направления мы рекомендуем обзоры [3, 4].

© 2009 Койбаев В. А., Шилов А. В.

Ввиду сложности решения задачи описания надгрупп нерасщепимого тора, естественным первым шагом было бы рассмотрение класса надгрупп нерасщепимого тора, содержащих одномерное преобразование. Исследованию этого класса подгрупп посвящена настоящая работа.

Сформулируем основные результаты статьи (заметим, что теорема 1 доказана в [8], однако, здесь мы предлагаем несколько другое доказательство). Пусть К — конечное расширение степени n поля к нечетной характеристики. Пусть, далее, T = T(К/к) — нерасщепимый максимальный тор, соответствующий расширению К/к.

Теорема 1 [8, теорема 1]. Пусть H — промежуточная подгруппа, T ^ H ^ GL(n, к), содержащая одномерное преобразование. Тогда для любых i, j найдутся r, s так, что элементарные трансвекции tir (£), tsj (( ) содержатся в группе H для некоторых ненулевых элементов £, ( поля к.

Теорема 2. Пусть К — простое расширение степени n бесконечного поля к нечетной характеристики; H — промежуточная подгруппа, T ^ H ^ GL(n^), содержащая одномерное преобразование. Тогда для любых i, j, i = j, элементарная трансвекция tij(£) содержится в подгруппе H для некоторого ненулевого элемента £ поля к.

В работе приняты следующие обозначения:

К — расширение степени n поля к нечетной характеристики;

ei, в2,... ,en — базис поля К над к;

fi, f2,   , fn — к-линейные функционалы (дуальный базис сопряженного пространства V*, V = К), действующие из поля К в поле к, связанные с базисом ei,e2,    ,en следующим образом: fi(ej) = ôij, i,j = 1,... ,n;

f = fi;

E = En — единичная матрица порядка n;

Eij — матрица, у которой на позиции (i, j) стоит 1 G к, а на остальных местах нули;

tij(£) = E + £Eij — элементарная трансвекция, £ G к, £ = 0, i = j;

ôij — символ Кронекера.

§ 2. Некоторые свойства промежуточных подгрупп

Рассмотрим регулярное вложение мультипликативной группы К * поля К в группу всех к-линейных автоморфизмов

К — Аи^(К), г(х) = гх, х е К. г £

Образ группы К * при этом вложении обозначается через Т = Т (К/к) и называется нерасщепимым максимальным тором, соответствующим расширению К/к. С точки зрения теории алгебраических групп эта группа является примером минизотропного тора.

Далее, под одномерным преобразованием мы понимаем отображение вида 1 + г • р, где г е К, р — ненулевой к-линейный функционал, причем р(г) = —1. В этом случае преобразование является обратимым. Отображение 1 + г • р действует следующим образом: (1 + г • р)(х) = х + г • р(х), х е К. Одномерное преобразование 1 + г • р называется общей трансвекцией (или просто трансвекцией), если р(г) = 0.

При фиксированном базисе в\,... ,еп поля К над к группа АиЬк(К) изоморфна полной линейной группе ОЬ(н, к). При этом изоморфизме тору Т = Т(К/к) будет соответствовать некоторая матричная подгруппа в ОЬ(н, к), которую мы также будем называть

нерасщепимым максимальным тором и обозначать через Т. Матрицу из ОЬ(п, к), соответствующую элементу будем обозначать через С(г). Таким образом, под тором Т мы будем понимать подгруппу

Т = {С(ж) : ж £ кп \ 0}

полной линейной группы О = ОЬ(п, к).

Найдем матрицу из ОЬ(п,к), которая соответствует одномерному преобразованию

1 + г  <. Пусть г = а1б1 + а2б2 +-----+ ап<(е1) = въ <(е2) = в2, • • •, <(0 = вп,

аг,вг £ к. Положим а = (а1; а2, • • •, ап)Т, в = (въ в2, • • •, вп)Т. Тогда одномерному преобразованию 1 + г  < соответствует матрица

/ а: \ / 1 + а:в1 а^2 • • • а:вп \

Е + а  в Т = Е +

а2

ап

в1 в2 • • • вп =

а2в1 1 + а2в2 • • • а2вп

\ апв1 апв2 ••• 1 + апвп /

При этом <(г) = а1в1 + а2в2 +    + апвп = —1. В том случае, когда г = £ет, < = /5, £ £ к*, 5 = т, трансвекции 1 + г  < = 1 + £ет  / будет соответствовать элементарная трансвекция ¿То5(£).

Предложение 1. Пусть ф —ненулевые к-линейные функционалы; тогда найдется г £ К, г = 0, такой, что <  г = ф.

< Заметим, что для произвольного к-линейного функционала < и для г £ К композиция <  г также является к-линейным функционалом. Для базиса в1, • • •, еп поля К над к функционалы <  е1,•• •, <  еп являются базисом линейного пространства всех к-линейных функционалов. Поэтому произвольный функционал ф можно получить с помощью линейной комбинации ф = А1<  е1 +    + Ап<  еп = <  е, где г = А1 е1 +    + Апеп. >

Предложение 2. Пусть г — фиксированный индекс, 1 ^ г ^ п, г £ К*. Положим Ь = (в1, • • •, вг_1, вг+1, • • •, еп) — к-линейное подпространство, порожденное базисными элементами в1, • • •, вг_1, е»+1, • • •, еп. Если для любого 1 ^ ] ^ п, ^ = г, выполняется включение ге- £ Ь, то г £ к.

< Рассмотрим линейный функционал /г  г. Из условия ге/ £ Ь следует, что этот функционал имеет ядро Ь, также как и функционал /¿, поэтому они отличаются лишь множителем из поля к: /  е = А/г. Откуда /г  (г — А = 0, следовательно, г — А = 0, поэтому г = А £ к. >

При переходе к ОЬ(п, к) предложение 2 принимает следующий вид.

Предложение 2'. Если все элементы (кроме диагонального) какой-либо строки матрицы С (г) равны нулю, то С (г) — скалярная матрица.

Аналогичное утверждение справедливо для столбцов матрицы С (г): если все элементы (кроме диагонального) какого-либо столбца матрицы С (г) равны нулю, то С (г) — скалярная матрица. Действительно, пусть все элементы (кроме диагонального) г-го столбца равны нулю. Тогда, так как элементы г-го столбца являются коэффициентами разложения элемента ге^ по базису в1, • • •, еп, то ге^ = Авг, откуда г = А £ к. А если г £ к, то С (г) = гЕ — скалярная матрица.

Предложение 3. Пусть трансвекция 1+ содержится в промежуточной подгруппе Н : Т ^ Н ^ Аи^(К). Тогда для всякого г, 1 ^ г ^ п, найдется такой элемент а £ К, что трансвекция 1 + а/г содержится в Н.

< Из предложения 1 следует, что найдется г £ К, для которого <  е = /¿. Тогда

ее-1  (1 + г<)  ее = 1 + а  /г, где а = >

В дальнейшем, через / мы будем обозначать функционал /1, / = /1. Таким образом, можно считать, что если промежуточная подгруппа Н содержит произвольную транс-векцию, то Н содержит и трансвекцию 1 + г • /. Обозначим

А(Н) = {а е К : 1 + а • / е Н, /(а) = 0}

— модуль трансвекций. Заметим, что если а, Ь содержатся в А(Н), то сумма а + Ь и противоположный элемент (—а) также содержатся в А(Н).

Предложение 4. Пусть трансвекция 1+г•/ содержится в промежуточной подгруппе Н, Т ^ Н ^ АиЬк (К). Если для отображения в е Н выполняется равенство / • в = /, то элемент г — в (г) е А(Н).

< Рассмотрим коммутатор [1 + г • /,в] = (1 + г • /)в(1 — г • /)в-1 = (в + г • /)(в-1 — г • /) = 1 + (г — в(г)) • / е Н. При этом /(г — в(г)) = /(г) — /в(г) = /(г) — /(г) = 0. Следовательно, г — в(г) е А(Н). >

Предложение 5. Пусть г е А(Н), г е К*; тогда отображение в = (г-1 — /(г-1г)) • (1 + г • /) • г удовлетворяет условиям предложения 4, т. е. в е Н и / • в = /.

< Так как Н ^ Т, то для доказательства того, что в е Н, достаточно проверить, что г-1 — /(г-1 г) = 0. Действительно, в противном случае получаем, что г-1 = /(г-1 г) е к. Тогда г-1 = г-1 /(г) = г-1 • 0 = 0. Докажем, что / • в = /. Имеем

в = 1 + г-1г • / • г — /

Откуда

/ • в = / + /(г-1г) • / • г — /(г-1г) • / • г — /(г-1г)/(г) • / • г = /. >

Предложение 6. Пусть трансвекция 1 + г • / содержится в подгруппе Н, Т ^ Н ^ АиЬк(К). Тогда А(Н) содержит следующие элементы:

2 [г-1/

< Из предложений 4 и 5 следует, что А

в(г) — г = г-1г/(гг) — / {г-1 г) гг — / {г-1г) г/(гг), в(—г) — (—г) = г-1г/(гг) — / {г-1г) гг + / {г-1г) г/(гг).

Складывая и вычитая два последних равенства, получим, что А(Н) содержит искомые элементы. >

Положим { )

Ь

Таким образом, мы получили, что если г е А(Н), то

2Ь

Замечание 1. Если степень расширения (К : к) ^ 3, то найдется элемент а е К, который не содержится в квадратичном расширении поля к. Действительно, если х,у е К и (х,к), (у, к) — квадратичные расширения поля к, причем у е К\(х,к), то элемент а = х ± у не содержится в квадратичном расширении поля к.

Лемма 1. Пусть степень расширения п = (К : к) ^ 3. Рассмотрим преобразование Ь : К ^ К,

Ь(г) = ф(г)г-1 — £ф {г-1) г,

где ф — ненулевой линейный функционал, £ е к.

Тогда существует г е К такое, что Ь(г) е к.

< Для произвольного элемента г е К существует неприводимый многочлен р(х) е к[х] такой, что р(г) = 0. Обозначим degг = degр(х).

Пусть элемент г е К такой, что degг ^ 3 и ф(г) = 0. Очевидно, что тогда Ь(г) е к. Покажем, что такой элемент г существует. Действительно, если таких г не существует, то должно выполняться следующее включение:

{г : degг ^ 3} С {г : ф(г) = 0}.

Множество {г : degг ^ 3} = К\({г : degг = 1} и {г : degг = 2^ = К\(к и М), где М = {г : degг = 2}. Множество {г : ф(г) = 0} есть ядро функционала ф. Обозначим его через V. Таким образом, получаем включение К \ (к и М) С V.

Воспользуемся следующим свойством для произвольных множеств А, В и С: А\В С С & А С (В и С). Тогда получим, что К С (к и М) и V или К = V и (к и М).

Далее, обозначим М1 = (к и М) \ V; тогда из последнего равенства следует, что К = V и М'. Покажем, что это невозможно. Рассмотрим два случая.

1. Пусть М' не содержит 3 линейно независимых вектора, тогда размерность линейной оболочки Ь(М') не превосходит 2. Из равенства К = V и М' следует, что К = V и Ь(М'). Но тогда мы получаем, что линейное пространство можно представить в виде объединения двух собственных подпространств, а это не верно.

2. Пусть М' содержит 3 линейно независимых вектора. Обозначим их через П1, щ, из. Если один из П1, П2, из принадлежит полю к (например, щ), то тогда щ, из не принадлежат полю к, следовательно, и2,из е М, причем и,2 (к,из). Тогда, согласно замечанию 1, щ ± из е (М и к). Поэтому щ ± из е V, откуда следует, что и2,из е V, а это противоречит условию и1, щ, из е М' = (к и М) \ V.

Пусть все три элемента иц, и,2, из не принадлежат полю к, следовательно, щ,щ,из е М. Найдется такой и8 е {и,2, из}, что и8 е (к, щ). Тогда, согласно замечанию 1, и,1 ± и8 е (М и к). Как было показано выше, это противоречит условию и1,и2,из е М' = (к и М) \ V. >

Для доказательства следующего следствия надо воспользоваться леммой 1, положив (см. (3)) £ = 1,ф = / • г.

Следствие 1. Для определенного выше элемента Ь(г, г) = /(гг)г-1 — /(г-1г)г существует такой элемент г е К, что Ь(г, г) е к.

§ 3. Подгруппа с одномерным преобразованием содержит трансвекцию

В этом параграфе мы покажем, что если промежуточная подгруппа Н, Т ^ Н ^ АиЬк(К), содержит одномерное преобразование, то она содержит трансвекцию.

Пусть Н содержит одномерное преобразование 1 + г • /, /(г) = —1, /(г) = 0.

Предложение 7. Пусть для отображения в е Н выполняются следующие свойства:

1./• в = /; 2. г = в(г).

Тогда Н содержит трансвекцию.

< Рассмотрим коммутатор [1 + г  /, 5] = (1 + г  /)5 — 1+Щ(^ г  /) 5 1 = 1 + (г — 1+/(*) —  /. Данное отображение является трансвекцией. Действительно,

/ (г — Щ) — Щ)) = /(г) — Щ) — ьЩ? = 0. Заметим, что элемент г — Щу —

= 0, так как г = 5(г). >

Предложение 8. Пусть промежуточная подгруппа Н содержит одномерное преобразование 1 + г  /, тогда Н содержит трансвекцию.

< В силу предложения 7 достаточно указать пример отображения 5, удовлетворяющего условиям этого предложения. В качестве такого отображения возьмем з = — 4+7(?)) (1 + г  /г £ К*. Проверим для 5 выполнение условий предложения 7. Равенство /  5 = / проверяется непосредственно. Далее, 5(г) — г = г г-1/(гг) — ^ г — ". Положим ф = /  ¿, £ = . Согласно лемме 1

найдется г £ К, для которого г-1 ф(г) — £ф(г-1г)г £ к. Для данного г выражение г-1/(гг) — 1+1 (¿) /(г-1г)г не принадлежит полю к, следовательно, выражение в квад-

ратных скобках Поэтому 5 (г) = г. >

г /(гг) — 1+д^) г — 4 1+/(^) £ к, в частности, оно не равно нулю.

§ 4. Техника извлечения элементарных трансвекций

В этом параграфе мы строим технику извлечения элементарных трансвекций в промежуточных подгруппах Н, Т ^ Н ^ О, содержащих одномерное преобразование. Согласно § 3 можно считать, что промежуточная подгруппа Н содержит общую трансвекцию. Далее, согласно предложению 3 в качестве трансвекции мы можем взять 1 + г/.

Предложение 9. Пусть г £ А(Н), если для некоторого т, т ^ 2, / (^ет1) = 0 (или, что то же самое, г2ет1 не содержится в к-подпространстве Ь = (е2, • • •, еп)). Тогда Н содержит трансвекцию 1 + £ет/ для некоторого £ £ к*, матрица которой в выбранном базисе совпадает с гт1(£).

< Положим г = гет1. Тогда, так как /(ет) = 0, то из (3) следует, что А(Н) содержит элемент 6(г, г)г = /-1г — /(г-1г)гг = /(г2ет1)ет = £ет, £ = /(г2ет1) = 0. Таким образом, Н содержит (коэффициент 2 мы опускаем) трансвекцию 1 + £ет/. >

Предложение 10. Пусть промежуточная подгруппа Н содержит трансвекцию 1+г/, / (г) = 0, т ^ 2. Если один из элементов

г2ет1, б(г,г)г2ет1, ь2(г,г)г2ет1

не содержится в к-подпространстве Ь = (е2, • • •, еп), то Н содержит трансвекцию 1+£ет/, £ £ к*.

< Из предложения 6 следует, что 6(г,г)г содержится в А(Н). Поэтому согласно предложению 9, если один из элементов г2ет1, Ь2(г, г)г2ет1 не содержится в Ь, то Н содержит трансвекцию 1 + £ет  /.

Пусть теперь г)г2ет1 не содержится в Ь, а г2ет1, Ь2(г,г)г2ет1 содержатся в Ь. Рассмотрим элемент (г + г)г)2ет1. Так как г и 6(г,г)г £ А(Н), то их сумма г + г)г £ А(Н). Далее, этот элемент не содержится в подпространстве Ь. Действительно, в противном случае получим, что (г2 + 26(г, г)г2 + 62(г,г)г2) е^1 £ Ь, а так как г2ет1,

Ъ2(г,Ь)Ь2ет £ L, то 2Ъ(г,Ь)Ь2ет £ Ь, что противоречит предположению Ъ(г,Ь)Ь2ет £ Ь. Следовательно, элемент (Ь + Ъ(г,Ь)Ь)2ет не содержится в подпространстве Ь. Поэтому, согласно предложению 9, Н содержит трансвекцию 1 + £ет • /. >

§ 5. Доказательство теорем 1 и 2

Данный параграф посвящен доказательству теорем 1 и 2.

Доказательство теорем 1 и 2 мы будем вести в терминах группы Аи1к(К). Таким образом, нам надо доказать наличие в промежуточной подгруппе Н трансвекций 1 + £ет • /г, 1 + (е8 • / для соответствующих т, з, г.

Далее, достаточно рассмотреть случай г = 1, т. е. рассмотреть трансвекции 1 + £ет • /, 1 + (е8 • /, так как остальные случаи рассматриваются аналогично.

< Доказательство теоремы 1. Пусть Н содержит одномерное преобразование. Согласно § 3 и предложению 3 можно считать, что Н содержит трансвекцию 1 + Ь/. Покажем, что для некоторого т ^ 2 трансвекция 1 + £ет • / £ Н.

Мы предполагаем, что для нашего базиса е\,е2,... ,еп элементы е--1,..., е-1 линейно независимы над полем к. Согласно предложению 10 достаточно показать, что для некоторого т ^ 2 либо Ь2етт1, либо Ъ(г,Ь)Ь2ет не содержится в к-подпространстве Ь = (е2,---,еп). Предположим, что это не так. Пусть Ь2е^,Ъ(г,Ь)Ь2ет £ Ь для всех т ^ 2, причем согласно лемме 1 можно считать, что элемент Ъ(х,Ь) £ к. Положим Ь\ = (е--1,..., е--1). Тогда Ь2Ь\ = Ь, Ъ(г,Ь)Ь2Ь1 = Ь, откуда Ъ(х,Ь)Ь = Ь. Из предложения 2 следует, что Ъ(х,Ь) £ к. Это противоречит тому, что элемент Ъ(х,Ь) не содержится в поле к. >

Замечание. В доказательстве теоремы 1 мы пользуемся условием линейной независимости обратных элементов базиса поля К. Следующий пример Михаила Бондарко, который сообщил нам профессор Востоков С. В., показывает существенность использования этого условия. Возьмем К = к(х), х — корень уравнения степени 3 над к. Тогда (1,1/х, 1/1+х) — базис (так как иначе х — корень квадратного уравнения), а (1,х, 1+х) — не базис.

Пусть К = к(9) — простое расширение степени п бесконечного поля к; пусть, далее, р(х) = хп + ап-1хп~1 + • • • + а1х + ао — неприводимый многочлен над к степени п, для которого р(6) =0; е1 = 1, е2 = 6, е3 = в2, ..., еп = 9п~1 — базис К над к.

Предложение 11. Пусть т — целое число. Тогда существует элемент £ £ к, £ = 0, для которого 6т(£ + 6)-1 = Со + С16 + • • • + еп-1вп~1, причем все коэффициенты сг £ к не равны нулю.

< Разделим р(х) на (х+£) : р(х) = д(х)(х+£)+р(—£), где д(х) = Ъп-1 хп~1+Ъп-2хп~2+ • • • + Ъ1х + Ъо. Тогда р(6) = д(6)(6 + £) + р(-£). Так как р(х) — неприводимый над к многочлен, то р(-£) = 0. Поэтому (6+£)-1 = -д(6)р-1(£). При этом для коэффициентов Ъп-1,... ,Ъо многочлена д(х) выполняются следующие равенства:

Ъп—1 = 1,

Ъп-2 = ап-1 £Ъп-1 = ап-1 — £,

Ъп-3 = ап-2 - £Ъп-2 = ап-2 — £ап-1 + £ 2

Ьо = а1 - £Ъ1 = а1 - £а2 + £2а3 -••• + (-1)п-1£п-1.

Под Ьг(ж) обозначим соответствующий многочлен, т. е. 6г(ж) = а^+1 — а^+2Ж + а^+зж2 —    + (—ж)п_1_г, 0 ^ г ^ п — 1. Заметим, что многочлены 6о(ж), 61 (ж), • • •, 6п_1(ж) линейно независимы над полем к. Рассмотрим 0т(£ + 0)_1 :

0т(£ + 0)_ = —<_1 (—£)  Г1 (бп_1^п_1 + 6п_2^п_2 +    + М + 6о) = = —<_1 (—£)  (со + С10 +    + Сп_10п_1) •

Найдем коэффициенты с5. Для этого надо разложить элементы 0т+п_1, 0т+п_2, • • •, 0т по базису 1,0,02,•••,0n_1:

' 0т+п_ = ап + а120 + а1з02 +    + ащ^п_1, 0т+п_2 = а21 + а220 + а2з02 +    + а2п^п_1,

<

0т = ап1 + ап20 + апз^2 +    + аnn0n_1•

V

Коэффициенты а— образуют матрицу

а11 а12 • • а1п \

А= а21 а22 • • а2п

ап1 ап2 • • апп /

Ясно, что матрица А является невырожденной. Тогда

со = ац6п_1 + а21бп_2 +-----+ ап1бо,

С1 = а12бп_1 + а22бп_2 +-----+ ап2бо,

<

Сп_1 = а1п6п_1 + а2п6п_2 +    + апп^о-

\

Таким образом, с5 является линейной комбинацией элементов 6о, • • •, 6п_1, причем коэффициентами линейной комбинации являются элементы 5 + 1 столбца матрицы А.

Под с5(ж) обозначим многочлен с5(ж) = а1,5+1бп_1(ж) + а2,5+1бп_2(ж) +-----+ ап,5+1бо(ж).

Таким образом, надо показать, что существует такой ненулевой элемент £ £ к, что с5(£) = 0 для всех 5. Заметим, что каждый многочлен с5(ж) не равен тождественно нулю. Действительно, допустим противное. Тогда из линейной независимости многочленов 6о(ж), • • •, 6п_1(ж) следует, что все элементы 5 + 1 столбца матрицы А равны нулю, а это противоречит невырожденности матрицы А.

Каждый ненулевой многочлен имеет конечное число корней в поле к. Поэтому в силу бесконечности поля к существует £ £ к, £ = 0, для которого со(£) = 0, • • •, сп_1 (£) =0. >

Замечание 1. Пусть / — фиксированный функционал (напомним, что / определялся через базис 1, • • •, 0п_1 следующим образом: /г(0г_1) = 1, /г(0к) = 0, к = г — 1, 0 ^ к ^ п — 1). Тогда из предложения следует, что существует такой элемент £ £ к, £ = 0, что /г(0т(£ + 0)_1) = 0, в частности, /(0т(£ + 0)_1) = 0, где / = /1.

Замечание 2. Пусть г £ А(Н). Положим г' = Аг, где А — ненулевой элемент поля к. Если 6(г, г')г'2ет1 £ Ь = (е2, • • •, еп), то Н содержит трансвекцию вида 1 + £ет/. Действительно, &(г,г') = /(гг')г_1 — /(г—1г')г = А6(г,г). Далее, 6(г, г')г'2ет1 = А36(г, г)г2ет1 £ Ь. Отсюда 6(г, г)г2ет1 £ Ь. Следовательно, по предложению 10 Н содержит трансвекцию 1 + £ет/. Поэтому при использовании предложения 10 мы можем брать не только г £ А(Н), но и произвольный элемент г' = Аг, где А £ к, А = 0, г £ А(Н).

< Доказательство теоремы 2. Для п = 2 теорема вытекает из [7], поэтому будем предполагать, что п ^ 3. Теорему будем доказывать в терминах группы Autk (К). Достаточно показать (см. теорему 1), что элементарные трансвекции всех позиций первого столбца содержатся в подгруппе Н. Напомним, что

А(Н) = {а £ К : 1 + а • / £ Н, /(а) = 0},

где / = /1. Таким образом, нам нужно показать, что для произвольного г, 1 ^ г ^ п - 1, справедливо включение

1 + £6г/ £ Н,

где £ £ к* или, что тоже самое, £6г £ А(Н). Согласно теореме 1 будем считать, что

1 + £6*/ £ Н

для некоторого з, 1 ^ з ^ п - 1.

Мы предлагаем следующую схему доказательства: докажем справедливость включения (5) для г = 1, а затем покажем, что из справедливости включения (6) следует справедливость включения 1 + £68+1/ £ Н. Заметим, что в силу замечания 2 коэффициентами из к* при 6 мы можем пренебрегать. Итак, проведем указанную схему.

а) Докажем справедливость включения (5) для г = 1, т. е. покажем, что 6 £ Н. Если в (6) з = 1, то доказывать нечего. Предположим, что 2 ^ з ^ п - 1. Имеем Ь = 6* £ А(Н). Положим г = (£ + 6)6-8, тогда гЬ = £ + 6, /(гЬ) = £. Пусть 7 = /(г-1Ь). Тогда

Ъ(г, Ь) = /(гЬ)г-1 - / {г-Ч) г = £г-1 - 1г = £(£ + 6)-16* - 1 (£ + 6)6.

Далее,

Ъ(г,Ь)Ь26-1 = £(£ + 6)-1633-1 - 7(£ + 6)*-1.

Последнее слагаемое содержится в ker /, так как з ^ 2. Согласно предложению 11 выберем £ таким образом, что /((£ + 6)-1638-1) = 0. Тогда /(Ъ(г,Ь)Ь26-1) = 0, а потому согласно предложению 10 мы имеем 6 £ А(Н).

б) Покажем, что из справедливости включения (6) для 1 ^ з ^ п - 2 следует справедливость включения 1 + £63+1/ £ Н. Положим Ь = 6е и г = (£ + 6)6-3+1. Тогда гЬ = 6(£ + 6), а потому /(гЬ) = 0. Далее, г-1Ь = (£ + 6)-1623-1, поэтому, воспользовавшись предложением 11, подберем £ так, чтобы 7 = /(г-1Ь) = 0. Тогда мы имеем Ъ(г,Ь) = /(гЬ)г-1 - /(г-1Ь)г = г = (£ + 6)6-3+1. Следовательно,

Ъ(г,Ь)Ь26-{1+з) = -ч(£ + 6)6-3+162з6-(з+1) = -1 (£ + 6),

но £ + 6) (как и (£ + 6)) не содержатся в ker /, поэтому /(Ъ(г,Ь)Ь26-(1+3) = 0, а потому согласно предложению 10 мы имеем 63+1 £ А(Н). >

Литература

1. Бондаренко А. А. Расположение подгрупп, содержащих неразветвленный квадратичный тор, в полной линейной группе степени 2 над локальным числовым полем (р = 2) // Зап. науч. семин. ПОМИ.—1994.—Т. 221.—С. 67-79.

2. Боревич З. И., Койбаев В. А. О кольцах множителей, связанных с промежуточными подгруппами, для квадратичных торов // Вестник СП6ГУ.—1993.—Т. 1, № 2.—С. 5-10.

3. Вавилов Н. А., Нестеров В. В. Геометрия микровесовых торов // Владикавк. мат. журн.—2008.— Т. 10, вып. 1.—С. 10-23.

4. Вавилов Н. А., Степанов А. В. Надгруппы полупростых групп // Вестник СамГУ. Естеств.-науч. сер.—2008.—T. 62, № 3.—C. 51-95.

5. Дзигоева В. С., Койбаев В. А. Промежуточные подгруппы в полной линейной группе второго порядка над полем рациональных функций, содержащие квадратичный тор // Владикавк. мат. журн.—2008.—T. 10, вып. 1.—C. 27-34.

6. Койбаев В. А. Подгруппы группы GL(2, Q), содержащие нерасщепимый максимальный тор // Докл. АН СССР.—1990.—Т. 312, № 1.—C. 36-38.

7. Койбаев В. А. Подгруппы группы GL(2, k), содержащие нерасщепимый максимальный тор // Зап. науч. семин. ПОМИ.—1994.—Т. 221.—C. 136-145.

8. Койбаев В. А. Трансвекции в подгруппах полной линейной группы, содержащих нерасщепимый максимальный тор // Алгебра и анализ.—2009.—Т. 21, № 5.—C. 70-86.

9. Djokovic D. Z. Subgroups of compact Lie groups containing a maximal torus are closed // Proc. Amer. Math. Soc.—1981.—Vol. 83, № 2.—P. 431-432.

10. Dye R. H. Maximal subgroups of symplectic groups stabilizing spreads. I, II // J. Algebra.—1984.— Vol. 87, № 2.—P. 493-509; J. London. Math. Soc.—1989.—Vol. 40, № 2.—P. 215-226.

11. Dye R. H. Maximal subgroups of PSp6n(q) stabilizing spreads of totally isotropic planes // J. Algebra.— 1986.—Vol. 99.—P. 111-129.

12. Dye R. H. Spreads and classes of maximal subgroups of GLn(q), SLn(q), PGLn(q) and PSLn(q) // Ann. Math. Pure Appl.—1991.—Vol. 158.—P. 33-50.

13. Kantor W. M. Linear groups containing a Singer cycle // J. Algebra.—1980.—Vol. 62, № 1.—P. 232-234.

14. Platonov V. P. Subgroups of algebraic groups over local or a global field containing a maximal torus // C.R. Acad. Sci. Paris.—1994.—Vol. 318, № 10.—P. 899-903.

15. Seitz G. M. Subgroups of finite groups of Lie type // J. Algebra.—1979.—Vol. 61, № 1.—P. 16-27.

16. Seitz G. M. Root subgroups for maximal tori in finite groups of Lie type // Pacif. J. Math.—1983.— Vol. 106, № 1.—P. 153-244.

Статья поступила 5 ноября 2009 г.

Койбаев Владимир Амурханович Северо-Осетинский государственный университет им. К. Л. Хетагурова, зав. каф. алгебры и геометрии Россия, 362040, Владикавказ, ул. Ватутина, 46; Южный математический институт, вед. науч. сотр. Россия, 362027, Владикавказ, ул. Маркуса, 22 E-mail: koibaev-K1@yandex.ru

Шилов Александр Валентинович Северо-Осетинский государственный университет им. К. Л. Хетагурова, аспирант каф. алгебры и геометрии Россия, 362040, Владикавказ, ул. Ватутина, 46