scholarly journals FULLY RESIDUALLY FREE GROUPS AND GRAPHS LABELED BY INFINITE WORDS

2006 ◽  
Vol 16 (04) ◽  
pp. 689-737 ◽  
Author(s):  
ALEXEI G. MYASNIKOV ◽  
VLADIMIR N. REMESLENNIKOV ◽  
DENIS E. SERBIN
Keyword(s):  
Free Group ◽  
Free Groups ◽  
Membership Problem ◽  
Finitely Generated ◽  
Limit Groups ◽  
Infinite Words ◽  
Integer Coefficients ◽  
Ring Of Polynomials

Let F = F(X) be a free group with basis X and ℤ[t] be a ring of polynomials with integer coefficients in t. In this paper we develop a theory of (ℤ[t],X)-graphs — a powerful tool in studying finitely generated fully residually free (limit) groups. This theory is based on the Kharlampovich–Myasnikov characterization of finitely generated fully residually free groups as subgroups of the Lyndon's group Fℤ[t], the author's representation of elements of Fℤ[t] by infinite (ℤ[t],X)-words, and Stallings folding method for subgroups of free groups. As an application, we solve the membership problem for finitely generated subgroups of Fℤ[t], as well as for finitely generated fully residually free groups.

scholarly journals A FAST ALGORITHM FOR STALLINGS' FOLDING PROCESS

2006 ◽  
Vol 16 (06) ◽  
pp. 1031-1045 ◽  
Author(s):  
NICHOLAS W. M. TOUIKAN
Keyword(s):  
Free Group ◽  
Fast Algorithm ◽  
Free Groups ◽  
Membership Problem ◽  
Finitely Generated ◽  
Folding Process ◽  
Algorithmic Problems ◽  
The Given

Stalling's folding process is a key algorithm for solving algorithmic problems for finitely generated subgroups of free groups. Given a subgroup H = 〈J1,…,Jm〉 of a finitely generated nonabelian free group F = F(x1,…,xn) the folding porcess enables one, for example, to solve the membership problem or compute the index [F : H]. We show that for a fixed free group F and an arbitrary finitely generated subgroup H (as given above) we can perform the Stallings' folding process in time O(N log *(N)), where N is the sum of the word lengths of the given generators of H.

scholarly journals On finitely generated submonoids of virtually free groups

2018 ◽  
Vol 10 (2) ◽  
pp. 63-82
Author(s):  
Pedro V. Silva ◽  
Alexander Zakharov
Keyword(s):  
Word Problem ◽  
Free Group ◽  
Free Groups ◽  
Isomorphism Problem ◽  
Geometric Characterization ◽  
Finitely Generated ◽  
Free Monoids ◽  
Virtually Free Group

AbstractWe prove that it is decidable whether or not a finitely generated submonoid of a virtually free group is graded, introduce a new geometric characterization of graded submonoids in virtually free groups as quasi-geodesic submonoids, and show that their word problem is rational (as a relation). We also solve the isomorphism problem for this class of monoids, generalizing earlier results for submonoids of free monoids. We also prove that the classes of graded monoids, regular monoids and Kleene monoids coincide for submonoids of free groups.

scholarly journals Detecting conjugacy stability of subgroups in certain classes of groups

2021 ◽  
Vol 0 (0) ◽  
Author(s):  
Isabel Fernández Martínez ◽  
Denis Serbin
Keyword(s):  
Free Group ◽  
Free Groups ◽  
Hyperbolic Groups ◽  
Effective Procedure ◽  
Finitely Generated ◽  
Limit Groups ◽  
Torsion Free ◽  
Effective Procedures

Abstract In this paper, we consider the conjugacy stability property of subgroups and provide effective procedures to solve the problem in several classes of groups. In particular, we start with free groups, that is, we give an effective procedure to find out if a finitely generated subgroup of a free group is conjugacy stable. Then we further generalize this result to quasi-convex subgroups of torsion-free hyperbolic groups and finitely generated subgroups of limit groups.

Basics

2018 ◽  
pp. 7-8
Author(s):  
Christophe Reutenauer
Keyword(s):  
Free Group ◽  
Free Groups ◽  
Free Monoid ◽  
Periodic Pattern ◽  
Infinite Words ◽  
Reduced Words

Definitions and basic results about words: alphabet, length, free monoid, concatenation, prefix, suffix, factor, conjugation, reversal, palindrome, commutative image, periodicity, ultimate periodicity, periodic pattern, infinite words, bi-infinite words, free groups, reduced words, homomorphisms, embedding of a free monoid in a free group, abelianization,matrix of an endomorphism, GL2(Z), SL2(Z).

