本书暂定概念:尚未进入正式概念库。下面是本书给出的定义原文。
定义 · 11.1 不变多项式与陈-韦伊同态
反之,任一不变多项式 都通过把 展开为 的多项式,而定义一个不变且对称的 重线性形式 。于是, 乘以 的系数按构造就是不变且对称的,它称为 的极化(polarization)。以 为例。按照上述做法,我们把 展开成 与 的幂。 的系数为
英文原文
Conversely, any invariant polynomial defines an invariant and symmetric -linear form by expanding as a polynomial in . Then times the coefficient of is invariant and symmetric by construction and is called the polarization of . Take , for example. Following the previous prescription, we expand in powers of and . The coefficient of is
出处:11.1 不变多项式与陈-韦伊同态 · node a-cc112f7368015fd4142851c9 · 源节点 SHA-256 184a3e6c9adf0b89…