CC BY
25
2016 Теоретические основы прикладной дискретной математики №4(34)
УДК 512.572
РАНГИ ПЛАНАРНОСТИ МНОГООБРАЗИЙ КОММУТАТИВНЫХ ПОЛУГРУПП
Д. В. Соломатин
Омский государственный педагогический университет, г. Омск, Россия
Изучается предложенное Л. М. Мартыновым понятие ранга планарности многообразий полугрупп. Пусть V — произвольное многообразие полугрупп. Если существует такое натуральное число r ^ 1, что все V-свободные полугруппы ранга не больше r допускают планарные графы Кэли, а V-свободная полугруппа ранга r + 1 не допускает планарного графа Кэли, то рангом планарности многообразия V называется это число r. Если для многообразия V такого натурального числа не существует, то говорят, что многообразие V имеет бесконечный ранг пла-нарности. Доказано, что нетривиальное многообразие коммутативных полугрупп либо имеет бесконечный ранг планарности и при этом совпадает с многообразием полугрупп с нулевым умножением, либо имеет ранг планарности 1, 2 или 3. Эти оценки рангов планарности многообразий коммутативных полугрупп достижимы.
Ключевые слова: полугруппа, граф Кэли полугруппы, многообразие полугрупп, свободная полугруппа многообразия, ранг планарности многообразия полугрупп, коммутативная полугруппа, многообразие коммутативных полугрупп, ранг планарности многообразия коммутативных полугрупп.
DOI 10.17223/20710410/34/4
THE RANKS OF PLANARITY FOR VARIETIES OF COMMUTATIVE SEMIGROUPS
D. V. Solomatin Omsk State Pedagogical University, Omsk, Russia E-mail: solomatin_dv@omgpu.ru
We study the concept of the planarity rank suggested by L.M. Martynov for semigroup varieties. Let V be a variety of semigroups. If there is a natural number r ^ 1 that all V-free semigroups of ranks ^ r allow planar Cayley graphs and the V-free semigroup of a rank r + 1 doesn't allow planar Cayley graph, then this number r is called the planarity rank for variety V. If such a number r doesn't exist, then we say that the variety V has the infinite planarity rank. We prove that a non-trivial variety of commutative semigroups either has the infinite planarity rank and coincides with the variety of semigroups with the zero multiplication or has a planarity rank 1, 2 or 3. These estimates of planarity ranks for varieties of commutative semigroups are achievable.
Keywords: .semigroup, Cayley graph of .semigroup, variety of semigroups, free semigroup of variety, planarity rank for semigroup variety, commutative semigroup, variety of commutative semigroups, planarity rank for variety of commutative semigroups.
Введение
Изучение планарных графов традиционно относят к вопросам топологии, которые представляют определённый интерес и с инженерной точки зрения, но рассматриваемый нами алгебраический подход значительно шире. Последнее время высокую актуальность обретает изучение свойств планарности графов Кэли полугрупп. Хорошо известно, что можно фиксировать свойства графов, получая тем самым описание связанных с ними алгебраических структур, и наоборот, фиксируя алгебраические свойства, получать уникальные серии графов, наглядно отражающих внутреннюю природу некоторой алгебраической структуры. Эти постулаты продемонстрированы в работах автора, в частности, на примере анализа строения допускающих внешне-планарные графы Кэли [1] полугрупп и свободных частично коммутативных ниль-потентных полугрупп с планарными графами Кэли [2], опирающихся на построения из предшествующих работ [3, 4]. Кроме того, поднимаемые К. и У. Кнауэрами [5, 6], общепризнанными профессионалами в теории графов и их применений, вопросы различной вложимости графов Кэли для полугрупп также лежат на стыке теории графов, алгебры и топологии, а ведь именно на стыке наук рождаются новые идеи.
С другой стороны, описание допускающих плоские графы Кэли конечных групп известно давно [7], но их исследования не прекращаются, а продолжаются [8, 9], в том числе при поддержке ведущих институтов [10, 11]. Вопрос описания конечных полугрупп с планарными графами Кэли оказался весьма трудным и по сей день остаётся открытым. При этом значимость планарных графов Кэли для полугрупп сравнима с плоскими диаграммами ван Кампена в теории групп, подробное описание которых на русском языке можно найти в [12]. Обозначенное направление, год от года захватывающее умы всё более широкого круга исследователей [13, 14], помимо огромного фундаментального значения находит отражение и в прикладных исследованиях. Так, например, стратегически важной в международной сфере информационной безопасности является задача разработки эффективных алгоритмов актуального направления современной криптографии — обфускации программ. На последние, в частности, можно смотреть как на ассоциативные множества (элементами которых являются процедуры и функции). Рассмотрим множество всевозможных процедур относительно операции их объединения и последовательного выполнения в теле объединённой процедуры. Так как выбранная операция ассоциативная, бинарная, алгебраическая, то рассматриваемое множество обладает структурой полугруппы. Перечисление планарных графов Кэли полугрупп при таком подходе граничит с известной задачей приведения графа потока управления к плоскому виду [15].
В настоящей работе изучается предложенное Л. М. Мартыновым понятие ранга планарности многообразий полугрупп. Это понятие связано с оценкой наибольшего числа образующих элементов свободных полугрупп в многообразиях полугрупп, относительно которых граф Кэли этих полугрупп является планарным. Так как свободные полугруппы в многообразиях играют важную роль (хотя бы потому, что любая полугруппа многообразия является гомоморфным образом подходящей свободной в нём полугруппы), весьма актуальной является проблема нахождения рангов планарности многообразий полугрупп, сформулированная Л. М. Мартыновым в [16]. Ранее автором решена задача описания рангов планарности и классификации многообразий по рангам планарности для многообразий коммутативных моноидов, рассматриваемых как нульарные полугруппы [17]. Кроме того, в [18] вычислены ранги планарности некоторых серий важных многообразий коммутативных полугрупп, а в [19] перечислены все нетривиальные планарные многообразия полугрупп и найдены ранги планарно-
сти ключевой серии многообразий полугрупп. Основной целью этой работы является решение проблемы описания рангов планарности для всех многообразий коммутативных полугрупп. Подобное описание, помимо прочего, интересно ещё и тем, что в общем случае среди гомоморфных образов произвольной полугруппы (в частности, свободной полугруппы фиксированного многообразия) существуют полугруппы как с планарны-ми, так и с не допускающими плоской укладки графами Кэли.
Заметим, что выбор многообразия всех коммутативных полугрупп обусловлен, прежде всего, естественностью свойства коммутативности, а также особым местом этого многообразия в решетке многообразий всех полугрупп (последние делятся на надкоммутативные и прочие) и довольно хорошей изученностью этого многообразия. Приведём лишь некоторые известные факты. Всякое коммутативное многообразие известным образом кодируется [20], посредством чего даётся описание (не столь эффективное, как описание решётки многообразий коммутативных моноидов [21]) решётки многообразий коммутативных полугрупп. Кроме того, для этой работы важен результат [22] о конечной базируемости любого коммутативного многообразия полугрупп (см. также [23, с. 30]).
1. Основные определения и результат
Формулировке основного результата предпошлем несколько определений. Напомним, что правым (левым) графом Кэли полугруппы Б относительно множества образующих её элементов X называется помеченный ориентированный мультиграф Сау(Б, X), состоящий из множества вершин Б и множества помеченных дуг — всевозможных троек (а, х, Ь), где а,Ь Е Б, х Е X и ах = Ь (ха = Ь). В коммутативном случае понятия правого и левого графа Кэли совпадают, и поэтому будем говорить просто о графе Кэли полугруппы.
Основой ориентированного мультиграфа называется обыкновенный граф, полученный из данного графа удалением петель и заменой всех дуг, соединяющих две вершины, одним ребром, соединяющим эти вершины. Ориентированный мультиграф естественно назвать планарным, если его основа является планарным графом. Будем говорить, что полугруппа допускает планарный граф Кэли, если относительно некоторого множества образующих основа её графа Кэли является планарным графом.
Приведём определение центрального понятия. Пусть V — произвольное многообразие полугрупп. Если существует такое натуральное число г ^ 1, что все V-свободные полугруппы ранга не больше г допускают планарные графы Кэли, а V-свободная полугруппа ранга г + 1 не допускает планарного графа Кэли, то рангом планарности многообразия V называется это число г = гп (V). Если для многообразия V такого натурального числа не существует, то говорят, что многообразие V имеет бесконечный ранг планарности, и пишут гп (V) = то.
Ясно, что тривиальное многообразие, то есть состоящее из одноэлементных полугрупп, имеет бесконечный ранг планарности. Исследованы вопросы планарности многообразий коммутативных моноидов [17] и графов Кэли во многих классах полугрупп [18]. В частности, известно, что рангами планарности нетривиальных многообразий коммутативных моноидов могут быть только числа 1, 2 и 3. Все указанные числа могут быть рангами планарности и многообразий коммутативных полугрупп, но здесь появляется многообразие полугрупп с нулевым умножением с бесконечным рангом планарности. В связи с этим возникает естественный вопрос: будет ли ранг планарности любого нетривиального многообразия коммутативных полугрупп прини-
мать лишь значения 1, 2, 3 или то? Положительный ответ на него даёт следующее утверждение.
Теорема 1. Нетривиальное многообразие коммутативных полугрупп либо имеет бесконечный ранг планарности и при этом совпадает с многообразием полугрупп с нулевым умножением, либо имеет ранг планарности 1, 2 или 3.
Ключевая идея доказательства теоремы заключается в использовании конфигураций, иллюстрирующих непланарность основ графов Кэли свободных полугрупп некоторых многообразий коммутативных полугрупп относительно небольшого числа образующих и их модификаций, получаемых путём отождествления некоторых вершин. Они используются либо для доказательства непланарности графов Кэли свободных полугрупп широкого класса многообразий полугрупп, либо для сведения задачи к многообразиям, ранги планарности которых известны. При этом учитывается хорошо известный факт о том, что соотношение для образующих свободной в некотором многообразии полугруппы обязано быть тождеством в нём [24, следствие 3.2, с. 185].
Доказательству теоремы предпошлём несколько вспомогательных утверждений. Но прежде приведём некоторые дополнительные сведения из теории графов и теории полугрупп. Напомним, что плоским графом называется обыкновенный граф (то есть неориентированный и без петель), вершины которого являются точками плоскости, а рёбра — непрерывными плоскими линиями без самопересечений, соединяющими вершины так, что никакие два ребра не имеют общих точек, кроме инцидентной им обоим вершины. Любой граф, изоморфный плоскому графу, называется планарным.
Для обоснования планарности обыкновенного графа используются различные критерии. Приведём формулировку используемого в работе критерия Понтрягина — Ку-ратовского [25, с. 160]: граф планарен тогда и только тогда, когда он не содержит подграфов, гомеоморфных полному пятивершинному графу К5 или полному двудольному графу Кз,з. Два графа называются гомеоморфными, если оба они могут быть получены из одного и того же графа подразбиением его рёбер.
Известно, что с точностью до изоморфизма конечные циклические (моногенные [26, с. 53]) полугруппы исчерпываются полугруппами, заданными копредставлениями вида (ж : хг+т = хг) в классе всех полугрупп, где г,т — произвольные положительные целые числа. Пара (г; т) называется типом соответствующей конечной циклической полугруппы. Типом бесконечной циклической полугруппы считаем пару (1; 0).
Типом многообразия полугрупп называется тип (г; т) свободной в нём циклической полугруппы [27, замечание 2]. Например, многообразие С всех коммутативных полугрупп имеет тип (1;0). Комбинаторными многообразиями называются многообразия, не содержащие групп. Ясно, что комбинаторные многообразия имеют тип (г; 1) для некоторого г. В частности, многообразие полурешёток имеет тип (1; 1). Тип (1; 1) имеет и тривиальное многообразие.
Под (нетривиальным) тождеством и = V понимается пара различных слов и и V из свободной коммутативной полугруппы ^^(С) над бесконечным счётным алфавитом = {ж,у,г,ь,х\,х2,... ,Хг,...}. Условимся в дальнейшем свободную полугруппу коммутативного многообразия V с п первыми элементами множества в качестве её образующих элементов обозначать через Гп(У).
2. Доказательство теоремы 1
Перейдём к формулировке и доказательству утверждений, из которых будет вытекать основной результат работы.
Лемма 1. Если коммутативное многообразие V полугрупп задано системой тождеств, в которой присутствуют тождества вида х = хуг1 или х = уот2, где слово г при г Е {1, 2} имеет произвольную длину ¡(г) ^ 0 и г1 не меняется при замене всех вхождений в него х на у, а у на х с учётом коммутативности, то многообразие V является тривиальным.
Доказательство. Каждое из перечисленных в формулировке леммы тождеств эквивалентно тождеству х = у тривиального многообразия. Действительно, если выполнено тождество х = хуг, то выполнено и тождество у = ухг, из которого в совокупности с предшествующим следует х = у. А если выполнено тождество х = у^г, то выполнено и тождество £ = у ¿г, из которого в совокупности с предшествующим следует х = эквивалентное тождеству х = у. ■
Если добавление тождества вида и = w к системе тождеств, определяющих многообразие V коммутативных полугрупп, не приводит к тривиальному многообразию, то отождествление слов и и т в свободной коммутативной полугруппе многообразия V соответствующего ранга назовём нетривиальным склеиванием. Перечисленные в лемме 1 системы тождеств таковыми не являются. Из леммы 1 непосредственно вытекает следующее утверждение.
Следствие 1. Если V - нетривиальное многообразие коммутативных полугрупп, то в свободной полугруппе ) не могут быть нетривиальные склеивания таких элементов, в записи у которых в одной части присутствует одна буква, а в другой — слово из разных букв.
Лемма 2. Если коммутативное многообразие V полугрупп задано системой тождеств, каждое тождество которой имеет длину слова большую или равную 2, и, кроме того, присутствуют тождества вида ху = ¿¿г, или ху = хгг, или ху = хуг£, где слово V имеет произвольную длину ¡(г) ^ 0, то многообразие V является многообразием полугрупп с нулевым умножением.
Доказательство. Каждое из перечисленных в формулировке леммы тождеств эквивалентно тождеству ху = многообразия полугрупп с нулевым умножением. В самом деле, если выполнено тождество ху = ¿¿г, то выполнено и тождество х1х2 = = ¿¿г, из которого в совокупности с предшествующим следует ху = х1х2, эквивалентное тождеству ху = Если же выполнено тождество ху = хгг, то выполнено и тождество = ¿хг, из которого в совокупности с предшествующим следует ху = А если выполнено ху = хуг£, то выполнено и тождество = ¿¿ху, из которого в совокупности с предшествующим следует ху = ■
Лемма 3. Пусть нетривиальное многообразие коммутативных полугрупп V задано системой тождеств Е, каждое тождество которой имеет длину слова более 2. Тогда ранг планарности многообразия V не превышает 3 независимо от типа многообразия.
Доказательство. Доказательство леммы осуществим в несколько этапов, варьируя длину слов, входящих в запись тождеств системы Е.
Пусть коммутативное многообразие V удовлетворяет условиям леммы и длина слов в системе Е более 3. Тогда граф Кэли каждой свободной полугруппы ) при п ^ 4 содержит в точности подграф, изображенный на рис. 1, основа которого гомеоморфна графу К33. Следовательно, этот граф не является планарным, а ранг планарности такого многообразия не превышает 3.
Пусть теперь коммутативное многообразие V удовлетворяет условиям леммы, а длина некоторых слов от первых степеней переменных в тождествах системы Е или
Рис. 1. Подграф графа Кэли свободной полугруппы ¥4(V) подмногообразия V многообразия коммутативных полугрупп, каждое тождество которого имеет длину слова более 3
в тождествах, вытекающих из неё, равна 3. Тогда в графе Кэли каждой свободной полугруппы (V) при п ^ 4 возможны отождествления некоторых пар вершин, соответствующих элементам хуг, ху£, уг£, хуг£, изображённым на рис. 1, что приводит к появлению подграфа, изображённого на рис. 2, и его вариаций. Но в каждом из случаев его основа оказывается гомеоморфной графу К3,3. Следовательно, этот граф не является планарным, а ранг планарности такого многообразия не превышает 3. ■
хг ух
Рис. 2. Подграф графа Кэли свободной полугруппы ¥4(V) многообразия уаг {щ = V : 1 ^ г ^ п} коммутативных полугрупп, где 1(щ) ^ 3, 1(у^) ^ 3, при этом и> = хугЬ — элемент полугруппы ¥4 (V), отличный от остальных вершин
Следствие 2. Любое коммутативное многообразие V типа (г; т) при г ^ 3, т ^ 1 имеет ранг планарности, не превышающий числа 3.
Доказательство. Слова в обеих частях каждого тождества системы, определяющей коммутативное многообразие типа (г; т) при г ^ 3, т ^ 1 должны быть длины больше или равной 3. В самом деле, предположим противное, то есть что в многообразии V выполнено тождество и = V, в котором /(и) ^ 1(у) и /(и) < 3. Рассмотрим возможные случаи. Если /(и) = /(V), то в V выполнено тождество х1(и) = х1(и")+(1(у)-1(и)), то есть многообразие имело бы тип (г; т) при г < 3, что противоречит условию следствия 2. Пусть теперь / = /(и) = /(V) < 3. Тогда легко понять, что каждое из возможных в этом случае тождеств (х = у при / = 1; хх = ху, хх = уу, хх = у г, ху = хг, ху = г£ при / = 2) не выполняется в циклической полугруппе типа (г; т) при г ^ 3, т ^ 1, что вновь противоречит условию следствия 2. Итак, предположение не верно, и к системе тождеств, определяющей многообразие, непланарность графа Кэли свободной полугруппы которого интерпретируется рис. 2, добавляется тождество из слов длины больше или равной 3. В этом случае непланарность графа Кэли свободной по-
лугруппы полученного многообразия будет интерпретироваться рис. 2. Таким образом, ранг планарности описываемых следствием 2 многообразий не превышает трёх. ■
Лемма 4. Если среди следствий системы тождеств нетривиального коммутативного многообразия V присутствует тождество вида ху = г, в котором слово г длины ¡(г) > 1, помимо хп и ут (где п и т — возможно нулевые степени вхождения х и у соответственно), содержит переменную, имеющую степень вхождения п или т, то многообразие V совпадает с многообразием полугрупп с нулевым умножением; для остальных значений слова г длины ¡(г) > 1 граф Кэли свободной 4-порождённой полугруппы многообразия V не является планарным.
Доказательство. Многообразие полугрупп с нулевым умножением, в которых произведение любых двух элементов равно нулю (ху = 0), может быть задано одним тождеством ху = Пусть условие леммы выполнено, среди следствий системы тождеств нетривиального коммутативного многообразия V присутствует тождество вида ху = г. Не теряя общности, положим г = хпут£14¿2г2 ... ¿к%к, где п, т, г1,..., гк — не все равные нулю одновременно неотрицательные целые степени вхождения соответствующих переменных. Тогда = п или = т для некоторого индекса ] из множества допустимых индексов [1; к]. Учитывая коммутативность рассматриваемого многообразия, зафиксируем г1 = т. Получим ху = хпут^1т^2г2 ... ¿к%к = хп^1тут^2г2 ... ¿к%к = х£1, что равносильно тождеству ху = определяющему многообразия полугрупп с нулевым умножением. Для остальных значений слова г длины ¡(г) > 1 тождество ху = г не приводит к склеиванию элементов, соответствующих вершинам изображённого на рис. 1 графа. А так как в этом случае граф Кэли свободной 4-порождённой полугруппы многообразия V содержит изображённый на рис. 1 подграф, основа которого гомеоморфна графу К3,3, то он не является планарным по критерию Понтрягина — Куратовского. ■
Лемма 5. Если среди следствий системы тождеств нетривиального коммутативного многообразия V есть тождество вида х2 = и, где и — слово длины ¡(и) > 1, за исключением и = уг, и = ху, то граф Кэли свободной 4-порождённой полугруппы многообразия V не является планарным.
Доказательство. Пусть нетривиальное коммутативное многообразие V задано
системой тождеств Е, в которой присутствуют тождества из условия леммы. Тогда для
22 тождества вида х2 = и, где и — слово от нескольких переменных, за исключением х2 =
= которое влечёт ху^ = ¿иг — отождествление слов длины три (то есть приводит
к рис. 2), и х2 = у^, х2 = ху, которые приводят к многообразию полугрупп с нулевым
умножением, можно сделать вывод, что оно не влияет на содержимое рис. 1. ■
Известно [24, следствие 3.2, с. 185], что если есть соотношение на образующих, то оно обязано быть тождеством. Принимая этот факт во внимание, проанализируем, при наличии каких тождеств в системе тождеств многообразия вершины изображённого на рис. 1 графа могут склеиваться, что привело бы к увеличению ранга планарности соответствующего многообразия. Напомним, склеивание вершин г1 и г2 есть преобразование, состоящее в удалении вершин г1, г2 и добавлении новой вершины г, смежной со всеми теми вершинами, с которыми были смежны г1 и г2. Последнее может привести как к появлению, так и к потере свойства планарности графа.
Лемма 6. Если V — многообразие коммутативных полугрупп, то совпадение любой пары слов на рис. 1 в свободной полугруппе ) этого многообразия приводит к выполнению одного из следующих тождеств: х = у, ху = ^ либо и = г^, где и^, г^ —
слова в некотором алфавите, длина которых /(и^) ^ /(vj) ^ 3, приводящих к рис.2. Более того, если многообразие V задано системой тождеств, в котором длина слов больше или равна 3, то в свободной в этом многообразии полугруппе ) интерпретируется модификация рис. 1 (а именно рис. 2), доказывающая непланарность графа Кэли этой полугруппы.
Доказательство. Проанализируем все возможные соотношения, приводящие к склеиванию вершин графа, изображённого на рис. 1. Допустим, что в свободной полугруппе ) многообразия V выполнено одно или несколько из следующих соотношений: х = у, х = г, х = х = ху, х = хг, х = х£, х = у£, х = г£, х = хуг, х = ху£, х = уг£, х = хуг£, у = г, у = у = ху, у = хг, у = х£, у = у£, у = г£, у = хуг, у = ху£, у = уг£, у = хуг£, г = г = ху, г = хг, г = х£, г = у£, г = г£, г = хуг, г = ху£, г = уг£, г = хуг£, £ = ху, £ = хг, £ = х£, £ = у£, £ = г£, £ = хуг, £ = ху£, £ = уг£, £ = хуг£. Тогда многообразие V является тривиальным в силу леммы 1. Существенное склеивание образующих приводит к выполнению тождеств, отличных от тривиального. Если в свободной полугруппе ) многообразия V выполнено одно или несколько из следующих соотношений: ху = хг, ху = х£, ху = у£, ху = г£, ху = хуг, ху = ху£, ху = уг£, ху = хуг£, хг = х£, хг = у£, хг = г£, хг = хуг, хг = ху£, хг = уг£, хг = хуг£, х£ = у£, х£ = г£, х£ = хуг, х£ = ху£, х£ = уг£, х£ = хуг£, у£ = г£, у£ = хуг, у£ = ху£, у£ = уг£, у£ = хуг£, г£ = хуг, г£ = ху£, г£ = уг£, г£ = хуг£, то многообразие V является многообразием полугрупп с нулевым умножением в силу леммы 2. И наконец, если в свободной полугруппе ^4^) многообразия V выполнено одно или несколько из оставшихся соотношений: хуг = ху£, хуг = уг£, хуг = хуг£, ху£ = уг£, ху£ = хуг£, уг£ = хуг£, то в многообразии V выполнено тождество вида и = Vj, где щ, Vj — слова в некотором алфавите, длина которых /(и^) ^ /(vj•) ^ 3, приводящее к рис. 2. ■
В качестве следствия из лемм 1, 2 и 6 легко убедиться в том, что если в нетривиальном коммутативном многообразии совпадают слова, соответствующие некоторым парам вершин изображённого на рис. 2 графа, то ранг планарности такого многообразия не превышает трёх либо многообразие совпадает с многообразием полугрупп с нулевым умножением. Более того, имеет место следующее утверждение.
Следствие 3. Любое коммутативное многообразие типа (2; т) при т ^ 1 либо имеет ранг планарности то и при этом совпадает с многообразием полугрупп с нулевым умножением, либо имеет ранг планарности меньше или равный трём.
Доказательство. Слова хотя бы в одной из частей каждого тождества системы, определяющей коммутативное многообразие типа (2; т) при т ^ 1, должны быть длины 2, иначе возникло бы противоречие с типом многообразия. Поэтому следствие 3 верно, согласно леммам 4, 5 и 6, которые охватывают все соответствующие возможности, а именно: лемма 4 задаёт системы тождеств, эквивалентные многообразию полугрупп с нулевым умножением типа (2; 1); лемма 5 — все остальные возможные тождества, выполняющиеся в коммутативном многообразии V типа (2; т) при т ^ 1, наличие которых приводит к тому, что граф Кэли свободной 4-порождённой полугруппы многообразия V не является планарным. Следовательно, по лемме 6 ранг планарности анализируемого многообразия V либо не превышает трёх, либо равен то при V, являющемся многообразием полугрупп с нулевым умножением. ■
Лемма 7. Нетривиальное коммутативное многообразие типа (1; т) при т = 1 имеет ранг планарности 3, а при т > 1 —не больше 3.
Доказательство. При т = 1 из полугрупп коммутативного многообразия типа (1; т) получаем полурешётки, ранг планарности которых равен 3, что показано ранее для 1 в обозначениях работы [18]. Пусть теперь т > 1. Тогда граф Кэли свободной полугруппы многообразия уаг{ху = ух, х1+ш = х1} с тремя образующими содержит изображённый на рис. 3 подграф, основа которого гомеоморфна графу К3 , 3. Следовательно, этот граф не является планарным, а ранг планарности такого многообразия не превышает 2 и тем более 3.
Рис. 3. Подграф графа Кэли свободной полугруппы (V) многообразия var{ ж1+ш = ж1} при т > 1
В процессе доказательства, как и прежде, будем пользоваться тем фактом, что каждое соотношение, выполняющееся в свободной полугруппе многообразия V, является тождеством в многообразии V.
Проанализируем, при наличии каких тождеств в системе тождеств многообразия вершины изображённого на рис. 3 графа могут склеиваться, что привело бы к увеличению ранга планарности соответствующего многообразия. Для этого проверим 13 + 12 +... + 1 = 77 возможных соотношений и соответствующих им тождеств, добавляемых к х1+ш = х1 в многообразии уаг{ху = ух, х1+ш = х1}, где т > 1, приводящих к склеиванию некоторых вершин графа, изображённого на рис. 3.
Пусть выполнено хотя бы одно из следующих соотношений: х£ = х2£, х2у = ху, ху = ху2. Это равносильно тому, что в многообразии выполнено тождество ху = х2у, из которого следует х2 = х3. Тогда и х2 = х2х = х2х...х = х1+ш = х выполнено, то есть многообразие является многообразием полурешёток, имеет тип (1; 1) и ранг планарности 3. Кроме того, выполнение хотя бы одного из соотношений х2 = х, у2 = у приводит к выполнению тождества х2 = х, которое определяет многообразие типа (1;1).
Выполнение хотя бы одного из соотношений х2у = х2у2, ху2 = х2у2 приво-
2 2 2 3 4
дит к тому, что выполнено тождество х2у = х2у2, из которого следуют х3 = х4 и ху = х1+шу1+ш = х3у3 = хух2у2 = хух2у = х3у2 = х1+шу2 = ху2, что приводит к х2 = х — многообразию типа (1; 1).
Выполнение соотношения ху£ = х2у£ приводит к тому, что выполнено тождество ху£ = х2у£, из которого следуют х2у = х2у2, х3 = х4 и тождества ху = х1+шу1+ш = = х3у3 = хух2у2 = хух2у = х3у2 = х1+шу2 = ху2, что приводит к х2 = х — многообразию типа (1; 1).
Выполнение соотношения ху£ = х2у2 приводит к тому, что выполнено тождество ху£ = х2у2, из которого следуют х2у = х2у2, х3 = х4 и тождества ху = х1+шу1+ш = = х3у3 = хух2у2 = хух2у = х3у2 = х1+шу2 = ху2, что приводит к х2 = х — многообразию типа (1; 1).
Выполнение соотношения х2у£ = ху2 приводит к тому, что выполнено тождество х2у£ = ху2, из которого следуют х2у = х2у2, х3 = х4 и тождества ху = х1+ту1+т = = х3у3 = хух2у2 = хух2у = х3у2 = х1+ту2 = ху2, что приводит к х2 = х — многообразию типа (1; 1).
Выполнение хотя бы одного из соотношений х2£ = £, х2у = у, х = ху2 приводит
22 к тому, что выполнено тождество х2у = у, из которого следует х2£ = £, что приводит
к х2 = хху2 = х2уу = у2 — многообразию полугрупп, задаваемых системой тождеств
уаг(ху = ух,х1+т = х,х2 = у2}, ранг планарности которого ограничен 3, согласно
рис. 4.
Рис. 4. Подграф графа Кэли свободной полугруппы ¥4(V) коммутативного многообразия var{ ж1+т = ж1} при т > 1
Выполнение хотя бы одного из соотношений х2 = х2у2, х2у2 = у2 приводит к тому,
2 2 2 2 2 2 что выполнено тождество х2 = х2у2, из которого следует у2 = х2у2, что приводит
к х2 = у2 — коммутативному многообразию полугрупп, задаваемых системой тождеств
уаг{ху = ух,х1+т = х,х2 = у2}, ранг планарности которого ограничен 3, согласно
рис. 4.
Выполнение соотношения х2 = у2 приводит к тому, что выполнено тождество х2 = у2 коммутативного многообразия полугрупп, задаваемых системой тождеств уаг{ху = ух,х1+т = х,х2 = у2}, ранг планарности которого ограничен 3, согласно рис. 4.
Выполнение соотношения у£ = х2у£ приводит к тому, что выполнено тожде-
2 222 2222 ство у£ = х2у£, из которого следует х2 = х2у2, что приводит к х2 = х2у2 = у2,
х = ххт = ххт£2 = ху2 — коммутативному многообразию полугрупп, задаваемых системой тождеств уаг{ху = ух, х1+т = х,х = ху2}, ранг планарности которого ограничен 3, согласно рис. 4.
Выполнение соотношения х2у = ху2 приводит к тому, что выполнено тождество х2у = ху2 коммутативного многообразия полугрупп, задаваемых системой тождеств уаг{ху = ух,х1+т = х,х2у = ху2}, ранг планарности которого не превышает 3 (по рис.4), но можно доказать, что он в точности равен 2.
Выполнение соотношения ху = х2у2 приводит к тому, что выполнено тождество ху = х2у2, из которого следует х2 = х4, что приводит к многообразию, задаваемому системой тождеств уаг{ху = ух, х1+т = х, х2у = ху2}, ранг планарности которого не превышает 3 (по рис. 4), но можно доказать, что он в точности равен 2.
Выполнение хотя бы одного из соотношений х£ = х2, х2 = ху, ху = у2, у£ = у2
22 приводит к тому, что выполнено тождество ху = х2, из которого следует ух = у2, ху =
= х2 = х£ = £2 = и х = ххт = у ут = у, определяющее тривиальное многообразие.
Аналогичным образом проверяются остальные соотношения. Выполнение каждого из них приводит к тривиальному многообразию. Читатель может самостоятельно
проанализировать рис. 4. Легко проверяется 10 + 9 + ... + 1 = 55 возможных соотношений и соответствующих им тождеств, добавляемых к ж1+т = х1 в многообразии уаг{жу = ух, ж1+т = х1}, где т > 1, приводящих к склеиванию некоторых вершин графа, изображённого на рис. 4. В каждом из этих случаев приходим к тривиальному многообразию.
Наконец, если в определяющую коммутативное многообразие систему тождеств добавить тождество, не приводящее к склеиванию никаких пар вершин изображённых на рис. 3 и 4 графов, то ранг планарности полученного многообразия останется неизменным.
Таким образом, рассмотренные случаи исчерпывают все возможные варианты. Ранг планарности получающегося многообразия в каждом из них оказался не превышающим 3, либо многообразие тривиальное. ■
Следующая лемма в явном виде доказана первым пунктом теоремы 2 [18, с. 20].
Лемма 8. Ранг планарности многообразия всех коммутативных полугрупп равен 2.
Доказательство теоремы 1. В силу лемм 1-8 и следствий 1-3 теорема верна. В самом деле, каждое многообразие коммутативных полугрупп имеет фиксированный тип (г; т). Ранг планарности многообразия С всех коммутативных полугрупп, имеющего тип (1; 0), по лемме 8 равен 2. Для любого т ^ 1 случай многообразия типа (г; т) при г ^ 3 охватывается следствием 1 из леммы 3 и исчерпывается коммутативными многообразиями, ранг планарности которых не превышает 3. Случай (2; т) охватывается следствием 3 из лемм 4 и 5, в котором доказано, что коммутативное многообразие типа (2; т) при т ^ 1 либо имеет ранг планарности то и при этом совпадает с многообразием полугрупп с нулевым умножением, либо имеет ранг планарности меньше или равный трём. И наконец, случай многообразия типа (1; т) охватывается леммой 7, в которой доказано, что ранг планарности нетривиального многообразия коммутативных полугрупп типа (1; т) при т =1 равен 3, а при т > 1 не превышает 3. ■
Заключение
Конкретные примеры многообразий, ранги планарности которых достигают данных оценок, можно почерпнуть в [18]: ранг планарности принимает значение 1 у многообразий всех коммутативных полугрупп бернсайдовского типа (г; т) при г > 0, т > 2, в частности, у многообразий абелевых групп экспоненты большей чем 2; значение 2 у многообразия всех коммутативных полугрупп, у некоторых комбинаторных многообразий коммутативных моноидов, у многообразий коммутативных нильполугрупп индекса больше 1 и у многообразий коммутативных нильпотентных полугрупп ступени больше 3; значение 3 у многообразий абелевых групп экспоненты 2, у многообразия полурешёток и у многообразия коммутативных нильпотентных полугрупп ступени 3; бесконечное значение ранга планарности среди коммутативных имеют только многообразия полугрупп с нулевым умножением.
Заметим, что свойство планарности, как правило, не сохраняется основными операциями над полугруппами. Поэтому особый интерес представляет изучение рангов планарности многообразий, имеющее важное значение для конкретных полугрупп. В некоторых классах полугрупп последнее позволяет без усилий находить ограничения на число образующих, приводящие к планарным полугруппам, а именно: анализируя рис. 2 и 4, легко видеть, что эти рисунки реализуются, например, в конечных полугруппах, являющихся свободными коммутативными произведениями более трёх цикличе-
ских полугрупп [3,28-32], в нильпотентных полугруппах ступени более 4, в которых найдётся произведение четырёх неразложимых образующих, отличное от 0. И это далеко не полный список следствий, которые могут быть получены при анализе найденных в процессе доказательства теоремы конфигураций.
Ещё раз подчеркнём, что здесь впервые применён новый подход, предлагаемое доказательство не геометрическое, в отличие от предшествующих работ, а алгебраическое. Удалось найти две ключевые конфигурации, обеспечивающие результат для бесконечного числа многообразий.
Результаты работы докладывались на Международной конференции по алгебре, анализу и геометрии (Казань, 26 июня - 2 июля 2016 г.) и опубликованы в [33].
Автор выражает глубокую признательность профессору Л. М. Мартынову за постановку задачи, постоянное внимание к работе, полезные обсуждения результатов.
ЛИТЕРАТУРА
1. Соломатин Д. В. Строение полугрупп, допускающих внешнепланарные графы Кэли // Сиб. электрон. матем. изв. 2011. Т. 8. С. 191-212.
2. Соломатин Д. В. Свободные частично коммутативные нильпотентные полугруппы с планарными графами Кэли // Вестник Омского университета. 2014. Вып. 4. С. 28-36.
3. Соломатин Д. В. Прямые произведения циклических полугрупп, допускающие планар-ный граф Кэли // Сиб. электрон. матем. изв. 2006. Т. 3. С. 238-252.
4. Соломатин Д. В. О коммутативных полугруппах с планарными графами Кэли: дис. ... канд. физ.-мат. наук. Омск: Изд-во ОмГПУ, 2006. 107 с.
5. Knauer K. and Knauer U. Toroidal embeddings of right groups // Thai J. Math. 2010. V. 8. No. 3. P. 483-490.
6. Knauer K. and Knauer U. On planar right groups // Semigroup Forum. 2015. V. 92. No. 1. P. 142-157.
7. Maschke H. The representation of finite groups, especially of the rotation groups of the regular bodies of three- and four-dimensional space, by Cayley's color diagrams // Amer. J. Math. 1896. V. 18. No. 2. P. 156-194.
8. Беленкова Ж. Т., Романьков В. А. Регулярные графы Кэли // Сиб. мат. журн. Деп. в ВИНИТИ, 1997. № 802-В97. 37 с.
9. Беленкова Ж. Т. Плоские графы Кэли: дис. ... канд. физ.-мат. наук. Омск: Изд-во Ом. ун-та, 1998. 101 с.
10. Georgakopoulos A. and Hamann M. The Planar Cayley Graphs are Effectively Enumerable. https://arxiv.org/abs/1506.03361, 2015.
11. Zhang X. Clifford semigroups with genus zero // Proc. Intern. Conf. Semigroups, Acts and Categories with Applications to Graphs, University of Tartu, June 27-30, 2007. Tartu: Estonian Mathematical Society, 2008. P. 151-160.
12. Ольшанский А. Ю. Геометрия определяющих соотношений в группах. М.: Наука, 1989. 448 с.
13. Мартынов П. О., Соломатин Д. В. Конечные свободные коммутативные полугруппы и полугруппы с нулём, допускающие обобщенные внешнепланарные графы Кэли // Вестник Омского университета. 2014. Вып. 3. С. 22-26.
14. Мартынов П. О. Конечные свободные коммутативные моноиды, допускающие обобщенно внешнепланарные графы Кэли // Вестник Омского университета. 2015. Вып. 4. С. 6-9.
15. Коробейников А. Г., Кутузов И. М. Алгоритм обфускации // Кибернетика и программирование. 2013. №3. С. 1-8.
16. http://www.mathnet.ru/php/seminars.phtml?presentid=12900 — Новые проблемы алгебры и логики. Юбилейное 9GG^ заседание семинара. Омский алгебраический семинар, ОФ ИМ СОРАН, г. Омск, 12 ноября 2G15.
17. Соломатин Д. В. Ранги планарности многообразий коммутативных моноидов jj Вестник Омского университета. 2G12. Вып. 4. С. 41-45.
1B. Соломатин Д. В. Планарные многообразия коммутативных полугрупп jj Вестник Омского университета. 2G15. Вып. 2. С. 17-22.
19. Соломатин Д. В. Планарные многообразия полугрупп jj Сиб. электрон. матем. изв. 2G15. Т. 12. С. 232-247.
2G. Kisielewicz A. Varieties of commutative semigroups jj Trans. Amer. Math. Soc. 1994. V. 342. No. 1. P. 275-3G6.
21. Head T. J. The varieties of commutative monoids jj Nieuw Archief voor Wiskunde. 19бВ. V. 1б. No. 3. P. 2G3-2G6.
22. Perkins P. Bases for equational theories of semigroups // J. Algebra. 19б9. V. 11. No. 2. P. 298-314.
23. Шеврин Л. Н., Верников Б. М., Волков М. В. Решетки многообразий полугрупп jj Изв. вузов. Математика. 2GG9. №3. С.3-3б.
24. Кон П. Универсальная алгебра. М.: Мир, 19б8. 352 с.
25. Емеличев В. А, Мельников О. И., Сараванов В. И., Тышкевич Р. И. Лекции по теории графов. М.: Наука, 199G. 384с.
26. Шеврин Л. Н. Полугруппы. Гл. IV jj Общая алгебра j под общ. ред. Л. А. Скорнякова. М.: Наука, 1991. Т. 2. С. 11-191.
27. Шеврин Л. Н., Мартынов Л. М. О достижимых классах алгебр jj Сиб. мат. журн. 1971. Т. 12. №б. С.13б3-1381.
28. Соломатин Д. В. ^нечные свободные коммутативные полугруппы с планарными графами ^ли jj Математика и информатика: наука и образование. Межвузовский сборник научных трудов. Омск: Изд-во ОмГПУ, 2GG3. Вып. 3. С. 32-38.
29. Соломатин Д. В. ^нечные свободные коммутативные моноиды, допускающие планар-ный граф ^ли jj Вестник Омского университета. 2GG5. Вып. 4. С.3б-38.
3G. Соломатин Д. В. Прямые произведения циклических моноидов и полугрупп с нулем, допускающие планарный граф ^ли jj Математика и информатика: наука и образование. Межвузовский сборник научных трудов. Омск: Изд-во ОмГПУ, 2GG6. Вып. 5. С. 51-б3.
31. Соломатин Д. В. Свободные частично коммутативные полугруппы и n-веерные полурешетки с планарными графами ^ли jj Математика и информатика: наука и образование. Межвузовский сборник научных трудов. Омск: Изд-во ОмГПУ, 2GG9. Вып. 8. С. 3б-39.
32. Мартынов Л. М., Соломатин Д. В. Полугруппы вычетов с циклическими группами обратимых элементов, допускающие планарные графы ^ли j j Вестник Омского университета. 2G12. Вып. 2. С. 57-б2.
33. Соломатин Д. В. Ранги планарности многообразий коммутативных полугрупп j j Материалы Междунар. конф. по алгебре, анализу и геометрии. ^зань: ^занский университет, 2G16. C. 318-319.
REFERENCES
1. Solomatin D. V. Stroenie polugrupp, dopuskayushchikh vneshneplanarnye grafy Keli [Semigroups with outerplanar Cayley graphs]. Sib. Electr. Math. Reports, 2G11, vol. 8, pp. 191-212. (in Russian)
2. Solomatin D. V. Svobodnye chastichno kommutativnye nil'potentnye polugruppy s planarnymi grafami Keli [Free partially commutative nilpotent semigroups with planar Cayley graphs]. Herald of Omsk University, 2014, iss.4, pp. 28-36. (in Russian)
3. Solomatin D. V. Pryamye proizvedeniya tsiklicheskikh polugrupp, dopuskayushchie planarnyy graf Keli [Direct products of cyclic semigroups admitting a planar Caley graph]. Sib. Electr. Math. Reports, 2006, vol. 3, pp. 238-252. (in Russian)
4. Solomatin D. V. O kommutativnykh polugruppakh s planarnymi grafami Keli [Commutative Semigroups with Planar Cayley Graphs]. PhD Thesis, Omsk, OmSPU Publ., 2006. (in Russian)
5. Knauer K. and Knauer U. Toroidal embeddings of right groups. Thai J. Math., 2010, vol.8, no. 3, pp. 483-490.
6. Knauer K. and Knauer U. On planar right groups. Semigroup Forum, 2015, vol.92, no. 1, pp.142-157.
7. Maschke H. The representation of finite groups, especially of the rotation groups of the regular bodies of three- and four-dimensional space, by Cayley's color diagrams. Amer. J. Math., 1896, vol.18, no. 2, pp. 156-194.
8. Belenkova Zh. T. and Roman'kov V. A. Regulyarnye grafy Keli [Regular Cayley Graphs]. Dep. VINITI, 1997, no. 802-V97. (in Russian)
9. Belenkova Zh. T. Ploskie grafy Keli [Plane Cayley Graphs]. PhD Thesis, Omsk, OmSU Publ., 1998. (in Russian)
10. Georgakopoulos A. and Hamann M. The Planar Cayley Graphs are Effectively Enumerable. https://arxiv.org/abs/1506.03361, 2015.
11. Zhang X. Clifford semigroups with genus zero. Proc. Intern. Conf. Semigroups, Acts and Categories with Applications to Graphs, University of Tartu, June 27-30, 2007. Tartu, Estonian Mathematical Society, 2008, pp. 151-160.
12. Ol'shanskiy A. Yu. Geometriya opredelyayushchikh sootnosheniy v gruppakh [Geometry of Defining Relations in Groups]. Moscow, Nauka Publ., 1989. (in Russian)
13. Martynov P. O. and Solomatin D. V. Konechnye svobodnye kommutativnye polugruppy i polugruppy s nulem, dopuskayushchie obobshchennye vneshneplanarnye grafy Keli [Finite free commutative semigroups and semigroups with zero how admitting generalized outerplanar Cayley graphs]. Herald of Omsk University, 2014, iss.3, pp. 22-26. (in Russian)
14. Martynov P. O. Konechnye svobodnye kommutativnye monoidy, dopuskayushchie obobshchenno vneshneplanarnye grafy Keli [Finite free commutative monoids admits generalized outerplanar Cayley graphs]. Herald of Omsk University, 2015, iss.4, pp.6-9. (in Russian)
15. Korobeynikov A. G. and KutuzovI.M. Algoritm obfuskatsii [Obfuscation algorithm]. Cybernetics and Programming, 2013, no. 3, pp. 1-8. (in Russian)
16. http://www.mathnet.ru/php/seminars.phtml?presentid=12900 — Novye problemy algebry i logiki [New Problems of Algebra and Logic]. Omsk, 2015. (in Russian)
17. Solomatin D. V. Rangi planarnosti mnogoobraziy kommutativnykh monoidov [Planarity ranks of the varieties of commutative monoids]. Herald of Omsk University, 2012, iss.4, pp.41-45. (in Russian)
18. Solomatin D. V. Planarnye mnogoobraziya kommutativnykh polugrupp [Planar varieties of commutative semigroups]. Herald of Omsk University, 2015, iss.2, pp. 17-22. (in Russian)
19. Solomatin D. V. Planarnye mnogoobraziya polugrupp [Planar varieties of semigroups]. Sib. Electr. Math. Reports, 2015, vol.12, pp. 232-247. (in Russian)
20. Kisielewicz A. Varieties of commutative semigroups. Trans. Amer. Math. Soc., 1994, vol.342, no. 1, pp.275-306.
21. Head T. J. The varieties of commutative monoids. Nieuw Archief voor Wiskunde, 1968, vol. 16, no. 3, pp. 203-206.
22. Perkins P. Bases for equational theories of semigroups. J. Algebra, 1969, vol.11, no. 2, pp.298-314.
23. Shevrin L. N., Vernikov B. M., and Volkov M. V. Reshetki mnogoobraziy polugrupp [Lattices of semigroup varieties ]. Izv. Vyssh. Uchebn. Zaved. Mat., 2009, no. 3, pp. 3-36. (in Russian)
24. Cohn P. M. Universal Algebra. Harper & Row, 1965.
25. Emelichev V. A., Mel'nikov O. I., Saravanov V. I., Tyshkevich R. I. Lektsii po teorii grafov [Lectures on Graph Theory]. Moscow, Nauka Publ., 1990. (in Russian)
26. Shevrin L. N. Polugruppy [Semigroups]. Ch. IV in Obshchaya algebra [Algebra]. ed. L.A. Skornyakov. Moscow, Nauka Publ., 1991, vol.2, pp. 11-191. (in Russian)
27. Shevrin L. N. and Martynov L. M. O dostizhimykh klassakh algebr [On accessible classes of algebras]. Sib. Math. J., 1971, vol.12, no. 6, pp. 1363-1381. (in Russian)
28. Solomatin D. V. Konechnye svobodnye kommutativnye polugruppy s planarnymi grafami Keli [Finite free commutative semigroups with planar Cayley graphs]. Matematika i Informatika: Nauka i Obrazovanie. Mezhvuzovskiy sbornik nauchnykh trudov. Omsk, OmSPU Publ., 2003, iss. 3, pp. 32-38. (in Russian)
29. Solomatin D. V. Konechnye svobodnye kommutativnye monoidy, dopuskayushchie planarnyy graf Keli [Finite free commutative monoids admitting planar graph Cayley]. Herald of Omsk University, 2005, iss.4, pp. 36-38. (in Russian)
30. Solomatin D. V. Pryamye proizvedeniya tsiklicheskikh monoidov i polugrupp s nulem, dopuskayushchie planarnyy graf Keli [The direct product of cyclic monoids and semigroups with zero admitting planar Cayley graph]. Matematika i Informatika: Nauka i Obrazovanie. Mezhvuzovskiy sbornik nauchnykh trudov. Omsk, OmSPU Publ., 2006, iss. 5, pp. 51-63. (in Russian)
31. Solomatin D. V. Svobodnye chastichno kommutativnye polugruppy i n-veernye polureshetki s planarnymi grafami Keli [Free partially commutative semigroups and n-fan semilattice with planar Cayley graphs]. Matematika i Informatika: Nauka i Obrazovanie. Mezhvuzovskiy sbornik nauchnykh trudov. Omsk, OmSPU Publ., 2009, iss. 8, pp. 36-39. (in Russian)
32. Martynov L. M. and Solomatin D. V. Polugruppy vychetov s tsiklicheskimi gruppami obratimykh elementov, dopuskayushchie planarnye grafy Keli [Semigroups of residues with cyclic groups of invertible elements admitting planar Cayley graphs]. Herald of Omsk University, 2012, iss. 2, pp. 57-62. (in Russian)
33. Solomatin D. V. Rangi planarnosti mnogoobraziy kommutativnykh polugrupp [The ranks of planarity for varieties of commutative semigroups]. Proc. Intern. conf. on Algebra, Analysis and Geometry, Kazan, Kazan University Publ., 2016, pp. 318-319. (in Russian)
