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

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

ВВЕДЕНИЕ.

ГЛАВА 1. Свойство Чёрча-Россера и элементарные теории.

§ 1. Основные понятия и обозначения.

§ 2. Полные системы тождеств.

§ 3. Фактор-алгебры термов с предикатом нормальной формы

§ 4. Многообразия с пустой системой тождеств.

ГЛАВА 2. Дх-многообразия квазигрупп.

§ 5. Определения и леммы.

§ 6. Полные системы тождеств для с- и ¿-подмногообразий многообразия Т-^1.

§ 7. Полные системы тождеств для ¿¿-подмногообразий многообразий В1\ В2\ ВЪ1 и В

§ 8. Полные системы тождеств для с- и ¿-подмногообразий многообразий А11, Л21, АЗ1, А41 и А51.

§ 9. Полные системы тождеств для ¿-подмногообразий многообразий А1В, А2В и АЗВ.

§ 10. Теорема о числе /^-многообразий.

§ 11. Конечно определенные квазигруппы

§ 12. Свободные квазигруппы

§ 13. Дополнительные примеры

§ 14. Результаты о неразрешимости.

ГЛАВА 3. /^-многообразия луп.

§ 15. Определения и леммы.

§ 16. Полные системы тождеств для с- и ¿-подмногообразий многообразия У02.

§ 17. Полные системы тождеств для с- и ¿-подмногообразий многообразия АЗ2.

§ 18. Полные системы тождеств для многообразий AI2, А22, a42 и аъ2.

§ 19. Теорема о числе ^-многообразий.

§ 20. Конечно определенные лупы.

§ 21. Свободные лупы.

ГЛАВА 4. Лз-многообразия луп.

§ 22. Определения и леммы.

§ 23. с- и ¿-подмногообразия многообразия V^3.

§ 24. с- и ¿¿-подмногообразия многообразий Bl3-B8, Ml, М2,

§ 25. с- и ¿/-подмногообразия многообразий A33, N1, N2, CIP

§ 26. Первая теорема о числе /^-многообразий

§ 27. Полные системы тождеств для с- и ¿¿-подмногообразий многообразия Vq

§ 28. Полные системы тождеств для с- и ¿¿-подмногообразий многообразия ВI3.

§ 29. Полные системы тождеств для с- и ¿¿-подмногообразий многообразия J323.

§ 30. Полные системы тождеств для с- и ¿¿-подмногообразий многообразия ВЗ3.

§ 31. Полные системы тождеств для с- и ¿¿-подмногообразий многообразий В43 и ВЪ.

§ 32. Полные системы тождеств для с- и ¿¿-подмногообразий многообразия В

§ 33. Полные системы тождеств для с- и ¿¿-подмногообразий многообразий В7 и В8.

§ 34. Полные системы тождеств для с- и ¿¿-подмногообразий многообразий Ml, М2 и IP.

§ 35. Полные системы то?кдеств для с- и ¿¿-подмногообразий многообразия ЛЗ3.

§ 36. Полные системы тождеств для с- и ¿¿-подмногообразий многообразий N1, N2 и С1Р

§ 37. Полные системы тождеств для многообразий А13, А23,

Л43 и Л

§ 38. Вторая теорема о числе Лз-многообразий.

§ 39. Конечно определенные лупы.

§ 40. Свободные лупы.

ГЛАВА 5. Многообразия Кантора.

§ 41. Многообразия Кантора СТО;П. Вполне замкнутые представления

§ 42. Конечно определенные алгебры в многообразии Ст,п

§ 43. Свободные алгебры в многообразии Ст^п.

§ 44. Теорема вложения.

§ 45. Неразрешимость теории многообразия Ст^п.

 
Введение диссертация по математике, на тему "Свободные и конечно определенные алгебры многообразий квазигрупп и многообразий Кантора"

