Solvable groups with cyclic relation module
type: Item
instance of: scholarly article
title: Solvable groups with cyclic relation module
zbMATH Open document ID: 0812.20016
DOI: 10.1016/0022-4049(93)90129-H
author: Jens Harlander
published in: Journal of Pure and Applied Algebra
publication date: 1995-05-09T00:00:00Z
review text: Let \(G\) be a group, \(P\) be a group of operators on \(G\), \(d_ P(G)\) be the minimal number of generators of \(G\) as a \(P\)-group. Let \(G \cong F/N\) be a presentation of \(G\), where \(F\) is a free group. Then \(F\) acts on \(N\) by conjugation and induces an action of \(G\) on \(N_{ab} = N/[N,N]\). The \(\mathbb{Z} G\)-module \(N_{ab}\) is called the relation module of the presentation \(F/N\). A presentation \(G \cong F/N\) is an \(m\)-relator presentation if \(d_ F(N) = m\), it is an almost \(m\)-relator presentation if \(d_ G(N_{ab}) = m\). The main results are as follows: Theorem 1. Let \(F/N\) be an almost \(m\)-relator presentation of a finitely generated abelian group. Then this presentation is an \(m\)-relator presentation. Let \(G\) be a group with presentation \(G \cong F/N\). Then \(G\) is called an almost one-relator group if the relation module \(N_{ab}\) is a cyclic \(\mathbb{Z} G\)-module. Theorem 2. If \(G\) is a finitely generated soluble almost one-relator group, then \(G\) is either cyclic or \(G = \langle x,y\mid yxy^{-1} = x^ m\rangle\) for some \(0 \neq m \in \mathbb{Z}\). So the soluble almost one-relator groups are precisely the soluble one-relator groups. Theorem 8. Let \(G\) be a finitely generated soluble group, \(G \cong F/N\) be a presentation of \(G\) such that the \(\mathbb{Z} G\)-module \(N_{ab}\) is cyclic. Then \(N\) is the normal closure of a single element in \(F\).
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 20F16
Mathematics Subject Classification ID: 20C07
zbMATH DE Number: 500593
zbMATH Keywords: group of operators
zbMATH Keywords: minimal number of generators
zbMATH Keywords: presentation
zbMATH Keywords: action
zbMATH Keywords: relation module
zbMATH Keywords: \(m\)-relator presentation
zbMATH Keywords: finitely generated soluble almost one-relator group
zbMATH Keywords: soluble one-relator groups
zbMATH Keywords: normal closure
reviewed by: L. A. Kurdachenko
MaRDI profile type: Publication
cites work: Q4059649
cites work: Almost finitely presented soluble groups
cites work: Valuations and Finitely Presented Metabelian Groups
cites work: Q4143495
cites work: Q4776056
cites work: Deficiency zero presentations for certain perfect groups
cites work: Amalgamations of pro-p-groups with one defining relator
cites work: The partial Euler characteristics of the direct powers of a finite group
cites work: Homological methods applied to the derived series of groups
cites work: On one-relator soluble groups
cites work: Finiteness conditions for CW-complexes. I, II.
description: scientific article; zbMATH DE number 500593