scholarly journals Finitely generated cyclic extensions of free groups are residually finite

1971 ◽  
Vol 5 (1) ◽  
pp. 87-94 ◽  
Author(s):  
Gilbert Baumslag
Keyword(s):  
Free Group ◽  
Principal Ideal ◽  
Free Groups ◽  
Cyclic Extension ◽  
Principal Ideal Domain ◽  
Finitely Generated ◽  
Finitely Generated Module ◽  
Residually Finite ◽  
Ideal Domain ◽  
Direct Sum

We establish the result that a finitely generated cyclic extension of a free group is residually finite. This is done, in part, by making use of the fact that a finitely generated module over a principal ideal domain is a direct sum of cyclic modules.

scholarly journals ON RESTRICTING SUBSETS OF BASES IN RELATIVELY FREE GROUPS

2012 ◽  
Vol 22 (04) ◽  
pp. 1250030
Author(s):  
LUCAS SABALKA ◽  
DMYTRO SAVCHUK
Keyword(s):  
Solvable Group ◽  
Free Group ◽  
Free Groups ◽  
Finitely Generated ◽  
Free Solvable Group ◽  
Relatively Free Group

Let G be a finitely generated free, free abelian of arbitrary exponent, free nilpotent, or free solvable group, or a free group in the variety AmAn, and let A = {a1,…, ar} be a basis for G. We prove that, in most cases, if S is a subset of a basis for G which may be expressed as a word in A without using elements from {al+1,…, ar} for some l < r, then S is a subset of a basis for the relatively free group on {a1,…, al}.

MALNORMALITY IS DECIDABLE IN FREE GROUPS

1999 ◽  
Vol 09 (06) ◽  
pp. 687-692 ◽  
Author(s):  
GILBERT BAUMSLAG ◽  
ALEXEI MYASNIKOV ◽  
VLADIMIR REMESLENNIKOV
Keyword(s):  
Free Group ◽  
Free Groups ◽  
Finitely Generated

We prove here that there is an algorithm whereby one can decide whether or not any finitely generated subgroup of a finitely generated free group is malnormal.

scholarly journals GENERICITY OF FILLING ELEMENTS

2012 ◽  
Vol 22 (02) ◽  
pp. 1250008 ◽  
Author(s):  
BRENT B. SOLIE
Keyword(s):  
Free Group ◽  
Time Complexity ◽  
Linear Time ◽  
Sufficient Condition ◽  
Membership Problem ◽  
Isometric Action ◽  
Finitely Generated ◽  
Generic Subset ◽  
Translation Length

An element of a finitely generated non-Abelian free group F(X) is said to be filling if that element has positive translation length in every very small minimal isometric action of F(X) on an ℝ-tree. We give a proof that the set of filling elements of F(X) is exponentially F(X)-generic in the sense of Arzhantseva and Ol'shanskiı. We also provide an algebraic sufficient condition for an element to be filling and show that there exists an exponentially F(X)-generic subset consisting only of filling elements and whose membership problem has linear time complexity.

scholarly journals Free groups and finite-type invariants of pure braids

2002 ◽  
Vol 132 (1) ◽  
pp. 117-130 ◽  
Author(s):  
JACOB MOSTOVOY ◽  
SIMON WILLERTON
Keyword(s):  
Finite Type ◽  
Free Group ◽  
Free Groups ◽  
Braid Groups ◽  
Point Of View ◽  
Magnus Expansion ◽  
Vassiliev Invariants ◽  
Integer Coefficients ◽  
Finite Type Invariants ◽  
Theoretic Point

In this paper finite type invariants (also known as Vassiliev invariants) of pure braids are considered from a group-theoretic point of view. New results include a construction of a universal invariant with integer coefficients based on the Magnus expansion of a free group and a calculation of numbers of independent invariants of each type for all pure braid groups.

scholarly journals COMPRESSED WORDS AND AUTOMORPHISMS IN FULLY RESIDUALLY FREE GROUPS

2010 ◽  
Vol 20 (03) ◽  
pp. 343-355 ◽  
Author(s):  
JEREMY MACDONALD
Keyword(s):  
Automorphism Group ◽  
Word Problem ◽  
Free Group ◽  
Polynomial Time ◽  
Free Groups ◽  
Finitely Generated

We show that the compressed word problem in a finitely generated fully residually free group ([Formula: see text]-group) is decidable in polynomial time, and use this result to show that the word problem in the automorphism group of an [Formula: see text]-group is decidable in polynomial time.

Sign in / Sign up

Export Citation Format

Share Document