Computation of the cohomology of \(B\widehat{SO}_ n<16>\) for \(23\leq n\leq 26\) using REDUCE
type: Item
instance of: scholarly article
title: Computation of the cohomology of \(B\widehat{SO}_ n<16>\) for \(23\leq n\leq 26\) using REDUCE
zbMATH Open document ID: 0663.55008
DOI: 10.1016/S0747-7171(89)80009-4
author: Tze Beng Ng
published in: Journal of Symbolic Computation
publication date: 1989-01-01T00:00:00Z
review text: The author presents the result of a computation of \(H^*(B\hat SO_ n<8>;{\mathbb{Z}}_ 2)\) for 23\(\leq n\leq 26\), which allows to write down the polynomial structure of \(H^*(B\hat SO_ n<16>;{\mathbb{Z}}_ 2),\) 23\(\leq n\leq 26\), explicitly. He uses Gröbner basis method in the computation. It seems that the method can be extended to the computation of the \(E_{\infty}\) term of some Leray-Serre spectral sequence of a fibration when the mod 2 cohomology ring of the base space is a polynomial algebra over \({\mathbb{Z}}_ 2\).
Mathematics Subject Classification ID: 55R40
Mathematics Subject Classification ID: 55-04
Mathematics Subject Classification ID: 68W30
Mathematics Subject Classification ID: 55T10
zbMATH DE Number: 4084566
zbMATH Keywords: cohomology of the 8-connected cover of BSO(n)
zbMATH Keywords: 16-connected cover of BSO(n)
zbMATH Keywords: classifying spaces of orthogonal groups
zbMATH Keywords: Gröbner basis
zbMATH Keywords: Serre spectral sequence of a fibration
zbMATH Keywords: polynomial algebra
MaRDI profile type: Publication
cites work: Q3789075
cites work: Q3714165
cites work: Q3670170
cites work: Q3697897
cites work: Construction of universal bundles. I
cites work: Construction of universal bundles. II
cites work: Characteristic Classes. (AM-76)
cites work: A Note on the mod 2 Cohomology of BŜOn〈l6〉
cites work: The mod 2 cohomology rings of extra-special 2-groups and the spinor groups
full work available at URL: s0747-7171(89)80009-4
OpenAlex ID: W2047425985
description: scientific article; zbMATH DE number 4084566