КАРТОЧКА ПРОЕКТА ФУНДАМЕНТАЛЬНЫХ И ПОИСКОВЫХ НАУЧНЫХ ИССЛЕДОВАНИЙ,
ПОДДЕРЖАННОГО РОССИЙСКИМ НАУЧНЫМ ФОНДОМ

Информация подготовлена на основании данных из Информационно-аналитической системы РНФ, содержательная часть представлена в авторской редакции. Все права принадлежат авторам, использование или перепечатка материалов допустима только с предварительного согласия авторов.

 

ОБЩИЕ СВЕДЕНИЯ

---

Номер проекта 22-21-00166

НазваниеАппроксимируемость теоретико-групповых конструкций корневыми классами и нильпотентными группами относительно равенства и вхождения

Руководитель Соколов Евгений Викторович, Доктор физико-математических наук

Организация финансирования, регион Федеральное государственное бюджетное образовательное учреждение высшего образования "Ивановский государственный университет" , Ивановская обл

Конкурс №64 - Конкурс 2021 года «Проведение фундаментальных научных исследований и поисковых научных исследований малыми отдельными научными группами»

Область знания, основной код классификатора 01 - Математика, информатика и науки о системах; 01-102 - Алгебра

Ключевые слова комбинаторная теория групп, аппроксимационные свойства групп, финитная аппроксимируемость, аппроксимируемость конечными p-группами, аппроксимируемость нильпотентными группами, аппроксимируемость разрешимыми группами, аппроксимируемость корневыми классами, отделимость подгрупп, алгоритмические проблемы в группах, проблема тождества, проблема вхождения, обобщенное свободное произведение, HNN-расширение, древесное произведение, фундаментальная группа графа групп

Код ГРНТИ27.17.17

---

 

ИНФОРМАЦИЯ ИЗ ЗАЯВКИ

---

Аннотация
Идея аппроксимируемости состоит в том, чтобы использовать для исследования свойств группы некоторый другой, хорошо изученный класс групп. Наибольшую известность получил результат А. И. Мальцева о том, что если конечно определенная группа финитно аппроксимируема относительно некоторого отношения, то в ней разрешима алгоритмическая проблема, заключающаяся в определении того, состоят ли элементы и подмножества группы в данном отношении. Помимо этого, аппроксимируемость классами всех конечных групп и конечных p-групп оказалась тесно связанной с такими свойствами, как линейность, хопфовость, упорядочиваемость, гиперболичность, локальная разрешимость и нильпотентность. Аппроксимируемость нильпотентными и разрешимыми группами имеет приложения в теории многообразий и CW-комплексов, используется при изучении групп кос, узлов и зацеплений. Следует также отметить, что многие аппроксимационные свойства связаны друг с другом, причем аппроксимирующий класс в этом случае вовсе не обязан быть одинаковым. Проект является частью комплексной программы исследования аппроксимируемости свободных конструкций групп (обобщенных свободных произведений, HNN-расширений, древесных произведений, фундаментальных групп графов групп) произвольными корневыми и близкими к ним классами групп относительно различных отношений, подразумевающей выработку методов таких исследований и получение с их помощью конкретных результатов. Первый этап данной программы — развитие и применение методов изучения аппроксимируемости свободных конструкций корневыми классами групп относительно равенства — успешно реализуется научным коллективом уже более 5 лет и был поддержан грантом РФФИ № 18-31-00187. Задачами настоящего проекта являются: 1) продолжение исследований аппроксимируемости свободных конструкций произвольным корневым классом групп: апробация и (при необходимости) корректировка разработанных ранее методов, обобщение уже полученных результатов, расширение списка конструкций и конкретных групп, для которых имеются критерии или достаточные условия аппроксимируемости корневыми классами; 2) выработка систематического подхода к изучению нильпотентной аппроксимируемости свободных конструкций групп с использованием имеющихся результатов об аппроксимируемости таких конструкций корневыми классами; 3) разработка и применение методов исследования отделимости произвольным корневым классом подгрупп свободных конструкций групп. Согласно одному из равносильных определений класс групп называется корневым, если он замкнут относительно взятия подгрупп, расширений и декартовых степеней, показатели которых совпадают с мощностями групп из данного класса. К числу корневых относятся многие классы групп, аппроксимируемость которыми рассматривается в литературе, например, классы всех конечных групп, всех разрешимых групп, конечных π-групп и периодических π-групп конечного периода для любого множества π простых чисел, а также всевозможные их пересечения. Ключевой особенностью реализуемой программы исследований и настоящего проекта является изучение аппроксимируемости не каким-то одним конкретным классом групп, а сразу целым семейством S классов, удовлетворяющих определенному набору условий. Данный подход позволяет сэкономить усилия и доказать «за раз» несколько утверждений вместо одного. Более важно, однако, то, что он обладает следующими двумя преимуществами. 1. Благодаря фиксированному набору условий, предъявляемых к аппроксимирующим классам групп, получаемые результаты хорошо «складываются» друг с другом и позволяют постепенно продвигаться в направлении усложнения рассматриваемых конструкций и ослабления ограничений, накладываемых на группы, из которых они построены. Если в начале исследований речь шла в основном об уточнении и обобщении известных фактов, то сейчас накопленный багаж позволяет доказывать, в том числе, и новые утверждения о финитной аппроксимируемости групп. 2. Наличие для одной и той же группы результатов о ее аппроксимируемости классами групп из семейства S дает возможность «зажать» очередной аппроксимирующий класс между двумя другими, для которых необходимые и/или достаточные условия аппроксимируемости уже известны. Это позволяет либо сразу получить результат об аппроксимируемости новым классом, либо очень существенно сократить число рассматриваемых случаев. Так как семейство S предполагается фиксированным и используется при изучении аппроксимационных свойств множества различных групп, то описанный прием превращается в полноценный метод (который в настоящем проекте применяется для исследования нильпотентной аппроксимируемости). Хотя идея с одновременным рассмотрением нескольких классов групп не является совершенно оригинальной и время от времени применялась в литературе, каждое такое исследование не выходило за рамки одной статьи и, как следствие, не могло сколько-нибудь существенным образом реализовать перечисленные выше преимущества. Поэтому систематическое применение указанной идеи можно считать новым, более универсальным и в ряде ситуаций более продуктивным подходом к исследованию аппроксимационных свойств. Следует также отметить, что свободные конструкции групп естественным образом возникают в топологии и весьма широко используются как в комбинаторной, так и в геометрической теории групп. Таким образом, упомянутая выше программа и настоящий проект представляют собой немаловажную часть исследований аппроксимационных свойств групп и предлагают комплексный подход к изучению аппроксимируемости различными конкретными классами групп, а результаты их реализации могут иметь достаточно широкое применение в алгебре, математической логике и геометрии.

---

 

ОТЧЁТНЫЕ МАТЕРИАЛЫ

---