arXiv 0809.04672008-09math.GRmath.GT

Notes on Sela's work: Limit groups and Makanin-Razborov diagrams

Mladen Bestvina, Mark Feighn

备注：: 33 pages, 2 figures
发表信息：: Geometric and Cohomological Methods in Group Theory, LMS Lecture Note Series, No. 358(2009), 1-29

英文摘要：

This is the first in a planned series of papers giving an alternate approach to Zlil Sela's 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.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Makanin-Razborov diagrams for limit groups

We give a description of $Hom(G,L)$, where $L$ is a limit group (fully residually free group). We construct a finite diagram of groups, Makanin-Razborov diagram, that gives a convinient representation of all such homomorphisms.

2004-08-26math.GR

Limit groups for relatively hyperbolic groups, II: Makanin-Razborov diagrams

Let Gamma be a torsion-free group which is hyperbolic relative to a collection of free abelian subgroups. We construct Makanin-Razborov diagrams for Gamma. We also prove that every system of equations over Gamma is equivalent to a finite subsystem, and a number of structural results about Gamma-limit groups.

2005-12-21math.GR

Canonicality of Makanin-Razborov Diagrams - Counterexample

Sets of solutions to finite systems of equations in a free group, are equivalent to sets of homomorphisms from a fixed f.p. group into a free group. The latter can be encoded in a diagram, the construction of which is valid also for f.g. groups. The diagram is known to be canonical for a fixed f.g. group with a fixed generating set. In this paper we prove that the construction depends on the chosen generating set of the given f.g. group.

2018-02-07math.GR

字方程：对及其 Makanin-Razborov 图

Word Equations: Pairs and their Makanin-Razborov Diagrams

Hebrew University（希伯来大学）

本文提出用于编码自由半群方程组解集的 Makanin-Razborov 图，并展示其可用于分析自由半群的一阶理论片段。

2026-09-29math.GRmath.LOmath.RA

Automorphisms of Groups and a Higher Rank JSJ Decomposition I: RAAGs and a Higher Rank Makanin-Razborov Diagram

The JSJ decomposition encodes the automorphisms and the virtually cyclic splittings of a hyperbolic group. For general finitely presented groups, the JSJ decomposition encodes only their splittings. In this sequence of papers we study the automorphisms of a hierarchically hyperbolic group that satisfies some weak acylindricity conditions. To study these automorphisms we construct an object that can be viewed as a higher rank JSJ decomposition. In the first paper we demonstrate our construction in the case of a right angled Artin group. For studying automorphisms of a general HHG we construct w…

2023-03-07math.GRmath.LO

Makanin-Razborov Diagrams over Free Products

This paper is the first in a sequence on the first order theory of free products. In the first paper we generalize the analysis of systems of equations over free and (torsion-free) hyperbolic groups, and analyze system of equations over free products. To do that we introduce limit groups over the class of free products, and show that a finitely presented group has a canonical (finite) collection of maximal limit quotients. We further extend this finite collection and associate a Makanin-Razborov diagram over free products with a finitely presented group. This MR diagram encodes all the quotien…

2009-02-23math.GRmath.LO

更多相关论文收起更多论文

自由群、半群、结合代数和李代数中元组集合的典范Makanin-Razborov图与伪拓扑 I

A canonical Makanin-Razborov diagram and a pseudo topology for sets of tuples in free groups, semigroups, associative algebras and Lie algebras I

本文提出统一方法将Makanin-Razborov图与自由群中元组集合关联，证明单端MR图存在典范图，并据此定义伪闭包、秩及典范包络以研究各类代数簇的全局结构。

2025-05-28math.GRmath.LOmath.RA

Equations and fully residually free groups

This paper represents notes of the mini-courses given by the authors at the GCGTA conference in Dortmund (2007), Ottawa-Saint Sauveur conference (2007), Escola d'Algebra in Rio de Janeiro (2008) and Alagna (Italy, 2008) conference on equations in groups. We explain here the Elimination process for solving equations in a free group which has Makanin-Razborov process as a prototype. We also explain how we use this process to obtain the structure theorem for finitely generated fully residually free groups and many other results.

2009-04-28math.GRmath.LO

On Systems of Equations over Free Products of Groups

Using an analogue of Makanin-Razborov diagrams, we give a description of the solution set of systems of equations over an equationally Noetherian free product of groups $G$. Equivalently, we give a parametrisation of the set $Hom(H, G)$ of all homomorphisms from a finitely generated group $H$ to $G$. Furthermore, we show that every algebraic set over $G$ can be decomposed as a union of finitely many images of algebraic sets of NTQ systems. If the universal Horn theory of $G$ (the theory of quasi-identities) is decidable, then our constructions are effective.

2009-03-12math.GRmath.LO