Теоретико-модельные и алгебро-геометрические задачи для нильпотентных частично коммутативных групп

Оглавление
Введение
Предварительные сведения
Частично коммутативные нильпотентиые Ягруппы
1 Выполнимость формул на частично коммутативных нильпотентных группах
1.1 Экзистенциальные формулы
1.2 Операции на графах.
1.3 Случай линейного графа.
1.3.1 Т дерево
1.3.2 Т произвольный граф.
1.4 Случай цикла без диагоналей
1.4.1 Т циклический граф
1.4.2 Т произвольный конечный граф
1.5 Произвольный случай
2 Структура централизаторов для частично коммутативных двуступенно нильпотентных групп
2.1 Предварительные сведения.
2.2 Лемма о централизаторе.
2.3 Параболические и квазипараболические подгруппы.
2.4 Критерий когда квази параболическая подгруппа является централизатором
3 Элементы алгебраической геометрии над частично коммутативной двуступенно нильпотентной группой
3.1 Универсальная эквивалентность.
3.1.1 Универсальная теория.
3.1.2 Категория Сгрупн.
3.1.3 Доказательство теорем об универсальной эквивалентности
3.2 Элементы алгебраической геометрии над группами
3.3 Геометрическая и универсальная геометрическая эквивалентности .
3.4 Описание алгебраических множеств
3.4.1 Системы от одной переменной .
3.4.2 Системы от нескольких переменных
Список литературы