О комбинаторных свойствах бернсайдовых полугрупп тема автореферата и диссертации по математике, 01.01.06 ВАК РФ

Плющенко, Андрей Николаевич АВТОР
кандидата физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Екатеринбург МЕСТО ЗАЩИТЫ
2011 ГОД ЗАЩИТЫ
   
01.01.06 КОД ВАК РФ
Диссертация по математике на тему «О комбинаторных свойствах бернсайдовых полугрупп»
 
Автореферат диссертации на тему "О комбинаторных свойствах бернсайдовых полугрупп"

На правах рукописи УДК 512.531

005006794

ПЛЮЩЕНКО Андрей Николаевич

О КОМБИНАТОРНЫХ СВОЙСТВАХ БЕРНСАЙДОВЫХ ПОЛУГРУПП

01.01.06 — Математическая логика, алгебра и теория чисел

АВТОРЕФЕРАТ

диссертации на соискание ученой степени кандидата физика-математических наук

1 2 ПНВ2012

Екатеринбург 2011 г.

005006794

Работа выполнена на кафедре алгебры и дискретной математики Института математики и компьютерных наук Уральского федерального университета имени первого Президента России В. Н. Ельцина.

Научный руководитель:

доктор физико-математических наук А. М. Шур

Официальные оппоненты:

доктор физико-математических наук, профессор В. С. Губа

кандидат физико-математических наук И. А. Гольдберг

Ведущая организация:

Математический институт им. В. А. Стеклова Российской академии наук

Защита диссертации состоится «31» января 2012 года в 1200 на заседании диссертационного совета Д 004.006.03 в Институте математики и механики УрО РАН по адресу: 620990, г. Екатеринбург, ул. С. Ковалевской, 16.

С диссертацией можно ознакомиться в библиотеке Института математики и механики УрО РАН.

Автореферат разослан «26» декабря 2011 г.

Ученый секретарь диссертационного совета Д 004.006.03,

кандидат физ.-мат. наук И. Н. Белоусов

Общая характеристика работы

Актуальность темы. Полугруппы, удовлетворяющие тождеству вида ж" = хп+т для некоторых п, т ^ 1, образуют важный подкласс класса всех периодических полугрупп и представляют собой классический объект исследования. Такие полугруппы называют полугруппами бернсай-дова типа, или бернсайдовыми полугруппами. Проблематика бернсайдо-вых полугрупп естественным образом развивает аналогичную проблемаг тику для бернсайдовых групп, т. е. групп с тождеством хт = 1. Изучение последних было начато в 1902 году Бернсайдом [8], интересовавшимся, всякая ли конечно порожденная группа с ограниченным периодом конечна (так называемая ограниченная проблема Бернсайда).

Важное место в теории бернсайдовых полугрупп занимают свободные бернсайдовы полугруппы — полугруппы, свободные в многообразии уаг{ж" = хп+т} (для фиксированных п,т ^ 1), так как всякая полугруппа из уаг{х" = х"+т} есть гомоморфный образ подходящей свободной бернсайдовой полугруппы.

Свободные бернсайдовы полугруппы изучались многими исследоваг телями, начиная со второй половины XX века и по настоящее время. Выл разработан соответствующий инструментарий для изучения таких полугрупп, использующий как теоретико-групповые методы, так и методы теории формальных языков (в этом случае элементы свободной бернсайдовой полугруппы рассматриваются как классы эквивалентных слов над соответствующим алфавитом), методы общей комбинаторики и теории графов. Всплеск активности в этой области наблюдался в 1990-ые годы: благодаря целому ряду работ (Кадорек и Полак |19], де Лука и Варик-кио [9,10], Маккаммонд [21], до Лаго [12-14], В. С. Губа [17,18]), удалось установить немало важных свойств, проясняющих внутреннюю структуру таких полугрупп, а также решить ряд ключевых проблем для свободных бернсайдовых полугрупп. Более подробно с теорией бернсайдовых полугрупп можно ознакомиться, например, по обзорной статье [15], книгам по теории полугрупп [3,11] и др.

Важнейшей алгоритмической проблемой теории бернсайдовых полугрупп является проблема равенства слов: по двум заданным словам над алфавитом свободных порождающих определить, представляют ли эти слова один и тот же элемент данной полугруппы. Тесным образом решение проблемы равенства слов связано с гипотезой о том, что любой элемент свободной бернсайдовой полугруппы является рациональным языком. Эта гипотеза, сформулированная Бжозовским в 1969 году для полугрупп с тождеством хп = хп+1, была затем расширена Маккаммондом на случай произвольных пит.

К настоящему времени удалось достаточно хорошо описать строение свободных бернсайдовых полугрупп произвольного ранга к и тождеством хп — хп+т (для таких полугрупп мы будем использовать обозначение В(к,п,п + т)) при п ^ 3. Так, например, в [13] показывается, что все максимальные подгруппы полугруппы В(к, п,п + т) при п ^ 3 циклические порядка т, а каждый элемент такой полугруппы, рассматриваемый как класс эквивалентных слов, содержит единственное слово минимальной длины. В 1990 году де Лука и Вариккио подтвердили гипотезу Бжозовского для полугрупп В(к,п,п + 1) сп^ 5 ([9]). Маккаммонд распространил эту гипотезу на случай полугруппы В(к, п, п+т) с произвольным т ^ 1 и независимо доказал ее справедливость при п ^ 6, т ^ 1 ([21], 1991). Позже до Лаго усовершенствовал метод де Луки и Вариккио и улучшил оценку до п ^ 4,т ^ 1 ([12], 1992). Наконец, В. С. Губа показал справедливость гипотезы для п ^ 3, т ^ 1 ([17,18], 1993).

Разрешимость проблемы равенства слов следует из справедливости гипотезы Бжозовского: так как всякий элемент полугруппы В(к, п, п+тп) является рациональным языком, мы можем по одному из двух данных слов построить автомат, распознающий его класс эквивалентности, и проверить, распознает ли этот автомат второе слово.

