The non-finite presentability of \(IA(F_ 3)\) and \(\text{GL}_ 2(Z[t,t^{-1}])\)
type: Item
instance of: scholarly article
title: The non-finite presentability of \(IA(F_ 3)\) and \(\text{GL}_ 2(Z[t,t^{-1}])\)
zbMATH Open document ID: 0880.20031
author: Sava Krstić
author: James McCool
published in: Inventiones Mathematicae
publication date: 1998-02-09T00:00:00Z
review text: 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\).
Mathematics Subject Classification ID: 20F28
Mathematics Subject Classification ID: 20E05
Mathematics Subject Classification ID: 20H25
Mathematics Subject Classification ID: 20F05
zbMATH DE Number: 1054511
zbMATH Keywords: IA-automorphisms of free groups
zbMATH Keywords: not finitely presentable groups
zbMATH Keywords: derived subgroups
zbMATH Keywords: groups of inner automorphisms
zbMATH Keywords: indicable groups
zbMATH Keywords: group rings
zbMATH Keywords: elementary groups
MaRDI profile type: Publication
full work available at URL: s002220050174
OpenAlex ID: W2054230662
DOI: 10.1007/S002220050174
Recommended article: Finite Presentability of Φn (G ), GLn (ZG) and their Elementary Subgroups and Steinberg Groups
Recommended article: The Non-Finite Presentability of the Automorphism Group of the Free Z -Group of Rank Two
Recommended article: Q4369290
Recommended article: A finite presentation of the level 2 principal congruence subgroup of \(GL(n;\mathbf{Z})\)
Recommended article: A non-selfdual automorphic representation of \(\text{GL}_3\) and a Galois representation
Recommended article: Non-triviality of certain finitely-presented groups
Recommended article: Q3499687
Recommended article: A \(\mathrm{GL}_3\) analog of Selberg's result on \(S(t)\)
Recommended article: Finite presentability of universal central extensions of \(\mathfrak{sl}_n\). II
Recommended article: Finitely presented groups in the varieties \(\mathfrak{AN}_2\) and \(\mathfrak N_2\mathfrak A\)
description: scientific article; zbMATH DE number 1054511