Relation modules of Abelian groups
type: Item
instance of: scholarly article
title: Relation modules of Abelian groups
zbMATH Open document ID: 0546.20004
DOI: 10.1007/BF01772928
published in: Archiv der Mathematik
publication date: 1984-01-01T00:00:00Z
review text: Let G be a finitely generated group and let 1\(\to R\to F\to G\to 1\) be a free presentation for G, where F is a free group of finite rank k. Then the \({\mathbb{Z}}G\)-lattice \(\bar R=R/R'\) is called the relation module associated to this free presentation. Define \(r_ k(G)\) to be the number of isomorphism classes of relation modules for G with \(rank(F)=k\). The main result of the article is a complete description of \(r_ k(G)\) for any finitely generated infinite abelian group G. More precisely, let d be the minimum number of elements of the finitely generated abelian group G required to generate G. Denote by h the Hirsch number of G (i.e. its torsion free rank) and let t be the greatest positive integer such that the d-fold cartesian power of the additive group of the ring \({\mathbb{Z}}_ t={\mathbb{Z}}/t{\mathbb{Z}}\) is isomorphic to a subgroup of G. Finally let \({\mathbb{Z}}^*_ t\) be the unit group of \({\mathbb{Z}}_ t ({\mathbb{Z}}^*_ t=\{1\}\) if \(t=1)\). Then (i) If \(k>d\), then \(r_ k(G)=1\). (ii) If \(h>2\), then \(r_ d(G)=| {\mathbb{Z}}_ t^*/<\pm 1>|\). (iii) If \(h=1\) or 2, then \(r_ d(G)=| {\mathbb{Z}}^*_ t/\pm ({\mathbb{Z}}_ t^*)^{d- 1}|\). It should be remarked that not for every finite abelian group such a precise formula is known [cf. \textit{P. J. Webb}, J. Pure Appl. Algebra 21, 205-232 (1981; Zbl 0488.20007)].
Mathematics Subject Classification ID: 20C12
Mathematics Subject Classification ID: 20C07
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 16S34
Mathematics Subject Classification ID: 20J05
Mathematics Subject Classification ID: 20K99
zbMATH DE Number: 3869567
zbMATH Keywords: finitely generated group
zbMATH Keywords: free presentation
zbMATH Keywords: relation modules
zbMATH Keywords: finitely generated infinite abelian group
zbMATH Keywords: Hirsch number
author: Peter A. Linnell
MaRDI profile type: Publication
cites work: Q5563439
cites work: Q4129638
cites work: Q4092172
cites work: Serre's conjecture
cites work: Decomposition of Augmentation Ideals and Relation Modules
cites work: Bounding the number of generators of a metabelian group
cites work: The minimal relation modules of a finite Abelian group
cites work: Minimal relation modules of free nilpotent groups
full work available at URL: https://doi.org/10.1007/bf01772928
OpenAlex ID: W2027911265
description: scientific article; zbMATH DE number 3869567