Несмотря на то, что в общем случае вопрос о разрешимости проблемы равенства слов для полугрупп В(к, 1,1 + тп) остается открытым, ответ на него определенным образом зависит от ответа на аналогичный вопрос для свободных бернсайдовых групп (см. [19]). В частности, проблема равенства слов разрешима при тп= 1,2,3,4,6, так как в этом случае свободная бернсайдова группа В(к,тп) (ранга к и с тождеством хт = 1) конечна для любого к. Более того, в серии работ [1,4-6] показывается разрешимость проблемы равенства слов для групп В (к, т) при любом к и нечетном т ^ 665 или кратном 16 значении тп ^ 8000. Следовательно, проблема равенства слов разрешима и для полугрупп В (к, 1,1 + т) при тех же значениях т. Во всех остальных случаях проблема равенства слов остается открытой. Что касается гипотезы Бжозовского, она, очевидно, справедлива для конечных полугрупп В(к, 1,1 + т). Опираясь на результаты работ [1,4-6], до Лаго показал ([14]), что гипотеза Бжозовского неверна для полугрупп В(к, 1,1 + тп), где к > 1, при т ^ 8000 и при нечетном т ^ 665. Для остальных значений тик вопрос остается открытым. Кроме того, получено достаточно хорошее описание структуры полугруппы В(к, 1,1 + тп) для любого т ^ 1, в частности, работа Грина и Риса ([16]) дает простое описание 23-классов такой полугруппы.

Наименее изученными остаются полугруппы с тождеством х2 = х2+т : проблема равенства слов в этом случае до сих пор не решена, а гипотеза Бжозовского при болыпйх значениях т оказывается неверной (см. [14]).

Структура полугрупп В (к, 2,2 + т) при гп ^ 2 оказывается сложнее структуры полугрупп В(к,п,п + т) при п ^ 3,ш ^ 1. Тал, например, известно ([14]), что полугруппа В(к, 2,2 + т.) при к > 1 и гп ^ 2 содержит максимальные подгруппы, не являющиеся циклическими группами, а также существуют элементы полугруппы, которые как классы эквивалентных слов содержат несколько слов минимальной длины. Случай гп = 1 остается единственным, при котором полугруппа В(к, 2,2 + гп) еще может иметь достаточно простую структуру. В связи с этим, особый интерес представляют полугруппы В{к, 2,3): интерес этот вызван и тем, что полутруппы вида В(к, п,п+ 1) составляют важный подкласс бернсайдовых полугрупп. Исторически теория бернсайдовых полугрупп (исключая бернсайдовы группы) начиналась с изучения именно таких полутрупп. Отметим, гипотеза Бжозовского была выдвинута для свободных бернсайдовых полугрупп с тождеством хп = хп+1 и еще в 1980 году была включена Вжозовским в список открытых проблем [7]; лишь позже Маккаммонд распространил эту гипотезу на любые бернсайдовы полугруппы. Среди свободных бернсайдовых полугрупп с тождеством хп = 1п+1 полугруппы В(к, 2,3) — единственные, для которых и проблема равенства слов, и гипотеза Бжозовского остаются открытыми.

Цель работы. Основной целью диссертации является исследование проблемы равенства слов и гипотезы Бжозовского для полугрупп В(к, 2,3): разработка новых методов и подходов к решению данных проблем. Часть полученных в диссертации результатов обобщается на полугруппы В(к, 2,2 +тп) для произвольного т.

Научная новизна. Все результаты являются новыми.

Теоретическая и практическая ценность. Диссертационная работа носит теоретический характер. Полученные результаты могут быть использованы в теории полугрупп и комбинаторике слов, а также в учебном процессе при чтении специальных курсов.

Апробация результатов работы. Результаты диссертации были представлены на XIV международной конференции студентов, аспирантов и молодых ученых «Ломоносов 2007», на свердловском областном конкурсе студенческих работ «0лимп-2007», на 6-й международной конференции по комбинаторике слов \VORDS2007 (Марсель, 2007), «Международной конференции по полугруппам, алгебре и приложениям ААА82» (Потсдам, 2011), 15-й международной конференции «Развитие теории языков» (Милан, 2011), международной конференции «Мальцевские чтения» (Новосибирск, 2011). Автор выступал с докладами по теме диссер-

тации на семинаре «Алгебраические системы» (УрГУ, рук. Л. Н. Шев-рин, 2007-2011), на алгебраическом семинаре института математики и механики УрО РАН (2011), на семинаре «Алгоритмические вопросы алгебры и логики» (МГУ, рук. С. И. Адян, 2011).

Публикации. По теме диссертации написано 7 работ: [23-29]. Из них статья [26] опубликована в издании из списка, рекомендованного ВАК, а статьи [28,29] — в зарубежных изданиях, удовлетворяющих достаточному условию ВАК. Работы [23,25] являются тезисами (в том числе электронная публикация [25]); статьи [27,28] опубликованы в сборниках трудов конференций; 3 работы ([27-29]) написаны совместно с А. М. Шуром, однако доказательства основных результатов принадлежат автору.

Структура и объем диссертации. Диссертация состоит из введения, трех глав и списка литературы. Объем диссертации составляет 108 страниц. Библиографический список содержит 39 наименований.

Краткое содержание работы

Во введении вкратце описывается история развития теории бернсай-довых полугрупп, дается обзор наиболее содержательных результатов, полученных в данной предметной области, а также вводятся базовые определения и обозначения, необходимые для формулировки и понимания результатов диссертации. Воспроизведем здесь определения основных понятий.

1. Пусть Ек = {1,...,&}, где к = 1,2,____ Свободная бернсайдова полугруппа ранга к и тождеством хп = хп+т для некоторых фиксированных чисел п, т ^ 1 с точностью до изоморфизма определяется как фактор-полугруппа

В{к, п, п + т) = Е£/ ~к,п,т

свободной полугруппы £¡2" по конгруэнции ~*,„,т> порожденной всеми парами вида (У", Уп+т), где У е Е£. Класс эквивалентности со-

