For a cohomology class , its rth cup power is its r-fold product in the cohomology ring. Naturality gives . A nilpotent class has some positive cup power zero; the nilpotence order is preserved by ring isomorphisms and can obstruct a homotopy equivalence or a nonzero mapping degree.
New to topics? Read the docs here!