Computing equations for residually free groups.

MaRDI QIDQ716393zbMATH OpenFDO

Authors Vincent Guirardel, Gilbert Levitt

Publication date 28 April 2011

Published in Illinois Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0902.2119, https://projecteuclid.org/euclid.ijm/1299679741

zbMATH Keywords

algorithmsfinite products of limit groupsfinitely generated subgroupsfinitely presented groupsresidually free quotient groups

Mathematics Subject Classification ID

Residual properties and generalizations; residually finite groups (20E26) Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Geometric group theory (20F65) Hyperbolic groups and nonpositively curved groups (20F67)

Abstract: We show that there is no algorithm deciding whether the maximal residually free quotient of a given finitely presented group is finitely presentable or not. Given a finitely generated subgroup G of a finite product of limit groups, we discuss the possibility of finding an explicit set of defining equations (i.e. of expressing G as the maximal residually free quotient of an explicit finitely presented group).

Recommendations

• On equations with subgroup restrictions on solutions in free groups
• FINITE INDEX SUBGROUPS OF FULLY RESIDUALLY FREE GROUPS
• scientific article; zbMATH DE number 2144681
• The isomorphism problem for finitely generated fully residually free groups.
• Equations and fully residually free groups

Cites work

• Algebraic geometry over groups. I: Algebraic sets and ideal theory
• Combinatorial group theory.
• Diophantine geometry over groups. I: Makanin-Razborov diagrams
• Enumerating limit groups.
• EXPONENTIAL GROUPS 2: EXTENSIONS OF CENTRALIZERS AND TENSOR COMPLETION OF CSA-GROUPS
• Hall's theorem for limit groups.
• scientific article; zbMATH DE number 2221701 (Why is no real title available?)
• Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups
• On Some Groups which cannot be Finitely Presented
• Structure and finiteness properties of subdirect products of groups
• Subgroups of direct products of limit groups.

Cited in

(3)

• COMPUTING HALL EXPONENTS IN THE FREE GROUP
• Equations and fully residually free groups
• Computing fixed closures in free groups.

This page was built for publication: Computing equations for residually free groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q716393)