zbMATH — the first resource for mathematics

Two functions from Abelian groups to perfect groups. (English) Zbl 0614.20038
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.
Reviewer: M.E.Keating

20J05 Homological methods in group theory
20F05 Generators, relations, and presentations of groups
20E22 Extensions, wreath products, and other compositions of groups
55P20 Eilenberg-Mac Lane spaces
Full Text: DOI
[1] Baumslag, G.; Dyer, E.; Heller, A., The topology of discrete groups, J. pure appl. algebra, 16, 1-47, (1980) · Zbl 0419.20026
[2] Baumslag, G.; Dyer, E.; Miller, C.F., On the integral homology of finitely presented groups, Topology, 22, 27-46, (1983) · Zbl 0503.20018
[3] Berrick, A.J., An approach to algebraic K-theory, () · Zbl 0479.18006
[4] Berrick, A.J., The plus-construction and fibrations, Quart. J. math., 33, 2, 149-157, (1982) · Zbl 0451.55012
[5] Berrick, A.J., Characterisation of plus-constructive fibrations, Advances in math., 48, 172-176, (1983) · Zbl 0531.55012
[6] Berrick, A.J., Group epimorphisms preserving perfect radicals, and the plus-construction, (), 1-12 · Zbl 0532.20012
[7] Berrick, A.J., Group extensions and their trivialisation, L’enseign. math., 31, 151-172, (1985) · Zbl 0584.20023
[8] Berrick, A.J.; Downey, R.G., Perfect mclain groups are superperfect, Bull. austral. math. soc., 29, 249-257, (1984) · Zbl 0525.20035
[9] Berrick, A.J.; Keating, M.E., K-theory of triangular matrix rings, (), 69-74 · Zbl 0595.18005
[10] Dyer, J.L.; Formanek, E., Characteristic subgroups and complete automorphism groups, Amer. J. math., 99, 713-753, (1977) · Zbl 0367.20041
[11] Gersten, S.M., K3 of a ring is H3 of the Steinberg group, (), 366-368 · Zbl 0272.55006
[12] Kan, D.M.; Thurston, W.P., Every connected space has the homology of a K(φ, 1), Topology, 15, 253-258, (1976) · Zbl 0355.55004
[13] McLain, D.H., A characteristically simple group, (), 641-642 · Zbl 0056.02201
[14] Milnor, J., Introduction to algebraic K-theory, () · Zbl 0237.18005
[15] Robinson, D.J.S., Finiteness conditions and generalized soluble groups (part 2), () · Zbl 0395.20020
[16] Suslin, A.A., On the equivalence of K-theories, Comm. in algebra, 9, 15, 1559-1566, (1981) · Zbl 0469.18010
[17] Suslin, A.A., Stability in algebraic K-theory, (), 304-333, Part I · Zbl 0498.18008
[18] Swan, R.G., The nontriviality of the restriction map in the cohomology of groups, (), 885-887 · Zbl 0096.25302
[19] Wagoner, J.B., Delooping classifying spaces in algebraic K-theory, Topology, 11, 349-370, (1972) · Zbl 0276.18012
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.