Torsion-free metabelian groups with commutator quotient \(C_{p^n}\times C_{p^m}\)
type: Item
instance of: scholarly article
title: Torsion-free metabelian groups with commutator quotient \(C_{p^n}\times C_{p^m}\)
zbMATH Open document ID: 1006.20040
author: Carlos Cid
published in: Journal of Algebra
publication date: 2002-07-04T00:00:00Z
review text: An \(n\)-dimensional Bieberbach group \(G\) is a discrete, torsion-free, cocompact group of isometries of the \(n\)-dimensional Euclidean space. The corresponding orbit space \(M\), with \(G\) as fundamental group, is a (compact) flat Riemannian manifold. Conversely, each such manifold arises in this way. Algebraically, \(G\) is a torsion-free group containing a finitely generated maximal Abelian subgroup \(V\) (the translation subgroup) of finite index. The quotient \(G/V\) is called the point-group (or holonomy group) of \(G\). It is well known that \(G\) has a finite commutator quotient if and only if the first Betti number \(b_1(M)=0\) or equivalently, if and only if \(G\) is centerless [\textit{H. Hiller, C.-H. Sah}, Q. J. Math., Oxf. II. Ser. 37, 177-187 (1986; Zbl 0598.57014)]. In a previous work [\textit{C. F. Cid}, J. Group Theory 3, No. 2, 113-125 (2000; Zbl 0952.20040)], a specific family of centerless (metabelian) Bieberbach groups with point-group \(C_{p^n}\times C_{p^m}\), denoted by \(K(p^n,p^m)\), was introduced and studied. In this paper, considering the quotients of \(K(p,p^m)\), the author proves the existence of a finitely generated torsion-free metabelian group \(G\) with commutator quotient isomorphic to \(C_{p^n}\times C_{p^m}\) if and only if \(n,m\geq 2\) (Theorem A). The calculation of the torsion-free quotients of \(K(p,p^2)\) results in a complete list of torsion-free quotients of \(K(2,8)\) and \(K(4,4)\). From this it can be deduced that \(K(2,2)\), which is the fundamental group of the Hantzsche-Wendt manifold, is (up to isomorphism) the only finitely generated, torsion-free metabelian group with commutator quotient isomorphic with \(C_4\times C_4\).
reviewed by: Wim Malfait
Mathematics Subject Classification ID: 20H15
Mathematics Subject Classification ID: 20F16
Mathematics Subject Classification ID: 20F12
Mathematics Subject Classification ID: 20F14
Mathematics Subject Classification ID: 20F34
Mathematics Subject Classification ID: 57M05
zbMATH DE Number: 1763565
zbMATH Keywords: metabelian groups
zbMATH Keywords: Bieberbach groups
zbMATH Keywords: fundamental groups
zbMATH Keywords: finitely generated maximal Abelian subgroups
zbMATH Keywords: subgroups of finite index
zbMATH Keywords: commutator subgroups
zbMATH Keywords: torsion-free quotients
MaRDI profile type: Publication
full work available at URL: jabr.2001.9028
OpenAlex ID: W2001113848
cites work: Q4161848
cites work: Bieberbach groups and flat manifolds
cites work: Bieberbach groups with finite commutator quotient and point-group Cpn × Cpm
cites work: ON TORSION-FREE METABELIAN GROUPS WITH COMMUTATOR QUOTIENTS OF PRIME EXPONENT
cites work: HOLONOMY OF FLAT MANIFOLDS WITH b1 = 0
cites work: Q4198893
DOI: 10.1006/JABR.2001.9028
Recommended article: Bieberbach groups with finite commutator quotient and point-group Cpn × Cpm
Recommended article: Compact flat manifolds with holonomy group 𝐙₂⊕𝐙₂
Recommended article: Commutator subgroups of Hantzsche–Wendt groups
Recommended article: Five dimensional Bieberbach groups with trivial centre
Recommended article: \(K\)-theory of noncommutative Bieberbach manifolds
Recommended article: Q4333341
Recommended article: Bieberbach groups and flat manifolds with finite abelian holonomy from Artin braid groups
Recommended article: On Symmetry of Flat Manifolds
Recommended article: On Bieberbach subgroups of \(B _n/[P _n,P _n]\) and flat manifolds with cyclic holonomy \(\mathbb{Z}_{2^d}\)
Recommended article: Holonomy groups of Bieberbach groups with finite outer automorphism groups
description: scientific article; zbMATH DE number 1763565