Отношение аннулирования между элементами полугрупп тема диссертации и автореферата по ВАК РФ 01.01.06, кандидат физико-математических наук Костырев, Игорь Иванович

• Костырев, Игорь Иванович
• кандидат физико-математических наук
• 2011

Оглавление диссертации кандидат физико-математических наук Костырев, Игорь Иванович

Введение.

Глава 1. Финитная аппроксимируемость многообразий относительно предиката аннулирования.

1.1 Определения и обозначения

1.2 Вспомогательные утверждения

1.3 Основная теорема.

Глава 2. Финитная аппроксимируемость многообразий относительно предиката аннулирования II рода.

2.1 Определения и обозначения

2.2 Вспомогательные утверждения.

2.3 Основная теорема.

Введение диссертации (часть автореферата) на тему «Отношение аннулирования между элементами полугрупп»

Актуальность темы. Изучение многообразий алгебраических систем с теми или иными условиями конечности является определяющим направлением в современных алгебраических исследованиях. Одним из таких условий конечности является финитная аппроксимируемость алгебраических систем относительно предикатов. Широкое применение аппроксимациоппых методов связано с именем академика Мальцева. В его работах середины прошлого века сформировалось общее понятие финитной аппроксимируемости алгебраических систем относительно предикатов и получен ряд основополагающих результатов.

Важность введённого А. И. Мальцевым понятия в значительной степени определяется связью с алгоритмическими проблемами, именно, как отметил А. И. Мальцев [16], финитная аппроксимируемость конечно порожденной алгебраической системы в многообразии, заданном конечным набором тождеств, относительно некоторого предиката, влечёт алгоритмическую разрешимость проблемы этого предиката в рассматриваемой системе. Например, из теоремы Холла [25] о финитной аппроксимируемости конечно порождённых метаболевых групп следует положительное решение проблемы равенства слов для метабелевых групп. Аппроксимациоппыми методами С. И. Кубла-иовекпм был положительно решён вопрос алгоритмической разрешимости проблемы делимости в целой серии многообразий полугрупп. М. В. Сапир установил эквивалентность для ряда многообразий полугрупп проблемы равенства и финитной аппроксимируемости конечно определённых полугрупп.

Выбор того или иного предиката обусловлен ролыо, которую он играет в теории определённых классов алгебраических систем. Так, например, в группах важнспшимп предикатами являются: предикат равенства, регулярной сопряжённости, предикат вхождения в подгруппу, в конечно порождённую подгруппу. В кольцах и алгебрах важную роль играют предикат равенства, нильпотентности, вхождения в подкольцо (подалгебру). В полугруппах исследовались предикаты делимости, отношения Грина, предикат равенства и вхождения в различного вида подсистемы (идеал, подполугруппа, подгруппа и т.п.). Указанные предикаты явились объектом многочисленных исследований и с точки зрения алгоритмической разрешимости проблем этих предикатов и с точки зрения аппроксимации. В полугруппах особо значимым является предикат делимости. На языке делимости определяются отношения Грина, простота, регулярность и её модификации, распознаваемость (в смысле Эйленберга [22]) и другие важные свойства полугрупп. Следует отмстить, что распознаваемость полугрупп систематически изучается целым рядом зарубежных авторов, таких, как Г. Лаллемап, Д. Перрен, К. Рейс, С. Рэпкин, Ж. Сакарович, Т. Тамура, Г. Тьерреп, С. Эйлснберг и др. в связи с потребностями теории кодирования. Одним из важных случаев отношения делимости является отношение аннулирования. На языке отношения аннулирования определяется фундаментальный порядок па множестве идем-по'юитов в кольцах и полугруппах. Это отношение естественным образом возникает при рассмотрении инверсных полугрупп, полуструктур групп и полуструктур ниль-полугруин.

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

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

