RUS  ENG
Full version
JOURNALS // Chebyshevskii Sbornik // Archive

Chebyshevskii Sb., 2014 Volume 15, Issue 1, Pages 32–42 (Mi cheb323)

This article is cited in 3 papers

On free subgroup in Artin group with tree-structure

V. N. Bezverkhniy, I. V. Dobrynina

Tula State Pedagogical University

Abstract: Let $G$ be finitely generated Artin group with tree-structure defined by the presentation $G = <a_1, ..., a_n; <a_ia_j>^{m_{ij}}=<a_ j a_ i>^{m_{ji}}, i ,j = \overline{1, n}>$, where $m_{ij}$ is number that corresponds to symmetrical matrix of Coxeter, and $m_{ij}\geq 2, i \ne j$ a group $G$ matches the end coherent tree-graph $\Gamma$ such that if the tops of some edge $e$ of the graph $\Gamma$ match the form $a_i$ and $a_j$, then the edge $e$ corresponds to the ratio of the species $<a_ia_j>^{m_{ij}}=<a_ j a_ i>^{m_{ji}}$.
Artin groups with a tree-structure was introduced by V. N. Bezverkhnii, theirs algorithmic problems were considered by V. N. Bezverkhnii and O. Y. Platonova (Karpova).
The group $G$ can be represented as the tree product 2-generated of the groups, united by a cyclic subgroups. We proceed from the graph $\Gamma$ of the group $G$ to the graph $\overline{\Gamma}$ the following follows: the tops of some edge $\overline{e}$ of the graph $\overline{\Gamma}$ put in correspondence Artin groups the two forming $G_{ij} = <a_i, a_j; <a_ia_j>^{m_{ij}}=<a_ j a_ i>^{m_{ji}}>$ and $G_{jk} = <a_j, a_k; <a_ja_k>^{m_{jk}}=<a_ k a_ j>^{m_{kj}} >$, and edge $\overline{e}$ will match cyclic subgroup $<a_j>$.
This paper considers the theorem on the freedom of the Artin groups with a tree-structure: let $H$ be finitely generated subgroup of an Artin group $G$ with a tree-structure, while for any $g \in G$ and every subgroup $G_{ij}$, $i\neq j$, executed equality $gHg^{-1}\cap G_{ij} =E$ then $H$ is free.
In the proof of use of the ideas V. N. Bezverkhnii on bringing many forming of the subgroup to a special set.

Keywords: Artin group with tree-structure, the subgroup, amalgamated product.

UDC: 519.4

Received: 27.02.2014



© Steklov Math. Inst. of RAS, 2025