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

2001 ◽  
Vol 63 (3) ◽  
pp. 607-622 ◽  
Author(s):  
ATHANASSIOS I. PAPISTAS

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.

2004 ◽  
Vol 14 (03) ◽  
pp. 311-323 ◽  
Author(s):  
A. I. PAPISTAS

For positive integers n and c, with n≥2, let Gn,c be a relatively free group of rank n in the variety N2A∧AN2∧Nc. It is shown that there exists an explicitly described finite subset Ω of IA-automorphisms of Gn,c such that the cardinality of Ω is independent upon n and c and the subgroup of the automorphism group Aut (Gn,c) of Gn,c generated by the tame automorphisms and Ω has finite index in Aut (Gn,c). This is a simpler result than one given in [12, Theorem 1(I)]. Let L(Gn,c) be the associated Lie ring of Gn,c and K be a field of characteristic zero. The method developed in the proof of the aforementioned result is applied in order to find an explicitly described finite subset ΩL of the IA-automorphism group of K⊗L(Gn,c) such that the automorphism group of K⊗L(Gn,c) is generated by GL (n,K) and ΩL. In particular, for n≥3, the cardinality of ΩL is independent upon n and c.


2007 ◽  
Vol 17 (05n06) ◽  
pp. 1021-1031
Author(s):  
N. GUPTA ◽  
I. B. S. PASSI

For fixed m, n ≥ 2, we examine the structure of the nth lower central subgroup γn(F) of the free group F of rank m with respect to a certain finite chain F = F(0) > F(1) > ⋯ > F(l-1) > F(l) = {1} of free groups in which F(k) is of finite rank m(k) and is contained in the kth derived subgroup δk(F) of F. The derived subgroups δk(F/γn(F)) of the free nilpotent group F/γn(F) are isomorphic to the quotients F(k)/(F(k) ∩ γn(F)) and admit presentations of the form 〈xk,1,…,xk,m(k): γ(n)(F(k))〉, where γ(n)(F(k)), contained in γn(F), is a certain partial lower central subgroup of F(k). We give a complete description of γn(F) as a staggered product Π1 ≤ k ≤ l-1(γ〈n〉(F(k))*γ[n](F(k)))F(k+1), where γ〈n〉(F(k)) is a free factor of the derived subgroup [F(k),F(k)] of F(k) having countable infinite rank and generated by a certain set of reduced commutators of weight at least n, and γ[n](F(k)) is the subgroup generated by a certain finite set of products of non-reduced ordered commutators of weight at least n. There are some far-reaching consequences.


1949 ◽  
Vol 1 (2) ◽  
pp. 187-190 ◽  
Author(s):  
Marshall Hall

This paper has as its chief aim the establishment of two formulae associated with subgroups of finite index in free groups. The first of these (Theorem 3.1) gives an expression for the total length of the free generators of a subgroup U of the free group Fr with r generators. The second (Theorem 5.2) gives a recursion formula for calculating the number of distinct subgroups of index n in Fr.Of some independent interest are two theorems used which do not involve any finiteness conditions. These are concerned with ways of determining a subgroup U of F.


2015 ◽  
Vol 159 (1) ◽  
pp. 89-114 ◽  
Author(s):  
MORITZ RODENHAUSEN ◽  
RICHARD D. WADE

AbstractWe refine Cohen and Lustig's description of centralisers of Dehn twists of free groups. We show that the centraliser of a Dehn twist of a free group has a subgroup of finite index that has a finite classifying space. We describe an algorithm to find a presentation of the centraliser. We use this algorithm to give an explicit presentation for the centraliser of a Nielsen automorphism in Aut(Fn). This gives restrictions to actions of Aut(Fn) on CAT(0) spaces.


2012 ◽  
Vol 22 (04) ◽  
pp. 1250030
Author(s):  
LUCAS SABALKA ◽  
DMYTRO SAVCHUK

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


2011 ◽  
Vol 76 (1) ◽  
pp. 227-234 ◽  
Author(s):  
Rizos Sklinos

AbstractWe answer a question raised in [9], that is whether the infinite weight of the generic type of the free group is witnessed in Fω. We also prove that the set of primitive elements in finite rank free groups is not uniformly definable. As a corollary, we observe that the generic type over the empty set is not isolated. Finally, we show that uncountable free groups are not ℵ1-homogeneous.


2010 ◽  
Vol 20 (03) ◽  
pp. 343-355 ◽  
Author(s):  
JEREMY MACDONALD

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.


1974 ◽  
Vol 17 (2) ◽  
pp. 222-233 ◽  
Author(s):  
Narain Gupta ◽  
Frank Levin

Any variety of groups is generated by its free group of countably infinite rank. A problem that appears in various forms in Hanna Neumann's book [7] (see, for intance, sections 2.4, 2.5, 3.5, 3.6) is that of determining if a given variety B can be generated by Fk(B), one of its free groups of finite rank; and if so, if Fn(B) is residually a k-generator group for all n ≧ k. (Here, as in the sequel, all unexplained notation follows [7].)


2018 ◽  
Vol 21 (1) ◽  
pp. 125-146
Author(s):  
Lev Glebsky ◽  
Nevarez Nieto Saul

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.


Sign in / Sign up

Export Citation Format

Share Document