С конца 1960-х годов по настоящее время появилось большое количество работ, посвященных финитной аппроксимируемости многообразии различных классов. Интерес к этим вопросам нашёл отражение в работах как российских (А. Ю. Ольшанский, С. Г. Мамикопян, Э. А. Голубов, М. В. Са-пир, С. И. Кублаповский, Л. Н. Савина), так и зарубежных алгебраистов (С. Гроувз, Д. Герхард).

Отметим некоторые результаты по данной тематике.

В своей работе А. Ю. Ольшанский [19] получил описание многообразий финитно аппроксимируемых групп. Многообразия финитно аппроксимируемых коммутативных полугрупп были описаны С. Г. Мамиконяпом [17]; многообразия финитно аппроксимируемых идемиотептпых полугрупп описал Д. Герхард [23], [24]. Независимо друг от друга многообразия финитно аппроксимируемых полугрупп описали Э. А. Голубов и М. В. Саппр [1] и С. И. Кублаповский [9]. В работах [9], [10] С. И. Кублаповский дал описание на языке тождеств многообразия полугрупп, финитно аппроксимируемых относительно целого ряда известных предикатов: делимости, Грина, вхождения в идеал, подполугруппу, подгруппу и т. п. В своей диссертации Л. Н. Савина [20] дала описание полугрупп, финитно аппроксимируемых относительно предикатов регулярности и идемпотентности.

В 2000-е годы появился целый ряд диссертаций, посвященный тематике финитной аппроксимации полугрупп.

Постановка задачи. Описать многообразия полугрупп, фппптпо аппроксимируемых относительно предикатов аннулирования первого и второго рода.

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

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

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

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

Апробация работы. Ряд результатов настоящей диссертации был освещен па Городском алгебраическом семинаре в ПОМИ РАН, Сапкт-Петер-бургском городском семинаре но теории полугрупп в РГПУ им. А. И. Герце-па, а также па 60-х Герценовских чтениях в Санкт-Петербурге.

Публикации. Основные результаты диссертации опубликованы в работах, список которых приведён в конце диссертационной работы.

Объём и структура диссертации. Работа состоит из введения п двух глав, разделённых на три параграфа. Диссертация занимает 70 страниц машинописного текста и содержит 32 наименования литературы.

Заключение диссертации по теме «Математическая логика, алгебра и теория чисел», Костырев, Игорь Иванович

Заключение

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

Главным образом поставленные цели были достигнуты. Опишем полученные результаты с точки зрения их соотнесения с заявленными целями.

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

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

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

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

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

Данный результат полностью соответствует поставленным целям.

Список литературы диссертационного исследования кандидат физико-математических наук Костырев, Игорь Иванович, 2011 год

1. Голубов, Э. А., Санир М. В. Многообразия финитно аппроксимируемых полугрупп текст. / Э. А. Голубов, М. В Санир // Докл. АН СССР. Т. 247. - 1979. - № 5.

2. Голубов, Э. А. О финитной отделимости в полугруппах текст. / Докл. АН СССР. Т 189. 1969. - № 1.

3. КлиффордА., Престон Г. Алгебраическая теория полугрупп. М.; Мир, 1972.

4. О финитной аппроксимируемости многообразий полугрупп относительно предиката аннулирования текст. / И. И. Костырев; М-во образования Рос. Федерации, РГПУ им. А. И. Герцена. М., 2005. - 19 с. -Библиогр.: с. 19. - Деп. в ВИНИТИ, № 1428 - В2005.

5. Костырев И. И. О финитной аппроксимируемости многообразий полугрупп относительно предиката аннулирования / Современная алгебра: Межвуз. сб. науч. тр., № 8 (28) Ростов-на-Дону, 2010. - с. 35 - 49.

6. Костырев И. И. Об алгоритмической разрешимости проблемы распознавания предиката, аннулирования второго рода для многообразий полугрупп / Вестник Санкт-Петербургского Университета. Серия 1, вып. 4. - СПб., 2010 - с. 45 - 50.