1. Многообразия универсальных алгебр стали предметом активных исследований в середине 30-х годов, когда были опубликованы первые работы Г. Биркгофа в этой области. Значительный вклад в формирование и становление проблематики теории многообразий универсальных алгебр внесли А. Тарский и А.И. Мальцев (см. [44, 54]).

Развитие математической логики и теории алгоритмов (К. Гёдель, А. Чёрч, С. Клини, Б. Россер, А. Тьюринг, Э. Пост, A.A. Марков) привело к появлению новой проблематики — исследованию разрешимости элементарных теорий алгебраических систем и классов таких систем. Первые основополагающие результаты в этой области принадлежат А. Тарскому (конец 40-х годов). Важнейший вклад в развитие данного направления внес А.И. Мальцев. Результаты по элементарным теориям систематизированы в обзоре [24] и монографии [23]. Существенная часть работ по элементарным теориям относится к многообразиям универсальных алгебр. Дальнейший прогресс в обсуждаемом направлении изложен в [11, 12. 26, 47, 55, 65].

Термин "квазигруппа" был введен Р. Муфанг, работы которой в середине 30-х годов поло?кили начало развитию алгебраической теории квазигрупп (см. [6, 53, 57]).

Многообразия Кантора впервые были рассмотрены в работе Б. Йон-сона и А. Тарского [64].

2. Диссертация посвящена изучению свойств свободных и конечно определенных алгебр в трех классах многообразий квазигрупп и луп, называемых далее ^-многообразиями (г — 1,2,3), а также в многообразиях Кантора Cmjl.

Для Rj-многообразий основными рассматриваемыми проблемами являются следующие:

1. Определить число ^-многообразий для каждого г {г = 1,2,3). Известные изначально оценки числа этих многообразий слишком велики.

2. Доказать разрешимость (или неразрешимость) элементарной теории свободной алгебры произвольного ранга из /^-многообразия (г = 1, 2, 3). Рассмотреть аналогичную задачу для классов свободных алгебр.

3. Доказать разрешимость (или неразрешимость) элементарной теории произвольной конечно определенной алгебры из Я^-много-образия (г — 1, 2, 3).

Для многообразий Кантора Ст;Гг рассматриваются следующие проблемы:

1. Исследовать разрешимость элементарной теории свободной алгебры (класса свободных алгебр) многообразия Ст^п.

2. Исследовать проблему элементарной эквивалентности свободных алгебр многообразия Ст,п

3. Для конечно определенных алгебр многообразия Ст.п установить разрешимость (или неразрешимость) a) проблемы равенства слов; b) проблемы вхождения.

4. Для конечно определенных алгебр многообразия Ст;П доказать разрешимость (или неразрешимость) их элементарных теорий.

5. Исследовать разрешимость элементарной теории многообразия Г

3. Текст диссертации, следующий за введением, разделен на 45 параграфов, имеющих сквозную нумерацию, и сгруппирован в пять глав. Формулы, леммы, теоремы и следствия занумерованы парами индексов, из которых первый указывает номер соответствующего параграфа, а второй — порядковый номер формулы или утверждения соответствующего типа.

Материал распределен по главам следующим образом.

 
Список источников диссертации и автореферата по математике, доктора физико-математических наук, Шабунин, Леонид Васильевич, Чебоксары

1. Акатаев A.A. О многообразиях А(т,п) // Алгебра и логика, 1970, Т. 9, N 2, С. 127-136.

2. Акатаев A.A., Смирнов Д.М. Решетки подмногообразий многообразий алгебр // Алгебра и логика, 1968, Т. 7, N 1, С. 5-25.

3. Барендрегт X. Ламбда-исчисление. Его синтаксис и семантика. — М.: Мир, 1985. — 606 с.

4. Белеградек О.В. Теория моделей локально свободных алгебр // Теория моделей и ее применения. Новосибирск: Наука, 1988. С. 3-25. (Тр. АН СССР. Сиб. отд-ние. Ин-т математики; Т.8.)

