Ранги планарности многообразий коммутативных моноидов Текст научной статьи по специальности «Математика»

МАТЕМАТИКА

Вестн. Ом. ун-та. 2012. № 4. С. 41-45.

УДК 512.572 Д.В. Соломатин

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

Изучается предложенное Л.М. Мартыновым понятие ранга планарности многообразия полугрупп для многообразий моноидов. Доказано, что ранг планарности любого многообразия коммутативных моноидов не превышает 3. Приведена классификация многообразий коммутативных моноидов по рангам планарности.

Ключевые слова: ранги планарности, многообразие коммутативных моноидов, граф Кэли полугруппы, планарный граф.

Данная статья открывает цикл работ, посвященных предложенной Л.М. Мартыновым программе по изучению вопросов планарности графов Кэли для многообразий полугрупп. Одним из центральных понятий в ней является введенное им понятие ранга многообразия полугрупп. Приведем его определение применительно к многообразиям моноидов. Пусть V - произвольное многообразие моноидов. Если существует такое натуральное число г, что все ^свободные полугруппы ранга < г допускают планарный граф Кэли, а У-свободная полугруппа ранга г + 1 уже не допускает планарный граф Кэли, то рангом планарности V называется это число г. Если для многообразия V такого натурального числа не существует, то говорят, что многообразие V имеет бесконечный ранг планарности. Заметим, что согласно определению тривиальное многообразие одноэлементных моноидов имеет бесконечный ранг планарности.

Традиционно [1] графом Кэли полугруппы 3 относительно множества образующих её элементов X называют помеченный ориентированный мультиграф Сау(Б,X), состоящий из множества вершин 3 и множества помеченных дуг - всевозможных троек (а, х, Ь) , где а,Ь е Б,, х е X и ах = Ь.

Упомянутое определение задает ориентированный мультиграф с помеченными ребрами. Основой помеченного ориентированного мульти-графа мы называем обыкновенный граф, полученный из данного графа удалением меток, петель и заменой всех дуг, соединяющих две вершины одним ребром, соединяющим эти вершины. Ориентированный же муль-тиграф естественно назвать планарным, если его основа является пла-нарным графом, т. е. изоморфна некоторому обыкновенному графу (неориентированному и без петель), вершины которого являются точками плоскости, а ребра - непрерывными плоскими линиями без самопересечений, соединяющими вершины так, что никакие два ребра не имеют общих точек, кроме инцидентной им обоим вершины.

Таким образом, говорим, что полугруппа допускает планарный граф Кэли, если относительно некоторого множества образующих основа её графа Кэли является планарным графом.

В статье [2] описаны многообразия коммутативных моноидов, среди основных результатов которой содержится следующий: каждое многообразие V коммутативнъх моноидов содержит циклический моноид С наибольшего порядка и V состоит из гомоморфнъх образов прямъх степеней С. В частности, любое многообразие моноидов порождается циклическим моноидом. Напомним, что под циклическим моноидом понимается любой гомоморфный образ свободного моноида с одним образующим. Очевидно, что любой циклический моноид изоморфен либо циклической группе, либо получен из циклической полугруппы внешним присоединением единицы.

© Д.В. Соломатин, 2012

Пусть М - многообразие всех коммутативных моноидов. Множество всех подмногообразий многообразия М по отношению включения образует решетку Ь(М). В работе [2] конструируется решетка Ь, изоморфная решетке Ь(М). Пусть Ь - прямое произведение решеток О х I х Р, где О - двухэлементное множество {1,2} с естественным порядком на нём; I - пополненное элементом ж множество натуральных чисел с естественным порядком на нём; Р - пополненное элементом ж множество натуральных чисел упорядоченное отношением делимости (при этом, каждое натуральное число делит ж). Каждому многообразию V е Ь(М) поставлен в соответствие элемент ф (V) е Ь' следующим образом: выбирается циклический моноид С наибольшего порядка в V; если С -бесконечен, то полагают ф(У)= (2, ж, ж); если же С - конечен, то выбирают порождающий его элемент g и полагают ф(У)= (й,',р), где й принимает значение 1 или 2 в зависимости от того, является ли С группой или нет, а г и р - это индекс и период элемента д соответственно. По теореме 1 отображение ф

является взаимно-однозначным отображением Ь(М) в Ь'.

Пусть Ь = {(х, у, г) е Ь '|(у = ж-о- г = ж) л

л(х = 1 ^ у = 1)}. Тогда Ь оказывается под-решеткой решетки Ь и 1т(ф) = Ь. В работе [2] доказано, что решетка Ь(М) всех многообразий коммутативнъх моноидов изоморфна решетке Ь, так как существует изоморфизм ф : Ь(М) ^ Ь .

Схематично изобразим решетку Ь на рис. 1.

