CC BY
40
УДК 514.76
Об одном многообразии Леви экспоненты 2p В.В. Лодейщикова
Алтайский государственный технический университет им. И.И. Ползунова (Барнаул, Россия)
On a Levi Variety of Exponent 2p
V. V. Lodeyshchikova
Polzunov Altai State Technical University (Barnaul, Russia)
Для произвольного класса групп М обозначим через Ь(М) класс всех групп О, в которых нормальное замыкание любого элемента из О принадлежит М. Класс Ь(М) групп называется классом Леви, порожденным М.
Классы Леви были введены под влиянием работы Ф. Леви, в которой дана классификация групп с абелевыми нормальными замыканиями. Р.Ф. Морс доказал, что если М — многообразие групп, то Ь(М) — также многообразие групп. Из работ А.И. Будкина следует, что если М — квазимногообразие групп, то Ь(М) также является квазимногообразием групп. Ранее автором найдены описания классов Леви, порожденных почти абелевыми квазимногообразиями нильпотентных групп (за исключением одного).
Настоящая работа продолжает исследования классов Леви. В ней доказано, что для локально конечного многообразия групп М класс Ле-ви, порожденный М, также является локально конечным многообразием. Дано описание подпря-мо неразложимых групп, принадлежащих классу Леви, порожденному многообразием групп экспоненты 2р с коммутантом экспоненты р, в которых квадраты элементов перестановочны (р — простое число, р = 2, 3).
Также показано, что любая группа, принадлежащая классу Леви, порожденному многообразием групп экспоненты 2р с коммутантом экспоненты р, в которых квадраты элементов перестановочны (р — простое число, р = 2), является 3-метабелевой группой.
Ключевые слова: группа, многообразие, квазимногообразие, метабелева группа, класс Леви.
БОТ 10.14258/^уа8и(2015)1.1-15
For an arbitrary class of groups M we denote by L(M) the class of all groups G where the normal closure of every element of G belongs to M. The class L(M) is called a Levi class generated by M.
Levi classes were introduced under the influence of a paper by F. Levi with the classification of groups with abelian normal closures. R.F. Morse proved that if the class M is a variety of groups, then L(M) is also a variety of groups. From the works of A.I. Budkin it follows that if M is a quasivariety of groups, then L(M) is a quasivariety of groups, too. Earlier we found descriptions of the Levi classes generated by the almost Abelian quasivarieties of nilpotent groups (except one).
In this article, we continue to investigate the Levi classes. It is proved that for a locally finite variety of groups M, Levi class generated by M is also a locally finite variety. We describe subdirectly irreducible groups of Levi class generated by the variety of groups of exponent 2p with the commutant exponent p, in which squares of elements are commuting (p is a prime, p = 2, 3).
Also, we demonstrate that any group of Levi class generated by the variety of groups of exponent 2p with the commutant exponent p, in which squares of elements are commuting (p is a prime, p = 2), is a 3-metabelian group.
Key words: group, variety, quasivariety, metabelian group, Levi class.
Для некоторого класса групп М обозначим через Ь(М) класс всех групп О, в которых нормальное замыкание (х)° любого элемента х из О принадлежит М. Класс Ь(М) групп будем называть классом Леви, порожденнным М. Классы Леви были введены в работе Л.К. Каппе [1] под вли-
янием работы Ф. Леви [2], в которой дана классификация групп с абелевыми нормальными замыканиями вида (х)°. Р. Ф. Морсом [3] доказано, что если М — многообразие групп, то Ь(М) — также многообразие групп. Из работы А.И. Будкина [4] следует, что если М — квазимногообразие
групп, то L(M) также является квазимногообразием групп.
Как обычно, varK — многообразие, порожденное классом групп K, qK — квазимногообразие, порожденное классом групп K (пишем varG и qG, если K = {G}). Обозначим через Nc многообразие нильпотентных групп ступени не выше с, через Fn(M) — свободную группу ранга n в квазимногообразии M, через Sylp(G) — некоторую си-ловскую р-подгруппу группы G. Всюду в работе при написании тождеств и квазитождеств кванторы всеобщности будут опускаться.
А.И. Будкин [4] доказал, что если K — произвольное множество нильпотентных групп ступени 2 без элементов порядков 2 и 5, и в каждой группе из K централизатор любого элемента, не принадлежащего центру этой группы, является абелевой подгруппой, то L(qK) С N3. В действительности в доказательстве этого результата отсутствие элементов порядка 5 нужно было только для установления того, что всякая 3-порожденная группа из L(qK) нильпотентна класса < 4, поэтому в работе А.И. Будкина и Л.В. Тараниной [5] данный результат был усилен и доказана аналогичная теорема для произвольного множества нильпотент-ных групп ступени 2 без элементов порядка 2.
А.И. Будкиным [6] доказано, что если M — нильпотентное квазимногообразие, Л4 — множество всех конечно порожденных групп из M, то выполняется равенство L(qA4) = qL(Л4). Там же установлено, что если N — класс всех конечно порожденных нильпотентных групп, No — класс всех конечно порожденных нильпотентных групп без кручения, то аналогичное утверждение неверно, и справедливы строгие включения qNo С L(qNo) и qN С L(qN), откуда, в частности, следуют неравенства L(qN0) = qL(N0) и L(qN) = qL(N).
В работе [6] также показано, что квазимногообразия L(qN) и L(qNo) замкнуты относительно свободных произведений, каждое из этих квазимногообразий содержит не более одного максимального собственного подквазимногообразия, и если квазимногообразие M замкнуто относительно свободных произведений, то таковым же является квазимногообразие L(M).
Рассмотрим группы, имеющие следующие представления в N2:
Hp = gr(x,y || [x,y]p = 1);
Hps = gr(x, y || [x, y]p = xpS = ypS = 1),
где s G N, p — простое число.
Набор qHps (исключая qH21), qHp, qF2(N2) (p — простое число) представляет собой полный список почти абелевых квазимногообразий ниль-потентных групп (т. е. неабелевых квазимногообразий нильпотентных групп, все собственные
подквазимногообразия которых абелевы). В работах [7-9] найдены описания классов Леви, порожденных почти абелевыми квазимногообразиями нильпотентных групп (исключая
В [9] доказано, что если К — произвольный класс нильпотентных ступени не выше 2 групп экспоненты 2П (п — фиксированное натуральное число, п > 2) с коммутантами экспоненты 2, и в каждой группе из К элементы порядка 2т (0 < т < п) содержатся в центре этой группы, то класс Леви, порожденный квазимногообразием дК, совпадает с многообразием нильпотентных ступени не выше 2 групп экспоненты 2П.
Также в [9] было доказано существование класса К такого, что К — класс нильпотентных ступени не выше 2 групп экспоненты 8 с коммутантами экспоненты 2 и во всякой группе из К централизатор любого элемента, не принадлежащего центру этой группы, — абелева подгруппа, но класс содержит нильпотентную группу ступени 3.
В [10] установлено существование класса К такого, что во всякой группе из К централизатор любого элемента, не принадлежащего центру этой группы, — абелева подгруппа, но класс со-
держит нильпотентную группу ступени 4.
Настоящая работа продолжает исследования классов Леви.
Зафиксируем простое число р, р = 2. Будем рассматривать группу
А = gr(a, Ъ|а2 = 1, Ър = 1, а-1Ъа = б-1).
Пусть N — многообразие групп, заданное тождествами
х2р = 1; (1)
[х2 ,у2] = 1; (2)
[х,у]р = 1. (3)
В [11] доказано, что многообразие, порожденное группой А, совпадает с многообразием N и если К — многообразие, задаваемое тождеством (1) и формулами
[х, у, х]р = 1; (4)
[(ху)2, (х*)2] = 1; (5)
[хи,х", (х*)2] = 1; (6)
[хи,х^, [ху,х*]] = 1, (7)
то класс Леви, порожденный многообразием N совпадает с многообразием К.
Основными результатами настоящей статьи являются следующие положения.
Лемма 1. Если М — локально конечное многообразие групп, то Ь(М) также является локально конечным многообразием.
Лемма 2. Если конечно порожденная группа О принадлежит классу L(N), то О = Бу1р(О) X Бу12(О).
Утверждение 1. Если группа G принадлежит классу L(N), то G — 3-метабелева группа.
Теорема. Если p = 3 и G — подпрямо неразложимая группа, принадлежащая классу L(N), то
Sylp(G) = F(xi,yi) х ... х F2(x„,y„) ([xi,yi] = ... = [x„,y„])
и
G = Sylp(G) X B, где B — циклическая группа порядка 2.
Напомним некоторые определения и обозначения. Как обычно, [x, y] = x-i y-ixy, xg = g-ixg, [x, y, z ] = [[x, y],z ], gr(ai ,02,...) — группа, порожденная элементами ai, 02,..., (x)G = gr(xg | g G G) — нормальное замыкание элемента x в группе G, Fn(xi,...,xn) — свободная группа, порожденная элементами xi,..., xn, A — многообразие абелевых групп, A х B (a = b) — прямое произведение групп A, B с объединенными центральными подгруппами (a), (b), т.е. A х B (a = b) = A х B/(ab-i).
Будем использовать следующие хорошо известные тождества, истинные в любой группе:
[xy, z] = [x, z]y [y, z]; (8)
[x, yz]=[x, z][x, y]z. (9)
С основными понятиями теории групп можно познакомиться в [12], а теории квазимногообразий — в [13-15]. Результаты, касающиеся квазимногообразий метабелевых групп, можно найти в [16-20].
Замечание 1. Если в группе G истинно тождество (2) и G2 = gr(x2 | x G G), то G/G2 — абелева группа. Отсюда группа G — ме-табелева, и в группе G истинны тождества
[x,y, [u,v]] = 1; (10)
[x, y, z2] = 1. (11)
Замечание 2. Если в группе G истинны тождества (1)-(3), то в группе G истинно квазитождество
xp = 1& yp = 1 ^ [x, y] = 1. (12)
Доказательство леммы 1. Поскольку M — многообразие групп, то L(M) также является многообразием групп [3]. Рассмотрим конечно порожденную группу G, принадлежащую многообразию L(M).
Индукцией по числу порождающих группы G докажем ее конечность. Рассмотрим сначала G = (xi). Поскольку G G L(M), то для произвольного элемента x G G нормальное замыкание
(x)G принадлежит многообразию M. В частности, (xi) G M. Поскольку M — локально конечное многообразие, то (xi) — конечная группа.
Пусть теперь G = gr(xi,... ,xn), и все конечно порожденные группы, принадлежащие многообразию L(M), с меньшим числом порождающих, конечны.
Рассмотрим фактор-группу H = G/(xn )G. Ясно, что Н G L(M) и Н = gr(xb ..., xn_i), следовательно, по предположению индукции, группа H — конечная. Значит, (xn)G — подгруппа конечного индекса в G. Хорошо известно [12], что подгруппа конечного индекса в конечно порожденной группе сама конечно порождена. Поэтому (xn)G — конечно порожденная группа, и так как (xn)G G M, то она конечна. Значит, группа G также является конечной. Лемма 1 доказана.
Доказательство леммы 2. Пусть G G L(N) и G — конечно порожденная группа. Заметим, что многообразие N является локально конечным. Значит, из утверждения 1 следует, что L(N) локально конечное и G — конечная группа.
Рассмотрим множество
V = {x G G|xp = 1}.
Нетрудно показать, что множество V является группой, V = Sylp(G) — силовская р-подгруппа группы G и V < G. Зафиксируем B — произвольную силовскую 2-подгруппу группы G. Ясно, что V П B = (1) и V • B = G. Значит, G = V X B = Sylp(G) X Syl2(G). Лемма 2 доказана.
Доказательство утверждения 1. Так
как фактор-группа G/Sylp(G) — абелева, то G' С Sylp(G). Следовательно, для произвольных элементов группы G верны равенства
[x, y]p = 1, [x,z]p = 1.
Поскольку G G L(N), то для произвольного элемента x, принадлежащего группе G, верно, что (x)G G N ив группе (x)G истинны тождества (1)— (3). Заметим, что элементы [x,y], [x, z] принадлежат нормальному замыканию (x)G. Из истинности в группе (x)G квазитождества (12) следует, что
[[x,y], [x, z]] = 1.
Значит, группа G — 3-метабелева [21]. Утверждение 1 доказано.
Доказательство теоремы. Пусть G G L(N) и G — подпрямо неразложимая группа. Рассмотрим множество
V = {x G G|xp = 1}.
Как в лемме 2, V — силовская р-подгруппа группы G и V < G. Зафиксируем произвольную силовскую 2-подгруппу B группы G.
Рассмотрим N = Z(V) — центр группы V. Заметим, что N < С. На группу N можно смотреть как на векторное пространство над полем из р элементов. Возникает естественное представление группы О/V линейными преобразованиями векторного пространства N над полем Zp. Факторгруппа О/V действует на N сопряжениями. Для любого элемента п € N полагаем идУ = п3, д € В. По теореме Машке данное представление вполне приводимо. Значит,
N = N1 ф ... ф N1,
где N4 - неприводимое подпространство векторного пространства N (г = 1,..., 1). Ясно, что N4 < С. Поскольку группа С подпрямо неразложимая, то получаем, что / = 1 и N = N1.
Рассмотрим С = Св ^) — централизатор подгруппы N в группе В. Докажем, что С < С. Возьмем произвольные элементы х € С, д € С. Из леммы 2 следует, что д = V • Ь, где V € V, Ь € В. Надо показать, что х3 € С. Заметим, что из того, что х € С, следует, что (х3)2 = 1 и х3 € В. Кроме того, (ж")2 = 1, значит, х" € В и х3 = х"ь = хь.
Тогда для произвольного элемента п € N име-
ем
Ь 1х 1 ЬпЬ 1хЬ = Ь 1х V хЬ.
Рассмотрим изоморфизм а : С ^ С такой, что у ^ уь . Поскольку N — центр группы V, а действует на V как автоморфизм, то пь € N. Так как х € С, то х 1 пь х = пь . Значит, пх = Ь - 1пь Ь = п и х3 € С.
Таким образом, С<С и СП V = (1). Поскольку группа С подпрямо неразложимая, то С = (1). Поскольку группа В/С = В обладает точным неприводимым представлением, то ее центр Z(В) — циклический [22, теорема 2.2]. Таким образом, получаем, что В — циклическая группа.
Пусть В = (в). Покажем, что группа N — циклическая. Пусть х € N, х = 1. Рассмотрим нормальное замыкание
(х)° = gr(ж, х/). Из неприводимости N следует, что N = (х)°. Ес-
ли х • хя = 1, то хя
(х)^ = (х) и (х) < С.
Следовательно, в этом случае N = (х).
Если х • хя = 1, то (х • хя) < С, и аналогичным образом получаем, что в этом случае N = (х • хя). Следовательно, N — циклическая группа.
Рассмотрим произвольный элемент V € V. Поскольку С € ), то для произвольного элемента х € С нормальное замыкание (х)° € N, и в нем истинны тождества (1)-(3). Из замечания 2 следует истинность квазитождества (12) в группе (х)°. В частности, квазитождество (12) истинно в нормальном замыкании . Поскольку для любого к € V верно (^)р = 1, то группа —
абелева. Из работы [2] следует, что класс £(Л) является многообразием 2-энгелевых групп. Значит, V — 2-энгелева группа. Поскольку р = 3, то из теоремы [23, теорема 34.31] следует, что V — 2-ступенно-нильпотентная группа.
Зафиксируем элемент г такой, что N = (г). В фактор-группе ^^ векторного пространства над полем Zp зададим кососимметрическую форму у>, полагая, что
yN) = в,
где [х, у] = гя.
Возникло симплектическое пространство. Как известно, в конечномерном симплектическом пространстве существует базис из попарно ортогональных гиперболических пар и элементов, ортогональных ко всему пространству. Пусть (х1 N у^),..., (хп N ) — гиперболические пары, ..., сг N — элементы, ортогональные ко всему пространству. В частности, СjN = N. Так как N содержится в подгруппе Фраттини группы V, получаем, что
V = gr(жl,. .., х„, у1,. . . , у„, С1, . . . , Сг).
Так как ^>(х»N с,N) = 0, то
[х», с,] =
п.
[х», с,] = 1 (г = 1, .. ., п, 3 = 1,. .., г). Аналогично
Ы, с,] = 1 (г = 1, .. ., п, 3 = 1, .. ., г); [с», с,] = 1 (г = 1, .. . ,п, 3 = 1,. .., г).
Таким образом, получаем, что элементы с, (3 = 1,..., г) принадлежат центру группы V, т. е. с, N = N, что не так. Следовательно, элементов с,N (3 = 1,..., г) нет в рассматриваемом базисе. Поскольку ^>(х»N, yjN) = 1, то
[х»,у»] = г1 = г (г = 1, .. . ,п).
Так как ^>(х»N у, N) = 0, то
[х»,у,] = г0 = 1 (г, з = 1,. .. ,п, г = 3).
Следовательно,
V = 5у/р(С) = *2(х1,у1) х ... х ^2(х„,у„)
([х1 ,у1] = ... = [х„,у„]), и из леммы 2 следует, что
С = 5у/р(С) X В,
где В — циклическая группа порядка 2. Теорема доказана.
В заключение автор выражает глубокую признательность профессору А.И. Будкину за постановку задачи и ценные замечания, высказанные в ходе подготовки статьи.
ь
У
X
X
п
п
и
1
х
Библиографический список
1. Kappe L.C. On Levi-Formations // Arch. Math. - 1972. - V. 23, №6.
2. Levi F.W. Groups in Which the Commutator Operation Satisfies Certain Algebraic Condition // J. Indian Math. Soc. - 1942. - V. 6.
3. Morse R.F. Levi-Properties Generated by Varieties // The Mathematical Legacy of Wilhelm Magnus. Groups, Geometry and Special Functions (Contemp. Math., 169), Providence, RI, Am. Math. Soc. - 1994.
4. Будкин А.И. Квазимногообразия Леви // Сибирский математический журнал. — 1999. — Т. 40, №2.
5. Будкин А.И., Таранина Л.В. О квазимногообразиях Леви, порожденных нильпотент-ными группами // Сибирский математический журнал. - 2000. - Т. 41, №2.
6. Будкин А.И. О классах Леви, порожденных нильпотентными группами // Алгебра и логика. - 2000. - Т. 39, №6.
7. Лодейщикова В.В. О квазимногообразиях Леви, порожденных нильпотентными группами // Известия Алтайского гос. ун-та. - 2009. -№1 (61).
8. Лодейщикова В.В. О классах Леви, порожденных нильпотентными группами // Сибирский математический журнал. - 2010. - Т. 51, №6.
9. Лодейщикова В.В. О квазимногообразиях Леви экспоненты ps // Алгебра и логика. — 2011. - Т. 50, №1.
10. Лодейщикова В.В. Об одном квазимногообразии Леви экспоненты 8 // Известия Алтайского гос. ун-та. - 2010. - №1/2 (65).
11. Лодейщикова В.В. Об одном классе Ле-ви экспоненты 2p // Известия Алтайского гос. ун-та. - 2014. - №1/2 (81). D0I:10.14258/izvasu(2014)1.2-07
12. Каргаполов М.И., Мерзляков Ю.И. Основы теории групп. — М., 1972.
13. Будкин А.И., Горбунов В.А. К теории квазимногообразий алгебраических систем // Алгебра и логика. — 1975. — Т. 14, №2.
14. Горбунов В.А. Алгебраическая теория квазимногообразий. — Новосибирск, 1999.
15. Будкин А.И. Квазимногообразия групп. — Барнаул, 2002.
16. Шахова С.А. О квазимногообразии, порожденном конечной р-группой // Математические заметки. — 1993. — Т. 53, №3.
17. Будкин А.И. О решетке квазимногообразий метабелевых групп без кручения // Алгебра и логика. — 2003. — Т. 42, №2.
18. Будкин А.И. Квазимногообразие, порожденное свободными метабелевыми и 2-ниль-потентными группами // Алгебра и логика. — 2005. — Т. 44, №4.
19. Будкин А.И. О доминионах в квазимногообразиях метабелевых групп // Сибирский математический журнал. — 2010. — Т. 51, №3.
20. Будкин А.И. Об абсолютной замкнутости абелевых групп без кручения в классе метабеле-вых групп // Алгебра и логика. — 2014. — Т. 53, №1.
21. Macdonald I.D. On Certain Varieties of Groups. II // Mathematische Zeitschrift. — 1962. — V. 78, №1.
22. GorensteinD. Finite Groups. — Providence, 2007.
23. Нейман Х. Многообразия групп. — М., 1969.
