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

Аннотация

Работа посвящена компьютерному моделированию процесса построения свободных проективных плоскостей, или более точно, алгоритмическому нахождению их последовательных матриц инцидентности. Рассматриваются также некоторые целочисленные характеристики этих матриц. Матричный метод, а также подход, использующий билинейные формы, применяются для изучения темпов роста числа новых элементов (точек, линий) в процессе поэтапного построения проективной плоскости, начиная с конфигурации М. Холла Pi^4. Число новых элементов растет асимптотически как двойная экспонента (линейно по log (log) шкале). Оценка сверху также дает двойной экспоненциальный рост.