Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups

DOI10.1006/jabr.1997.7184zbMath0904.20017OpenAlexW70112514MaRDI QIDQ1383969

Alexei G. Myasnikov, O. G. Kharlampovich

Publication date: 23 November 1998

Published in: Journal of Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jabr.1997.7184

zbMATH Keywords

HNN extensions free products subgroups fully residually free groups varieties over free groups residually free groups Lyndon group solutions to equations over groups

Mathematics Subject Classification ID

Subgroup theorems; subgroup growth (20E07) Generators, relations, and presentations of groups (20F05) Extensions, wreath products, and other compositions of groups (20E22) Free nonabelian groups (20E05) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Residual properties and generalizations; residually finite groups (20E26)

Related Items (94)

The Diophantine problem in the classical matrix groups ⋮ Groups with free regular length functions in $\mathbb{Z}^{n}$ ⋮ Magnus pairs in, and free conjugacy separability of, limit groups ⋮ Conjugacy distinguished subgroups. ⋮ Pro-Hall $R$-groups and groups discriminated by the free pro-$p$ group. ⋮ Some results of the theory of exponential $R$-groups ⋮ Complexity volumes of splittable groups ⋮ Implicit function theorem over free groups. ⋮ Elementary theory of free non-abelian groups. ⋮ A gluing theorem for negatively curved complexes ⋮ Limit groups and groups acting freely on $\mathbb{R}^n$-trees. ⋮ OEandW* superrigidity results for actions by surface braid groups ⋮ The isomorphism problem for finitely generated fully residually free groups. ⋮ Finding all solutions of equations in free groups and monoids with involution ⋮ Normalisers in limit groups. ⋮ The surface group conjecture: cyclically pinched and conjugacy pinched one-relator groups. ⋮ Profinite extensions of centralizers and the profinite completion of limit groups ⋮ Time complexity of the conjugacy problem in relatively hyperbolic groups ⋮ On algebraic-geometric and universal theories of abelian groups ⋮ Algebraic geometry over algebraic structures. II: Foundations ⋮ Ideals of equations for elements in a free group and context-free languages ⋮ Normal subgroups in limit groups of prime index ⋮ On pro-$p$ analogues of limit groups via extensions of centralizers. ⋮ Limit groups over coherent right-angled Artin groups ⋮ On subdirect products of type FP_n of limit groups over Droms RAAGs ⋮ Pregroups and the big powers condition. ⋮ On Some Finiteness Properties in Infinite Groups ⋮ Equations in Algebras ⋮ On Turner’s theorem and first-order theory ⋮ On systems of equations over free products of groups. ⋮ Makanin-Razborov diagrams for hyperbolic groups ⋮ LIMIT GROUPS ARE CONJUGACY SEPARABLE ⋮ Cohomological goodness and the profinite completion of Bianchi groups. ⋮ Subgroup separability in residually free groups. ⋮ Makanin-Razborov diagrams for limit groups. ⋮ Detecting geometric splittings in finitely presented groups ⋮ Algebraic and definable closure in free groups ⋮ Undecidability of equations in free Lie algebras ⋮ On Classes of ExponentialA-Groups ⋮ FINITE INDEX SUBGROUPS OF FULLY RESIDUALLY FREE GROUPS ⋮ ALGEBRAIC LOGIC AND LOGICALLY-GEOMETRIC TYPES IN VARIETIES OF ALGEBRAS ⋮ Subgroup properties of fully residually free groups ⋮ Volume gradients and homology in towers of residually-free groups ⋮ AFFINE ACTIONS ON NON-ARCHIMEDEAN TREES ⋮ ACTIONS, LENGTH FUNCTIONS, AND NON-ARCHIMEDEAN WORDS ⋮ Tame Automorphisms of Elementary Free Groups ⋮ Equations and algebraic geometry over profinite groups. ⋮ Logic in representations of groups ⋮ Bianchi groups are conjugacy separable. ⋮ $G$-manifolds of nilpotent groups and manifolds of power groups ⋮ COMPRESSED WORDS AND AUTOMORPHISMS IN FULLY RESIDUALLY FREE GROUPS ⋮ Cubulating malnormal amalgams. ⋮ On Fully Residually- Groups ⋮ A note on Lyndon properties in one-relator groups. ⋮ The conjugacy problem for relatively hyperbolic groups. ⋮ Subgroups of direct products of limit groups. ⋮ Algebraic geometry over algebraic structures. IX: Principal universal classes and dis-limits ⋮ Automorphisms of the category of free Lie algebras ⋮ Quasi-potency and cyclic subgroup separability. ⋮ Lyndon's Group is Conjugately Residually Free ⋮ Measure free factors of free groups. ⋮ On the residual finiteness of outer automorphisms of relatively hyperbolic groups. ⋮ Free limits of Thompson's group $F$. ⋮ Almost Locally Free Groups and a Theorem of Magnus: Some Questions ⋮ Makanin-Razborov diagrams over free products. ⋮ Computing equations for residually free groups. ⋮ The equation $x^py^q=z^r$ and groups that act freely on $Łambda $-trees ⋮ Limit groups as limits of free groups. ⋮ Special groups with an elementary hierarchy are virtually free-by-$\mathbb Z$. ⋮ Exponential extensions of groups ⋮ Fraïssé limits of limit groups ⋮ A polynomial bound on solutions of quadratic equations in free groups. ⋮ Limits of dihedral groups. ⋮ Ordering the space of finitely generated groups ⋮ Residually free 3-manifolds ⋮ Homological approximations for profinite and pro-p limit groups ⋮ On systems of equations over free partially commutative groups ⋮ The equation w(x, y) = u over free groups: an algebraic approach ⋮ The fully residually $F$ quotients of $F*\langle x,y\rangle$. ⋮ On subdirect products of type FP m of limit groups ⋮ Seven lectures on universal algebraic geometry ⋮ FULLY RESIDUALLY FREE GROUPS AND GRAPHS LABELED BY INFINITE WORDS ⋮ Kodaira fibrations, Kähler groups, and finiteness properties ⋮ Homomorphisms to acylindrically hyperbolic groups I: Equationally noetherian groups and families ⋮ Almost locally free groups and the genus question ⋮ Diophantine problems in solvable groups ⋮ Quadratic properties in group amalgams ⋮ Algebraic geometry over groups. I: Algebraic sets and ideal theory ⋮ On subgroups of right angled Artin groups with few generators ⋮ Limit groups over partially commutative groups and group actions on real cubings ⋮ Stallings foldings and subgroups of free groups ⋮ Limit groups for relatively hyperbolic groups. II: Makanin-Razborov diagrams. ⋮ Quadratic equations in the Grigorchuk group. ⋮ Strong accessibility for finitely presented groups

Cites Work

This page was built for publication: Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups