close

Вход

Забыли?

вход по аккаунту

?

О рациональных подмножествах разрешимых групп.

код для вставкиСкачать
МАТЕМАТИКА
Вестн. Ом. ун-та. 2011. № 2. С. 19–23.
УДК 512.54
О.А. Воронина
Северо-Казахстанский государственный университет им. Манаша Козыбаева
О РАЦИОНАЛЬНЫХ ПОДМНОЖЕСТВАХ
РАЗРЕШИМЫХ ГРУПП*
Доказывается, что каждая конечно порожденная нильпотентная-над-абелевыми или
линейная разрешимая группа, в которой все рациональные подмножества представляют булеву алгебру, является фактически абелевой.
Ключевые слова: разрешимая группа, рациональное множество, булева алгебра.
Введение. Исследования, касающиеся приложений теории формальных языков к теории групп, сейчас довольно популярны, известно много интересных результатов. Среди множества классов формальных языков важное место занимают рациональные (регулярные)
языки, которые мы определим индуктивно.
Определение 1. Пусть M – произвольный моноид (полугруппа с
единицей). Тогда рациональные подмножества моноида M определяются по следующим правилам:
1) конечные подмножества М являются рациональными;
2) если множества R и S рациональны, то их объединение
R ∪ S , произведение RS , а также «звездное замыкание»
R ∗ = {1}∪ ∩i =1 R i являются рациональными (заметим, что R* – это
∞
подмоноид, порожденный R);
3) всякое рациональное множество получается из конечных множеств с помощью конечного числа операций, описанных в п. 2.
В частности, если M – это конечно порожденный свободный моноид, то рациональные подмножества M называются рациональными языками (а произвольные подмножества M – формальными
языками).
Кроме индуктивного определения рациональных множеств, хорошо известно определение в терминах конечных автоматов (теорема
Клини устанавливает их эквивалентность) (см., например: [1]).
В приложениях к теории групп один из подходов – рассмотрение
формальных языков вместе с гомоморфизмами, отображающими их в
группу. В частности, одна из известных задач – это нахождение формальных языков из некоторого класса (например, рациональных), которые отображаются на группу биективно. В то же время (см., например: [1; 2]) рациональные множества можно рассматривать непосредственно в группах, которые являются частным случаем моноидов.
Естественность этого подхода подтверждается, например, следующим
фактом.
* Работа поддержана грантом РФФИ 10.01.00383-а.
© О.А. Воронина, 2011
20
Утверждение 1 [3]. Пусть G – группа, и рациональное подмножество R ⊆ G
содержится в подгруппе H ≤ G. Тогда R
рационально в H .
(Заметим, что легко привести примеры того, что для произвольных моноидов
это не так.)
В работах Г.А. Баженовой [3–6] изучался следующий вопрос: в каких случаях
класс рациональных подмножеств группы
является булевой алгеброй, т. е. замкнут
относительно операций дополнения, объединения, пересечения и симметрической
разности? (Заметим, что этот класс замкнут относительно объединения по определению, поэтому для того, чтобы он был
булевой алгеброй, достаточно замкнутости относительно дополнения.)
Вначале этот вопрос возник при попытке понять, какие из классических результатов о рациональных языках переносятся на случай рациональных подмножеств групп. Известно, что рациональные
языки, т. е. рациональные подмножества
конечно порожденного свободного моноида, являются булевой алгеброй. Затем
была доказана теорема о том, что рациональные подмножества конечно порожденной нильпотентной группы являются
булевой алгеброй тогда и только тогда,
когда эта группа почти абелева. Позже
было получено обобщение данного результата на случай полициклических групп,
потом аналогичный результат был получен для метабелевых групп.
Естественный вопрос: верна ли аналогичная теорема для класса всех конечно
порожденных разрешимых групп – остается пока открытым. В данной работе мы доказываем, что она верна для конечно порожденных нильпотентных расширений
абелевых групп и конечно порожденных
разрешимых подгрупп матричных групп
(теоремы 1 и 2 соответственно). Доказательства опираются на основной технический результат – теорему 1. Результаты
данной статьи основываются на некоторых
неопубликованных идеях Г.А. Баженовой.
Приведем несколько утверждений, на
которые мы будем в дальнейшем опираться.
Утверждение 2 [1]. Пусть G – группа и подмножество R ⊆ G рационально.
Тогда подгруппа, порожденная множеством R, также является рациональным
подмножеством G.
О.А. Воронина
Следующий факт показывает, что при
поиске групп, классы рациональных подмножеств которых являются булевыми алгебрами, достаточно ограничиться рассмотрением конечно порожденных групп.
Утверждение 3 [1]. Пусть G – группа
и H ≤ G ее подгруппа. Тогда H является
рациональным подмножеством G в том и
только том случае, когда H конечно порождена. В частности, если рациональные подмножества G – булева алгебра,
то G = G \ 0/ – рациональное подмножество
G , потому конечно порождена [1].
Следующее утверждение является
следствием утверждений 1 и 3.
Утверждение 4. Пусть G – группа и
H ≤ G ее подгруппа. Если рациональные
подмножества G образуют булеву алгебру, то и рациональные подмножества
H образуют булеву алгебру.
Следующее утверждение содержит в
себе сводку результатов о группах, классы
рациональных подмножеств которых являются булевыми алгебрами.
Утверждение 5:
1) пусть G – полициклическая или
конечно порожденная метабелева группа,
рациональные подмножества которой
образуют булеву алгебру. Тогда G почти
абелева [5; 6];
2) если группа G почти абелева, то
ее рациональные подмножества – булева
алгебра (см., например: [3]);
3) если классы рациональных подмножеств двух групп – булевы алгебры,
то класс рациональных подмножеств их
свободного произведения – также булева
алгебра [4] (в частности, класс рациональных подмножеств свободной группы
конечного ранга – булева алгебра).
По поводу п. 3 возникает естественный вопрос: верно ли, что в произвольной
гиперболической группе класс рациональных подмножеств – булева алгебра? Ответ
отрицательный, в качестве контрпримера
можно взять построенный И. Каповичем
пример гиперболической группы с одним
соотношением, не обладающим свойством
Хаусона (это свойство означает, что пересечение двух конечнопорожденных подгрупп конечно порождено) [7].
Кроме того, можно использовать для
получения контрпримеров известную конструкцию Рипса, которая позволяет для
любой конечно определенной группы G и
О рациональных подмножествах разрешимых групп
21
любого числа λ > 0 построить короткую
точную
последовательность
1→ N →
→ Г → G → 1 , где группа Г имеет конечное представление, удовлетворяющее известному условию малого сокращения
С ′ ( λ ) , а группа N конечно порождена.
k1 , ..., kn принадлежат M . Нормальное замыкание группы K 2 = < k1 , ..., kn > в K1
порождено множеством X элементов вида g − l ki g l , где l ∈ Z , 1 ≤ i ≤ n .
Докажем, что X рационально. Дейст-
Хорошо известно, что группа, имеющая конечное представление с условием
С ′ (1 6 ) , гиперболична; кроме того, легко
X i = {g − l ki g l , l ∈ Z , l ≥ 0}
доказать (см.: [1; 3]), что условие «класс
рациональных подмножеств – булева алгебра» наследуется фактор-группой по
конечно порожденной (как группа) подгруппе; тогда в качестве G можно выбрать любую конечно определенную группу, в которой рациональные подмножества не являются булевой алгеброй. Построенная по ней группа Г будет нужным
контрпримером.
Основные результаты
Обозначим через Z
бесконечную
циклическую группу.
Теорема 1. Пусть G – конечно порожденная разрешимая группа и рациональные подмножества прямого произведения G × Z – булева алгебра. Тогда G
почти абелева.
Доказательство. Обозначим порождающий элемент группы Z буквой a ,
таким образом, рациональные подмножества группы G × a – булева алгебра. Докажем индукцией по ступени разрешимости конечно порожденной подгруппы
H ≤ G , что H – почти абелева.
Если H абелева, то доказывать нечего.
Если H – разрешимая подгруппа ступени n и для меньших ступеней разрешимости утверждение теоремы верно, то
коммутант H ′ группы H локально почти
абелев.
Для дальнейшего доказательства нам
понадобится следующая лемма.
Лемма 1. Пусть (в контексте доказательства данной теоремы) группа M с
условием H ′ ≤ M ≤ H локально почти
абелева, g ∈ H . Тогда группа M 1 = < M , g >
локально почти абелева.
Доказательство. Пусть K – конечно порожденная подгруппа группы M 1.
Она содержится в некоторой подгруппе
K1 = < g , k1 , ..., kn > ≤ M 1 , где элементы
вительно, множество
можно получить как пересечение рациональных подмножеств группы G × < a > , а
именно
X i = ( a −1 g −1 ) ki ( ga ) ∩ G.
∗
(a
(Элемент
(g ) k (g)
−1 l
k
i
−1
∗
g −1 ) ki ( ga )
∗
∗
равен
a − l + k и принадлежит группе G
тогда и только тогда, когда −l + k = 0 . Но
при l = k этот элемент принадлежит X i . )
По условию теоремы пересечение конечного числа рациональных подмножеств группы
G× < a > рационально в группе
G × < a > , поэтому X i рационально в
G × < a > (а тогда из утверждения 1 следует, что X i рационально в K1 ). Аналогично
множество
X i = {g − l ki g l , l ∈ Z , l ≤ 0}
ционально в K1 , а тогда X =
∪ (X
n
i =0
i
ра-
∪ Xi )
также рационально в K1 .
По утверждениям 2 и 3 группа
< X >=<< K 2 >> конечно порождена. Но,
как легко видеть, < X > содержится в M
(группа M содержит коммутант группы
H и потому нормальна в ней). Следовательно, группа < X > полициклична (она
удовлетворяет условию максимальности
для подгрупп, так как любая подгруппа
конечно порожденной почти абелевой
группы – конечно порожденная почти
абелева группа; а разрешимая группа с
условием максимальности полициклична).
Значит, группа K1 полициклична.
По утверждениям 4 и 5 группа K1
почти абелева, а тогда и группа K почти
абелева. Лемма доказана.
Завершим доказательство теоремы.
Пусть H =< h1 ,..., hN > , тогда определим ряд подгрупп группы H следующим
образом: H 0 = H ′ , H i =< H ′, h1 ,..., hi > при
i = 1, ..., N .
Тогда, применяя лемму 1, по индукции по индексу i получим, что все под-
О.А. Воронина
22
группы
H i , i = 0,..., N ,
локально
почти
абелевы. В частности, H N = H почти абелева. Теорема доказана.
(индукция по N ). Но для некоторого N
элемент cN принадлежит группе A. Тогда
y − n xy n .
группа < cN , y > метабелева, она конечно
порождена и содержится в G , поэтому по
утверждению 4 ее рациональные подмножества – булева алгебра, а по утверждению 5 она почти абелева. Тогда любая
ее подгруппа (в частности, K1 ) G конечно
порождена. Значит, группа M также конечно порождена.
G =< g1 ,..., g n >,
G0 = G ′,
Пусть
Утверждение 6 (следствие теоремы 1). Если конечно порожденная разрешимая группа G разлагается в прямое
произведение G = G1 × G2 , где обе группы
G i =< G ′, g1 ,..., gi > i = 1, ..., n . Все подгруппы Gi нормальны в G , поскольку они содержат коммутант G ′. Докажем индукцией по i , что все группы Gi локально поч-
Неформально в доказательстве предыдущей теоремы бесконечная циклическая группа, порожденная элементом a ,
играет роль «счетчика», который позволяет выделить из подмножеств G вида
(y )
−1 ∗
xy ∗
в
точности
все
сопряжения
G1 и G2 бесконечны и рациональные подмножества группы G – булева алгебра,
то G почти абелева.
По поводу теоремы 1 также заметим,
что по утверждению 4 условие «рациональные подмножества G × Z – булева алгебра» влечет условие «рациональные
подмножества G – булева алгебра».
Теорема 2. Пусть G – конечно порожденная разрешимая группа, рациональные подмножества которой являются
булевой алгеброй, и пусть существует
такая нормальная абелева подгруппа A
группы G , что G / A нильпотентна. Тогда
G почти абелева.
Доказательство (индукцией по степени разрешимости группы G ). По индукции коммутант G ′ группы G локально
почти абелев.
Пусть x, y – некоторые элементы
группы
G.
Обозначим
H =< x, y > ,
M =< y − n xy n | n ∈ Z > (легко видеть, что
M – это нормальное замыкание < x > в
H ) и K =< y − n [ x, y ] y n | n ∈ Z > (как обычно,
[ x, y ] = x −1 y −1 xy ).
Поскольку
y − n [ x, y ] y n = ( y − n x −1 y n ) ×
×( y − n −1 xy n +1 ) , то группа M порождается
K и x . Значит, если K конечно порождена, то M также конечно порождена.
Тогда, если коммутаторы c1 ,..., cN опредеc1 = [ x, y ] ,
лены
по
индукции
как
ci +1 = [ci , y ]
для
i≥2
и
группа
K1 =< y − n cN y n | n ∈ Z > конечно порождена,
то группа M также конечно порождена
ти абелевы.
Пусть S =< k1 ,..., km , gi +1 >, где подгруппа S1 =< k1 ,..., km > содержится в Gi . Пусть
S2 – это нормальное замыкание группы S1
в S . Оно порождено m группами
< gi−+l1k j gil+1 | l ∈ Z >, где j = 1, ..., m. Но они
конечно порождены по предыдущим рассуждениям, где в качестве x нужно взять
k j , а в качестве y – gi +1. Следовательно,
группа S2 – конечно порожденная подгруппа Gi , поэтому по индукции она почти абелева, а так как она разрешима, то
является и полициклической, тогда полициклической является и группа S , по утверждениям 4 и 5 группа S почти абелева. Тогда группа G = Gn почти абелева.
Теорема доказана.
Теорема 3. Пусть G – конечно порожденная разрешимая подгруппа матричной группы GLn (Ω), где Ω – поле характеристики ноль, рациональные подмножества группы G – булева алгебра. Тогда
G почти абелева.
Доказательство. Во-первых, можно
считать, что поле Ω алгебраически замкнуто. По теореме Колчина – Мальцева [8]
существует нормальная подгруппа N
группы G конечного индекса, сопряженная с подгруппой группы треугольных
матриц Tn (Ω) . Достаточно доказать, что
N почти абелева.
Учитывая утверждение 4, можно считать, что G ≤ Tn (Ω) . Коммутант G ′ группы
G содержится в группе унитреугольных
О рациональных подмножествах разрешимых групп
матриц UTn (Ω), эта группа нильпотентна.
Поскольку случай конечной характеристики поля очевиден, можно считать, что
оно имеет характеристику ноль, поэтому
G ′ без кручения. Кроме того, по утверждениям 4 и 5 (принимая во внимание
то, что конечно порожденная нильпотентная группа полициклична), G ′ локально почти абелева. Так как факторгруппа G / G ′ конечно порождена, можно
считать, что она и следом вся группа G
без кручения. Далее, как обычно, определим нижний центральный ряд группы
H = G′
по
индукции
γ 0H = H ,
γ j +1 H = [γ j H , H ] =< [h, g ] | h ∈ γ j H , g ∈ H > .
Нижний центральный ряд – это убывающий ряд подгрупп H . Поскольку H
нильпотентна, то начиная с некоторого
номера члены нижнего центрального ряда
равны единичной подгруппе.
Пусть γ k H = {1} , а γ k −1 H ≠ {1} . Докажем (методом от противного), что k = 1 ,
т. е. H = G ′ абелева. Тогда утверждение
теоремы будет следовать из утверждения 5. Предположим, напротив, что k ≥ 2 .
Пусть x ∈ H , y ∈ γ k −2 H – произвольные.
Коммутатор [ x, y ] принадлежит γ k −1 H ,
т. е. принадлежит центру группы H , поэтому группа < x, y > двуступенно нильпотентна. Если элемент [ x, y ] имеет бесконечный порядок, то < x, y > не является
23
почти абелевой, но эта подгруппа локальна почти абелевой группы G ′ – противоречие. Значит (так как G ′ – без кручение),
[ x, y ] = 1, поэтому γ k −1 H = [γ k − 2 H , H ] = {1} .
Полученное противоречие завершает доказательство.
Автор выражает глубокую благодарность
своему научному руководителю – профессору
В.А. Романькову за помощь в работе.
ЛИТЕРАТУРА
[1] Gilman R. H. Formal language and infinite groups
// DIMACS Ser. Discrete Math. Theoret. Comput.
Sci. 1996. V. 25. P. 27–51.
[2] Herbst T., Thomas R. M. Group presentations,
formal langyages and characterizations of onecouter group // Theoret. Comput. Sci. 1993.
V. 112. P. 187–213.
[3] Баженова Г. А. О рациональных множествах
конечно порожденных нильпотентных групп //
Алгебра и логика. 2000. Т. 39. № 4. С. 379–394.
[4] Баженова Г. А. Замкнутость одного класса
групп относительно свободного произведения
// Сиб. мат. журнал. 2000. T. 41. № 4. C. 740–
743.
[5] Bagenova G. A. Rational sets in polycyclic group
// Комбинаторные и вычислительные методы в
математике : сб. науч. тр. Омск : ОмГУ, 1999.
С. 76–81.
[6] Баженова Г. А. О рациональных множествах в
метабелевых
группах:
препринт
№ 22.
ОмГАУ, 1999.
[7] Kapovich I. One-relator groups and the Howson
property // Comm. in Algebra. 1999. V. 27. № 3.
P. 1057–1072.
[8] Супруненко Д. А. Группы матриц. М., 1972.
Документ
Категория
Без категории
Просмотров
6
Размер файла
418 Кб
Теги
подмножество, рационально, группы, разрешимых
1/--страниц
Пожаловаться на содержимое документа