держащий слово IV е Е£, обозначается через [И^п,™- При рассмотрении конкретной Полугруппы В(к, п,п + т) мы будем опускать индексы и писать просто ~ й [И7], где IV 6 Е£. Помимо свободной полугруппы мы рассматриваем также свободный моноид получающийся из полугруппы Е£ присоединением пустого слова А (слова длины 0), служащего единицей свободного моноида.

Договоримся длину слова IV (число букв в нем) обозначать через \ \У\, а г-ую букву слова IV — через \¥Щ. Понятия подслова, степени слова и

пр. вводятся естественным образом. Подслово Y слова W называется собственным, если У ф W.

Периодом слова W называется число р со свойством: W[i] = И^[г+р] для любого г = 1,..., |JV| — р. Экспонентной exp(W) слова W называется отношение длины слова W к его минимальному периоду, а локальной экспонентной lexp(W) — максимум из экспонент всех подслов слова W. Наконец, введем понятие сильно локальной экспоненты 1ехр<(5У) слова W как максимум из экспонент всех собственных подслов слова W.

Слово W называется ß-свободным, если lexp(W) < ß, и ß+ -свободным, если lexp(W) ^ ß. Аналогично, слово W мы назовем почти ß-свободным (почти ß+-свободным), если, соответственно, выполняется lexp<(VK) < ß и lexp<(W) < ß. [Почти] 3-свободные (2+-свободные) слова называют также [почти] бескубными (соответственно, сильно бескубными) словами.

Легко проверить, что слово V 6 Е£ [почти] является сильно бескуб-ным тогда и только тогда, когда оно не содержит [собственных] подслов вида XYXYX, где X 6 У 6

Пусть ß' < ß". Очевидно, что любое ß'- или /3'+-свободное слово является также и ß"- или, соответственно, /3"+-свободным. Аналогичное утверждение справедливо и для почти свободных слов. Однако слово W может быть почти ß'- или /3'+-свободным, но не являться ß"- или ß"+-свободным. Так, например, слово 111 почти сильно бескубно, но при этом оно является кубом.

2. Языком над алфавитом Е называется произвольное подмножество из Е*. Произведением языков С и К, называется язык

ОС = {UV | U е С, V € К),

а итерацией языка £ называется язык С = Ug0£l.

Язык называется рациональным, или регулярным, если он может быть записан при помощи регулярного выражения — выражения, содержащего одноэлементные языки и операции теоретико-множественного объединения, произведения и итерации языков. Согласно теореме Клини, рациональные языки — это в точности те языки, которые можно распознать при помощи детерминированных конечных автоматов (подробнее см., например, [3,20]).

Для любого языка С С Е* комбинаторная сложность есть функция рс(п): N0 —► N0) которая определяется как Рс(тг) — \С П Еп|, где Е" — множество всех слов длины п над алфавитом Е. Основным инструментом для оценки степени роста комбинаторной сложности языка служит индекс роста gr(L) = Нт«-^ p.c(n)1/".

Как показывают результаты, полученные различными авторами в ходе исследования свободных бернсайдовых полугрупп, структура таких полутрупп зависит в основном от параметров пит (от п в большей степени и от т — в меньшей). Что касается параметра к, то при к = 1 свободные бернсайдовы полугруппы суть конечные циклические полугруппы. При к > 1 полугруппы В{к, п,п + т) имеют весьма схожую структуру (при фиксированных пит).

