О классификации полигонометрий групп

Рассматриваются алгебраические, теоретико-графовые и теоретико-модельные аспекты проблемы классификации полигонометрий групп. Устанавливаются условия, эквивалентные вложимости графа с раскрашенными дугами в некоторую полигонометрию. Доказывается, что для любой бесконечной мощности $\lambda$ существует $2^\lambda$ попарно неизоморфных полигонометрий. Определяются группы автоморфизмов полигонометрий пар групп на языке порождающих элементов и определяющих соотношений, исследуется взаимосвязь свойств полигонометрий и их групп автоморфизмов, определяются семейства кортежей элементов групп, по которым задаются формульные множества и свойства полигонометрических теорий.