Solvable groups with cyclic relation module

DOI10.1016/0022-4049(93)90129-HMaRDI QIDQ1313808zbMATH OpenFDO

Authors Jens Harlander

Publication date 9 May 1995

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0022-4049(93)90129-H

zbMATH Keywords

\(m\)-relator presentationactionfinitely generated soluble almost one-relator groupgroup of operatorsminimal number of generatorsnormal closurepresentationrelation modulesoluble one-relator groups

Mathematics Subject Classification ID

Group rings of infinite groups and their modules (group-theoretic aspects) (20C07) Generators, relations, and presentations of groups (20F05) Solvable groups, supersolvable groups (20F16)

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\).

Recommendations

• Publication:4867083
• Relation Modules of Infinite Groups
• Abelian subgroup separability of some one-relator groups.
• THE CENTRE OF A ONE-RELATOR SOLVABLE GROUP
• Structure of Relative Relation Modules of Finite Groups

Cites work

• Almost finitely presented soluble groups
• Amalgamations of pro-p-groups with one defining relator
• Deficiency zero presentations for certain perfect groups
• Finiteness conditions for CW-complexes. I, II.
• Homological methods applied to the derived series of groups
• scientific article; zbMATH DE number 3475662 (Why is no real title available?)
• scientific article; zbMATH DE number 3572386 (Why is no real title available?)
• scientific article; zbMATH DE number 3452114 (Why is no real title available?)
• On one-relator soluble groups
• The partial Euler characteristics of the direct powers of a finite group
• Valuations and Finitely Presented Metabelian Groups

Cited in

(3)

• Cockcroft presentations
• THE CENTRE OF A ONE-RELATOR SOLVABLE GROUP
• scientific article; zbMATH DE number 848031 (Why is no real title available?)

This page was built for publication: Solvable groups with cyclic relation module

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1313808)