В связи с вышесказанным, изучение проблемы равенства слов и гипотезы Бжозовского для полугрупп В (к, 2,3) представляется разумным проводить в два этапа: на первом этапе доказать сводимость рассматриваемых проблем для полугрупп В(к, 2,3) произвольного ранга к к соответствующим проблемам для какой-то полугруппы В(к', 2,3) фиксированного ранга к!, после чего работать только с этой полугруппой. Наиболее перспективной в этом плане является полугруппа 5(2,2,3): во-первых, для исследования слов и языков над бинарным алфавитом разработан достаточно большой и разнообразный инструментарий, во-вторых, случай к = 2 представляется наиболее простым, в-третьих, для полугруппы В(2,2,3) уже получен ряд результатов. В частности, в диссертации существенно развивается техника, изложенная в [2].

Первая глава диссертации полностью реализует первый этап нашего исследования. Основными результатами этой главы являются следующие две теоремы.

Теорема 1. Проблема равенства слов для полугруппы В(к, 2,3) произвольного ранга к ^ 2 разрешима тогда и только тогда, когда проблема равенства слов разрешима для полугруппы В(2,2,3).

Теорема 2. Гипотеза Бжозовского для полугруппы В(к, 2,3) при к ^ 2 справедлива тогда и только тогда, когда эта гипотеза справедлива для полугруппы В(2,2,3).

Для доказательства теорем 1 и 2 в диссертации вводится операция склейки слов по фиксированному слову, обобщающая операцию произведения слов, и строится функция а: —» сохраняющая операцию склейки и такая, что для любых слов и,У € условие V V

выполняется тогда и только тогда, когда а(11) ~2,2,1

В конце первой главы теоремы 1 и 2 обобщаются на полугруппы В{к, 2,2 + т) с произвольными т ^ 1 и к ^ 2.

Центральное место в диссертации отводится главе 2, в которой исследуется проблема равенства слов для полугруппы В{2,2,3). Один из возможных путей решения проблемы равенства слов в полугруппе В(2,2,3)

состоит в том, чтобы в каждом классе конгруэнции ~2,2,1 выбрать подходящим образом канонического представителя. Тогда решение проблемы равенства слов сводится к нахождению по данному слову соответствующего его классу представителя. Естественно выбрать в качестве канонических представителей бескубные слова, так как, очевидно, любое слово эквивалентно некоторому бескубному слову. Однако класс эквивалентности может содержать более одного бескубного слова, например:

12122121 ~ 121212 212121 ~ 121212 21212 212121 ~ 1212212122121 .

Более того, как показал К. В. Костоусов (результат не опубликован), для любого наперед заданного числа N найдется класс, содержащий не менее N бескубных слов.

Таким образом, круг «кандидатов» в канонические представители необходимо сузить. Разумно в качестве канонического представителя в каждом классе эквивалентности выбрать минимальное по длине слово, однако неясно, как находить такое слово в произвольном классе эквивалентности. К тому же до сих пор не известно, в каждом ли классе конгруэнции ~2,2,i слово минимальной длины единственно (см. [14]).

В связи с изложенным выше, интересным представляется вопрос, как по классам эквивалентности распределены сильно бескубные и почти сильно бескубные слова. Е. В. Сухановым была выдвинута гипотеза, что каждый класс эквивалентности содержит не более одного сильно бескубного слова. Косвенно эта гипотеза подтверждается результатами работ [2] и [22]: в [2] доказывается, что всякий класс эквивалентности содержит не более одного слова Туэ-Морса, а согласно [22], произвольное сильно бескубное слово в некотором смысле очень похоже на подходящее слово Туэ-Морса.

В диссертации доказывается несколько более сильное утверждение.

Теорема 3. Всякий класс конгруэнции ~2,2,ъ за исключением классов [11] и [22], содержит не более одного почти сильно бескубного слова. Каждый из классов [11], [22] содержит в точности два почти сильно бескубных слова.

Класс [11] (класс [22]) содержит два почти сильно бескубных слова 11 и 111 (соответственно, 22 и 222), из которых только одно слово является сильно бескубным. Таким образом, из теоремы 3 непосредственно вытекает справедливость сформулированной выше гипотезы Суханова.

Следствие. Всякий класс конгруэнции ~2,2,i содержит не более одного сильно бескубного слова.

Для решения проблемы равенства слов недостаточно выбрать в каждом классе эквивалентности элемент, служащий его каноническим представителем. Необходимо уметь находить такой элемент в классе [С/] для произвольного слова II. Эту задачу решает построенный в диссертации алгоритм Е^АОР, который за линейное от |[/| время по данному слову и находит почти сильно бескубное слово V, эквивалентное С/, или сообщает, что таких слов нет. Таким образом, алгоритм ЕяАОР позволяет получить частичное решение проблемы равенства слов для полугруппы 5(2,2,3).

Теорема 4. В полугруппе В(2,2,3) проблема равенства слов разрешима за время 0(тах{|£/|, |У|}) для всех пар (II, V), в которых по крайней мере одно из слов эквивалентно почти сильно бескубному слову.

Построение и доказательство корректности алгоритма EqAOF является наиболее технически сложной частью диссертации. Сам алгоритм состоит из двух больших шагов: на первом шаге входное слово и сжимается до константной длины с сохранением логарифмического объема информации о ходе сжатия; если такое сжатие невозможно, слово С/ не эквивалентно никакому почти сильно бескубному сЛову. На втором шаге результаты первого шага используются для построения «канонического» слова, эквивалентного II. Если это слово оказывается почти сильно бескубным, то оно является искомым; в противном случае слово и не эквивалентно никакому почти сильно бескубному слову. При построении первого шага использованы, в частности, некоторые идеи из [2,22].

К сожалению, существуют классы, не содержащие почти сильно бес-кубных слов, например, класс [121211]. Поэтому полученное нами решение проблемы равенства слов для полугруппы В(2,2,3) является частичным.

Наконец, третья глава посвящена применению алгоритма EqAOF для исследования полугруппы 5(2, 2,3). Важнейшим результатом глаг вы 3 является подтверждение гипотезы Бжозовского для полугруппы В(2,2,3) в частном случае, когда класс конгруэнции ~2,2д содержит почти сильно бескубное слово.

Теорема 5. Для любого почти сильно бескубного слова V класс [V]2,2,1 является рациональным языком.

При помощи алгоритма ЕчАОР устанавливается также следующее важное свойство классов экивалентности, содержащих почти сильно бес-кубные слова.

Теорема 6. Если слово V почти сильно бескубно и V {111,222}, то V — единственное слово минимальной длины в классе [¥¡2,2,1 ■

Кроме того, в третьей главе диссертации приводятся количественные оценки таких классов как языков над алфавитом Е2 в терминах комбинаторной сложности и индекса роста.

Теорема 7. Пусть V — почти сильно бескубное слово и |У| > 50. Тогда 8г([У]2.2д) > <р, где <р = (1 + \/5)/2 _ золотое сечение.

Через [7]<3 обозначим язык всех бескубных слов из класса [V] 2,2,1, где V € произвольное слово. Напомним, что сильно бескубными являются, в частности, слова Туэ-Морса <;„ = б"(1), где п > 0, а в — эндоморфизм свободного моноида Е^, задаваемый равенствами 9(1) = 12 и 6(2) = 21.

Теорема 8. 6гС^„]<3) > ¡р1'74 для любого п > 11.

Из теоремы 8 следует, что в классе конгруэнции ~г,2,1 может быть бесконечно много 3-свободных слов. С другой стороны, теорема 3 говорит, что в каждом классе не может быть больше одного 2+-свободного слова и, исключая классы [11] и [22], больше одного почти 2+-свободного слова. В связи с этим, интересным представляется вопрос, как распределяются по классам эквивалентности (почти) /?-(или /3+)-свободпые слова при изменении /? в промежутке [2,3]. В частности, интересно найти «границу единственности» — число

вир{Р [ класс [ 1^)2,2,1 содержит не более одного

/З-свободного слова для любого V € Е*} .

В диссертации путем обобщения теорем 3 и 4 показывается, что эта граница по крайней мере не меньше 7/3.

Теорема 9. Всякий -класс конгруэнции ~2,2,ъ за исключением классов [11] и [22], содержит не более одного почти 7/Ъ-свободного слова. Каждый из классов [11], [22] содержит в точности два почти 7/3-свободных слова.

Теорема 10. В полугруппе В(2,2,3) проблема равенства слов для разрешима за время 0(тах{|£/|, |У|}) для всех пар (и, V), в которых по крайней мере одно из слов эквивалентно почти 7/"¿-свободному слову.

Основные результаты диссертации

Основными результатами диссертации являются следующие.

- Теорема 1 об эквивалентности разрешимости проблемы равенства слов в полугруппе В(к, 2,3) произвольного ранга к > 2 и разрешимости этой же проблемы для полугруппы В(2,2,3), и аналогичная ей по формулировке теорема 2 о справедливости гипотезы Бжозов-ского.

- Теорема 3 о единственности почти сильно бескубного слова в классах конгруэнции ~2,2,1-

- Линейный по времени работы алгоритм ЕчАОР, который находит почти сильно бескубное слово, ~2,2,¡-эквивалентное заданному слову, или сообщает, что таких почти сильно бескубных слов нет, и вытекающая из этого алгоритма теорема 4 о разрешимости в полугруппе В(2,2,3) проблемы равенства для любой пары слов, в которой хотя бы одно из слов эквивалентно почти сильно бескубному слову.

- Теорема 5, подтверждающая гипотезу Бжозовского для полугруппы В(2,2,3) в частном случае, а именно, доказывающая рациональность всех классов конгруэнции ~2,2д, содержащих почти сильно бескубное слово.

Кроме того, выделим еще несколько результатов диссертации, которые естественным образом дополняют результаты, описанные выше.

- Теорема об эквивалентности разрешимости проблемы равенства слов в полугруппе В (к, 2,2 + т) произвольного ранга к > 2 при фиксированном значении разрешимости этой же проблемы для полугруппы В(2,2,2 4- т), и аналогичная ей по формулировке теорема о справедливости гипотезы Бжозовского. Эти теоремы, являющиеся аналогами теорем 1 и 2, могут служить отправной точкой для применения разработанной в диссертации техники к произвольным полугруппам В(к, 2,2 + т).

- Теорема 6 гласит, что почти сильно бескубное слово является единственным словом минимальной длины в своем классе и тем самым обнаруживает в полугруппе В(2,2,3) свойство, характерное для бернсайдовых полугрупп сп^З.

- Теоремы 7 и 8 описывают количественные характеристики классов, содержащих почти сильно бескубные слова, и показывают, что частный случай, для которого доказана разрешимость проблемы равенства слов и подтверждена гипотеза Бжозовского, охватывает достаточно широкое множество слов.

- Теоремы 9 и 10 являются аналогами теорем 3 и 4, с заменой почти сильно бескубных слов на почти 7/3-свободные, и демонстрируют границы применимости разработанной в диссертации комбинаторной техники.

Список литературы

[1] С. И. Адян. Проблема Бернсайда и тождества в группах. М.: Наука, 1975. 335с.

[2| М. Ф. Бакиров, Е. В. Суханов. Слова Туэ-Морса и V-строение свободной бернсайдовой полугруппы // Изв. Уральского государственного университета. Серия «Математика и механика». 2000. Т. 18 (выпуск 3). С. 5-19.

[3] Ж. Лаллеман. Полугруппы и комбинаторные приложения. М.: «Мир», 1985. 440с.

[4] И. Г. Лысенок. Бесконечность бернсайдовых групп периода 2к при к ^ 13 // Успехи мат. наук. 1992. Т. 47: 2(284). С. 201-202.

[5] П. С. Новиков, С. И. Адян. Бесконечные периодические группы. I// Изв. АН СССР. Сер. «Математика». 1968. Т. 32. С. 212-244.

[6] П. С. Новиков, С. И. Адян. Бесконечные периодические группы. IIЦ Изв. АН СССР. Сер. «Математика». 1968. Т. 32. С. 251-524.

[7] J. Brzozowski. Open problems about regular languages // Formal language theory: perspectives and open problems. R. Book. Ed. Academic Press, New York, 1980. P. 23-47.

[8] W. Burnside. On an unsettled question in the theory of discontinuous groups // Quart. J. Pure Appl. Math. 1902. Vol. 33. P. 230-238.

[9] A. de Luca, S. Varricchio. On non-counting regular classes // Proc. ICALP'90. Berlin: Springer, 1990. P. 74-87. (LNCS Vol. 443).

10] A. de Luca, S. Varricchio. On non-counting regular classes // Theoret. Comput. Sci. 1992. Vol. 100(1). P. 67-104.

11] A. de Luca, S. Varricchio. Finiteness and regularity in semigroups and formal languages. Berlin: Springer, 1999. 240p.

12] A. P. do Lago. On the Burnside semigroups xn = xn+m // Proc. LATIN'92. Berlin: Springer, 1992. P. 329-343. (LNCS Vol. 583).

