42 research outputs found
Stallings graphs for quasi-convex subgroups
We show that one can define and effectively compute Stallings graphs for
quasi-convex subgroups of automatic groups (\textit{e.g.} hyperbolic groups or
right-angled Artin groups). These Stallings graphs are finite labeled graphs,
which are canonically associated with the corresponding subgroups. We show that
this notion of Stallings graphs allows a unified approach to many algorithmic
problems: some which had already been solved like the generalized membership
problem or the computation of a quasi-convexity constant (Kapovich, 1996); and
others such as the computation of intersections, the conjugacy or the almost
malnormality problems.
Our results extend earlier algorithmic results for the more restricted class
of virtually free groups. We also extend our construction to relatively
quasi-convex subgroups of relatively hyperbolic groups, under certain
additional conditions.Comment: 40 pages. New and improved versio
Algebraic extensions in free groups
The aim of this paper is to unify the points of view of three recent and
independent papers (Ventura 1997, Margolis, Sapir and Weil 2001 and Kapovich
and Miasnikov 2002), where similar modern versions of a 1951 theorem of
Takahasi were given. We develop a theory of algebraic extensions for free
groups, highlighting the analogies and differences with respect to the
corresponding classical field-theoretic notions, and we discuss in detail the
notion of algebraic closure. We apply that theory to the study and the
computation of certain algebraic properties of subgroups (e.g. being malnormal,
pure, inert or compressed, being closed in certain profinite topologies) and
the corresponding closure operators. We also analyze the closure of a subgroup
under the addition of solutions of certain sets of equations.Comment: 35 page
Every group is the outer automorphism group of an HNN-extension of a fixed triangle group
Fix an equilateral triangle group
with arbitrary. Our main result is: for every presentation
of every countable group there exists an HNN-extension
of such that . We construct the HNN-extensions explicitly, and examples are given. The
class of groups constructed have nice categorical and residual properties. In
order to prove our main result we give a method for recognising malnormal
subgroups of small cancellation groups, and we introduce the concept of
"malcharacteristic" subgroups.Comment: 39 pages. Final version, to appear in Advances in Mathematic
Algebraic extensions in free groups
The aim of this paper is to unify the points of view of three recent and independent papers (Ventura 1997, Margolis, Sapir and Weil 2001 and Kapovich and Miasnikov 2002), where similar modern versions of a 1951 theorem of Takahasi were given. We develop a theory of algebraic extensions for free groups, highlighting the analogies and differences with respect to the corresponding classical fieldt heoretic notions, and we discuss in detail the notion of algebraic closure. We apply that theory to the study and the computation of certain algebraic properties of subgroups (e.g. being malnormal, pure, inert or compressed, being closed in certain profinite topologies) and the corresponding closure operators. We also analyze the closure of a subgroup under the addition of solutions of certain sets of equations
Generic properties of subgroups of free groups and finite presentations
Asymptotic properties of finitely generated subgroups of free groups, and of
finite group presentations, can be considered in several fashions, depending on
the way these objects are represented and on the distribution assumed on these
representations: here we assume that they are represented by tuples of reduced
words (generators of a subgroup) or of cyclically reduced words (relators).
Classical models consider fixed size tuples of words (e.g. the few-generator
model) or exponential size tuples (e.g. Gromov's density model), and they
usually consider that equal length words are equally likely. We generalize both
the few-generator and the density models with probabilistic schemes that also
allow variability in the size of tuples and non-uniform distributions on words
of a given length.Our first results rely on a relatively mild prefix-heaviness
hypothesis on the distributions, which states essentially that the probability
of a word decreases exponentially fast as its length grows. Under this
hypothesis, we generalize several classical results: exponentially generically
a randomly chosen tuple is a basis of the subgroup it generates, this subgroup
is malnormal and the tuple satisfies a small cancellation property, even for
exponential size tuples. In the special case of the uniform distribution on
words of a given length, we give a phase transition theorem for the central
tree property, a combinatorial property closely linked to the fact that a tuple
freely generates a subgroup. We then further refine our results when the
distribution is specified by a Markovian scheme, and in particular we give a
phase transition theorem which generalizes the classical results on the
densities up to which a tuple of cyclically reduced words chosen uniformly at
random exponentially generically satisfies a small cancellation property, and
beyond which it presents a trivial group
The triviality problem for profinite completions
We prove that there is no algorithm that can determine whether or not a
finitely presented group has a non-trivial finite quotient; indeed, this
remains undecidable among the fundamental groups of compact, non-positively
curved square complexes. We deduce that many other properties of groups are
undecidable. For hyperbolic groups, there cannot exist algorithms to determine
largeness, the existence of a linear representation with infinite image (over
any infinite field), or the rank of the profinite completion.This is the accepted manuscript. The final version is available from Springer at http://dx.doi.org/10.1007/s00222-015-0578-