的代数。设formula_6为在formula_7中"G"的伴随作用的不动点的子代数，故对所有formula_8有陈－韦伊同态是从formula_6到上同调代数formula_11的一个formula_1-代数同态。这个同态存在，且对"M"上任何主"G"-丛"P"有唯一定义。若"G"紧致，则于此同态下，"G"-丛"B"的分类空间的上同调环同构于不变多项式的代数formula_6：对于如SL("n",R)的非紧致群，可能有上同调类无不变多项式的表示。
同态的定义.取"P" 中任