CC BY
22
электронное научно-техническое издание
НАУКА и ОБРАЗОВАНИЕ
Эл № ФС77 - 30569. Государственная регистрация №0421100025. ISSN 1994-0408
Об аторических относительных копредставлениях 77-30569/251232
#11, ноябрь 2011 О. В. Куликова
УДК 512.543
МГТУ им. Н.Э. Баумана [email protected]
Введение
В статье [1] В.А.Богли и С.Дж.Прайд рассматривают асферические относительные копредставления. В книге [2] А.Ю. Ольшанским вводится понятие аторического градуированного копредставления и доказывается, что элементы, перестановочные в группе, обладающей некоторым градуированным атори-ческим копредставлением, принадлежат одной циклической подгруппе этой группы. Цель настоящей работы — рассмотреть относительные копредставления с точки зрения аторичности и исследовать свойства коммутирующих элементов в группе, представленной аторическим относительным копредставлением.
В первой части данной работы приводятся определения и утверждения из [1], которые понадобятся в данной работе, также дается определение атори-ческого относительного копредставления. При этом сохраняются обозначения из [1]. Во второй части выводятся утверждения о сопряженных и коммутирующих элементах в группе, представленной относительным копредставлением, на которое наложены некоторые условия. В третьей части доказывается утверждение о достаточном условии для аторичности, подобное одному из условий асферичности в [1].
1. Аторичность
Относительные копредставления. Пусть Н — группа. К Н добавляется множество порождающих х. Новая группа О получается при факторизации полученного свободного произведения Н * (х) по нормальному замыканию N множества г циклически приведенных элементов из Н * (х) \ Н. Каждый элемент из г записан в виде
Н1Х^ Н2 ...хепп Нп, (1)
где х{ Е х, б| = ±1 и Н{ Е Н, и является циклически приведенным в том смысле, что если Н{ = 1 и х{ = х{+1 (индексы рассматриваются по модулю п), тогда е{ = е{+1. Элементы из х и х-1 будем называть х-символами. А элементы из Н будем иногда называть коэффициентами. Говорят, что О определяется относительным копредставлением Р = (Н, х; г).
Если 8 - некоторое подмножество множества г, обозначим через 8* множество всех циклических перестановок элементов из 8 и 8-1 вида (1), т.е. все циклические перестановки, которые начинаются с х-символа.
Определим оператор " на г* следующим образом. Для Я Е г запишим Я = БН, где Н Е Н, а Б начинается и кончается х-символом. Положим
Я = Б-1Н-1.
Отметим, что Я = Я и Я Е г*. Нетрудно показать, что Я остается неподвижным при действии оператора " тогда и только тогда, когда Я имеет вид
ХЬЛХ-1Н2, (2)
где X начинается и кончается х-символом, а Н1, Н2 — элементы группы Н порядка 2.
Если Я — элемент множества г*, то Я можно записать в виде Яр(д), где Я не является собственной степенью и р(Я) — положительное целое число. Назовем Я корнем элемента Я, а р(Я) периодом.
Назовем Р тонким, если {Я}* П г = {Я} для каждого Я Е г. Будем говорить, что Р является ориентированным, если Р является тонким и никакой элемент из г не является циклической перестановкой себе обратного. Отметим,
что элемент Я Е г является циклической перестановкой себе обратного тогда и только тогда, когда некоторая циклическая перестановка элемента Я имеем вид (2).
Картинки над относительными копредставлениями. Картинкой Р называется конечный набор взаимно непересекающихся дисков {Д1,..., Дт} внутри диска О2 (кольца П, тора Т) вместе с конечным набором взаимно непересекающихся простых дуг {а1,... ,ап}, вложенных в замыкание О2 — и{Д1, . . . , Дт} (соотв., П — и{Д1, . . . , Дт}, Т — и{ДЬ . . . , Дт}).
Под словами диски картинки Р мы будем понимать диски {Д1,..., Дт}, а не диск О2. Граница дР картинки Р на О2 (на П)- это цикл дО2 (два цикла дП). В остальных случаях дР = 0. Для ] Е {1,..., т} углы диска Д^ — это замыкания связных компонент множества дДj — и{а1,..., ап}, где дДj — это граница диска Дj.
Области картинки Р — это замыкания связных компонент множества
и
О2 — (У {Д1,..., Дт} и и{аь ..., ап})
и соответственно,
П — ^ {Д1,..., Дт} и[]{а1,..., ап}),
Т — (У{Д1,..., Дт} и У{а1,..., ап}).
Внутренняя область картинки Р — это односвязная область, которая не имеет общих точек с дР. Картинка Р называется нетривиальной, если т ^ 1, связной, если У{Д1,..., Дт} и и{а1,..., ап} связно.
Картинка Р на О2 называется дисковой, если она не является тривиальной и (и{а1,..., ап}) П дР = 0. Дисковая картинка называется сферической.
Картинка Р на П называется кольцевой, если она не является тривиальной и (и{а1,..., ап}) П дР = 0. Нетривиальная картинка Р на торе Т называется торической.
Зафиксируем относительное копредставление Р = (И, х; г), и предположим, что картинка Р размечена в следующем смысле. Каждая дуга снабжена нормальной ориентацией, обозначенной короткой стрелкой, пересекающей дугу трансверсально, и помечена элементом из х и х—1. Также каждый
угол картинки Р ориентирован против часовой стрелки и помечен элементом из Н.
Если с — угол диска А размеченной картинки Р, то обозначим через W(с) слово, полученное при чтении против часовой стрелки меток дуг и углов, встречающихся на дА, начиная с метки дуги в начале (в концевой точке) угла с, ориентированного против часовой стрелки. При этом если мы проходим дугу с меткой £ в направлении ее нормальной ориентации, мы читаем £, а если мы проходим ее в противоположном направлении, мы читаем £-1.
Будем говорить, что размеченная картинка Р является картинкой над ко-представлением Р = (Н, х; г), если выполняются следующие два условия:
(С1) W(с) Е г* для каждого угла с картинки Р.
(С2) Если Н1,... , Нт — последовательность меток углов, встречающихся при прохождении по часовой стрелке границы внутренней области картинки Р, то Н1 . . . Нт = 1 в Н.
Картинка над Р с базой — это картинка над Р с дополнительными условиями:
(С3) Если А — произвольный диск картинки, тогда найдутся выделенные точки (базовые точки) 01,..., Ор внутри некоторых углов с1,..., ср диска А. Слова W(с1),..., W(ср) равны некоторому элементу Я из г и г. Более того р является периодом элемента Я. Будем называть Я меткой диска А и обозначать его через W(А).
(С4) Для дисковой картинки на границе дР выделена точка (базовая точка) О, не принадлежащая никакой дуге картинки. Если мы проходим вокруг дР против часовой стрелки, начиная с О, мы встречаем последовательность дуг. Читая метки этих дуг, мы получим слово W (Р), которое будем называть меткой картинки Р. (Заметим, что W(Р) включает в себя только х-символы.)
Если Р — картинка над копредставлением Р = (Н, х; г) и х0 — подмножество х, тогда дуги, которые помечены элементами из х0 их0 -1, будут называться х0-дугами. Аналогично если г0 — подмножество г, тогда диски, для которых W(с) Е г0* (с — некоторый угол диска) будут называться г0-дисками.
Картинки над обычными копредставлениями. Обычное ко представление Q = (х; г) (г — циклически приведенные слова в алфавите х) может рассматриваться как частный случай относительного копредставления
Q1 = (И, х; г) (с И = {1}). При этом метки углов картинки над Q1 равны 1 и поэтому их можно проигнорировать, тем самым получив картинку над обычным копредставлением Q. В общем случае мы не будем различать Q и Q1, и картинки над Q и Q1.
Следующий результат (лемма 1.1 из [1]) хорошо известен:
Лемма 1. Слово W, записанное в алфавите х, представляет единицу в группе, заданной копредставлением Q, тогда и только тогда, когда существует дисковая картинка с базой над Q с граничной меткой W.
Диполи, аторичность и асферичность. Пусть Р — относительное ко-представление. Диполь в картинке над Р состоит из пары углов с, с' картинки вместе с дугой а, соединяющей начало одного из углов с концом другого так, что выполняются следующие условия:
(О с и с' находятся в одной области картинки;
(II) W(с) = W(с').
Если го — подмножество множества г, тогда диполь называется г0-диполем, если W (с) Е г0*. Диски, на которых находятся углы с и с' диполя, называются дисками диполя. Важное наблюдение состоит в том, что если Р является ориентированным, то эти диски различны. (Ибо иначе из (п) будет следовать, что некоторая циклическая перестановка элемента из г* будет равняться своему образу при действии " .)
Картинка над Р является приведенной, если она не содержит диполи.
Определение 1. Относительное копредставление Р является асферическим, если любая связная сферическая картинка над Р содержит диполь.
Определение 2. Относительное копредставление Р является аторическим, если любая связная торическая картинка над Р содержит диполь.
Замечание 1. Технически удобно определить асферичность и аторич-ность в терминах связных картинок. Заметим однако, что если Р является асферическим (соотв., аторическим), то любая сферическая (соотв., торическая) картинка над Р будет содержать диполь. Это замечание будет часто использоваться.
Поднятие относительного копредставления. Пусть Р = (И, х; г) —
относительное копредставление. Получим обычное копредставление Р, определяющее ту же самую группу С.
Пусть Q = (а; 8) — обычное копредставление группы Н. Тогда существует гомомоморфизм ^ из свободной группы с алфавитом а на Н с ядром, равным нормальному замыканию множества 8. Для каждого Н Е Н выберем элемент ^-1(Н), представленный приведенным словом в алфавите а. Далее распространим ^ до гомоморфизма из свободной группы с алфавитом а и х в Н * (х) очевидным образом. Поднятие элементов из Н, описанное выше, индуцирует поднятие элементов из Н * (х). В частности, для каждого Я Е г получаем его поднятие Я (циклически приведенное слово в алфавите а и х). Положим
Р = (а,х; 8, г),
где г = {Я : Я Е г}.
Тривиальным образом обобщая лемму 1.5 из [1], получаем следующее утверждение.
Лемма 2. Если любая связная торическая (соотв., сферическая, кольцевая) картинка над ориентированным относительным копредставлением Р не является приведенной, тогда каждая картинка на торе (соотв., на диске, на кольце) над Р, имеющая хотя бы один Т-диск (соотв., имеющая хотя бы один Т-диск и не имеющая х-дуг, идущих к границе картинки), содержит г-диполь.
2. Некоторые результаты о сопряженных и коммутирующих элементах.
Теорема 1. Пусть Р = (Н, х; г) — ориентированное относительное ко-представление, которое определяет группу О, такое, что не существует связных приведенных кольцевых картинок над Р. Тогда элементы Н1,Н2 Е Н сопряжены в группе О тогда и только тогда, когда они сопряжены в группе Н.
Доказательство. Пусть элементы Н1, Н2 Е Н сопряжены в группе О элементом и Е О. Пусть Н1, Н2 — такие приведенные поднятия элементов Н1, Н2 в свободную группу в алфавите а и х, что Н1, Н2 не содержат букв х. И пусть и — приведенное поднятие и в алфавите а и х.
Можно считать, что и содержит буквы х, иначе все доказано. Так как Н1иН-1 и-1 представляет единичный элемент группы О, по лемме 1 существует дисковая картинка Р над обычным копредставлением Р группы О с граничной меткой, равной Н1иН-1и-1.
При этом границу дР можно разбить четырьмя точками а, Ь, с, ^ на 4 связные части [а, Ь], [Ь, с], [с, ¿], а], вдоль которых написано й, соответственно. Склеим [Ь, с] и [¿, а] друг с другом и получим картинку Р на кольце П над Р.
При этом [а, Ь] и [с, образуют границы а1 и а"2 кольца П, на которых фиксированы точки (базовые точки) о1 Е а1 и о2 Е а"2. При обходе вокруг а1 (соотв., а2) против часовой стрелки, начиная с о1 (соотв., о2), встречается последовательность дуг. Метки этих дуг образуют слово (соотв., При этом х-дуги не пересекают а1 и а"2.
Обозначим через £ простой путь внутри П, соединяющий о1 и о2. Для любого такого £ верно, что проходя вдоль £ от о1 к о2 и читая метки встречающихся дуг, мы получим слово, представляющее сопрягающий элемент для и в С. Изначально будем считать, что £ совпадает со склеенными [Ь, с] и [¿, а].
Рис. 1
Если в Р есть г-диски, то по условию теоремы, учитывая лемму 2, в Р найдется г-диполь. С помощью преобразования "мост" (смотри рис. 1) добиваемся того, чтобы все дуги шли от одного диска этого диполя к другому диску параллельно друг другу.
Получившаяся конфигурация (оба диска диполя и дуги между ними) в дальнейшем будет называться полным диполем. Удаляем этот полный диполь и получаем картинку на кольце Р1 над Р с меньшим количеством г-дисков, чем в Р, и с теми же граничными метками на а1 и а"2.
Применяем аналогичное преобразование к Р1 и т.д. В конце концов получим кольцевую картинку без г-дисков с теми же граничными метками на а1 и а"2. Причем любая х-дуга в картинке образует цикл.
Удаляя из этой картинки х-дуги, получаем картинку на кольце над Q. Тем самым получаем, что Н1 и Н2 сопряжены в Н. (Заметим, что если найдется х-дуга являющаяся не стягиваемым в точку циклом, то Н1 и Н2 сопряжены с единичным элементом в Н, т.е. сами являются единичными в Н.)
Обратное утверждение тривиально. ■
Теорема 2. Пусть Р = (Н, х; г) — ориентированное относительное ко-представление, которое определяет группу О, такое, что не существует связных приведенных кольцевых картинок над Р. Тогда элементы Н Е Н и и Е О перестановочны в группе О тогда и только тогда, когда либо Н = 1 в Н, либо существует элемент ин Е Н такой, что тоя = и в О и тоя коммутирует с Н в Н.
Доказательство. Пусть элементы Н Е Н и и Е О перестановочны в группе О. Как и в доказательстве теореме 1, используя те же обозначения, только полагая, что Н1 = Н2 = Н, строим картинку Р на кольце над Р. Далее приводим Р к картинке Р' на кольце без г-дисков. При этом используются преобразование "мост" и удаление полных диполей, которые изменяют один представитель и элемента и группы О на другой.
Пусть к — количество пересечений стягиваемых в точку х-дуги £. Если к > 0, найдется такая х-дуга а, у которой есть два последовательных пересечения р1 и р2 с £ такие, что связная часть ^ дуги а между р1 и р2 не пересекается с £ и одна из связных частей т пути £ между р1 и р2 и ^ ограничивают на торе дисковую картинку над Р. По лемме 1 вдоль т написано слово, представляющее единицу в О. Перенаправление £ вдоль ^ уменьшает количество пересечений а и £ на два и изменяет представитель и элемента и в группе О. Далее применяем индукцию по к.
Если к = 0, то удаляем все стягиваемые в точку х-дуги из Р', это не изменяет представитель и элемента и.
Если в Р' существуют не стягиваемые в точку х-дуги, то Н = 1 в Н. Иначе Р' — картинка над Q и представитель и не содержит букв из х и дает искомое
ин.
Обратное утверждение тривиально. ■
В [1] доказано следующее утверждение:
Теорема 3. Пусть Р = (И, х; г) — ориентированное асферическое относительное копредставление, которое определяет группу С. Тогда естественный гомоморфизм И ^ С инъективен (таким образом можно рассматривать И как подгруппу группы С).
Следствие 1. Пусть Р = (И, х; г) — ориентированное асферическое относительное копредставление, которое определяет группу С, такое, что не существует связных приведенных кольцевых картинок над Р. Тогда элементы Н Е И и й Е С перестановочны в группе С тогда и только тогда, когда либо Н = 1 в И, либо й принадлежит И (рассматриваемой как подгруппа группы С).
Следствие 2. Пусть Р = (И, х; г) — ориентированное асферическое относительное копредставление, которое определяет группу С, такое, что не существует связных приведенных кольцевых картинок над Р, С = И, И = {1}. Тогда центр группы С тривиален.
В [2] вводится понятие аторического градуированного копредставления и доказывается, что два элемента, перестановочные в группе, обладающей некоторым градуированным аторическим копредставлением, принадлежат одной циклической подгруппе этой группы (теорема 13.5 [2]). В случае аторического относительного копредставления можно получить следующий аналог этого свойства.
Теорема 4. Пусть Р = (И, х; г) — ориентированное аторическое относительное копредставление, которое определяет группу С. Тогда элементы и и V перестановочны в группе С тогда и только тогда, когда найдутся их прообразы и и V, перестановочные в группе И * (х).
Доказательство. Прежде чем приступить к доказательству отметим, что доказательство теоремы 4 практически тождественно доказательству теоремы 13.5 из [2]. Отличие лишь в том, что в теореме 13.5 из [2] используются градуированные диаграммы над градуированным копредставлением, а здесь используются картинки, которые можно рассматривать как двойственный объект к диаграммам.
Пусть и и V — перестановочные элементы группы С, а и и V — приведенные поднятия элементов и и V в свободную группу в алфавите а и х. Так как слово и!^и—1 V—1 представляет единицу в С, по лемме 1 существует дисковая картинка над обычным копредставлением Р группы С с граничной меткой,
равной тождественно и-1 V-1. При этом границу диска можно разбить на четыре части в, 7, в', 7', метки которых равны и, V, и-1, V-1 соответственно.
Склеиваем в с в', 7 с 7' и получаем картинку Р на торе над Р с двумя замкнутыми путями, образованными в (= в') и 7 (= 7'). Их общую точку обозначим через О. В силу построения, совершая один обход вокруг в (соотв., 7) от точки О, мы встречаем последовательность дуг. Читая метки этих дуг, получаем слово и (соотв., V) или и-1 (соотв., V-1) в зависимости от того, как выбрано направление движения вдоль в (соотв., 7).
Зафиксируем направление движения на в (соотв., 7) такое, при котором получаем слово и (соотв., V) и назовем его прямым. Назовем меткой в (соотв., 7) слово, читаемое по меткам дуг, пересекающих в (соотв., 7), при движение по прямому направлению.
Через п обозначим количество г-дисков в Р. Теорему 4 будем доказывать индукцией по п. Если г-вершин нет в Р, то все доказано. Иначе п > 0.
Так как Р является аторическим, то в силу леммы 2 в картинке Р на торе найдется г-диполь Т. Рассмотрим открытую область О на торе, гомеоморфную диску, содержащую только г-диски А1, А2 диполя Т и дугу а между ними, такую, что О ^ О и дО. С помощью преобразования "мост" (см. рис. 1), совершаемого внутри О добиваемся того, чтобы все дуги из А1 шли в А2 параллельно а. (При этом метки в и 7 не меняются, как элементы свободной группы.)
Теперь г-диполь с дисками А1, А2 стал полным. Рассмотрим открытую область О С О, содержащую диски А1, А2 и все дуги между ними, такую что дО пересекает в и 7 трансверсально в конечном числе точек, количество которых минимально возможное для данных А1, А2, а.
Обозначим через т количество связный пересечений дО с путями в и 7. Если т > 0, рассмотрим такой связный подпуть т С (О П в) и (О П 7), что т делит О и дО на две части Г1 и Г2, одна из которых (Г1) не пересекается с в и 7. Через 6 обозначим дО П Г1.
Г1 содержит дисковую картинку над Р. По лемме 1 граничная метка этой картинки представляет единицу в О. Значит, при обходе против часовой стрелки вдоль т и 6 слово на т и слово на 6 взаимообратны в О. Если т С в, заменяем в на (в\т) и 6. Если т С 7, заменяем 7 на (7\т) и 6. Это
меняет представителей и, V для и, V в группе С и уменьшает т на единицу. Далее применяем индукцию по т.
Теперь можно считать, что О не пересекается с в и 7. Удаляем диски Д1, Д2 и все дуги между ними. При этом метки в и 7 не изменятся, а количество г-дисков в Р уменьшится на два. Далее применяем индукцию по п.
Обратное утверждение тривиально. ■
В силу следствия 4.1.6 из [3] получаем
Следствие 3. Пусть Р = (И, х; г) —ориентированное аторическое относительное копредставление, которое определяет группу С. Тогда элементы и и V перестановочны в группе С тогда и только тогда, когда либо и и V принадлежат одной циклической подгруппе группы С, либо найдутся такие перестановочные элементы и и V в И, что для некоторого элемента W Е И * (х) элементы и и V являются образами элементов W-1UW и WW соответственно.
Следствие 4. Пусть Р = (И, х; г) — ориентированное аторическое и асферическое относительное копредставление, которое определяет группу С. Тогда элементы и и V перестановочны в группе С тогда и только тогда, когда либо и и V принадлежат одной циклической подгруппе группы С, либо найдутся такие перестановочные элементы и и V в И (рассматриваемой как подгруппа группы С), что и = W-1UW и V = WW в С для некоторого элемента W Е С.
3. "Условия малых сокращений" для относительных копредставлений
Звездный комплекс. Всюду ниже будем считать, что относительное копредставление Р = (И, х; г) является ориентированным.
Звездный комплекс Р^ копредставления Р — это граф (в смысле Серра [4]), чьи ребра помечены коэффициентами группы И. Он определяется следующим образом.
Множество вершин — это х и х—1, множество ребер - это г*. Для Я Е г* запишем Я = ^Н, где Н Е И и S начинается и заканчивается х-символами. Начальное и конечное отображение задается так: ¿(Я) — это первый символ элемента т(Я) — обратный к последнему символу элемента S. Обратное отображение на ребрах задается оператором " из раздела 1. По замечанию
в разделe 1 Я = Я для любого Я Е г, так как Р является ориентированным. Функция разметки определяется по правилу А (Я) = Н-1, и распространяется на пути очевидным образом. Отметим, что А(Я) = А(Я)-1. В [1] доказано следующее утверждение.
Лемма 3. Пусть с1,... — последовательность углов, встречающихся при обходе внутренней области 2 картинки Р над Р против часовой стрелки. Тогда (г) последовательность ребер W(с1),... , W(ск) является циклом в Р^; (гг) ребра W(с{), W(с{+1) (индексы по модулю к) взаимно возвратные тогда и только тогда, когда существует дуга а, соединяющая с1 и с{+1 на границе области 2, так что а, с1 и с{+1 образуют диполь.
Цикл из (г) будем называть циклом, обеспеченным внутренней областью 2. По условию (С2) из определения картинок, этот цикл имеет тривиальную метку в Н. Непустой циклически приведенный цикл в Р^ будет называться допустимым, если он имеет тривиальную метку в Н. Каждая внутренняя область приведенной картинки над Р обеспечивает допустимый цикл в Р^.
Проверка аторичности. Пусть к — положительное целое число. Наза-вем к-колесом (нетривиальную) связную дисковую картинку Ш над Р, которая содержит диски А0, А1,..., Ак и удовлетворяет следующим условиям: (¡) каждая дуга в Ш идет от А0 или от дШ;
(¡¡) каждая дуга в Ш либо идет от Аj для некоторого ] Е {1,..., к}, либо соединяет А0 и дШ;
(ш) каждый диск картинки Ш имеет угол, который лежит в области, имеющей общие точки с дШ. Диск А0 является центром (ступицей) к-колеса;
(¡у) количество дисков А1,..., Ак, удовлетворяющих свойствам (г) — (ш) максимально возможное для данного А0.
Заметим, что для данного диска А0 имеется конечное множество к-колес со ступицей А0, причем все эти к-колеса будут содержать одно и тоже множество дисков А0, А1,..., Ак. Назовем это множество к-колес классом к-колес со ступицей А0. Назовем класс к-колес приведенным, если любое к-колесо из этого класса приведено.
Определение 3. Пусть р — некоторое положительное целое число. Скажем, что копредставление Р удовлетворяет С(р), если не существует приведенных классов к-колес над Р при к < р.
Определение 4. Пусть д — некоторое положительное целое число. Скажем, что Р удовлетворяет Т(д), если нет допустимых циклов в Р^ длины I для 3 < I < д.
В [1] доказан следующий результат.
Теорема 5. Если Р удовлетворяет С(р), Т(д), где 1 /р + 1/д = 1/2, тогда Р является асферическим.
Получим аналог этого результата для аторичности.
Теорема 6. Если Р удовлетворяет С(р),Т(д), где 1/р + 1/д < 1/2, тогда Р является аторическим, в частности, не существует связных приведенных кольцевых картинок над Р.
Доказательство. Пусть Р — приведенная связная торическая картинка над Р. В силу связности картинки Р и циклической приведенности определяющих соотношений относительного копредставления Р, каждая внутренняя область картинки Р имеет как минимум два угла. Избавляемся от всех внутренних областей картинки Р, которые содержат ровно два угла, путем отождествления двух граничных дуг области. Обозначим модифицированную картинку через Р*. Процесс отождествления изображен на рис. 2. (Отметим, что диски Д и Д' не обязательно различны.)
Р Р*
Рис. 2
Метки на дугах и углах картинки Р, участвующих в отождествлении, удаляются при переходе к Р*. Однако оставшиеся углы в Р* помечены коэффициентами. По лемме 3 (г), каждая внутренняя область в Р* обеспечивает допустимый цикл длины как минимум 3, и следовательно длины как минимум д в силу свойства Т(д). Если из диска Д Е Р* исходят к дуг 71,..., 7к Е Р*, то используя строение картинки Р около Д можно определить приведенный класс к-колес со ступицей Д. По свойству С(р) имеем, что из каждого диска Д Е Р* исходят как минимум р дуг.
Возможны три случая:
(а) найдется открытое подмножество и1 тора, которое содержит все дуги и диски в Р* и гомеоморфно диску, тогда можно считать Р сферической картинкой на диске О2, равном замыканию и1;
(б) подмножества и1 из (а) не существует, но найдется открытое подмножество и2 тора, которое содержит все дуги и диски в Р* и гомеоморфно кольцу, тогда можно считать Р кольцевой картинкой на кольце О, равном замыканию и2;
(в) подмножеств и1 и и2 из (а) и (б) не существует.
Рассмотрим для начала случаи (а) и (б). Стянем каждый диск из Р* в точку и отождествим границу дО2 с точкой (соотв., границы кольца О с двумя точками), чтобы получить разбиение в двумерной сферы с п0 вершинами, п1 ребрами и п2 клетками. Условие С(р) говорит о том, что из каждой вершины разбиения в исходит как минимум р ребер, из чего следует, что
рп0 ^ 2п1.
Условие Т(д) влечет, что все клетки разбиения в, кроме одной в случае (а) и двух в случае (б), имеет как минимум д граничных ребер, из чего следует, что
д(п — /) ^ 2п1,
где I = 1 в случае (а) и I = 2 в случае (б).
Из этого получаем следующее противоречие:
2п1 2п1 1 1
2 = п0 — п1 + п2 ^--п1 +---+ 1 = 2п1(—+ -) — п1 + 1 < 1.
р д р д
Рассмотрим случай (в). Стянем каждый диск из Р* в точку и получим разбиение в тора с п0 вершинами, п 1 ребрами и п2 клетками. Как выше, получаем, что
рп0 ^ 2п1
и
дп2 ^ 2п 1. Из чего также следует противоречие:
2п1 л 2п1 л Л 1, л
0 = п0 — п1 + п2 ^--п 1 +--= 2п 1 (—+ -) — п 1 < 0. ■
р д р д
Пример 1. Рассмотрим относительное копредставление из [1]
Р = (И, х; жа1жа2 ... жап),
где а1,..., ап Е И. Как отмечено в [1], Р является ориентированным и удовлетворяет Т(4). Если п ^ 5 и все а различны, то Р удовлетворяет также и С(5), следовательно, Р является аторическим по теореме 6.
Список литературы
1. Bogley W.A., Pride S.J. Aspherical relative presentations// Proc. Edinburgh Math. Soc. 1992. vol. 35 ( ser. II), part 1. P. 1-40.
2. Ольшанский А.Ю. Геометрия определяющих соотношений в группах. М.: Наука. Гл. ред. физ.-мат. лит., 1989. 448 с.
3. Магнус В., Каррас А., Солитэр Д. Комбинаторная теория групп: Представление групп в терминах образующих и соотношений. М.: Наука. Гл. ред. физ.-мат. лит., 1974. 456 с.
4. Serre J.-P. Trees. Springer-Verlag, Berlin-Heidelberg-New York, 1980. 142 p.
electronic scientific and t echnical periodical
SCIENCE and EDUCATION
El № FS77 - 30569. №0421100025. ISSN 1994-0408
On atorical relative presentations 77-30569/251232
# 11, November 2011
0. V. Kulikova
Bauman Moscow State Technical University
W.A. Bogley and S.J. Pride researched aspherical relative presentations. In the present paper relative presentations are considered with respect to atoricity. Similar to one of the conditions of W.A. Bogley and S.J. Pride for asphericity, a sufficient condition for atoricity is given. For the group, defined by orientable atorical relative presentation, some properties of commutative elements are obtained. In addition, for the group, defined by orientable relative presentation, over which there is no connected reduced annulus picture, some properties of conjugated elements and commutative elements are obtained.
References
1. Bogley W.A., Pride S.J. Aspherical relative presentations// Proc. Edinburgh Math. Soc. 1992. vol. 35 ( ser. II), part 1. P. 1-40.
2. A. Ol'shanskii. Geometry of defining relations in groups. Moscow: Nauka. Main Edit. Board for Phys. and Math. Lit., 1989. 448 p.
3. W.Magnus, A. Karrass, D.Solitar. Combinatorial group theory: Presentations of Groups in Terms of Generators and Relations. Interscience Publishers, NewYork-London-Sydney, 1966. 444 p.
4. Serre J.-P. Trees, Springer-Verlag, Berlin-Heidelberg-New York, 1980. 142 p.
