Оглавление
Введение.
Глава 1. Марковские свойства
1. Конструкция полугруппы 3М, ф
2. Распознавание марковских свойств для полугрупп .
Глава 2. Эквациональная рекурсивность и границы разрешимости .
1. Распознавание эквациональной рекурсивности
для полугрупп и колец
2. Распознавание границы разрешимости для полугрупп с
перестановочным тождеством
3. Позитивные теории классов полугрупп и колец
4. Расположение многообразий полугрупп и колец с разрешимой эквациональной теорией в решетке
подмногообразий.
5. Проблема равенства для свободных полугрупп и колец.
Глава 3. Выводимость тождеств и конечная базируемость .
1. Общая проблема выводимости тождеств
2. Распознавание конечной базируемости для полугрупп,
групп и колеи
Глава 4. Независимая базируемость и относительная цокрываемость .1 1. Распознавание независимой базируемости для полугрупп,
моноидов и колец.
2. Независимость систем тождеств полугрупп, групп и колец 9 3. Независимо разбиваемые системы тождеств
4. Распознавание относительной иокрываемости
для полугрупп .
5. Распознавание относительной конечной иокрываемости
для полугрупп .
Литература
- Київ+380960830922