5. Белкин В.П. О некоторых решетках квазимногообразий алгебр // Алгебра и логика, 1976, Т. 15, N 1, С. 12-21.

6. Белоусов В.Д. Основы теории квазигрупп и луп. — М.: Наука, 1967. — 223 с.

7. Белоусов В.Д., Белявская Г.Б. Латинские квадраты, квазигруппы и их приложения. — Кишинев: Штиинца, 1989. — 80 с.

8. Биркгоф Г. Теория решеток. — М.: Наука, 1984. — 568 с.

9. Больбот А.Д. Об эквационально полных многообразиях тотально симметрических квазигрупп // Алгебра и логика, 1967, Т. 6, N 2, С. 13-19.

10. Бухбергер Б., Лоос Р. Упрощение алгебраических выражений. — В кн.: Компьютерная алгебра: Символьные и алгебраические вычисления / Под ред. Б.Бухбергера, Дж.Коллинза, Р.Лооса. — М.: Мир, 1986, С. 23-65.

11. Важенин Ю.М. Алгоритмические проблемы и иерархии языков первого порядка // Алгебра и логика, 1987, Т. 26, N 4, С. 419434.

12. Важенин Ю.М. Критические теории // Сиб. мат. журн., 1988, Т. 29, N 1, С. 23-31.

13. Гварамия A.A., Глухов М.М. Об алгоритмических проблемах для некоторых классов квазигрупп // ДАН СССР, 1967, Т. 177, N 1, С. 14-16.

14. Гварамия A.A., Глухов М.М. Решение основных алгоритмических проблем в некоторых классах квазигрупп с тождествами // Сиб. мат. журн., 1969, Т. 10, N 2, С. 297-317.

15. Глухов М.М. О свободном произведении луп с конечным числом образующих. — В сб.: Математические исследования. — Кишинев, 1967, Т. 2, вып. 2, С. 84-95.

16. Глухов М.М. О свободных произведениях и алгоритмических проблемах в Я-многообразиях универсальных алгебр // ДАН СССР, 1970, Т. 193, N 3, С. 514-517.

17. Глухов М.М. Ä-многообразия квазигрупп и луп. — В сб.: Вопросы теории квазигрупп и луп. — Кишинев, 1970, С. 37-47.

18. Глухов М.М. Свободные разложения и алгоритмические проблемы в Ä-многообразиях универсальных алгебр // Мат. сб., 1971, Т. 85, вып. 3, С. 307-338.

19. Глухов М.М. О некоторых алгоритмических проблемах и свободных произведениях в Я-многообразиях линейных П-алгебр // Фундам. и прикл. матем., 1997, Т. 3, N 2, С. 373-397.

20. Глухов М.М., Мухин А.И. Об уравнениях над квазигруппами // Сиб. мат. журн., 1977, Т. 18, N 4, С. 755-764.

21. Гретцер Г. Общая теория решеток. — М.: Мир, 1982. — 456 с.

22. Ершов Ю.Л. Неразрешимость теорий симметрических и простых конечных групп // ДАН СССР, 1964, Т. 158, N 4, С. 777-779.

23. Ершов Ю.Л. Проблемы разрешимости и конструктивные модели.М.: Наука, 1980. — 416 с.

24. Ершов Ю.Л., Лавров И.А., Тайманов А.Д., Тайцлин М.А. Элементарные теории // Успехи мат. наук, 1965, Т. 20, N 4, С. 37-108.

25. Ершов Ю.Л., Палютин Е.А. Математическая логика. — М.: Наука, 1979. — 320 с.

26. Замятин А.П. Многообразия с ограничениями на решетку конг-руенций. — Свердловск: УрГУ, 1987. — 92 с.

27. Клини С. Математическая логика. — М.: Мир, 1973. — 480 с.

28. Кон П. Универсальная алгебра. — М.: Мир, 1968. — 352 с.

29. Куратовский К., Мостовский А. Теория множеств. — М.: Мир, 1970. — 416 с.