7. Кублаиовский, С. И. Аппроксимация алгебраических систем относительно предикатов текст. : дисс. на соискание уч. стен. канд. физ.-мат. Наук: 01.01.06 / Кублаиовский Станислав Ицхокович. ЛГПИ. Л., 1983. - 156 с. - Библиогр.: с. 152-156.

8. Кублаиовский, С. И. О финитной аппроксимируемости иредмпогообра-зий полугрупп относительно предикатов текст. / С. И. Кублаиовский // Современная алгебра: Мсжвуз. сб. науч. тр. Л.: ЛГПИ, 1980. - с. 58-88.

9. Кублаиовский, С. И. Финитная аппроксимируемость и алгоритмические вопросы текст. / С. И. Кублаиовский // Современная алгебра: Мсжвуз. сб. науч. тр. Л.: ЛГПИ, 1983 - с. 59-78.

10. Кублаиовский, С. И., Лссохин. М. М. Об отделимости в полугруппах. Всесоюзный алгебраический симпозиум. Гомель, 1975.

11. Лесохин, М. М. Об аппроксимируем ост и полугрупп относительно предикатов текст. / М. М. Лесохин // Сб. тр. ЛГПИ им. А. И. Герцена: сб. науч. тр. Л., 1972

12. Лесохин, М. М. Об отделимости инверсных полугрупп текст. / М. М. Лесохин // VIII Всесоюзный алгебраический коллоквиум. Резюме научных сообщений. Рига, 1967.

13. Ляпип, Е. С. Полугруппы. М., Физматгиз, 1960.

14. Мальцев, А. И. Алгебраические системы. М., "Наука 1970.

15. Мальцев А. И. О гомоморфизмах на конечные группы текст. / Учен, зап. Иваповск. пед. ин-та: сб. науч. тр. Иваново, 1958. - № 5.

16. Мамиконян С. Г. Многообразия финитно аппроксимируемых полугрупп текст. / С. Г.Мамикопяп // Мат. сб.: сб. науч. тр. М., 1972. - № 37.

17. Новиков П. С. Об алгоритмической неразрешимости проблемы тождества слов в теории групп. М., Изд-во Акад. наук СССР, 1955.

18. Ольшанский А. Ю. Многообразия финитно аппроксимируемых групп // Изв. АН СССР, сер. Матем., т. 33.

19. Савина JI. Н. Аппроксимация полугрупп относительно предикатов делимости текст. : дисс. на соискание уч. стен. капд. физ.-мат. паук:0101.06 / Савина Любовь Николаевна. ЛГПИ. Л., 1986./

20. Birkhoff G. On the structure of abstract algebra. Proe. Cambridge Philos. Soc., 1935, v. 31.

21. Eilenberg, Samuel. Automata, languages and machines. Academic Press, Inc. Orlando, FL, USA, 1974.

22. Gerhard, J. A. Subdirectly irreducible idempotent semigroups. Pacific J. Math., 1971, 39.

23. Gerhard J. A. Some subdirectly irreducible idempotent. semigroups. Semigroup Forum, 1973, 5, № 4.

24. Hall M. The theory of groups. New York: Macmillan, 1959.

25. Lallement G. Semigroups and combinatorial applications, Wiley, 1979.

26. Petrich M. Introduction to semigroups. Pennsylvania State University, 1973.

27. Petrich M., Reilly N. R. Completely regular semigroups. John Wiley and sons, New York, 1999.

28. Rankin S. A., Reis C. M. and Tliierrin G. Recognizable Semigroups, American Mathematical Society.volume 70, № 2, July 1978.

29. Sakarovitch J. Easy multiplications i. the realm of Kleene's theorem. Information and Computation, 74(3): 173-197, September 1987.

30. Tamura T. Some remarks on semigroups and all types of order 2, 3, J. Gakugei Tokushima Univ. 3, (1953), 1-11.

31. Tamura T. Notes on nite semigroups and determination of semigroups of order 4, J. Gakugei Tokushima Univ. 5, (1954), 17-27.