اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدNotes on Selas work: Limit groups and Makanin-Razborov diagrams
94
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
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.
قيم البحث
اقرأ أيضاً
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-h
yperbolic 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.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
