Bourbaki

Bài tập 6, § 17

Nhãn 00L9, cố định. Trích dẫn là [Bourbaki, Tag 00L9].

Đại số, VIII, p. 353

Cho D là một trường có tâm K và có bậc m2m^2 trên K. Cho xx là một phần tử của D có bậc n>1n >1 trên K, và cho f(X)f(X) là đa thức tối tiểu của nó trên K.

a) Chứng minh rằng một đa thức đơn khởi trong D[X] (VIII, p. 11) có bậc <n< n không thể chia hết bên phải bởi mọi đa thức X−txt−1X-txt^{-1} với t∈D∗t\in D^* (hãy nhận xét rằng phần tử sinh đơn khởi của iđêan ∩(D[X](X−txt−1))\cap (D[X] (X-txt^{-1})) có các hệ số trong K).

b) Cho u(X),v(X),w(X)u(X), v(X), w(X) là ba đa thức đơn nhất trong D[X] sao cho u(X)=u(X) = v(X)w(X)v(X)w(X) và X−xX-x là một ước phải của u(X)u(X) nhưng không phải của w(X)w(X). Viết w(X)=w(X) = q(X)(X−x)+tq(X) (X-x) +t với t∈D∗t\in D^*. Chứng minh rằng X−txt−1X-txt^{-1} là một ước phải của v(X)v(X).

c) Suy ra từ a) và b) rằng tồn tại nn phần tử t1,...,tnt_1, . . . , t_n của D sao cho ta có

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

(quan sát rằng f(X)f(X) chia phải hết cho mọi đa thức X−txt−1X-txt^{-1}).

d) Suy ra rằng TrdD/K(x)_{D/K}(x) (tương ứng, NrdD/K(x)_{D/K}(x)) là tổng (tương ứng, tích) của mm phần tử dạng txt−1txt^{-1} (áp dụng Mệnh đề 8 của VIII, p. 347).

Lời giải

Chưa có lời giải nào được viết.

Được trích dẫn bởi

Trích dẫn đến

Bản dịch máy từ tiếng Anh, bởi gpt-5.4. Chưa được người kiểm tra.