cohomologyRing
P186613
predicate
Indicates that one entity is the cohomology ring associated to another, encoding its cohomological structure and cup-product operations.
Sample triples (3)
| Subject | Object |
|---|---|
| 4-sphere S^4 | Z[α]/(α^2) with deg(α)=4 ⓘ |
| Grassmann manifolds | generated by Chern classes of the universal bundle (complex case) ⓘ |
| Grassmann manifolds | generated by Stiefel–Whitney or Pontryagin classes (real case) ⓘ |