No Arabic abstract
For a central perfect extension of groups $A rightarrowtail G twoheadrightarrow Q$, we study the maps $H_3(A,mathbb{Z}) to H_3(G, mathbb{Z})$ and $H_3(G, mathbb{Z}) to H_3(Q, mathbb{Z})$ provided that $Asubseteq G$. First we show that the image of $H_3(A, mathbb{Z})to H_3(G, mathbb{Z})/rho_ast(Aotimes_mathbb{Z} H_2(G, mathbb{Z}))$ is $2$-torsion where $rho: A times G to G$ is the usual product map. When $BQ^+$ is an $H$-space, we also study the kernel of the surjective homomorphism $H_3(G, mathbb{Z}) to H_3(Q, mathbb{Z})$.
Let k be a commutative algebra with the field of the rational numbers included in k and let (E,p,i) be a cleft extension of A. We obtain a new mixed complex, simpler than the canonical one, giving the Hochschild and cyclic homologies of E relative to ker(p). This complex resembles the canonical reduced mixed complex of an augmented algebra. We begin the study of our complex showing that it has a harmonic decomposition like to the one considered by Cuntz and Quillen for the normalized mixed complex of an algebra.
In this paper the third homology group of the linear group GL_2(R) with integral coefficients is investigated, where R is a commutative ring with many units.
It is known that, for an infinite field F, the indecomposable part of K_3(F) and the third homology of SL_2(F) are closely related. In fact, there is a canonical map alpha: H_3(SL_2(F),Z)_F* --> K_3(F)^ind. Suslin has raised the question that, is alpha an isomorphism? Recently Hutchinson and Tao have shown that this map is surjective. They also gave some arguments about its injectivity. In this article, we improve their arguments and show that alpha is bijective if and only if the natural maps H_3(GL_2(F), Z)--> H_3(GL_3(F), Z) and H_3(SL_2(F), Z)_F* --> H_3(GL_2(F), Z) are injective.
For each member $mathcal{A}$ of a family of linear cycle sets whose underlying abelian group is cyclic of order a power of a prime number, we compute all the central extensions of $mathcal{A}$ by an arbitrary abelian group.
We give an elementary proof of the well-known fact that the third cohomology group H^3(G, M) of a group G with coefficients in an abelian G-module M is in bijection to the set Ext^2(G, M) of equivalence classes of crossed module extensions of G with M.