Two functions from Abelian groups to perfect groups
type: Item
instance of: scholarly article
title: Two functions from Abelian groups to perfect groups
zbMATH Open document ID: 0614.20038
DOI: 10.1016/0022-4049(87)90014-4
author: A. J. Berrick
published in: Journal of Pure and Applied Algebra
publication date: 1987-01-01T00:00:00Z
review text: Given a perfect group P, it is well-known that one can construct the universal central extension \(\hat P\) of P; there is a universal exact sequence \(1\to H\to \hat P\to P\to 1\). Then \(H=Z(\hat P)\) and \(\hat P\) itself has trivial universal central extension; H is the Schur multiplier \(H_ 2P.\) In this note, the author reverses this construction. Given an abelian group G, he constructs (functorially) a group A(G) which is acyclic \((H_ iA(G)=0\) all \(i>0)\) and has a natural isomorphism Z(A(G))\(\cong G\); if \(B(G)=A(G)/G\), then \(1\to G\to A(G)\to B(G)\to 1\) is the universal central extension of B(G). The group A(G) is a variant of an upper triangular matrix ring over the integers. Choose a dense linear ordered set \(\Lambda\) with initial and final elements. Then A(G) has generators \(X^ a_{\lambda \mu}\), \(\lambda <\mu\), where \(a\in {\mathbb{Z}}\) for \(0\neq \lambda\) and \(a\in G\) if \(0=\lambda\), and relations \(X^ a_{\lambda \mu}X^ b_{\lambda \mu}=X_{\lambda \mu}^{a+b}\), \([X^ a_{\lambda \mu},X^ b_{\delta \eta}]=1\) if \(\mu\neq \delta\), \(1\neq \eta\), and \([X^ a_{\lambda \mu},X^ b_{\delta \eta}]=X^{ab}_{\lambda \eta}\) if \(\mu =\delta\) regarding \({\mathbb{Z}}\) as trivial G-module.
Mathematics Subject Classification ID: 20J05
Mathematics Subject Classification ID: 20F05
Mathematics Subject Classification ID: 20E22
Mathematics Subject Classification ID: 55P20
zbMATH DE Number: 3993866
zbMATH Keywords: acyclic group
zbMATH Keywords: perfect group
zbMATH Keywords: universal central extension
zbMATH Keywords: Schur multiplier
zbMATH Keywords: generators
zbMATH Keywords: relations
MaRDI profile type: Publication
full work available at URL: 0022-4049(87)90014-4
OpenAlex ID: W2059699298
cites work: The topology of discrete groups
cites work: On the integral homology of finitely presented groups
cites work: Q3936891
cites work: THE PLUS-CONSTRUCTION AND FIBRATIONS
cites work: Characterisation of plus-constructive fibrations
cites work: Q3314044
cites work: Group extensions and their trivialisation
cites work: Perfect McLain groups are superperfect
cites work: Q3726317
cites work: Characteristic Subgroups and Complete Automorphism Groups
cites work: K 3 of a Ring is H 3 of the Steinberg Group
cites work: Every connected space has the homology of a \(K\) \((\pi,1)\)
cites work: Q5828016
cites work: Introduction to Algebraic K-Theory. (AM-72)
cites work: Q4177758
cites work: On the equivalence of k-theories
cites work: Q3963203
cites work: The Nontrivality of the Restriction Map in the Chomology of Groups
cites work: Delooping classifying spaces in algebraic K-theory
description: scientific article; zbMATH DE number 3993866