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

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

对角组合为

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