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

Оглавление
введение
Глава 1. Меры подмножеств свободной группы и свободных групповых конструкций.
1.1. Вычисление меры подгрупп свободного произведения циклических групп
1.1.1. Вычисление мер подгрупп.
1.1.2. Мультипликативность меры.
1.2. Разреженные и строго разреженные подмножества свободной группы.
1.2.1. Регулярные подмножества свободной группы.
1.2.2. Определения и простейшие свойства разреженных множеств.
1.2.3. Критерий строгой разреженности регулярных подмножеств свободной
1.2.4. Конструкции над строго разреженными множествами
1.3. Разреженность двойного класса смежности по подгруппам бесконечного индекса
Глава 2. Алгоритмы приведения элементов фундаментальных групп конечных графов групп к нормальной форме.
2.1. Основные определения.
2.2. Случай линейного графа .
2.3. Чупачупс
2.4. Треугольник
2.5. Произвольный случай
2.6. Единственность цнормапьной формы элемента фундаментальной группы графов групп
2.6.1. Граф У дерево
2.6.2. Граф У не является деревом
2.7. Оценка процедуры 1.
2.8. Модификация алгоритма приведения элементов некоторых фундаментальных групп графов групп к нормальной форме
2.8.1. Краткие сведения о группах БаумслагаСоли гсра
2.8.2. Модификация алгоритма приведения к нормальной форме
Глава 3. Алгоритм приведения элементов фундаментальной группы конечного графа групп к редуцированной форме.
3.1. Определения
3.2. Построение нити для реберной подгруппы графа групп.
3.3. Процедура проверки склейки пары элементов вершинных групп.
3.4. Проблема вхождения в комплекс ЛВ
3.5. Процедура устранения расщепления тройки элементов.
3.6. Процедура II приведения элементов фундаментальной группы конечного графа групп к редуцированной форме.
Литература