Там же отмечается, что многообразия, которым отображение ф ставит в соответствие тройки (1,1, р) , (2,', р) и (2, ж, ж) , являются многообразиями коммутативных моноидов, задаваемыми тождествами хр = 1, х' = х'+р и х = х соответственно.

Условимся в дальнейшем для системы Т моноидных тождеств через уаг Т обозначать многообразие коммутативных моноидов, заданное этой системой. Многообразие моноидов называется комбинаторнъш., если оно не имеет неединичных подгрупп.

Рис. 1. Изображение решётки

Ниже будем использовать следующие обозначения:

Ат = уаг{хт = 1} - многообразие всех абе-левых групп экспоненты т;

Б' = уаг{х'+р = х'} - комбинаторное многообразие коммутативных моноидов типа {У Р).

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

Теорема. Пусть V - нетривиальное многообразие коммутативных моноидов, гп(Ф) - его ранг планарности. Тогда гП(У) < 3. Более того:

1) г„{У) = 1 тогда и только тогда, когда V = Ат или V= 8',р , где т / 2 , (' > 1 л р > 2);

2) гп{У) = 2 тогда и только тогда, когда V

V =

'2,2 '

где

= М, или V = Б1 , ,

'1

(', > 2 л '2 > 1);

3) гп{У) = 3 тогда и только тогда, когда V = А 2 или V = Б11.

Доказательству теоремы предпошлём несколько доказанных автором ранее утверждений, которые мы сформулируем здесь в виде лемм. В [3] были изучены конечные свободные коммутативные моноиды, допускающие планарный граф Кэли.

При рассмотрении графов Кэли моноидов необходимо помнить, что моноиды рассматриваются в сигнатуре (•, 1) и поэтому единицу в образующие добавлять нет необходимости, она автоматически обязана присутствовать в любом подмоноиде.

Напомним, что конечный моноид называется свободным коммутативным, если он является свободным коммутативным произведением циклических моноидов в классе моноидов. Конечный свободный коммутативный моноид имеет в классе всех коммутативных моноидов копредставление вида:

5 =

(«1,<

а-',' еI,] е^,

где I и J = 1, п , I п J = 0 , J / 0. Заметим,

т' 1

что соотношение вида а / = 1 эквивалент-

но соотношениям вида: а1

а, а / = а,

к ]

для любого индекса к е 1, п . Граф Кэли будем рассматривать относительно множества образующих, указанных в копредставлении; понятно, что это множество является множеством свободных образующих моноида 3.

Лемма 1 {[3], теорема 1). Граф Кэли конечного свободного коммутативного моноида Б относительно множества свободных образующих планарен тогда и только тогда, когда Б задан копредставлением одного из следующих видов:

1) 5 = (а | ат = , где т - любое натуральное число;

2.1) 5 = (а, Ъ | аЬ = Ъа, аг+т = аг, Ъ' = 1) , где

для натуральных чисел г, т , ' выполнено одно из следующих ограничений:

а) ' < 2 ;

б) т < 2 , ' > 2 ;

2.2) 5 = (а, Ъ | аЪ = Ъа, ат = 1, Ъ' = 1) , где т и ' - натуральные числа, причем ' < 2 ;

3.1) 5 = (а, Ъ, с| аЪ = Ъа, ас = са, Ъс = сЪ,

аг+таг, ЬЪ+' = ЬЪ, ск = , где для натуральных

чисел г, т , Ъ , ', к выполнено одно из следующих ограничений:

а) Ъ = 1, ' = 1, к = 1;

б) т < 2 , ' < 2 , к = 1;

в) т < 2 , Ъ = 1, ' = 1, к = 2 ;

3.2) 5 = (а, Ъ, с| аЪ = Ъа, ас = са, Ъс = сЪ,

аг+т = аг, ъ2 = 1, с2 = , где г и т - натуральные числа, причем т < 2 ;

3.3) 5 = (а, Ъ, с| аЪ = Ъа, ас = са, Ъс = сЪ,

а2 = 1, Ъ2 = 1, с2 = 1);

4) 5 = (а, Ъ, с, ё \ аЪ = Ъа, ас = са, аё = ёа, Ъс = сЪ, Ъё = ёЪ, сё = ёс, аг+т = аг, Ъ2 = Ъ, с2 = с, ё = 1, где г и т - натуральные числа, причем т < 2 .

Опираясь на этот результат, получена лемма 2.

Лемма 2. Бесконечный моноид Б, являющийся коммутативно-свободнъм произведением циклических моноидов в классе всех моноидов, имеет планарный граф Кэли относительно множества свободных образующих тогда и только тогда, когда Б задан копредставлением одного из следующих видов:

1) 5 = (а, Ъ | аЪ = Ъа, Ъ' = , где ' - любое

натуральное число;

2.1) 5 = (а, Ъ, с| аЪ = Ъа, ас = са, Ъс = сЪ,

Ъ2 = Ъ, ск = 1) при к < 2 ;

