步骤。这个结果推广了陈-高斯-博内定理。记formula_1为实数域或复数域。设"G"为实或复李群，有李代数formula_2，又记为formula_2上的formula_1-值多项式的代数。设formula_6为在formula_7中"G"的伴随作用的不动点的子代数，故对所有formula_8有陈－韦伊同态是从formula_6到上同调代数formula_11的一个formula_1-代数同态。这个同态存在，且对"M"上任何主"G"-丛"P"有唯一定义。若"G"紧致，则于此同态下，"G"-丛"