本书暂定概念:尚未进入正式概念库。下面是本书给出的定义原文。

定义 1 · 6.4 德拉姆上同调群的结构

上同调环(cohomology ring) 由直和定义,即

出处:6.4 德拉姆上同调群的结构 · node a-6d24203242513672dbf46d50 · 源节点 SHA-256 feab939da38253f8…

定义 2 · 11.1 不变多项式与陈-韦伊同态

构成上同调环(cohomology ring),其乘法由诱导。设为

出处:11.1 不变多项式与陈-韦伊同态 · node a-cf8724d003a555882a7dccce · 源节点 SHA-256 c37020510b692ca3…