Комплекс алгоритмов компьютерного моделирования дискретных алгебраических систем

Содержание
Введение
1 Методологические концепции моделирования дискретных алгебраических систем
1.1. Представление дискретной алгебраической системы в виде динамической системы специальных объектов .
1.2. Концепция минимальных слов.
1.3. Концепция независимых слов.
2 Комплекс алгоритмов для моделирования бернсайдовых групп
2.1. Основные определения и предварительные леммы.
2.2. Алгоритм1.
2.2.1. Определение Кт.п Рь Аи i,7
2.2.2. Построение К3тп,п для 1.
2.2.3. Условие конечности группы Втп,п.
2.2.4. Пример моделирование группы 2,3
2.2.5. Пример моделирование группы 2,4
2.2.6. Пример моделирование группы 3,3
2.3. АлгоритмI .
2.3.1. Определение Кт,я Рь ,С,Т.
2.3.2. Построение , для
2.3.3. Условие конечности группы Вт,п
2.3.4. Пример моделирование группы 2,3
2.3.5. Пример моделирование группы 2,4
2.3.6. Пример моделирование группы 3,3
2.4. АлгоритмIII.
2.4.1. Определение Кгп,п .4i,i.
2.4.2. Построение Кат,п для 5 1.
2.4.3. Условие конечности группы Вт,п.
2.4.4. Условие бесконечности группы Вт,п
2.4.5. Пример моделирование группы 2,3
3 Комплекс алгоритмов для моделирования произвольных конечнопорожденных периодических групп
3.1. Основные определения и замечания
3.2. Алгоритм1У.
3.2.1. Определение КС Л, АиС,Т
3.2.2. Построение К С для в 1
3.2.3. Условие конечности группы С
3.2.4. Пример моделирование группы диэдра
3.2.5. Пример моделирование периодической группы, порожденной тре
мя инволюциями, с дополнительными ограничениями на порядки элементов
3.3. АлгоритмУ
3.3.1. Определение КС А, ДьСъТ
3.3.2. Построение КЛС7 для в 1
3.3.3. Условие конечности группы С
3.3.4. Пример моделирование группы диэдра
3.4. АлгоритмУ1.
3.4.1. Определение КС РьЛьСч.
3.4.2. Построение К9С1 для 5 1
3.4.3. Условие конечности группы 7.
3.4.4. Условие бесконечности группы С.
3.4.5. Пример моделирование группы диэдра
4 Исследование группы В2,5
4.1. Известные факты о 2,5 и о25
4.2. Результаты вычислений в 2,5
4.3. Сравнение о2,5 и 2,5 .
4.3.1. Поэлементное сравнение.
4.3.2. Сравнение по подгруппе индекса 0
4.4. Вычисление коммутаторов специального вида в 2,5
4.5. О структуре одного автоморфизма порядка 2 группы До2,5
5 Распознавание группы 2 7 по спектру в классе всех групп
5.1. Обозначения и известные результаты
5.2. Предварительные леммы
5.3. Доказательство основного результата.
Заключение
Список литературы