Введение
В 1930 г. В. Магнус опубликовал статью [26], имеющую большое значение для комбинаторной теории групп и логики, в которой доказал т.н. Freiheitssatz (теорему о свободе):
Теорема 1. Пусть G - факторгруппа свободной группы со свободными порооюдающилш х\,...>хп, где п ^ 2, по
нормальному замыканию циклически приведённого слова г, тиеющего нетривиальное вхооюдение xf1. Тогда подгруппа F группы G, порождённая образалш ..., хп, является свободной группой ранга п — 1.
В контексте теоремы о свободе F называется подгруппой Магнуса. В |26] также доказана тесно связанная с торемой о свободе
Теорема 2. Пусть F - свободная группа, и г, s G F. Если нормальные замыкания rus совпадают, то г сопряжен с s или s .
Будем говорить, что группа G обладает свойством Магнуса, если для каждых двух элементов г. s € G с совпадающими нормальными замыканиями верно, что г сопряжен с 5 или б*“1.
К числу первых обобщений результатов Магнуса относится работа М. Гриндлингера [17], в которой доказано, что если два подмножества U и V счётной свободной группы обладают совпадающими нормальными замыканиями и удовлетворяют некоторым метрическим условиям малых сокращений, то существует такая биекция ip : U — > V, что г сопряжен с ip(r) или ip(r)~l для кажого г G U. Этот результат был обощен Е. В. Кашинцевым в [3, 4] и М. Паласинским в [27].
С.Д. Бродский поставил вопрос, над какими группами, помимо свободных, разрешимо каждое уравнение1. В работе [2] он сформулировал утверждение о том, что к числу этих групп принадлежат локально ипдикабельные группы. Из этого утверждения следует теорема о свободе для локально иидикабельных групп: любые локально ипдикабельные группы Л и В естественно вкладываются в Л * В /{(г)), где г - элемент Л* В, который не сопрягается внутрь Л или В, и ((г)) - его нормальное замыкание в А * В. Дж. Хоуп попытался получить аналог теоремы 2 для локально иидикабельных
1 Пусть G — некоторая группа, Хп - свободная группа ранга п и F =s G * Хп - свободное произведение групп G н X,.. Пусть, далее, w - элемент группы не сопряженный ни с: каким элементом из G. Говорят, что уравнение w = 1 разрешимо над группой G, сслк существует гомоморфизм группы F » некоторую группу , действующий тождественно на G н переводящий ю в единицу.
2
групп , что получилось у него с некоторыми ограничениями (см.[20], теорема 14). М. Эджевет получил в [15] более полный результат, который формулируется следующим образом. Пусть С — А * В. где Ли В - локально индикабельные группы. Если 5б(? - циклически приведённые слова длины не менее 2 с совпадающими нормальными замыканиями, то г сопряжено с й или 5”1.
В [9] О. Вогопольскии, Е. Кудрявцева и X. Цишанг сделали первые шаги по исследованию фундаментальных групп замкнутых поверхностей на предмет обладания свойством Магнуса, Был доказан следующий факт. Пусть 5 - замкнутая поверхность, и г, в - два элемента её фундаментальной группы , каждый из которых может быть представлен простой двусторонней петлёй2 и которые обладают совпадающими нормальными замыканиями. Тогда г сопряжён с 5 или 5-1.
Богопольский получил в [8] болсс полный результат: он доказал, что фундаментальные группы замкнутых ориентируемых поверхностей обладают свойством Магнуса. Кроме того, в [8] получены следующие результаты:
(1) Построена бесконечная серия гиперболических групп без кручения, не обладающих свойством Магнуса.
(2) Все бесконечные группы с одним соотношением и кручением не обладают свойством Магнуса.
Поиском аналогов подгрупп Магнуса для фундаментальных групп замкнутых ориентируемых поверхностей занимался Хоуи. На замкнутой ориентируемой поверхности Б он рассматривал пару петель, а и /?, где в - простая петля. Затем он исследовал, при каких условиях вложение Е н-» С/ЛДа) является инъективным, где С — яч(5), Л,т(а) - нормальное замыкание элемента а в группе - фундаментальная группа компоненты связности Б\р. Заметим, что в зависимости от того, разбивает Р поверхность Б или нет, количество таких компонент связности равно двум или одному.
В [21] доказано, что это вложение инъективно, если р разбивает Б и а не сопряжена в (7 с петлёй, целиком лежащей в одной из компонент связности Б\р. Для случая перазбивающей кривой Р доказано, что достаточно потребовать, чтобы а и Р не были гомотопны
^Простая петля называется двусторонней, если существует вещественное число <5 > 0, такое что (5-окрестиость этой петли гомеоморфна цилиндру.
3
непересекающимся петлям, и чтобы их индекс пересечения равнялся нулю.
В этой же работе [21] Хоуи сделал утверждение, что условие равенства нулю индекса пересечения можно отбросить. Однако, это утверждение ошибочно, о чём Хоуи сообщает в [22], приводя контрпример. Тем не менее, в [22] удалось ослабить условия для случая неразбивающей петли /?: достаточно потребовать, чтобы а и /3 не были гомотопны петлям, которые пересекаются менее двух раз.
В [23] подход к изучению фундаментальных групп замкнутых ориентируемых поверхностей распространён на предельные группы.
А. Л. Шмелькин показал в [б], что свободные метабелевы группы ранга не менее 2, а так же ограниченные сплетения свободных абелевых групп не обладают свойством Магнуса. Тем не менее, он указывает условия, не являющиеся, впрочем, необходимыми, при которых из совпадения нормальных замыканий двух элементов свободной метабелевой группы сле/^ет их сопряжённость ( [6], теорема 2 ). К. Свиридов приводит алгоритм распознавания равенства нормальных замыканий элементов свободных метабелевых групп и ограниченных сплетений езободных абелевых групп. М. Эвансу принадлежит следующий результат о нормальных замыканиях элементов свободных метабелевых групп: в [16] он показывает, что если нормальному замыканию элемента д принадлежит примитивный элемент /г то д сопряжён с Н±1. В [5] Е.И. Тимошенко показал, что результат Эванса не справедлив для групп многообразия
Результат первой части диссертации опубликован в совместной статье с Богонольским [37]. Этим результатом является теорема
1.1.1 и её важное следствие, касающееся фундаментальных групп неориентируемых поверхностей - предложение 1.1.2.
Замечание 3.
(1) Затронем логические аспекты свойства Магнуса. В |8] было показано, что если С?1, С?2 ~ две элементарно эквивалентные группы и Ст\ обладает свойством Магнуса, то им обладает и группа (72.
(2) Пусть 5 - замкнутая поверхность рода д, где д ^ 2, если 5 ориентируемая и д ^ 4, если 5 неориентируемая. В [29] Зела сформулировал утверждение, что фундаментальная группа поверхности 5 элементарно эквивалентна свободной неабелевой
л
группе конечного ранга. Полное доказательство этого результата содержится в препринтах [30].
(3) Пункты 1) и 2) дают другое доказательство того, что
фундаментальная группа 5 обладает свойством Магнуса (см.
И)-
(4) Теорема 1.1.1 не покрывается результатом работы [29], т.к. среди групп, обладающих копредставлением указанного вида, присутствуют группы не экзистенциально эквивалентные, (а значит и не элементарно эквивалентные) свободной
неабслевой группе конечного ранга.
Например, рассмотрим группу
в = { а,Ь,х1,...,х„,уи-..,Ут I [а,Ь][Л',У]2* ) ,
где п ^ 2, 7П ^ 1, X, У - два слова в алфавите
У - слово в алфавите 2/1,...,2/т» & ^ 4, причём
[X, У] ф 1 и X ^ 1 в соответствующих свободных
группах. По теореме 1.1.1, группа С обладает свойством Магнуса. Однако, б? не экзистенциально эквивалентна свободной неабелевой группе. Действительно, согласно [13], 1-я степень нетривиального элемента свободной нсабелевой группы не может быть представлена как произведение менее чем Чр коммутаторов. Таким образом, формула
Э2Ь 22, 23,г(г /1А [ги г2)[г3, = 1)
выполняется в 67 и не выполняется в какой-либо свободной нсабелевой группе.
(5) Доказательство наличия свойства Магнуса тривиально для фундаментальных групп замкнутых неориентируемых поверхностей рода 1 и 2 (см. раздел 1.6). Обладает ли свойством Магнуса фундаментальная группа замкнутой неориентируемой поверхности рода 3, остаётся открытым вопросом. Отметим, что эта группа имеет копредставление (а, 6, с | а?Ь2с2) и, следовательно, не элементарно эквивалентна неабслевой свободной группе (см. [25], гл. 1, предложение 6.6. )
Вторая часть диссертации посвящена конечным подгруппам гиперболических групп. Гиперболические группы были введены М. Громовым в работе [19] и по сей день являются важным объектом исследования в геометрической теории групп и топологии. Эти группы можно определить несколькими способами. Чтобы
5
воспользоваться одним из них, нам потребуется сперва определить 6-тонкие треугольники и {-гиперболические метрические пространства.
Геодезический треугольник в метрическом пространстве назовём {-тонким, где 6 £ = {г 6 Е|г ^ 0}, если каждая из его сторон
лежит в объединении {-окрестностей двух оставшихся. Геодезическое метрическое пространство называется {-гиперболическим для некоторого { ^ 0, если все геодезические треугольники в этом пространстве являются {-тонкими. В свою очередь, группа называется гиперболической, если её граф Кэли относительно некоторой конечной системы порождающих, будучи рассмотрен как метрическое пространство относительно словарной метрики, ассоциированной с этой порождающей системой, является {-гиперболическим пространством для некоторою { ^ 0.
О подгруппах гиперболических групп известно немного. Известно, что квазивыпуклые подгруппы гиперболических групп сами являются гиперболическими, и известно, что гиперболические группы удовлетворяют альтернативе Титса ([19]) 3. С другой стороны подгруппы гиперболических групп могут иметь сложное строение. Как показано в [24], подгруппа гиперболической группы не всегда является квазивыпуклой. В [28] описан пример гиперболической группы, обладающей конечнопорождёиной подгруппой, которая бесконечно определена (а значит, не является гиперболической). И наконец, в [12] построен пример гиперболической группы, обладающей конечноопределённой негиперболической подгруппой.
Кручение осложняет изучение гиперболических групп. Так только недавно была положительно решена проблема изоморфизма для гиперболических групп с кручением ([14]), в то время как эта проблема для гиперболических групп без кручения решена в 1995г. ([31]).
О.В. Богопольский и В.Н. Герасимов доказали в [1], что конечные подгруппы {-гиперболической группы не могут быть сколь угодно большими. А именно, каждая такая подгруппа сопряжена с подгруппой, лежащей внутри шара радиуса 26 4-1 с центом в единице.
В [7] Г.Н. Аржанцева доказала • следующую теорему, сформулированную иервоночально Громовым в [19]. Для каждой
^Группа удовлетворяет альтернативе Титса, если каждая её подгруппа либо содержит свободную неабелеву подгруппу, либо является почти разрешимо!!. Заметим, что почти разрешимые подгрупп!.! гиперболических групп являются элементарными гиперболическими (см. опр. 3.2.15). Действительно, из теоремы 38 в первой главе книги (18) следует, что подгруппа гиперболической группы либо является элементарной гиперболической группой, либо содержит свободную пеабелеву подгруппу.
б
- Київ+380960830922