УДК 512.5 Вестник СПбГУ. Математика. Механика. Астрономия. 2020. Т. 7 (65). Вып. 2
МБС 20G15
О достаточных условиях замкнутости элементарной сети
А. К. Гутнова, В. А. Койбаев
Северо-Осетинский государственный университет им. К. Л. Хетагурова, Российская Федерация, 362025, Владикавказ, ул. Ватутина, 44—46 Южный математический институт Владикавказского научного центра РАН, Российская Федерация, 362027, Владикавказ, ул. Ватутина, 53
Для цитирования: Гутнова А. К., Койбаев В. А. О достаточных условиях замкнутости элементарной сети // Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия. 2020. Т. 7(65). Вып. 2. С. 230-235. https://doi.org/10.21638/11701/spbu01.2020.205
Работа связана с вопросами замкнутости элементарной сети. Элементарная сеть (сеть без диагонали) а = (а^аддитивных подгрупп поля к называется замкнутой, если элементарная сетевая группа Е(а) не содержит новых элементарных трансвекций. Элементарная сеть а = (а^) называется дополняемой, если для некоторых аддитивных подгрупп ац поля к таблица (с диагональю) а = (а^), 1 < г] < п, является (полной) сетью. Дополняемые элементарные сети являются замкнутыми. Необходимым и достаточным условием дополняемости элементарной сети а = (а^) является выполнение включений а^а^ С (для любых г = ]). Исследуется вопрос (Ко-уровская тетрадь, вопрос 19.63): верно ли, что для замкнутости элементарной сети а = (а^) достаточно выполнения включений а2 а^ С для любых г = ] (здесь через а2^ обозначается аддитивная подгруппа поля к, порожденная квадратами из а^j)? Элементарные сети, для которых выполнены последние включения, мы называем слабо дополняемыми элементарными сетями. Понятия дополняемой и слабо дополняемой элементарных сетей совпадают для полей нечетной характеристики. Таким образом, упомянутый вопрос достаточности слабой дополняемости для замкнутости элементарной сети актуален для полей характеристик 0 и 2. В настоящей статье для полей характеристик 0 и 2 строятся примеры слабо дополняемых, но не дополняемых элементарных сетей. Строится пример замкнутой элементарной сети, которая не является слабо дополняемой.
Ключевые слова: сети, ковры, элементарная сеть, замкнутая сеть, дополняемая сеть, элементарная сетевая группа, трансвекция.
1. Введение. Элементарная сеть (сеть без диагонали [1, 2]) а = (ацаддитивных подгрупп ац поля к называется замкнутой, если элементарная сетевая группа Е(а) не содержит новых элементарных трансвекций (см. [2-4], [5, вопрос 15.46]). Элементарная сеть а = (ац) называется дополняемой [3, 4], если для некоторых аддитивных подгрупп ац поля к таблица (с диагональю) а = (ац), 1 < г,] < п, является (полной) сетью. Известно, что дополняемые элементарные сети являются замкнутыми. Необходимым и достаточным условием дополняемости элементарной сети а = (ац) является выполнение включений аца^ац С ац (для любых г = ]). В этой связи представляет интерес вопрос Я. Н. Нужина (Коуровская тетрадь [5, вопрос 19.63], см. также [6]): верно ли, что для замкнутости элементарной сети
(¡5 Санкт-Петербургский государственный университет, 2020
а = (ац) достаточно выполнения включений а2ц ащ С ац для любых г = 3 (здесь через а2 обозначается аддитивная подгруппа поля к, порожденная квадратами из ац)? Элементарные сети, для которых выполнены последние включения, мы называем слабо дополняемыми элементарными сетями. Понятия дополняемой и слабо дополняемой элементарных сетей совпадают для полей нечетной характеристики. Таким образом, упомянутый вопрос достаточности слабой дополняемости для замкнутости элементарной сети актуален для полей характеристик 0 и 2. В настоящей заметке для полей характеристик 0 и 2 мы строим примеры слабо дополняемых, но не дополняемых элементарных сетей. Над полем характеристики 2 строится пример замкнутой элементарной сети, которая не является слабо дополняемой.
Мы пользуемся следующими стандартными обозначениями. Если А, В — подгруппы аддитивной группы поля (или коммутативного кольца) к, то через АВ мы обозначаем подгруппу АВ = (аЬ : а,Ь € А)а4 аддитивной группы поля к, порожденную всеми произведениями аЬ,а € А,Ь € В. Далее, через А2 мы обозначаем аддитивную подгруппу А2 = (а2 : а € А)а^ поля к, порожденную всеми квадратами а2. Ясно, что
А2
С А ■ А, причем если еЪ&тк = р — нечетное простое число, то А2 = А ■ А. Пусть е — единичная матрица порядка п, ец — матрица, у которой на позиции (г,3) стоит 1, а на остальных местах нули; Ьц(а) = е + аец, а € к, — элементарная трансвекция. Для элементарной сети а мы рассматриваем элементарную сетевую группу Е(а) = (Ьц (£) : £ € ац, 1 < г = 3 < п).
2. Элементарные сети (ковры). Сеть, рассматриваемая без диагонали, называется элементарной сетью (элементарным ковром) [1, 2], [4, вопрос 15.46]. Отметим, что в [1] такая сеть называется «сетью без диагонали». Таким образом, элементарная сеть — это набор а = (ац), 1 < г = 3 < п, аддитивных подгрупп поля к, для которых ац агц С ац для любой тройки попарно различных натуральных чисел г, г, 3, 1 < г,г,3 < п.
Элементарная сеть а = (ац) называется дополняемой, если для некоторых аддитивных подгрупп ац поля к таблица (с диагональю) а = (ац), 1 < г,3 < п, является (полной) сетью. Другими словами, элементарная сеть а является дополняемой, если ее можно дополнить (диагональю) до (полной) сети. Приведем необходимые и достаточные условия дополняемости элементарной сети.
Предложение 1 [1, §3]. Элементарная сеть а = (ац) является дополняемой тогда и только тогда, когда ацащац С ац для любых г = 3. При выполнении условий дополняемости диагональные подгруппы ац определяются формулой ац = а%какг, где суммирование берется по всем к, отличным от г.
Определение. Элементарная сеть а = (ац) называется слабо дополняемой, если а2ц ащ С ац для любых г = 3.
Так как а2цащ С аца^ац, то из включения аца^ац С ац следует включение а2цащ С ац. Следовательно, согласно предложению 1 всякая дополняемая элементарная сеть является слабо дополняемой. Поэтому мы имеем включение
дополняемые эл. сети С слабо дополняемые эл. сети. (1)
Если к — поле нечетной характеристики, то понятия дополняемой и слабо дополняемой элементарных сетей совпадают. Ниже (предложение 3 и следующее за ним замечание) мы покажем строгость включения (1) для полей характеристик 0 и 2. А именно, для полей характеристик 0 и 2 мы построим элементарную сеть (см. (2) ниже), которая является слабо дополняемой и не является дополняемой.
Пусть F — коммутативная область целостности с 1, R = F[xi, x2,..., xn] — кольцо многочленов от переменных xi ,...,xn с коэффициентами из F. Напомним, что (полной) степенью одночлена xi1 .. .хП называется число ii + ... + in, а (полной) степенью deg(f) ненулевого многочлена f = f(xi,x2,...,xn) € R называется максимальная из полных степеней его одночленов (с ненулевыми коэффициентами). Далее, для ненулевого многочлена f = f(xi,x2,...,xn) € R через v(f) обозначим минимальную из полных степеней одночленов (с ненулевыми коэффициентами), входящих в f € R. Ясно, что v(f) < deg(f). Например,
f = 2 + yz + x2z, v(f) = 0, deg(f) = 3; g = xy + xyz2, v(g) = 2, deg(g) = 4.
Пусть m — целое неотрицательное число. Положим
Rm = {f = f (xi, x2,...,xn) € R : v (f) > m} U {0}
({0} — нулевой многочлен).
Ясно, что R = Ro = F[xi, xi,..., xn] и Ro D Ri D R2 D .... Лемма 1. Если f,g € R, f = {0}, g = {0} и f = -g, то v(f + g) > min(v(f),v(g)). В частности, Rm —аддитивная подгруппа кольца R = R0. Далее, RmRn С Rm+n (m,n — целые неотрицательные). Следовательно, Rm —идеал кольца R = F[xi, x2,..., xn].
3. Слабо дополняемая сеть над полем нулевой характеристики. Приступим теперь к построению примеров, заявленных во введении. Рассмотрим кольцо многочленов R = Ro = Z[x,y, z] от трех переменных с целыми коэффициентами из Z, к — поле частных кольца R. Положим
R4 = {f = f (x, y,z) € R : v(f) > 4} U {0}.
Рассмотрим аддитивную подгруппу
B = Zx + Zy + Zz + Zxy2 + Zxz2 + Zyx2 + Zyz2 + Zzx2 + Zzy2+
+ Zx3 + Zy3 + Zz3 + 2Zxyz + R4.
Лемма 2. Пусть f,g € B, тогда
1) f2 € Zx2 + Zy2 + Zz2 + 2Zxy + 2Zxz + 2Zyz + R4;
2) f 2g € Zx3 + Zy3 + Zz3 + Zxy2 + Zxz2 + Zyx2 + Zyz2 + Zzx2 + Zzy2 + 2Zxyz + R4.
Доказательство. Если f,g € B, то
f = mix + m2y + m3z + фi, g = nix + n2y + n3z + Ф2, фi,ф2 € R3, где mi,ni € Z. Тогда
f2 € Zx2 + Zy2 + Zz2 + 2Zxy + 2Zxz + 2Zyz + R4. Отсюда очевидно вытекает второе включение
f 2g € Zx3 + Zy3 + Zz3 + Zxy2 + Zxz2 + Zyx2 + Zyz2 + Zzx2 + Zzy2 + 2Zxyz + R4.U
Предложение 2. Имеем включение B2 ■ B С B, при этом подгруппа B ■ B ■ B не содержится в подгруппе B.
Доказательство. Элемент хуг содержится в В ■ В ■ В и не содержится в В. Поэтому В ■ В ■ В не содержится в подгруппе В. Включение В2 ■ В С В вытекает из леммы 2. □
Предложение 3. Таблица (порядка п > 2)
(* В Д4 . Д4\
В * Д4 . Д4
т = Д4 Д4 * Д4
Д4 Д4 Д4 . . *)
(2)
является элементарной сетью. Далее, элементарная сеть т является слабо дополняемой и не является дополняемой элементарной сетью. Таким образом, для поля нулевой характеристики включение (1) является строгим.
Доказательство. В силу леммы 1 таблица т является элементарной сетью. Далее, доказательство вытекает из предложений 1 и 2. □
Замечание. Пример, аналогичный построенному (см. подгруппу В для случая Ж и сеть (2)), справедлив и для поля четной характеристики (здесь слагаемые подгруппы В, содержащие 2, равны 0).
Рассмотрим кольцо многочленов Д = До = ¥2 [х, у, г] от трех переменных с коэффициентами из поля ¥2 (из двух элементов), к — поле частных кольца Д. Далее, рассмотрим аддитивную подгруппу
В = ¥2х + ¥2у + ¥2 г + ¥2ху2 + ¥2x22 + ¥2ух2 + ¥2уг2 + ¥2гх2 + ¥2гу2+
+ ¥2х3 + ¥2у3 + ¥2г3 + Д4
(Д4 определяется как и выше в предыдущем пункте). Тогда для построенной подгруппы В (и соответственно для элементарной сети (2)) справедлив результат предложения 3.
4. Замкнутая элементарная сеть (над полем характеристики 2), которая не является слабо дополняемой. В поле к = ¥2(х) рациональных функций 9 € ¥2 [ж] с коэффициентами из ¥2 рассмотрим кольцо Д и его идеал А:
Д= <! - € ¥2(ж) \degg-degf >0 9
А
/
— € ¥2 (х) : с^ д — с^ / > 4 9
Пусть далее
В = 12 +А
— аддитивная подгруппа кольца Д. Рассмотрим таблицу а = (ац), г = 3, порядка п > 2, для которой а\2 = а2\ = В и ац = А для остальных г = 3 . Ясно, что таким образом построенная таблица является элементарной сетью.
В работе [4, предложение 6] доказано следующее предложение.
Предложение 4. Элементарная сеть а является замкнутой и не является слабо дополняемой. В частности, в случае поля четной характеристики из замкнутости элементарной сети не следует ее слабая дополняемость.
Отметим, что в работах [3, 4] при определении кольца Д (в нашем случае — это идеал А) допущена опечатка. Правильно писать Д = € ¥2(ж) : — > 4}.
5. Заключение. В работе рассматривается вопрос (Коуровская тетрадь, вопрос 19.63): верно ли, что для замкнутости элементарной сети а = (ац) достаточно
выполнения включений a2jа^ С ац для любых i = j (здесь через а2 обозначается аддитивная подгруппа поля к, порожденная квадратами из ац)? Исходя из последних условий, в работе вводится понятие слабо дополняемой элементарной сети. Понятия дополняемой и слабо дополняемой элементарных сетей совпадают для полей нечетной характеристики. Известно, что дополняемые элементарные сети замкнуты. Таким образом, упомянутый вопрос достаточности слабой дополняемости для замкнутости элементарной сети актуален для полей характеристик 0 и 2. В настоящей статье для полей характеристик 0 и 2 построены примеры слабо дополняемых, но не дополняемых элементарных сетей; для поля характеристики 2 — пример замкнутой элементарной сети, которая не является слабо дополняемой.
Авторы благодарны рецензентам за указанные опечатки и недочеты при оформлении статьи.
Литература
1. Боревич З.И. О подгруппах линейных групп, богатых трансвекциями // Зап. научн. сем. ЛОМИ. 1978. Т. 75. С. 22-31.
2. Левчук В. М. Замечание к теореме Л. Диксона // Алгебра и логика. 1983. Т. 22, № 4. С. 421434.
3. Койбаев В. А. Замкнутые сети в линейных группах // Вестн. С.-Петерб. ун-та. Сер. 1. Математика. Механика. Астрономия. 2013. Вып. 1. С. 26-34.
4. Койбаев В. А. Элементарные сети в линейных группах // Труды Института математики и механики УрО РАН. 2011. Т. 17, №4. С. 134-141.
5. The Kourovka notebook: unsolved problems in group theory / Eds. V. D. Mazurov, E. I. Khukhro. Novosibirsk: Russ. acad. of sciences, Siberian div., Inst. of mathematics. 2018. No. 19.
6. Нужин Я. Н. Кольца Ли, определяемые системой корней и набором аддитивных подгрупп основного кольца // Труды Института математики и механики УрО РАН. 2012. Т. 18, №3. С. 195200.
Статья поступила в редакцию 18 ноября 2019 г.;
после доработки 4 декабря 2019 г.; рекомендована в печать 12 декабря 2019 г.
Контактная информация:
Гутнова Алина Казбековна — канд. физ.-мат. наук, доц.; [email protected]
Койбаев Владимир Амурханович —д-р физ.-мат. наук; [email protected]
On sufficient conditions for the closure of an elementary net
A. K. Gutnova, V. A. Koibaev
North Ossetian State University, 44—46, ul. Vatutina, Vladikavkaz, 362025, Russian Federation Southern Mathematical Institute of Vladikavkaz Scientific Center of Russian Academy of Sciences, 53, ul. Vatutina, Vladikavkaz, 362027, Russian Federation
For citation: Gutnova A.K., Koibaev V. A. On sufficient conditions for the closure of an elementary net. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, 2020, vol. 7(65), issue 2, pp. 230-235. https://doi.org/10.21638/11701/spbu01.2020.205 (In Russian)
An elementary net (net without a diagonal) a = (aij)i=j of additive subgroups aij of the field k is called closed if the elementary net group E(a) does not contain new elementary transvections. Elementary net a = (aij) is called supplemented if for some additive subgroups an of the field k the table (with diagonal) a = (aij), 1 < i,j < n, is a (full)
net. Supplemented elementary nets are closed. A necessary and sufficient condition for the supplementarity of the elementary net a = (aij) is the implementation of inclusions aij a jtatj C aij (for any i = j). In this regard the following question is of interest (Kourovka notebook, question 19.63): ): is it true that for closedness of an elementary net a = (aij) it suffices to execute the inclusions aijaji C aij for any i = j (here, by aij we denote the additive subgroup of the field k generated by all squares from aij)? Elementary nets for which the last inclusions are satisfied we call weakly supplemented elementary nets. The concepts of supplemented and weakly supplemented elementary nets coincide for fields of odd characteristic. Thus, the aforementioned question of the sufficiency of weak supple-mentarity for the closedness of an elementary net is relevant for fields of characteristic 0 and 2. In this article we construct examples of weakly supplemented but not supplemented elementary nets. An example of a closed elementary net is constructed, which is not weakly supplemented.
Keywords: nets, carpets, elementary net, closed net, supplemented net, elementary net group, transvection.
References
1. Borevich Z. I., "Subgroups of linear groups rich in transvections", Journal of Soviet Mathematics 37, issue 2, 928-934 (1987). https://doi.org/10.1007/BF01089083
2. Levchuk V. M., "Remark on a theorem of L.Dickson", Algebra and Logic 22, issue 4, 306-316 (1983). https://doi.org/10.1007/BF01979677
3. Koibaev V.A., "Closed nets in linear groups", Vestnik St. Petersburg University: Mathematics 46(1), 14-21 (2013). http://doi.org/10.3103/S1063454113010056
4. Koibaev V. A., "Elementary nets in linear groups", Trudy Instituta Matematiki i Mekhaniki UrO RAN 17(4), 134-141 (2011).
5. The Kourovka notebook: unsolved problems in group theory (V. D. Mazurov, E. I. Khukhro (eds.), Russ. acad. of sciences, Siberian div., Inst. of mathematics, Novosibirsk, 2018, no. 19).
6. Nuzhin Ya. N., "Lie rings defined by the root system and family of additive subgroups of the initial ring", Proc. Steklov Inst. Math. (Suppl.) 283, suppl. 1, 119-125 (2013). https://doi.org/10.1134/S0081543813090125
Received: November 18, 2019 Revised: December 4, 2019 Accepted: December 12, 2019
Authors' information:
Alina K. Gutnova — [email protected] Vladimir A. Koibaev — [email protected]