Введение к работе
Диссертация посвящена избранным проблемам теории групп, комбинаторной и метрической геометрии многогранников, а также применению систем компьютерной алгебры и графики как в приложениях этих теорий, так и в доказательствах. Синтез этих дисциплин в диссертации отражает современную тенденцию развития теории групп и геометрии многогранников.
Фундаментальными результатами теории групп второй половины XX века стали теорема Брауэра-Фаулера о существовании только конечного числа конечных простых групп с данным централизатором инволюции [1, 2], теорема Фейта-Томпсона [3] о разрешимости конечной группы нечётного порядка, а также открытие периодических нелокально конечных групп и новых конечных простых групп. Эти факты коренным образом изменили строительство существующего тогда здания теории групп: в начале восьмидесятых годов было объявлено о завершении классификации конечных простых групп (ККПГ); появилась теория групп, удовлетворяющих условиям конечности более сильным, чем периодичность, и более слабым, чем локальная конечность. К настоящему времени конечные простые группы разделены на бесконечные серии групп: циклических, знакопеременных и групп лиева типа, а также на серию 26 исключительных (спорадических) групп [4, 5]. Большинство спорадических групп открыто сравнительно недавно (после 1964 г.) и остаются неясными причины их исключительности. Беспрецедентность объема создаваемого текста доказательства (оценки до 20000 журнальных страниц) теоремы о ККПГ делает актуальным поиск нового доказательства. Оно не может не опираться на свойства самих конечных простых групп, изучение которых далеко от завершения. Именно такие группы исследованы в первых двух главах диссертации.
Значительное увеличение роли симметрии в изучении геометрии многогранников, прежде всего под влиянием исследований А. В. Шубникова [6] и
Г. С. М. Коксетера [7], а также появление таких фактов как теорема Александрова о развертках [8], позволили от построения отдельных примеров выпуклых многогранников с правильными гранями перейти к описанию всех таких фигур. В 1960 г. появилось предположение Н. Джонсона [9] о том, что кроме правильных и равноугольно-полуправильных многогранников существует только девяносто два выпуклых многогранника с правильными гранями. В. А. Залгаллер разделяет такие многогранники на простые и составные, причём для каждого составного тела существует плоскость, рассекающая его на два многогранника с правильными гранями. В работе [10] описаны все простые многогранники, а предположение Джонсона сформулировано в ней как теорема, доказательство которой состоит лишь из указания получить все составные многогранники путем соединения простых тел. Доказательство более сильной теоремы содержит четвёртая глава настоящей диссертации. Ей предшествует построение алгебраических моделей несоставных многогранников.
Процесс нахождения составных многогранников алгоритмизирован. Пока не найдено принципиально иных подходов к увеличению прозрачности доказательства, естественным выглядит программирование тех его частей, которые позволяют это сделать. Действительно, проведённые по одной схеме рассуждения при таком подходе превращаются в программу с набором входных данных, соответствующих каждому логически повторяющемуся фрагменту доказательства. Собственно по такому пути и развиваются системы компьютерной алгебры. Факты, полученные с применением таких систем, вызывают не меньшее доверие, чем некоторые огромных размеров доказательства, не использующие компьютер. С развитием в последние два-три десятка лет систем компьютерной алгебры игнорировать "машинные" доказательства стало невозможно.
Цель работы заключается в отыскании всех составных многогранников
трёхмерного евклидова пространства и в нахождении строго вещественных элементов конечной простой группы, а также минимальных систем порождающих эту группу инволюций с ограничениями на порядки их произведений. Алгоритмизация процесса решения этих задач тоже относится к цели настоящего исследования, поскольку позволяет не только получать по созданным алгоритмам новые знания о группах и многогранниках, но и делает более надёжными и доступными для нематематиков как входные данные этих алгоритмов в виде систем порождающих групп и фундаментальных вершин многогранников, так и результаты вычислений, готовые к применению в специализированных компьютерных системах.
Методы исследования основаны на дополняющих друг друга алгебро-геометрической технике и системах компьютерной алгебры. В качестве метода исследования применены и системы компьютерной графики.
Научная новизна. Все основные результаты работы являются новыми.
Теоретическая и практическая ценность. Работа носит теоретический характер. Полученные результаты и методы могут найти применение в дальнейших исследованиях по теории групп и геометрии многогранников. Построенные в работе компьютерные модели групп и многогранников доступны для приложений в других областях знаний.
Структура и объём работы. Диссертация состоит из введения, четырёх глав, заключения и двух приложений. Библиографический список содержит 93 наименования. В работе размещены 120 рисунков, 10 таблиц, предметный указатель. Диссертация изложена на 250 страницах.
