Quadratic maps and Bockstein closed group extensions
From MaRDI portal
Abstract: We study central extensions E of elementary abelian 2-groups by elementary abelian 2-groups. Associated to such an extension is a quadratic map which determines the extension uniquely. The components of the map determine a quadratic ideal in a polynomial algebra and we say that the extension is Bockstein closed if this ideal is invariant under the Bockstein operator. We find a direct condition on the quadratic map that characterizes when the extension is Bockstein closed. Using this we show for example that quadratic maps induced from the fundamental quadratic map on gl_n, Q(A)=A+A^2 yield Bockstein closed extensions. We also show that this condition is equivalent to a certain liftability of the extension and under certain conditions, to the fact that Q corresponds to a 2-power map of a restricted 2-Lie algebra. For the class of 2-groups coming from these type of extensions, under a 2-power exact condition we also compute the mod 2 cohomology ring of the corresponding groups - this includes the upper triangular congruence subgroups among other examples.
Recommendations
- Bockstein closed 2-group extensions and cohomology of quadratic maps.
- Bilinear and quadratic maps, and some \(p\)-groups of class 2
- On the integral cohomology of extraspecial 2-groups
- Nilpotency of a kernel of the Quillen map
- Polynomiality properties of group extensions with a torsion-free Abelian kernel
Cites work
- Cohomology of uniformly powerful p-groups
- scientific article; zbMATH DE number 3196329 (Why is no real title available?)
- Sur la dimension cohomologique des groupes profinis
- The 2-groups of rank 2
- The cohomology of pro-\(p\) groups with a powerfully embedded subgroup.
- The mod 2 cohomology rings of extra-special 2-groups and the spinor groups
Cited in
(2)
This page was built for publication: Quadratic maps and Bockstein closed group extensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3592769)