30. Курош А.Г. Теория групп. — 2-е изд. — М.: Гостехиздат, 1953.468 с.

31. Курош А.Г. Лекции по общей алгебре. — М.: Наука, 1973. — 400 с.

32. Магнус В., Каррас А., Солитер Д. Комбинаторная теория групп. Представление групп в терминах образующих и соотношений. — М.: Наука, 1974. — 456 с.

33. Мальцев А.И. Неразрешимость элементарной теории конечных групп // ДАН СССР, 1961, Т. 138, N 4, С. 771-774.

34. Мальцев А.И. Аксиоматизируемые классы локально свободных алгебр некоторых типов // Сиб. мат. журн., 1962, Т.З, N 5, С. 729-743.

35. Мальцев А.И. Алгоритмы и рекурсивные функции. — М.: Наука, 1965. — 392 с.

36. Мальцев А.И. Тождественные соотношения на многообразиях квазигрупп // Мат. сб., 1966, Т. 69, N 1, С. 3-12.

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

38. Марков A.A. Теория алгорифмов // Труды Матем. ин-та АН СССР им. В.А. Стеклова, Т. 42, М.-Л., 1954.

39. Мендельсон Э. Введение в математическую логику. — М.: Наука, 1971. — 320 с.

40. Мухин А.И. Уравнения с несколькими неизвестными в конечно-определенных квазигруппах // 16-я Всесоюз. алгебраич. конф. Тезисы докл., Ленинград, 1981, Ч. 2, С. 94-95.

41. Смирнов Д.М. Решетки многообразий и свободные алгебры // Сиб. мат. журн., 1969, Т. 10, N 5, С. 1144-1160.

42. Смирнов Д.М. Канторовы алгебры с одним порождающим. I // Алгебра и логика, 1971, Т. 10, N 1, С. 61-75.

43. Смирнов Д.М. Базисы и автоморфизмы свободных канторовых алгебр конечного ранга // Алгебра и логика, 1974, Т. 13, N 1, С. 35-62.

44. Смирнов Д.М. Многообразия алгебр. — Новосибирск: Наука, 1992. — 205 с.

45. Смирнов Д.М. О представимости многообразий Кантора // Алгебра и логика, 1995, Т. 34, N 4, С. 464-471.

46. Смирнов Д.М. О размерностях многообразий Кантора и Поста // Алгебра и логика, 1996, Т. 35, N 3, С. 359-369.

47. Справочная книга по математической логике: в 4-х частях / Под ред. Дж. Барвайса. — М.: Наука, 1982.

48. Тайцлин М.А. Еще несколько примеров неразрешимых теорий // Алгебра и логика, 1967, Т. 6, N 3, С. 105-110.

49. Халезов Е.А. Автоморфизмы примитивных квазигрупп // Мат. сб., 1961, Т. 53, N 3, С. 329-342.

50. Хигман Г. Конечно определенные бесконечные простые группы. — В сб.: Разрешимые и простые бесконечные группы. Математика, вып. 21. — М.: Мир, 1981, С. 87-147.

51. Шенфилд Дж. Математическая логика. — М.: Мир, 1975. — 528 с.

52. Birkhoff G. On the structure of abstract algebras // Proc. Cambridge Phil. Soc., 1935, V. 31, P. 433-454.

53. Bruck R. A survey of binary systems. — Berlin New York, 1958.

54. Burris S., Sankappanavar H.P. A course in universal algebra. — N.Y., 1981.

55. Burris S., McKenzie R. Decidability and Boolean Representations // Memoirs Amer. Math. Soc., 1981, V. 32, N 246, P. 1-106.

56. Church A., Rosser J.B. Some properties of conversion // Trans. Amer. Math. Soc., 1936, V. 39, P. 472-482.

57. Denes J., Keedwell A.D. Latin squares and their applications. — Budapest: Academiai Kiado, 1974. — 547 p.

