scholarly journals Almost congruence extension property for subgroups of free groups

2018 ◽  
Vol 21 (1) ◽  
pp. 125-146
Author(s):  
Lev Glebsky ◽  
Nevarez Nieto Saul
Keyword(s):  
Normal Subgroup ◽  
Free Group ◽  
Free Groups ◽  
Extension Property ◽  
Normal Closure ◽  
Sufficient Condition ◽  
Congruence Extension Property ◽  
Finitely Generated ◽  
Finite Set

AbstractLetHbe a subgroup ofFand{\langle\kern-1.422638pt\langle H\rangle\kern-1.422638pt\rangle_{F}}the normal closure ofHinF. We say thatHhas the Almost Congruence Extension Property (ACEP) inFif there is a finite set of nontrivial elements{\digamma\subset H}such that for any normal subgroupNofHone has{H\cap\langle\kern-1.422638pt\langle N\rangle\kern-1.422638pt\rangle_{F}=N}whenever{N\cap\digamma=\emptyset}. In this paper, we provide a sufficient condition for a subgroup of a free group to not possess ACEP. It also shows that any finitely generated subgroup of a free group satisfies some generalization of ACEP.

Some Remarks on IA Automorphisms of Free Groups

1988 ◽  
Vol 40 (5) ◽  
pp. 1144-1155 ◽  
Author(s):  
J. McCool
Keyword(s):  
Automorphism Group ◽  
Normal Subgroup ◽  
Free Group ◽  
Quotient Group ◽  
Free Groups ◽  
Finitely Generated ◽  
Generating Set ◽  
Automorphisms Of Free Groups ◽  
Identity Automorphism ◽  
Image Position

Let An be the automorphism group of the free group Fn of rank n, and let Kn be the normal subgroup of An consisting of those elements which induce the identity automorphism in the commutator quotient group . The group Kn has been called the group of IA automorphisms of Fn (see e.g. [1]). It was shown by Magnus [7] using earlier work of Nielsen [11] that Kn is finitely generated, with generating set the automorphismsandwhere x1, x2, …, xn, is a chosen basis of Fn.

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 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.

Finite Quotients of the Automorphism Group of a Free Group

1977 ◽  
Vol 29 (3) ◽  
pp. 541-551 ◽  
Author(s):  
Robert Gilman
Keyword(s):  
Automorphism Group ◽  
Normal Subgroup ◽  
Free Group ◽  
Outer Automorphism ◽  
Permutation Representation ◽  
Finitely Generated ◽  
Outer Automorphism Group ◽  
Finite Quotients

Let G and F be groups. A G-defining subgroup of F is a normal subgroup N of F such that F/N is isomorphic to G. The automorphism group Aut (F) acts on the set of G-defining subgroups of F. If G is finite and F is finitely generated, one obtains a finite permutation representation of Out (F), the outer automorphism group of F. We study these representations in the case that F is a free group.

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.

AUTOMORPHISMS OF RELATIVELY FREE GROUPS IN THE VARIETY N2A ∧ AN2 ∧ Nc

2001 ◽  
Vol 63 (3) ◽  
pp. 607-622 ◽  
Author(s):  
ATHANASSIOS I. PAPISTAS
Keyword(s):  
Automorphism Group ◽  
Free Group ◽  
Finite Index ◽  
Finite Rank ◽  
Free Groups ◽  
Finite Set ◽  
Tame Automorphism ◽  
Positive Integers ◽  
Relatively Free Group

For positive integers n and c, with n [ges ] 2, let Gn, c be a relatively free group of finite rank n in the variety N2A ∧ AN2 ∧ Nc. It is shown that the subgroup of the automorphism group Aut(Gn, c) of Gn, c generated by the tame automorphisms and an explicitly described finite set of IA-automorphisms of Gn, c has finite index in Aut(Gn, c). Furthermore, it is proved that there are no non-trivial elements of Gn, c fixed by every tame automorphism of Gn, c.

scholarly journals AUTOMORPHIC ORBITS IN FREE GROUPS: WORDS VERSUS SUBGROUPS

2010 ◽  
Vol 20 (04) ◽  
pp. 561-590 ◽  
Author(s):  
PEDRO V. SILVA ◽  
PASCAL WEIL
Keyword(s):  
Free Group ◽  
Free Groups ◽  
Finitely Generated ◽  
Primitive Elements ◽  
Group Of Automorphisms ◽  
Rational Subset ◽  
Rank 2 ◽  
Higher Rank

We show that the following problems are decidable in a rank 2 free group F2: Does a given finitely generated subgroup H contain primitive elements? And does H meet the orbit of a given word u under the action of G, the group of automorphisms of F2? Moreover, decidability subsists if we allow H to be a rational subset of F2, or alternatively if we restrict G to be a rational subset of the set of invertible substitutions (a.k.a. positive automorphisms). In higher rank, the following weaker problem is decidable: given a finitely generated subgroup H, a word u and an integer k, does H contain the image of u by some k-almost bounded automorphism? An automorphism is k-almost bounded if at most one of the letters has an image of length greater than k.

Sign in / Sign up

Export Citation Format

Share Document