13] A. P. do Lago. On the Burnside semigroups xn = xn+m // Internat. J. Algebra Comput. 1996. Vol. 6(2). P. 179-227.

14] A. P. do Lago. Maximal groups in free Burnside semigroups // Proc. LATIN'98. Heidelberg: Springer, 1998. P. 65-75. (LNCS Vol. 1380).

15] A. P. do Lago, I. Simon. Free Burnside Semigroups // Theoret. Inform. Appl. 2001. Vol. 35(6). P. 579-595.

16] J. A. Green, D. Rees. On semigroups in which xr = x // Proc. Cambridge Philos. Soc. 1952. Vol. 48. P. 35-40.

17] V.S. Guba. The word problem for the relatively free semigroups satisfying tm - tm+n with m ^ 4 or m > 3, n = 1 I I Internat. J. Algebra Comput. 1993. Vol. 3(2). P. 125-140.

18] V.S. Guba. The word problem for the relatively free semigroups satisfying tm = tm+n with m Js 3 // Internat. J. Algebra Comput. 1993. Vol. 3(3). P. 335-348.

19] L. Kaclourek, J. Polak. On free semigroups satisfying Simon Stevin. 1990. Vol. 64(1). P. 3-19.

20] M. Lothaire. Combinatorics on words. Reading, MA: Addison-Wesley, 1983. 262p.

21] J. McCammond. The solution to the word problem for the relatively free semigroups satisfying i° = ta+b with a Js 6 // Internat. J. Algebra Comput. 1991. Vol. 1. P. 1-32.

22] A.M. Shur. Overlap-free words and Thue-Morse sequences // Internat. J. Algebra Comput. 1996. Vol. 6(3). P. 353-367.

Работы автора по теме диссертации

[23] А. Н. Плющенко. Сильно бескубные слова и свободная бернсайдова полугруппа с тождеством х2 = х3 // Материалы XIV международной научной конференции «Ломоносов-2007». Москва: Мысль, 2007. С. 92.

[24] А. Н. Плющенко. Сильно бескубные слова и свободная бернсайдова полугруппа с тождеством х2 = х3 и двумя образующими // Сибирские Эл. Мат. Изв. 2009. Т. 6. С. 166-181.

[25] А. Н. Плющенко. О проблеме равенства слов для свободных бернсайдовых полугрупп с тождестволь х2 = хг // Тезисы докладов международной конференции «Мальцевские чтения 2011». Новосибирск, 2011. С. 51. Электронный ресурс: http://www.math.nsc.ru/conference/nialmeet/ll/malmeet2011.pdf

[26] А. Н. Плющенко. О проблеме равенства слов для свободных бернсайдовых полугрупп с тождеством х2 = х3 // Известия вузов. Математика. 2011. №11. С. 89-93.

[27] А.N. Plyushchenko, A.M. Shur. Almost overlap-free words and the word problem for the free Burnside semigroup satisfying x2 ~ x3 // Proc.WORDS 2007. Marseille, France, 2007. P. 245-253.

[28] A.N. Plyushchenko, A.M. Shur. On Brzozowski's conjecture for the free Burnside semigroup satisfying x2 = x3 // Proc. DLT 2011. Berlin: Springer, 2011. P. 362-373. (LNCS Vol. 6795).

[29] A. N. Plyushchenko, A. M. Shur. Almost overlap-free words and the word problem for the free Burnside semigroup satisfying x2 = x3 // Internat. J. Algebra Comput. 2011. Vol. 21. P. 973-1006.

