Bourbaki

习题 19, § 8

标签 04XN,永久不变。引用为 [Bourbaki, Tag 04XN]。

交换代数, VI, 468

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。

令 K 为 Henselian 域,估值为 v。令 E 为 K 上的有限维向量空间,Q 为 E 上的非简并二次方程形式,使得关系 Q(x)=0Q(x) = 0 蕴含 x=0x = 0。让

Φ(x,y)=Q(x+y)−Q(x)−Q(y) \Phi(x, y) = Q(x + y) - Q(x) - Q(y)

是关联的双线性形式。证明 2v(Φ(x,y))≥v(Q(x))+v(Q(y))2v(\Phi(x, y)) \geq v(Q(x)) + v(Q(y));推断出

v(Q(x+y))≥inf⁡(v(Q(x)),v(Q(y))). v(Q(x + y)) \geq \inf(v(Q(x)), v(Q(y))).

解答

尚未写出解答。

被以下引用

引用了

无。

Google 翻译生成的粗略草稿,质量较低。术语依照术语表,但句子可能有误;之后会由仔细的译文取代。