58. Dershowitz N., Manna Z. Proving termination with multiset ordering // Commun. ACM., 1979, V. 22, N 8, P. 465-476.

59. Evans T. The word problem for abstract algebras //J. London Math. Soc, 1951, V. 26, N 1, P. 64-71.

60. Evans Т. On multiplicative systems defined by generators and relations. I. Normal form theorems // Proc. Cambridge Phil. Soc., 1951, V. 47, N 4, P. 637-645.

61. Evans T. The isomorphism problem for some classes of multiplicative systems // Trans. Amer. Math. Soc., 1963, V. 109, N 2, P. 303-312.

62. Evans T. Some solvable word problems // In: Word problems II (S.I. Adian, W.W. Boone, G. Higman, eds.). — Amsterdam, 1980. —P. 87-100.

63. Huet G. Confluent reductions: abstract properties and applications to term rewriting systems //J. of ACM, 1980, V. 27, N 4, P. 797-821.

64. Jonsson В., Tarski A. On two properties of free algebras // Math. Scand., 1961, V. 9, P. 95-101.

65. McKenzie R., Valeriote M. The structure of decidable locally finite varieties // Progress in Mathematics, Birkhauser-Boston, 1989, V. 79, P. 1-212.

66. Knuth D., Bendix P. Simple word problems in universal algebras // In: Computational Problems in Abstract Algebras, ed. J. Leech, Pergammon Press, 1970. — P. 263-297.

67. Newman M.N.A. On theories with a combinatorial definition of "equivalence" // Ann. of Math., 1942, V. 43, N 2, P. 223-243.

68. Pedersen J. The word problem in absorbing varieties // Houston J. of Math, 1985, V. 11, N 4, P. 575-590.

69. Peterson G.E, Stickel M.E. Complete sets of reductions for some equational theories // J. of ACM, 1981, V. 28, N 2, P. 233-264.

70. Sade A. Quasigroupes parastrophiques. Expressions et identités // Math. Nachr., 1959, V. 20, N 1-2, P. 73-106.

71. Stein S.K. On the foundations of quasigroups // Trans. Amer. Math. Soc., 1957, V. 85, P. 228-256.

72. Swierczkowski S. On isomorphic free algebras // Fund. Math., 1961, V. 50, N 1, P. 35-44.ПУБЛИКАЦИИ АВТОРА ПО ТЕМЕ ДИССЕРТАЦИИ:

73. Шабунин Л.В. Разрешимость элементарных теорий конечно-определенных группоидов // Деп. ВИНИТИ, 1986, N 8869-В86, С. 119.

74. Shabunin L.V. Decidability of 3-theories of finitely presented groupoids // Тезисы докл. 8-го Международного конгресса по логике, методологии и философии науки, Москва, 1987, Т. 1, С. 170— 171.

75. Шабунин Л.В. Об одном сведении проблемы разрешимости теорий некоторых конечно-определенных П-алгебр // Деп. ВИНИТИ, 1988, N 74-В88, С. 1-21.

76. Шабунин Л.В. О разрешимости теорий некоторых неассоциативных конечно-определенных алгебр // Тезисы докл. 9-й Всесоюзн. конф. по матем. логике, Ленинград, 27-29 сентября 1988, С. 177.

77. Шабунин Л.В. Разрешимость элементарных теорий конечно-определенных алгебр многообразия алгебр, заданного пустой системой тождеств // Мат. заметки, 1989, Т. 45, вып. 5, С. 93-102.

78. Шабунин Л.В. Разрешимость элементарной теории конечно-определенной квазигруппы // Мат. заметки, 1990, Т. 47, N 4, С. 138-146.

79. Шабунин Л.В. Разрешимость теорий конечно-определенных квазигрупп в некоторых классах квазигрупп с тождествами // Тезисы докл. 10-й Всесоюзн. конф. по матем. логике, Алма-Ата, 1-3 ноября 1990, С. 165.

