Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userNotes on Selas work: Limit groups and Makanin-Razborov diagrams
87
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
This is the first in a planned series of papers giving an alternate approach to Zlil Selas work on the Tarski problems. The present paper is an exposition of work of Kharlampovich-Myasnikov and Sela giving a parametrization of Hom(G,F) where G is a finitely generated group and F is a non-abelian free group.
rate research
Read More
We discuss a problem posed by Gersten: Is every automatic group which does not contain Z+Z subgroup, hyperbolic? To study this question, we define the notion of n-tracks of length n, which is a structure like Z+Z, and prove its existence in the non-hyperbolic automatic groups with mild conditions. As an application, we show that if a group acts effectively, cellularly, properly discontinuously and cocompactly on a CAT(0) cube complex and its quotient is weakly special, then the above question is answered affirmatively.
The twin group $T_n$ is a right angled Coxeter group generated by $n- 1$ involutions and having only far commutativity relations. These groups can be thought of as planar analogues of Artin braid groups. In this note, we study some properties of twin groups whose analogues are well-known for Artin braid groups. We give an algorithm for two twins to be equivalent under individual Markov moves. Further, we show that twin groups $T_n$ have $R_infty$-property and are not co-Hopfian for $n ge 3$.
We prove that for geometrically finite groups cohomological dimension of the direct product of a group with itself equals 2 times the cohomological dimension dimension of the group.
Let $Gamma$ be the fundamental group of a surface of finite type and Comm$(Gamma)$ be its abstract commensurator. Then Comm$(Gamma)$ contains the solvable Baumslag--Solitar groups $langle a ,b : a b a^{-1} = b^n rangle$ for any $n > 1$. Moreover, the Baumslag--Solitar group $langle a ,b : a b^2 a^{-1} = b^3 rangle$ has an image in Comm$(Gamma)$ that is not residually finite. Our proofs are computer-assisted. Our results also illustrate that finitely-generated subgroups of Comm$(Gamma)$ are concrete objects amenable to computational methods. For example, we give a proof that $langle a ,b : a b^2 a^{-1} = b^3 rangle$ is not residually finite without the use of normal forms of HNN extensions.
Surface groups are determined among limit groups by their profinite completions. As a corollary, the set of surface words in a free group is closed in the profinite topology.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
