In mathematics, the classifying space for the orthogonal group O(n) may be constructed as the Grassmannian of n-planes in an infinite-dimensional real space .

Cohomology ring The cohomology ring of with coefficients in the field of two elements is generated by the Stiefel–Whitney classes:Milnor & Stasheff, Theorem 7.1 on page 83Lawson & Michelson 90, Theorem B.7Hatcher 02, Theorem 4D.4.

Infinite classifying space The canonical inclusions induce canonical inclusions on their respective classifying spaces. Their respective colimits are denoted as:

is indeed the classifying space of .

See also

Classifying space for U(n) Classifying space for SO(n) Classifying space for SU(n)

Literature

External links

classifying space on nLab BO(n) on nLab

References