Подписано в печать 19.11.2011. Формат 60x84 1/16 Бумага офсетная. Усл. печ. л. 1,0 Тираж 100 экз. Заказ №

Отпечатано в типографии ИПЦ УрФУ 620000, Екатеринбург, ул. Тургенева, 4

 
Текст научной работы диссертации и автореферата по математике, кандидата физико-математических наук, Плющенко, Андрей Николаевич, Екатеринбург

61 12-1/393

ФГАОУ ВПО Уральский федеральный университет имени первого Президента России Б. Н. Ельцина

На правах рукописи

ПЛЮЩЕНКО Андрей Николаевич

УДК 512.531

О КОМБИНАТОРНЫХ СВОЙСТВАХ БЕРНСАЙДОВЫХ ПОЛУГРУПП

01.01.06 — Математическая логика, алгебра и теория чисел

Диссертация на соискание ученой степени кандидата физика-математических наук

Научный руководитель: доктор физико-математических наук Шур Арсений Михайлович

Екатеринбург 2011 г.

Оглавление

Введение 4

1° Предварительные сведения........................................................5

1°.1 Слова..........................................................................5

1°.2 Языки и автоматы............................................................7

1°.3 Свободные бернсайдовы полугруппы, моноиды, группы................8

2° Обзор исследований в предметной области......................................9

2°.1 Общие методы и результаты................................................10

2°.2 Случай п = 1..................................................................11

2°.3 Случай та ^ 3..................................................................13

2°.4 Случай та = 2..................................................................14

3° Обзор диссертации..................................................................15

3°.1 Цели диссертации. Основные проблемы ..................................15

3°.2 Основные результаты........................................................16

3°.3 Основные методы............................................................17

3°.4 Структура диссертации и организация текста............................17

3°.5 Апробация и публикации....................................................18

Глава 1. Полугруппы В(к, 2,3) 19

§ 1.1 Введение и формулировка результатов ..........................................19

§1.2 Основная техника, используемая в диссертации................................20

§ 1.3 Построение отображения а........................................................25

§ 1.4 Доказательство основных результатов............................................32

§ 1.5 Обобщение результатов на полугруппы В(к, 2,2 + га)..........................35

Глава 2. Проблема равенства слов для полугруппы В(2,2,3) 39

§2.1 Введение и формулировка результатов ..........................................39

§ 2.2 Свойства г-редукции................................................................40

2.2.1 Нередуцируемые хвосты. Свойство г (II) ~ II ............................41

2.2.2 Регулярные соседние слова и квазисоседние слова ......................44

§ 2.3 Нерегулярные почти сильно бескубные слова. Хвосты первого рода..........47

2.3.1 Нерегулярные почти сильно бескубные слова............................47

2.3.2 Хвосты первого рода. Операция гт........................................50

2.3.3 Классы [112112211211]Г1 и [221221122122]Г1................................54

§ 2.4 Функции £ и г]........................................................................57

§2.5 Доказательство теоремы 2.1........................................................61

§ 2.6 Главные и нормальные ряды......................................................62

2.6.1 Процедура Ancestor. Главные ряды........................................62

2.6.2 Нормальные ряды............................................................65

2.6.3 Обработка плохих пар........................................................70

§ 2.7 Алгоритм EqAOF. Доказательство теоремы 2.2 ................................82

Глава 3. Приложения алгоритма EqAOF и обобщение результатов 86

§3.1 Гипотеза Бжозовского и другие приложения....................................86

3.1.1 Описание класса эквивалентности произвольного почти сильно бес-кубного слова ................................ 86

3.1.2 Гипотеза Бжозовского............................ 90

3.1.3 Слова минимальной длины..................................................94

§ 3.2 Индекс роста классов эквивалентности..........................................95

§3.3 Обобщение результатов на почти 7/3-свободные слова ............100

Список литературы

106

Введение

Теория бернсайдовых полугрупп, или полугрупп с тождеством хп = хп+т для некоторых п, m ^ 1 занимает важное место в теории периодических полугрупп. Бернсайдовы полугруппы возникают при рассмотрении полугрупп с ограниченным периодом. Проблематика бернсайдовых полугрупп естественным образом развивает аналогичную проблематику для бернсайдовых групп, т. е. групп с тождеством хт = 1. Изучение последних было начато в 1902 году Бернсайдом, интересовавшимся, всякая ли конечно порожденная группа с ограниченным периодом конечна (так называемая ограниченная проблема Бернсайда).

Важнейшими объектами для исследования, несомненно, являются свободные бернсайдовы полугруппы, то есть полугруппы, свободные в многообразии var{x™ = хп+т} (для фиксированных п,т ^ 1), поскольку всякая полугруппа из var{a;n = хп+т} есть гомоморфный образ подходящей свободной бернсайдовой полугруппы.

Свободным бернсайдовым полугруппам посвящено немало исследований, проясняющих многие особенности их внутренней структуры. Был разработан соответствующий инструментарий для изучения таких полугрупп, использующий как теоретико-групповые методы, так и методы теории формальных языков (в этом случае элементы свободной бернсайдовой полугруппы рассматриваются как классы эквивалентных слов над соответствующим алфавитом), методы общей комбинаторики и теории графов. Краткий обзор результатов приводится ниже в § 2°. Более подробно с теорией бернсайдовых полугрупп можно ознакомиться, например, по обзорной статье [20], немало интересных сведений можно почерпнуть из книг по теории полугрупп [3,15] и др.

Важнейшей алгоритмической проблемой теории бернсайдовых полугрупп является проблема равенства слов: по двум заданным словам над алфавитом свободных порождающих определить, представляют ли эти слова один и тот же элемент данной полугруппы. Тесным образом решение проблемы равенства слов связано с гипотезой о том, что любой элемент свободной бернсайдовой полугруппы является рациональным языком. Эта гипотеза, сформулированная Бжозовским в 1969 году для полугрупп с тождеством хп = жта+1, была затем расширена Маккаммондом на случай произвольных пит. Заметим, что из справедливости (обобщенной) гипотезы Бжозовского вытекает разрешимость проблемы равенства слов в рассматриваемой полугруппе.

Центральное место в диссертации отведено исследованию проблемы равенства слов и гипотезы Бжозовского для свободных бернсайдовых полугрупп. К настоящему времени,

