2024
ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА
Математика и механика Tomsk State University Journal of Mathematics and Mechanics
№ 90
Научная статья
УДК 512.531.2 MSC: 20M10
doi: 10.17223/19988621/90/4
Прямые произведения циклических полугрупп с нулем, допускающие внешнепланарные и обобщенные внешнепланарные графы Кэли
Денис Владимирович Соломатин
Омский государственный педагогический университет, Омск, Россия, [email protected], denis_2001j@bk.т
Аннотация. Приводятся характеристические свойства прямых произведений полугрупп с нулем, допускающих внешнепланарные графы Кэли, а также их обобщения на языке определяющих соотношений.
Ключевые слова: правые графы Кэли полугрупп, планарные графы, полугруппы с нулем, прямые произведения полугрупп, внешнепланарные графы
Для цитирования: Соломатин Д.В. Прямые произведения циклических полугрупп с нулем, допускающие внешнепланарные и обобщенные внешнепланарные графы Кэли // Вестник Томского государственного университета. Математика и механика. 2024. № 90. С. 40-49. аог 10.17223/19988621/90/4
Original article
Direct products of cyclic semigroups with zero, admitting outerplanar and generalized outerplanar Cayley graphs
Denis V. Solomatin
Omsk State Pedagogical University, Omsk, Russian Federation, [email protected], [email protected]
Abstract. The article presents the characteristic properties of direct products of semigroups with zero admitting outerplanar Cayley graphs, as well as their generalizations in the defining relations of copresentation.
Theorem 1. A finite semigroup S with zero that is a direct product of nontrivial cyclic semigroups with zero admits an outerplanar Cayley graph if and only if one of the following conditions holds:
1) S = (a | a3 = a ^ x(b | bh+l = where h is a natural number and h < 4;
2) S = (a01 ar+1 = a¡j x af+1 = a/) where r and n are natural numbers and r < 2 ; or r = 3, n = 1;
© Д.В. Соломатин, 2024
/I + \ +0 / I 1 \ +0
3) S s (a\arm = arj х(b b = b) where r and m are natural numbers and m < 2 ;
4) S s ^a0| a'+1 = a'^jхП^(a|a,2 = a,) where n = 1; or r = 1, n = 2.
Theorem 2. A finite semigroup S with zero that is a direct product of nontrivial cyclic semigroups with zero admits a generalized outerplanar Cayley graph if and only if one of the following conditions holds:
/I \0 I I , ,\0
1) S s (a\arm = a') x <b b = b) where for natural numbers r, m, h, t one of the
following restrictions is satisfied:
1.1) r = 2, m = 1, h < 4, t = 1;
1.2) r = 3, m = 1, h = 3, t = 1;
2) S a01 a'+1 = a'j х П,"-^ | af+1 = a2} where r and n are natural numbers and r < 3 ;
3.1) S s (a I a2+1 = a2) x(b | b2+1 = b2)+°;
/ I + \+0 / I 2 \+0
3.2) S s (a ar m = ar j x(b b = bj where r and m are natural numbers and m < 2 ;
4) S s (a0 j a'+1 = a'^j x П"-J\a\af = a) where n = 1; or r = 1, n = 2.
Keywords: right Cayley graphs of semigroups, planar graphs, semigroups with zero, direct products of semigroups, outerplanar graphs
For citation: Solomatin, D.V. (2024) Direct products of cyclic semigroups with zero, admitting outerplanar and generalized outerplanar Cayley graphs. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika - Tomsk State University Journal of Mathematics and Mechanics. 90. pp. 40-49. doi: 10.17223/19988621/90/4
Введение
Исследуя свойство планарности графов Кэли полугрупп, мы раз за разом возвращаемся к истокам - циклическим полугруппам и различным вариациям на эту тему. А так как для изучения полугрупповых многообразий принципиальное значение имеют прямые произведения полугрупп, подполугруппы и их гомоморфные образы, то не теряет актуальности тематика настоящей статьи. Кроме того, прямые произведения циклических полугрупп с нулем находят применение в теории алгоритмов и теории автоматов. Они используются для моделирования конечных автоматов, которые представляют собой системы с конечным числом состояний. Заключительное состояние в таком автомате, как правило, соответствует нулевому элементу, в отличие от моноидов, когда начальному состоянию автомата зачастую соответствует единица. Конечные автоматы широко применяются в различных областях, таких как информатика, электроника, теория управления и обработка текстов естественного языка. Они также играют ключевую роль в разработке компиляторов, проектировании микропроцессоров, анализе и синтезе речи и многом другом. В частности, прямые произведения циклических групп с нулем могут использоваться при создании недетерминированных конечных автоматов для моделирования параллельных вычислительных систем и систем с недетерминированным поведением.
1. Основные факты и определения
Необходимые для понимания статьи сведения из теории графов можно почерпнуть в [1], развернутую мотивацию изучения обобщенных внешнепланарных графов - в [2], а имеющиеся сведения о полугруппах с планарными графами Кэли -в обзоре [3]. Напомним лишь, что правым графом Кэли полугруппы 5 = (X), или
просто графом Кэли полугруппы относительно множества образующих ее элементов X с 5, называется ориентированный мультиграф Сау(5; X) = (5, А), в котором задана совокупность дуг А = [(и, V) | и е 5, V е 5, Эх е X: их = V] и задано отображение ф : А ^ X , ставящее в соответствие каждой дуге из A метку в X. Множество вершин графа Сау(5; X) состоит из элементов полугруппы 5". Помеченные дуги графа Сау(5;X) представляют собой элементы совокупности А, начинаются в вершине и е 5, заканчиваются в вершине V е 5, помечены элементом х е X тогда и только тогда, когда их = V. Двойственным образом через равенство хи = V определяются левые графы Кэли полугрупп, в коммутативном случае совпадающие с правыми. Более того, для моноидов как полугрупп с единицей е эти графы являются частным случаем двусторонних графов Кэли 28Сау(Б;Ь,К) = (5,[(и,V) | и е 5,V е 5,Э1 е Ь,Эг е К : 1и = V]); в самом деле, чтобы получить односторонний граф Кэли, достаточно взять Я = {е} или Ь = {е}.
Заметим, что наличие петель в ориентированном мультиграфе, кратных ребер, их направленностей и пометок не влияет на возможность плоской укладки графа, то есть такого вложения в плоскость, что вершины графа изображены точками плоскости, а ребра - непрерывными плоскими линиями без самопересечений, так называемыми жордановыми кривыми, не имеющими общих точек, кроме, возможно, общих вершин. Следовательно, имеет смысл переход к так называемым основам графов Кэли 8Сау(Б;X) = (Б,{{а,Ь} | а е 5,Ь е 5,Эх е X : ах = Ь}) путем
удаления петель, направленностей, меток и замены параллельных ребер одним ребром, соединяющим те же вершины исходного графа. Тогда корректным будет перенос следующих свойств обыкновенных графов на графы Кэли полугрупп.
Определение 1. Внешнепланарной укладкой графа называется такая укладка графа на плоскости, при которой все вершины графа принадлежат единственной внешней грани.
Определение 2. Обобщенной внешнепланарной укладкой графа называется такая укладка графа на плоскости, при которой каждое ребро графа принадлежит внешней грани хотя бы одним из своих концов.
Сформулируем критерии внешней планарности и обобщенной внешней пла-нарности.
Предложение 1. Полугруппа допускает внешнепланарный граф Кэли если и только если относительно некоторого множества образующих основа графа Кэли этой полугруппы не содержит подграфов, гомеоморфных графам Чартрэнда-Харари К4 или К2, 3, то есть полному графу, восстановленному на четырех вершинах, или полному двудольному графу, содержащему две вершины в одной и три вершины в другой доле графа в обозначениях из [1].
Аналогичным образом формулируется критерий обобщенной внешнепланар-ности.
Предложение 2. Полугруппа допускает обобщенный внешнепланарный граф Кэли если и только если относительно некоторого множества образующих основа графа Кэли этой полугруппы не содержит подграфов, стягиваемых к графам Седлачека из множества графов [0{ 11 = 1 + 12} в обозначениях из [4].
Условимся различать операции присоединения нуля и операции внешнего присоединения нуля к полугруппе 5. В первом случае нуль добавляем, только когда он отсутствует в полугруппе 5, и соответствующую полугруппу обозначаем, как обычно, через 5°. Во втором случае нуль присоединяем всегда и полученную полугруппу будем обозначать через 5+0. Внешнее присоединение нуля происходит следующим способом: присоединяем к полугруппе 5 новый элемент 0 и доопределяем операцию на множестве 5 и {0}, полагая 0 • 0 = 0 • х = х • 0 = 0 для любого х е 5. Под циклической полугруппой с нулем понимается любой гомоморфный образ свободной однопорожденной полугруппы с нулем. Очевидно, что любая циклическая полугруппа с нулем либо изоморфна циклической нильполу-группе, либо получена из циклической полугруппы внешним присоединением нуля.
2. Основной результат
Основным результатом данной заметки являются следующие две теоремы.
Теорема 1. Конечная полугруппа 5 с нулем, являющаяся прямым произведением неодноэлементных циклических полугрупп с нулем, допускает внешнепланар-ный граф Кэли тогда и только тогда, когда выполняется одно из следующих условий:
/ I 3 2 \ 0 / I Л+1 ь\0
1) 5 = (а а = а ) х(Ь Ь = Ь ) , где к - натуральное число, причем к < 4;
2) 5 = (а01 аГ+1 = а^х^^(а,-1 а2+1 = а2^, где г и п - натуральные числа, причем г < 2 ; или г = 3, п = 1;
3) 5 = (а | аг+т = аг^ х ^Ь | Ь2 = Ь^ , где г и т - натуральные числа, причем т < 2;
4) 5 = (а01 аГ+1 = а^ х ^^а(| а2 = а^ , где п = 1; или г = 1, п = 2.
Теорема 2. Конечная полугруппа 5 с нулем, являющаяся прямым произведением неодноэлементных циклических полугрупп с нулем, допускает обобщенный внешнепланарный граф Кэли тогда и только тогда, когда выполняется одно из следующих условий:
1) 5 = (а | аГ+т = аг^ х^Ь | Ьъ+' = Ь^ , где для натуральных чисел г, т, к, г
выполняется одно из следующих ограничений:
1.1) г = 2, т = 1, к < 4, г = 1;
1.2) г = 3, т = 1, к = 3, г = 1;
2) 5 = (а01 аг+1 = а^х ^^(а, | а2+1 = а2^, где г и п - натуральные числа, причем г < 3;
3.1) 5 = (а | а2+1 = а2)х(ъ | Ь2+1 = Ь2)+°;
/I + / I ?
3.2) 5 = (а аг т = аг) х(Ь \Ь = Ь) , где г и m - натуральные числа, причем т < 2;
4) 5 = (а01 = а^х^"¡(а, \а2 = а^ , где п = 1; или г = 1, п = 2.
Доказательство теорем опирается на следующую лемму, приведенную в [3] как Теорема 23.
Лемма. Конечная полугруппа S с нулем, являющаяся прямым произведением неодноэлементных циклических полугрупп с нулем, допускает планарный граф Кэли тогда и только тогда, когда выполняется одно из следующих условий:
1) 5 = (а | аг+т = х^Ь | Ьь+' = , где для натуральных чисел г, m, Ь t
выполняется одно из следующих ограничений:
1.1) г = 2, m = 1, h < 5, t = 1;
1.2) г = 3, m = 1, h = 3, t = 1;
1.3) г = 2, m = 1, h = 1, t = 2;
2) 5 = (а01 а^+1 = а^х^®2+1 = а,2), где г - натуральное число, причем г < 3.
3.1) 5 = (а | а2+1 = а2)х(Ь | Ь2+1 = Ь2)+°;
3.2) 5 = (а | аг+т = аг^ х^Ь | Ь2 = Ь^ , где г и m - натуральные числа, причем т < 2 ;
4) 5 = (а01 аг0+1 = а^х^"^{а |а,2 = а) , где п < 2 ; или г = 1, п < 3 .
Доказательство. Рассмотрим каждый случай в отдельности. Одновременное доказательство двух теорем осуществим согласно следующей общей схеме: перебираем варианты ограничений из Леммы. Если окажется так, что условие теоремы выполнено, то граф Кэли соответствующей полугруппы с нулем допускает внешнепланарную укладку или обобщенную внешнепланарную укладку, иначе в основе этого графа обнаруживается подграф, гомеоморфный графу ^ или 3 (тогда граф не является внешнепланарным), или одному из графов Седлачека (в этом случае граф не является обобщенным внешнепланарным).
При выполнении условий пункта 1.1 из Леммы для h < 4 граф Кэли соответствующей полугруппы допускает внешнепланарную укладку относительно множества неразложимых образующих {(а;Ь),(а;Ь2),(а;Ь3),(а2;Ь)}. А именно, основа
графа Кэли двухэлементной полугруппы (а | а3 = а2} х ^Ь | Ь2 = Ь1 ^ является внешнепланарным паросочетанием; основа графа Кэли четырехэлементной полугруппы {а | а3 = ах ^Ь | Ь3 = Ь2^ является внешнепланарной звездой; наконец, такая
укладка основы графа Кэли шестиэлементной полугруппы (а | а3 = а2^ х^Ь | Ь4 = Ь^ ,
что все ее вершины принадлежат внешней грани, приведена на рис. 1. Дальнейшее увеличение параметра до h = 4 приводит к появлению изображенного
на рис. 2 подграфа основы графа Кэли формируемой полугруппы, гомеоморфно-го графу ^ . Следовательно, граф не является обобщенным внешнепланарным и не является внешнепланарным. Заметим, что здесь и в дальнейшем при любой системе образующих X полугруппы 5 в основе графа Кэли 5Сау(5; X) будет возникать найденный подграф, гомеоморфный одному из запрещенных графов, и ни при какой другой системе образующих этого нельзя будет избежать, так как подграфы строятся относительно минимального множества неразложимых образующих элементов, присутствующего в качестве подмножества в любом другом множестве образующих.
Рис. 1. Внешнепланарная укладка основы графа Кэли полугруппы 5 = ( а \аъ = а2)° х( b \b4 = b3)° Fig. 1. Outerplanar embedding of the base of the Cayley graph of semigroup 5 = (а \ a = а2)" x(b \b4 = b3)°
(<r,b)
Рис. 2. Подграф основы графа Кэли полугруппы 5 = ^а \ аъ = а^ х ^b \ b5 = b4^ Fig. 2. Subgraph of the base of the Cayley graph of semigroup 5 = ^а \ а3 = х ^b \ b5 = b4^°
При выполнении условий пункта 1.2 из Леммы основа графа Кэли соответствующей полугруппы не является внешнепланарной, так как содержит изображенный на рис. 3 подграф, гомеоморфный графу K, з, но будет обобщенной внешнепланарной.
В случае выполнения ограничений пункта 1.3 из Леммы основа графа Кэли соответствующей полугруппы содержит изображенный на рис. 4 подграф, гомеоморфный графу G10, следовательно, граф не является обобщенным внешне-планарным и не является внешнепланарным.
/ 4 3\° / 4 3 \ ^
Рис. 3. Подграф основы графа Кэли полугруппы S = (a | a = a ) х ( b | b = b j Fig. 3. Subgraph of the base of the Cayley graph of semigroup S = (a | a4 = a3) x/b|b4 = b3
Рис. 4. Подграф основы графа Кэли полугруппы S = ^a | a3 = a2^° x ^b | b3 = Fig. 4. Subgraph of the base of the Cayley graph of semigroup S = ^a | a3 = a2^° x ^b | b3 =
Рис. 5. Подграф основы графа Кэли полугруппы S = ^a | = a3) х О(a | a,3 = a2 ^ , при n > 1
i=1
Fig. 5. Subgraph of the base of the Cayley graph of semigroup
n
S = ^a | at = al) x О(a | a = with n > 1
i=1
На рис. 5 изображен гомеоморфный графу K2, з подграф основы графа Кэли полугруппы формируемой условиями пункта 2 из Леммы при n > 1 для r = 3, следовательно, в этом случае граф Кэли соответствующей полугруппы не является внешнепланарным, но при этом допускает обобщенную внешнеплоскую укладку. Для меньших значений r < 3 либо n = 1 для r = 3 запрещенных конфигураций не обнаруживается; таким образом, в каждом их этих случаев граф внешнепланар-ный и обобщенный внешнепланарный.
Пункт 3.1 из Леммы содержит условия, выполнение которых формирует полугруппу, допускающую обобщенный внешнепланарный граф Кэли, но не допускающую внешнепланарный граф Кэли, так как ее основа содержит изображенный на рис. 6 подграф, гомеоморфный графу Кг,з. В случае выполнения условий пункта 3.2 из Леммы плоская укладка графа Кэли соответствующей полугруппы относительно множества образующих ее элементов {(а;0),(а;Ъ)} оказывается внешнепланарной и, следовательно, обобщенной внешнепланарной.
(,а;Ь)
Рис. 6. Подграф основы графа Кэли полугруппы 5 = (а\а3 = а2) x{b\ = b2)+° Fig. 6. Subgraph of the base of the Cayley graph of semigroup 5 = (а\аъ = а2) x{b\ = b2)+°
Для полугруппы, удовлетворяющей ограничениям условия 4 из Леммы, при n = 1 существует внешнепланарная укладка графа Кэли. В то же время такая укладка существует при n = 2 и r = 1, но уже при r > 1 в основе графа Кэли относительно минимального множества образующих обнаруживается изображенный на рис. 7 подграф, гомеоморфный графу G11, следовательно, граф Кэли не является обобщенным внешнепланарным. Более того, изображенный на рис. 8 подграф, гомеоморфный графу Gn, обнаруживается и при n = 3, когда r = 1. Следовательно, в этом случае граф Кэли рассматриваемой полугруппы также не является обобщенным внешнепланарным и тем более внешнепланарным.
Рис. 7. Подграф основы графа Кэли полугруппы 5 = ^а \ао1 = аа \а2 = а) х^а2 \аг = а) пРи г> 1 Fig. 7. Subgraph of the base of the Cayley graph of semigroup 5 = ^а \ ao1 = а) х (а \ ai = а) х ^а2 \ аг = а) with r> 1
(а0;0;а2;а3) (а0;0;0;а,)
Рис. 8. Подграф основы графа Кэли полугруппы
s = a |а1 = х ^a |a2 = a) х{a Iа\ = a) х{a Iа1 = a)
Fig. 8. Subgraph of the base of the Cayley graph of semigroup
S = | af = x ^a I af = a) x (a I al = a^j x ^a3 | a32 = a)
Что и требовалось доказать.
Заметим, что условия представленных двух теорем различаются только пунктами 1.2, 2 и 3.1. Таким образом, из доказательства этих теорем непосредственно вытекает следующее следствие.
Следствие 1. Конечная полугруппа S, являющаяся произведением неодноэлементных циклических полугрупп с нулем, допускает обобщенный внешнепланар-ный граф Кэли, но не допускает внешнепланарный граф Кэли тогда и только тогда, когда выполняется одно из следующих условий:
1) S = (a | a4 = a3)0 x(b | b4 = b3)°;
2) S = (a0 J al = x^^(a,-1 a3 = a2^, где n > 1;
3) S = {a I a3 = a2)x(b | b3 = b2)+°.
Заключение
В заключение отметим, что полученный результат открывает перспективы исследования рангов внешнепланарности и рангов обобщенной внешнепланарности многообразий полугрупп с нулем. В работе рассмотрены прямые произведения неодноэлементных циклических полугрупп с нулем. С помощью понятия основы графа проведено исследование возможности внешнепланарной и обобщенной внеш-непланарной укладки графа Кэли полугрупп с нулем. Получены копредставления всех конечных полугрупп с нулем, допускающих обобщенный внешнепланарный граф Кэли, являющихся произведением неодноэлементных циклических полугрупп с нулем. Подробно рассмотрен случай, когда графы Кэли таких полугрупп оказываются обобщенными внешнепланарными, но не внешнепланарными.
Список источников
1. Харари Ф. Теория графов. М. : Мир, 1973. 300 с.
2. Sedlacek J. On a generalization of outerplanar graphs // Casopis Pest. Mat. 1988. V. 113 (2).
Р. 213-218. (In Czech).
3. Соломатин Д.В. Исследования полугрупп с планарными графами Кэли: результаты
и проблемы // Прикладная дискретная математика. 2021. № 54. С. 5-57. doi: 10.17223/20710410/54/1
4. Мартынов П.О. Конечные свободные коммутативные моноиды, допускающие обоб-
щенно внешнепланарные графы Кэли // Вестник Омского университета. 2015. № 4. С. 6-9.
References
1. Harary F. (1994) Graph Theory. Advanced Book Program Series. Boulder: Westview Press.
2. Sedlacek J. (1988) O jednom zobecneni vnejskove rovinnych graft [On a generalization of
outerplanar graphs]. Casopis pro pestovani matematiky. 113(2). pp. 213-218.
3. Solomatin D.V. (2021) Issledovaniya polugrupp s planarnymi grafami Keli: rezul'taty i prob-
lemy [Researches of semigroups with planar Cayley graphs: results and problems]. Priklad-naya diskretnaya matematika. 54. pp. 5-57. DOI: 10.17223/20710410/54/1.
4. Martynov P.O. (2015) Konechnyye svobodnyye kommutativnyye monoidy, dopuskayushchiye
obobshchenno vneshneplanarnyye grafy Keli [Finite free commutative monoids admitting generalized outerplanar Cayley graphs]. Vestnik Omskogo Universiteta - Herald of Omsk University. 4. pp. 6-9.
Сведения об авторе:
Соломатин Денис Владимирович - кандидат физико-математических наук, доцент кафедры математики и методики обучения математике Омского государственного педагогического университета (Омск, Россия). E-mail: [email protected], [email protected]
Information about the author:
Solomatin Denis V. (Docent, Candidate of Physical and Mathematical Sciences, Department of Mathematics and Mathematics Teaching Methods, Omsk State Pedagogical University, Omsk, Russian Federation). E-mail: [email protected], [email protected]
Статья поступила в редакцию 17.11.2023; принята к публикации 05.08.2024
The article was submitted 17.11.2023; accepted for publication 05.08.2024