理想Imσ_*~(2k)的群结构

MO_(n-2k)(BO(2k+1))是n-2k维光滑闭流形上实(2k+1)维平面丛的未定向上协边群,MO_n是未定向上协边群。是一个群同态,它把M~(n-2k)上的2k+1维平面丛映射到联系射影空间丛的全空间的上协边类。Imσ_*~(2k)=∑Imσ_n~(2k)是由Stong流形RP(n_1,n_2,…,n_(2k+1))的上协边类生成的