Finitely Generated Virtually Free Groups have Finitely Presented Automorphism Group

1992 ◽  
Vol s3-64 (1) ◽  
pp. 49-69 ◽  
Author(s):  
Sava Krstić
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.


2020 ◽  
Vol 0 (0) ◽  
Author(s):  
Oleg Bogopolski

AbstractWe generalize a well-known periodicity lemma from the case of free groups to the case of acylindrically hyperbolic groups. This generalization has been used to describe solutions of certain equations in acylindrically hyperbolic groups and to characterize verbally closed finitely generated acylindrically hyperbolic subgroups of finitely presented groups.


1988 ◽  
Vol 40 (5) ◽  
pp. 1144-1155 ◽  
Author(s):  
J. McCool

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.


2012 ◽  
Vol 14 (03) ◽  
pp. 1250017 ◽  
Author(s):  
LEONARDO CABRER ◽  
DANIELE MUNDICI

An ℓ-groupG is an abelian group equipped with a translation invariant lattice-order. Baker and Beynon proved that G is finitely generated projective if and only if it is finitely presented. A unital ℓ-group is an ℓ-group G with a distinguished order unit, i.e. an element 0 ≤ u ∈ G whose positive integer multiples eventually dominate every element of G. Unital ℓ-homomorphisms between unital ℓ-groups are group homomorphisms that also preserve the order unit and the lattice structure. A unital ℓ-group (G, u) is projective if whenever ψ : (A, a) → (B, b) is a surjective unital ℓ-homomorphism and ϕ : (G, u) → (B, b) is a unital ℓ-homomorphism, there is a unital ℓ-homomorphism θ : (G, u) → (A, a) such that ϕ = ψ ◦ θ. While every finitely generated projective unital ℓ-group is finitely presented, the converse does not hold in general. Classical algebraic topology (à la Whitehead) is combined in this paper with the Włodarczyk–Morelli solution of the weak Oda conjecture for toric varieties, to describe finitely generated projective unital ℓ-groups.


2017 ◽  
Vol 16 (10) ◽  
pp. 1750187 ◽  
Author(s):  
Karima Alaoui Ismaili ◽  
David E. Dobbs ◽  
Najib Mahdou

Recently, Xiang and Ouyang defined a (commutative unital) ring [Formula: see text] to be Nil[Formula: see text]-coherent if each finitely generated ideal of [Formula: see text] that is contained in Nil[Formula: see text] is a finitely presented [Formula: see text]-module. We define and study Nil[Formula: see text]-coherent modules and special Nil[Formula: see text]-coherent modules over any ring. These properties are characterized and their basic properties are established. Any coherent ring is a special Nil[Formula: see text]-coherent ring and any special Nil[Formula: see text]-coherent ring is a Nil[Formula: see text]-coherent ring, but neither of these statements has a valid converse. Any reduced ring is a special Nil[Formula: see text]-coherent ring (regardless of whether it is coherent). Several examples of Nil[Formula: see text]-coherent rings that are not special Nil[Formula: see text]-coherent rings are obtained as byproducts of our study of the transfer of the Nil[Formula: see text]-coherent and the special Nil[Formula: see text]-coherent properties to trivial ring extensions and amalgamated algebras.


1999 ◽  
Vol 42 (3) ◽  
pp. 481-495 ◽  
Author(s):  
H. Ayik ◽  
N. Ruškuc

In this paper we consider finite generation and finite presentability of Rees matrix semigroups (with or without zero) over arbitrary semigroups. The main result states that a Rees matrix semigroup M[S; I, J; P] is finitely generated (respectively, finitely presented) if and only if S is finitely generated (respectively, finitely presented), and the sets I, J and S\U are finite, where U is the ideal of S generated by the entries of P.


Sign in / Sign up

Export Citation Format

Share Document