80. Шабунин Л.В. Разрешимость теорий конечно-определенных квазигрупп из Д-многообразий квазигрупп // Сиб. мат. журн, 1991, Т. 32, N 3, С. 201-211.

81. Шабунин Л.В. Разрешимость элементарных теорий некоторых конечно-определенных алгебр // Алгебра и логика, 1991, Т. 30, N 4, С. 457-476.

82. Шабунин Л.В. Об элементарных теориях конечно-определенных луп со свойством обратимости // Дискретная математика, 1991, Т. 3, 1\ 4, С. 79-90.

83. Шабунин Л.В. Разрешимость теорий некоторых бесконечных конечно-определенных квазигрупп // Изв. вузов. Матем, 1992. N 3, С. 74-79.

84. Шабунин Л.В. Об элементарных теориях ^-многообразий луп с условием ~~1х = х// Тезисы сообщений 11-й Межреспубл. конф. по матем. логике, Казань, 6-8 октября 1992, С. 154.

85. Шабунин Л.В. О числе Д-многообразий луп с условием ~1х = х~1 // Деп. ВИНИТИ, 1993, N 916-В93, С. 1-26.

86. Шабунин Л.В. О проблеме элементарной эквивалентности конечно-определенных алгебр многообразия алгебр, заданного пустой системой тождеств // Деп. ВИНИТИ, 1993, N 1595-В93, С. 1-6.

87. Шабунин JI.В. Разрешимость одного фрагмента элементарной теории свободной универсальной алгебры с дополнительным предикатом и эквивалентностью // Деп. ВИНИТИ, 1994, N 2920-В94, С. 1-9.

88. Шабунин Л.В. Теоремы о нормальной форме для Я-многообразий луп // Деп. ВИНИТИ, 1994, N 2921-В94, С. 1-23.

89. Шабунин Л.В. Полные системы тождеств для Я-многообразий луп с условием ~lx = х~1 // Деп. ВИНИТИ, 1995, N 286-В95, С. 1-72.

90. Шабунин Л.В. О Я-многообразиях квазигрупп и луп // Тезисы Второй Международной конф. "Математические алгоритмы" (Нижний Новгород, 26 июня 1 июля 1995 г.). — Нижний Новгород: Изд-во Нижегородского ун-та, 1995, С. 60.

91. Шабунин Л.В. Элементарные теории конечно-определенных квазигрупп //В сб.: Актуальные задачи математики и механики / Чуваш, ун-т. Чебоксары, 1995. С. 131-133.

92. Шабунин Л.В. Неразрешимость теории бесконечной конечно-определенной квазигруппы с дополнительным предикатом // Деп. ВИНИТИ, 1996, N 1892-В96, С. 1-4.

93. Шабунин Л.В. О конечно-определенных и свободных алгебрах многообразий Кантора // Сиб. мат. журн., 1997, Т. 38, N 2, С. 450462.

94. Шабунин JI.В. О свободных алгебрах многообразия квазигрупп и многообразий Кантора // Естественные науки: сегодня и завтра: Тезисы докладов юбилейной итоговой научной конференции. — Чебоксары: Изд-во Чуваш, гос. ун-та, 1997, С. 100.

95. Шабунин Л.В. Об элементарной эквивалентности свободных алгебр многообразий Кантора // Алгебра и логика, 1999, Т. 38, N 2, С. 228-248.

96. Шабунин Л.В. Теорема вложения для многообразий Кантора // Тезисы докладов на Международной конф. по математической логике (Новосибирск, 10-15 августа 1999 г.) — Новосибирск: Ин-т дискретной математики и информатики, 1999, ISBN 5-88119-119-6, С. 64-66.

97. Шабунин Л.В. Неразрешимость элементарных теорий многообразий Кантора // Деп. ВИНИТИ, 1999, N 2807-В99, С. 1-18.

98. Шабунин Л.В. Парастрофные ^-многообразия квазигрупп // Деп. ВИНИТИ, 1999, N 3095-В99, С. 1-48.