благодаря целому ряду работ, удалось подтвердить гипотезу Бжозовского и, как следствие, решить проблему равенства слов для случая п ^ 3. Значимые результаты получены и для полугрупп с п = 1 (см. § 2°). Наименее изученными остаются полугруппы с тождеством х2 = х2+т: проблема равенства слов в этом случае до сих пор не решена, а гипотеза Бжозовского при болыпйх значениях т оказывается неверной. В данной работе рассматриваются полугруппы с тождеством х2 = х3, для которых обе исследуемые проблемы остаются открытыми. Часть полученных в диссертации результатов обобщается на случай п = 2 и произвольного т.

1° Предварительные сведения

В этом параграфе мы приводим базовые определения и обозначения, необходимые для понимания результатов диссертации. Большой объем справочной информации по данной тематике содержится в [3,28].

1°.1 Слова

1. Алфавит £ — это непустое множество, элементы которого называются буквами или символами. В данной работе рассматриваются только конечные алфавиты. В дальнейшем, Е^ = {1,..., к}, где к = 1,2,.... Для обозначения некоторой (неизвестной) буквы в слове используются строчные латинские буквы из начала алфавита.

Словом называется произвольная конечная последовательность букв: \¥ = а\а2 ... ап. Число п называется длиной слова Ж. Длина слова IV обозначается через а его

г-ая буква — через Ж [г]. Таким образом, Ш = И^[1]1У[2]... или просто Ш =

Ж[1... \ \¥\]. Символ А обозначает пустое слово, имеющее длину 0. Для обозначения слов используются заглавные латинские буквы из второй половины алфавита.