2.2) 5 = (а, Ъ, с| аЪ = Ъа, ас = са, Ъс = сЪ, с = 1;

2.3) 5 = (а, Ъ, с| аЪ = Ъа, ас = са, Ъс = сЪ, Ъ2 = 1, с2 = 1) ;

3) 5 = ^а, Ъ, с, аЪ = Ъа, ас = са, аё = ёа,

Ъс = сЪ, Ъё = ёЪ, сё = ёс, Ъ = Ъ, с2 = с, ё = 1.

Доказательство леммы 2. Рассмотрим каждую из возможных ситуаций. Для первого случая плоская укладка графа Кэли бесконечного моноида 5 получается аналогично изображенной на рис. 2, располагая бесконечное число элементов вида а'^У,

получаемых умножением на элемент a, левее элементов вида aibJ, где г - любое натуральное число, и 1 < у < t. В частности, при t = 1 плоская укладка изображена на рис. 3. Каждый из пунктов второго случая естественным образом обобщает возможные конечные плоские укладки из леммы 1, изображенные на рис. 4, 5. Действительно, условие 2.1 леммы 2 обобщает ограничения 3.1.а, 3.1.в леммы 1, условие 2.2 обобщает 3.1.б и условие 2.3 обобщает 3.2 соответственно. В последнем случае полугруппа представляет собой коммутативно-свободное произведение бесконечной циклической полугруппы и двух циклических групп второго порядка с последующим внешним присоединением единицы. Планарная укладка соответствующего ей графа Кэли может быть получена продлением укладки, аналогичной изображенной на рис. 4 с точностью до обозначения ё = с. При невыполнении полученных ограничений, обнаруживаются подграфы соответствующих графов Кэли гомео-морфные графу К5 или К3 3. Причем совпадающие с подграфами, обнаруживаемыми в случае конечных моноидов из леммы 1.

Доказательство теоремы. В классе коммутативных моноидов, многообразия

Ат, 8! и М, задаются тождествами

и х = х соответственно.

хт = 1, х = X-

Граф Кэли свободного моноида многообразия коммутативных моноидов, зада-

ваемого тождеством х = 1, допускает плоскую укладку тогда и только тогда, когда порождается единственным элементом, т. е. имеет указанное в лемме 1 копредставление вида 1, либо максимум тремя образующими при т = 2, т. е. имеет указанное в лемме 1 копредставление вида 3.3. Аналогично, граф Кэли свободного моноида многообразия коммутативных моноидов, задаваемого тождест-

г+ р г

вом х = х , допускает плоскую укладку тогда и только тогда, когда порождается единственным элементом в классе коммутативных моноидов, т. е. имеет указанное в лемме 1 копредставление вида 2.1.а при t = 1, либо порождается максимум двумя элементами, т. е. имеет указанное в лемме 1 копредстав-ление вида 3.1.б, либо порождается максимум тремя элементами, т. е. имеет указанное в лемме 1 копредставление вида 4 при г = т = 1. И наконец, граф Кэли абсолютно свободного моноида многообразия коммутативных моноидов, задаваемого тождеством х = х , допускает плоскую укладку тогда и только тогда, когда он порождается не более чем двумя элементами в классе коммутативных моноидов, т. е. имеет указанное в лемме 2 копредставление вида 2.2.

Теорема доказана.

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

а т?-

г+т-1

„г+1

аГ+т-1Ь

аг+т-1Ь2

аг+т-1Ь'-1

г+11

а Ь

аг+1Ь2

аг+1Ь-1

агЬ

ги 2

агЬ

агЬ-1

/а

аЬ

аЬ

аЬ

Рис. 2. Граф Кэли коммутативного моноида Б = (а, Ь

г, Ь = 1)

О—О—СГ"""0......

Рис. 3. Граф Кэли бесконечного циклического моноида

г

Ь

а

Ь

2

Ь

2

п

1

а

а

а

ar+m-lbc

Рис. 4. Граф Кэли коммутативного моноида S = (a, b, c|ab = ba, ac = ca, bc = cb, ar+m = ar, b2 = b, c2 =

ar+m'lb

r+m-1

_r+m-1

ac

Рис. 5. Основа графа Кэли коммутативного моноида S = (a, b, c|ab = ba, ac = ca, bc = cb,

, b2 = 1, c2 = 1)

Автор выражает глубокую признательность профессору Л.М. Мартынову за постановку задачи, внимание к работе и обсуждение результатов.

ЛИТЕРАТУРА

[1] Zelinka B. Graphs of Semigroups // Casopis. Pest. Mat. 1981. Vol. 106. P. 407-408.

[2] Head T. J. The varieties of commutative monoids // Nieuw Archief voor Wiskunde (3). 1968. Vol. XVI. P. 203-206.

[3] Соломатин Д. В. Конечные свободные коммутативные моноиды, допускающие планарный граф Кэли // Вестник Омского университета. Омск : Изд-во ОмГУ. 2005. Вып. 4. С. 36-38