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

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

反之,任一不变多项式 都通过把 展开为 的多项式,而定义一个不变且对称的 重线性形式 。于是, 乘以 的系数按构造就是不变且对称的,它称为 的极化(polarization)。以 为例。按照上述做法,我们把 展开成 与 的幂。 的系数为

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