The non-finite presentability of IA(F_ 3) and GL_ 2(Z[t,t^-1])
If \(G'\) is the derived subgroup of the group \(G\), then every automorphism of \(G\) induces an automorphism on \(G/G'\) and the kernel of the relative homomorphism of \(\Aut G\) into \(\Aut(G/G')\) consists of all the automorphisms of \(G\), which induce the identity on \(G/G'\) and it is denoted by \(IA(G)\). In the case where \(G=F_n\) is the free group of rank \(n\), W. Magnus has shown that \(IA(F_n)\) is finitely generated and has exhibited a finite set of generators. But the question remained open whether the group \(IA(F_n)\) for \(n\geq 3\) is finitely presented. (For \(n=2\) it was proved by Nielsen that \(IA(F_2)\) is the group of inner automorphisms and therefore free.) In this paper the authors prove that the group \(IA(F_3)\) is not finitely presentable. In fact they prove something more general, i.e. that certain subgroups of \(IA(G)\), for \(G=F_3/N\), where \(N\) is a characteristic subgroup of \(F_3\), contained in the second derived subgroup \(F_3\) of \(F_3\), is not finitely presentable. Their second main result is the proof that \(\text{GL}_2(\mathbb{Z}[t,t^{-1}])\) is not finitely presentable. Here also they prove something more. Namely, if \(R\) is a commutative ring and \(G\) an indicable group, then any subgroup \(H\) of \(\text{GL}_2(RG)\) which contains \(E_2(RG)\), is not finitely presentable. Here \(RG\) is the group ring of \(G\) over \(R\) and \(E_2(RG)\) is the elementary group of degree 2 over \(RG\).
- Finite Presentability of Φn (G ), GLn (ZG) and their Elementary Subgroups and Steinberg Groups
- The Non-Finite Presentability of the Automorphism Group of the Free Z -Group of Rank Two
- scientific article; zbMATH DE number 1099104
- A finite presentation of the level 2 principal congruence subgroup of \(GL(n;\mathbf{Z})\)
- A non-selfdual automorphic representation of \(\text{GL}_3\) and a Galois representation
- Non-triviality of certain finitely-presented groups
- On the finite presentability of the group \(F/[M,N]\).
- A \(\mathrm{GL}_3\) analog of Selberg's result on \(S(t)\)
- Finite presentability of universal central extensions of \(\mathfrak{sl}_n\). II
- Finitely presented groups in the varieties \(\mathfrak{AN}_2\) and \(\mathfrak N_2\mathfrak A\)
- Homology and finiteness properties of \(\text{SL}_2(\mathbb{Z}[t,t^{-1}])\).
- An infinite presentation of the Torelli group
- The third subgroup of the Andreadakis-Johnson filtration of the automorphism group of a free group
- First cohomologies and the Johnson homomorphisms of the automorphism group of a free group.
- On triangular representations of (F_r)
- Generators and relations of ``lower-triangular automorphism groups of free groups
- Finiteness properties for a subgroup of the pure symmetric automorphism group.
- On the stable Andreadakis problem
- Central stability for the homology of congruence subgroups and the second homology of Torelli groups
- Congruences of convex algebras.
- Subgroups, automorphisms, and Lie algebras related to the basis-conjugating automorphism group
- On the second homology group of the Torelli subgroup of \(\Aut(F_n)\)
- Dimension of the Torelli group for \(\text{Out}(F_n)\).
- The integral cohomology of the group of loops.
- The Johnson homomorphism and the second cohomology of \(\text{IA}_n\).
- Infinite-dimensional cohomology of \(\mathbf{SL}_2(\mathbb Z[t,t^{-1}])\).
- The Johnson filtration of the McCool stabilizer subgroup of the automorphism group of a free group.
- A reduction of the target of the Johnson homomorphisms of the automorphism group of a free group.
- The kernel of the Magnus representation of the automorphism group of a free group is not finitely generated.
- Linear groups over general rings. I: Generalities.
- The cokernel of the Johnson homomorphisms of the automorphism group of a free metabelian group
- Some Remarks on IA Automorphisms of Free Groups
- Finite Presentability of Φn (G ), GLn (ZG) and their Elementary Subgroups and Steinberg Groups
- On the lower central series of the IA-automorphism group of a free group.
- The Non-Finite Presentability of the Automorphism Group of the Free Z -Group of Rank Two
- Isomorphism Classes and Derived Series of Certain Almost-Free Groups
- On the low-dimensional cohomology groups of the IA-automorphism group of the free group of rank three
- On the basis-conjugating automorphism groups of free groups and free metabelian groups
- On the Andreadakis conjecture restricted to the “lower-triangular” automorphism groups of free groups
- A note on semicompleteness of graph products of abelian groups
- A McCool Whitehead type theorem for finitely generated subgroups of \(\operatorname{Out}(F_n)\)
- On the derivation algebra of the free Lie algebra and trace maps
- The first homology of \(\mathrm{IA}_n\) with coefficients in spaces of Jacobi diagrams
- On unstable twisted rational cohomology groups of the automorphism groups of free groups
- On Schur algebras and derivations of free Lie algebras
- The stable Albanese homology of the IA-automorphism groups of free groups
- Arithmeticity of stabilizers of ideals in group rings
- On the image of the Burau representation of the IA-automorphism group of a free group.
- A geometric proof that \(\text{SL}_2(\mathbb{Z}[t,t^{-1}])\) is not finitely presented.
- Finiteness properties of arithmetic groups over function fields.
- On the fourth Johnson homomorphism of the automorphism group of a free group.
This page was built for publication: The non-finite presentability of \(IA(F_ 3)\) and \(\text{GL}_ 2(Z[t,t^{-1}])\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1365353)