2. Обозначения Е*, £+, Е™ используются, соответственно, для множества всех слов, всех непустых слов, слов длины п над алфавитом Е. Множества Е+ и Е* образуют, соответственно, свободную полугруппу и свободный моноид относительно операции конкатенации (приписывания). Конкатенация слов V и V записывается как [/V. Положим

ип = и и... и.

1 ч/

п

для обозначения п-ой степени слова II; по определению, {7° = А.

Слово У называется подсловом слова (7 (обозначается У ^ [/), если существуют такие слова X, Ъ Е £*, что II — ХУЕ. Слово У называется собственным подсловом слова и (обозн. У < и), если У ^ 17 и У ф II. Наконец, слово У будем называть внутренним подсловом слова и (обозначается У -С и), если существуют такие слова X, Z € Е+, что и = ХУ2. Таким образом, внутреннее подслово У начинается не раньше второй

буквы в слове U и заканчивается не позже предпоследней буквы, то есть содержится целиком внутри U. Слово Y называется префиксом (суффиксом) слова U, если существует слово Z € Е* такое, что U = YZ (соответственно, U = ZY). Если при этом слово Z непустое, У называется собственным префиксом (соответственно, собственным суффиксом) слова U.

Подслово Y может входить в слово U несколькими способами; каждое такое вхождение Y в U однозначно определяется позицией первой буквы слова Y в U. Расстояние между вхождениями — это разность соответствующих позиций. В дальнейшем под термином «подслово» часто понимается конкретное вхождение какого-то подслова: из контекста будет понятно, идет ли речь о подслове или о его вхождении.

3. Периодом слова W называется число р со свойством: W[i] = W[i+p] для любого г = 1,..., \ W\-p. Экспонент,ой ехр(И/) слова W называется отношение длины слова W к его минимальному периоду, а локальной экспонентой lexp(PF) — максимум из экспонент всех подслов слова W. Наконец, введем понятие сильно локальной экспоненты 1ехр<(Ж) слова W как максимум из экспонент всех собственных подслов слова W.

Проиллюстрируем введенные в предыдущем абзаце определения примерами. W = 123123 имеет период 3; \W\ = 6, exp(W) = lexp(W) = 2, lexp<(W) = 5/3;

W = 1211121 имеет периоды 4 и 6; \W\ = 7, exp(W) = 7/4, 1ехр(Ж) = 3, \exP<(W) = 3; W = 111 имеет периоды 1 и 2; \W\ = 3, exp(W) = 3, lexp(WK) = 3, 1ехР<(Ж) = 2.

Слово W называется (З-свободным, если lexp(Wr) < (3, и называется ¡3+ -свободным, если lexp(W) ^ (3. Аналогично, слово W мы назовем почти [З-свободным (почти (3+-свободным), если, соответственно, 1ехр<(1У) < ¡3 и 1ехр<(И/) ^ (3. [Почти] 2-свободные, (3-свободные, 2+-свободные) слова называют также [почти] бесквадратными (соответственно, бескубными, сильно бескубными) словами.

Пусть /3' < (3". Очевидно, что любое /?'- или /3'+-свободное слово является также и /?"-или, соответственно, /3"+-свободным. Аналогичное утверждение справедливо и для почти свободных слов. Однако слово W может быть почти (3'- или /?/+-свободным, но не являться /3"- или |5//+-свободным. Так, например, слово 111 почти сильно бескубно, но при этом оно является кубом.

4. Морфизмом называется гомоморфизм свободных моноидов. Единственный нетривиальный автоморфизм свободного моноида Eij называется операцией инвертирования и обозначается . Таким образом, операция инвертирования переобозначает буквы в слове: 1 = 2, 2 = 1.

Морфизм Туэ-Морса 0: £ij —> Ei; задается равенствами 0(1) = 12 и 0(2) = 21. Обозначим tn = 0П(1), тогда t„ = 0™(2). Слова tn и tn называются словами Туэ-Морса.

Очевидно, морфизм Туэ-Морса инъективен. Обратное отображение из 0(Е^) в свободный моноид EJ обозначается через в"1.

1°.2 Языки и автоматы

1. Языком над алфавитом £ называют произвольное подмножество свободного моноида Е*. Напомним определения основных операций над языками. Под объединением языков С и 1С (обозначается Си 1С или £ + 1С) понимают их теоретико-множественное объединение, произведением С и К называется язык

СК = {иу I и € £, V € /С},

левое 1С~гС и правое СК-1 частные языков С и 1С определяются как

1С'1 С = {и | ЗУ е К(уи е £)} и ОС'1 = {и | ЗУ е ЦИУ е £)}

соответственно. Положим £* = = и^х£г (операция * называется итерацией).

При записи одноэлементных языков вида {ТУ}, где ТУ 6 £*, фигурные скобки опускаются. Например, вместо /С{ТУ}-1 и {ТУ}* мы пишем просто /СТУ-1 и ТУ*.

Естественным образом на языки распространяются операции взятия образа и прообраза:

ВД = {к(и) | и € /С}, /Гх(£) = {{/ | ВД е £}

для произвольного отображения /г: Д* —> £* и языков £ С £*, /С С Д*.

Язык называется рациональным, или регулярным, если он может быть записан при помощи регулярного выражения — выражения, содержащего одноэлементные языки и операции объединения, произведения и итерации языков.

Класс рациональных языков замкнут относительно взятия частного и прообраза любого морфизма. Таким образом, для произвольных языков £, К С Е* и любого морфизма Л: Д* —> £*, если язык £ рациональный, то и языки СК,'1 и /г~1(£) оказываются рациональными.

В дальнейшем, при рассмотрении регулярных выражений мы будем часто употреблять фразу «слово имеет вид»: слово ТУ имеет вид (12)* 1, слово ТУ вида (12 + 21)* и т. п., подразумевая, что слово ТУ принадлежит языку, задаваемому соответствующим регулярным выражением.

2. Детерминированным конечным автоматом (ДКА) называется пятерка Е, 6, в, Т), состоящая из конечного множества состояний (вершин) <5, алфавита Е, функции перехода 5: х Е —(3, начального состояния в £ и множества конечных (терминальных) состояний Т С <5- Конечный автомат удобно отождествлять с орграфом с множеством вершин (5 (и метками, указывающими, является ли вершина начальной и/или конечной) и множеством дуг вида q А д', определяемых условиями а) = д'. Операция 6 естественным образом распространяется на слова:

6(д, ТУ) = *(... (<%, ТУ[1]), ТУ[2]) • • • , ТУ[|ТУ|]) .

Каждый маршрут в автомате помечен словом над алфавитом Е. ДКА распознает (принимает) слово ТУ, если существует хотя бы один маршрут из начальной вершины в

какую-либо из конечных, помеченный словом Щ. Язык всех распознаваемых ДКА А слов обозначается через С(Л). Говорят, что ДКА Л распознает язык С(Л).

Недетерминированный конечный автомат (НКА) получается из понятия ДКА путем двух обобщений: начальное состояние в заменяется множеством начальных состояний I, а функция перехода 5: СЦ х £ —» заменяется на тернарное отношение 6 С С} х £ х (¡). Представление орграфом, распознаваемый язык определяются так же, как и для ДКА. Согласно теоремам Рабина-Скотта и Клини, классы языков, распознаваемых ДКА и НКА, совпадают с классом рациональных языков (см., например, [3]).

3. Для любого языка £ С £* комбинаторная сложность есть функция рг(п): N0 —► М0, которая определяется как рс(п) = |£П£П|. В дальнейшем термин «сложность» применительно к языку означает комбинаторную сложность.

Основным инструментом для оценки степени роста комбинаторной сложности языка служит индекс роста gr(L) = Ншп-^оо Р

1°.3 Свободные бернсайдовы полугруппы, моноиды, группы

1. Свободный бернсайдов моноид ранга к и тождеством хп = хп+т для некоторых фиксированных чисел п ^ 0,т ^ 1 с точностью до изоморфизма определяется как фактор-моноид

В (к, п,п + т) = ££/ ~к,п,т

свободного моноида ££ по конгруэнции ~к,п,т> порожденной всеми парами вида (У™, уп+т), где У 6 А^оноиды В(к,0,т) являются группами, которые называются свободными бернсайдовыми группами и обозначаются В(к,т). Свободная бернсайдова полугруппа В(к,п,п + т), где п,т ^ 1, получается из моноида В(к,п,п + т) удалением единицы (нейтрального элемента) — класса эквивалентности, состоящего из пустого слова. Того же результата можно достичь, заменив ££ на £¡1" и слово «моноид» на слово «полугруппа» в определении свободного бернсайдова моноида В(к,п,п + т). Класс эквивалентности содержащий слово 1¥, обозначается через \У/\к,п,т-Все результаты диссертации формулируются для свободных бернсайдовых полугрупп, однако те же результаты справедливы и для соответствующих этим полугруппам свободных бернсайдовых моноидов. Более того, в дальнейшем мы часто будем иметь дело именно с моноидами, рассматривая пустое слово Л и класс [А]^^ везде, где это необходимо.

2. Для работы с конгруэнцией ~к,п,т удобно ввести отношения соседства Пк,п,т:

Кк,п,т = {(у, у), (хупг,хуп+тг), (хуп+тг, хупг) \ х, г е Е*к, у е .

Слова 11 и V мы называем соседними, если (£/, V) € пк,щт (при фиксированных параметрах п, т и к). Легко проверить, что ,т~ тгкпт' то есть конгруэнция ~к,п,т является транзитивным замыканием отношения соседства тгк,п,т-

Ввиду вложенности множеств £1 С £2 С £3 С ..полугруппа В(к, п,п + т) является подполугруппой полугруппы В (к', п,п + т), а моноид В (к, п,п + т) — подмоноидом моноида В(к',п,п + т), если к < к'. Это позволяет нам опускать индекс к в обозначениях

Пк,п,т, ~к,п,т И \У/)к,п,т, ГДв \¥ £ £*.

2° Обзор исследований в предметной области

В данном параграфе приводится краткий обзор исследований и основных результатов других авторов в теории бернсайдовых полугрупп. Более подробно с проблематикой и историей развития данной предметной области можно ознакомиться, например, по обзорной статье [20]; немало интересной информации о бернсайдовых полугруппах можно почерпнуть из книг по общей теории полугрупп, таких как [3,15], и др.

Основные затрагиваемые здесь проблемы следующие:

Проблема конечности (ограниченная проблема Бернсайда): при каких п, т и к полугруппа В (к, п,п + т) бесконечна? Эта проблема была впервые сформулирована Бернсайдом в 1902 году для бернсайдовых групп. Позже она была распространена на случай произвольной бернсайдовой полугруппы.

(Обобщенная) гипотеза Бжозовского: всякий элемент свободной бернсайдовой полугруппы является рациональным языком над соответствующим алфавитом. Гипотеза была сформулирована Бжозовским в 1969 году для полугрупп В(к,п,п + 1), позже Маккаммонд распространил ее на случай произвольной свободной бернсайдовой полугруппы.

Проблема равенства слов: По произвольно заданным словам II иУ определит