Bourbaki

习题 6, § 17

标签 00L9,永久不变。引用为 [Bourbaki, Tag 00L9]。

代数, VIII, p. 353

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

令 D 为域和次数 m2m^2 的中心 K 在 K 上。令 xx 为次数 n>1n >1 的 D 的元素在 K 上,并令 f(X)f(X) 为其在 K 上的最小多项式。

a) 证明 D[X] (VIII, p. 11) 中次数 <n< n 不能的一个单调多项式可以被 t∈D∗t\in D^* 的所有多项式 X−txt−1X-txt^{-1} 整除(观察理想的单调生成元) ∩(D[X](X−txt−1))\cap (D[X] (X-txt^{-1})) 的系数为 K)。

b) 令 u(X),v(X),w(X)u(X), v(X), w(X) 为 D[X] 中的三个单调多项式,使得 u(X)=u(X) = v(X)w(X)v(X)w(X) 和 X−xX-x 是 u(X)u(X) 的右除子,但不是 w(X)w(X)。将 w(X)=w(X) = q(X)(X−x)+tq(X) (X-x) +t 写成 t∈D∗t\in D^*。证明X−txt−1X-txt^{-1}是v(X)v(X)的右除子。

c) 从 a) 和 b) 推导出 D 存在 nn 元素 t1,...,tnt_1, . . . , t_n 使得我们有

f(X)=(X−t1xt1−1)⋯(X−tnxtn−1) f(X) = (X-t_1xt^{-1}_1)\cdots (X-t_nxt^{-1}_n)

(观察f(X)f(X)可以被所有多项式X−txt−1X-txt^{-1}整除)。

d) 推导出TrdD/K(x)_{D/K}(x)(或NrdD/K(x)_{D/K}(x))是形式txt−1txt^{-1}的mm元素的和(或乘积)(VIII的应用命题8, p. 347)。

解答

尚未写出解答。

被以下引用

引用了

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