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

Д В Гольцов

doi:10.22405/2226-8383-2016-17-3-64-71

Abstract

Let \(\mathcal{K}\) be an abstract class of groups. Suppose \(\mathcal{K}\) contains at least a non trivial group. Then \(\mathcal{K}\) is called a root-class if the following conditions are satisfied: 1. If \(A \in \mathcal{K}\) and \(B \leq A\), then \(B \in \mathcal{K}\). 2. If \(A \in \mathcal{K}\) and \(B \in \mathcal{K}\), then \(A\times B \in \mathcal{K}\). 3. If \(1\leq C \leq B \leq A\) is a subnormal sequence and \(A/B, B/C \in \mathcal{K}\), then there exists a normal subgroup \(D\) in group \(A\) such that \(D \leq C\) and \(A/D \in \mathcal{K}\). Group \(G\) is root-class residual (or \(\mathcal{K}\)-residual), for a root-class \(\mathcal{K}\) if, for every \(1 \not = g \in G\), exists a homomorphism \(\varphi \) of group \(G\) onto a group of root-class \(\mathcal{K}\) such that \(g\varphi \not = 1\). Equivalently, group \(G\) is \(\mathcal{K}\)-residual if, for every \(1 \not = g \in G\), there exists a normal subgroup \(N\) of \(G\) such that \(G/N \in \mathcal{K}\) and \(g \not \in N\). The most investigated residual properties of groups are finite groups residuality (residual finiteness), \(p\)-finite groups residuality and soluble groups residuality. All there three classes of groups are root-classes. Therefore results about root-class residuality have safficiently enough general character. Let \(\mathcal{K}\) be a root-class of finite groups. And let \(G\) be a fundamental group of a finite graph of groups with finite edges groups. The necessary and sufficient condition of virtual \(\mathcal{K}\)-residuality for the group \(G\) is obtained.

Highlights

There three classes of groups are root-classes
Let K be a root-class of finite groups
Let G be a fundamental group of a finite graph of groups with finite edges groups

Summary

Введение

Абстрактный класс групп K называется корневым, если выполнены следующие три условия. 1. Свободное произведение двух групп с конечными объединенными подгруппами почти аппроксимируемо корневым классом конечных групп тогда и только тогда, когда этим свойством обладают свободные множители. HNN-расширение группы с конечными связными подгруппами почти аппроксимируемо корневым классом конечных групп тогда и только тогда, когда этим свойством обладает база HNN-расширения. Фундаментальная группа конечного графа групп с конечными реберными группами почти аппроксимируема корневым классом конечных групп тогда и только тогда, когда этим свойством обладают все вершинные группы. Фундаментальная группа графа групп Λ(Γ) относительно максимального поддерева S — это группа, которая порождается всеми вершинными группами Gx(x ∈ X) и множеством {ty : y ∈ Y ∖ S} и определяется следующими соотношениями: t−y 1αy(g)ty = ωy(g) (g ∈ Hy, y ∈ Y ∖ S), αy(g) = ωy(g) (g ∈ Hy, y ∈ S), Если граф Γ представляет собой две вершины, соединенные одним ребром, то фундаментальная группа G этого графа представляет собой свободное произведение двух вершинных групп с объединенными подгруппами.

Доказательство теоремы 1

Доказательство теоремы 2

Доказательство теоремы 3

Заключение