Bourbaki

Bài tập 43, § 1

Đại số giao hoán, IX, p. 57

Cho E:U(A)→Λ(A)E : U(A) \to \Lambda(A) là ánh xạ được xác định bởi

E(a)=∏n∈J(1−an(−T)n) E(a) = \prod_{n \in J} (1 - a_n(-T)^n)
với a∈U(A)a \in U(A). a) Chứng minh tính giao hoán của biểu đồ

AJ↙Φ↘LU(A)→EΛ(A) \begin{array}{ccc} & & A^J \\ & \swarrow_{\Phi} & \searrow^{L} \\ U(A) & \xrightarrow{E} & \Lambda(A) \end{array}

Suy ra rằng nếu AA là một Q\mathbf{Q}-đại số, ta có

∏n∈J(1−anTn)=exp⁡(−∑n∈J(Φn(a)/n)Tn) \prod_{n \in J} (1 - a_n T^n) = \exp(- \sum_{n \in J} (\Phi_n(a)/n) T^n)
với mọi a∈U(A)a \in U(A). b) Bây giờ chứng minh rằng EE là song ánh. (Nếu đặt ∏n∈J(1−an(−T)n)=∑n≥0cn(a)(−T)n\prod_{n \in J} (1 - a_n(-T)^n) = \sum_{n \geq 0} c_n(a)(-T)^n, thì chỉ cần áp dụng Bài tập 33, a), p. 51 cho họ các đa thức cn(X)c_n(X) trong Z[X]\mathbf{Z}[X].) c) Trang bị cho Λ(A)\Lambda(A) cấu trúc vành duy nhất sao cho EE là một đẳng cấu vành. Bây giờ chứng minh rằng phép cộng của Λ(A)\Lambda(A) là phép nhân của các chuỗi, với phần tử đơn vị là 1. Phép nhân của vành Λ(A)\Lambda(A), ký hiệu (f,g)↦f∗g(f, g) \mapsto f * g, được xác định bởi công thức
E(a×b)=E(a)∗E(b) E(a \times b) = E(a) * E(b)
với mọi a,b∈U(A)a, b \in U(A); phần tử đơn vị của nó là 1+T1 + T. d) Cho τ:A→U(A)\tau : A \to U(A) là ánh xạ được xác định trong Bài tập 37, c), p. 53. Ta có
E(τ(a))=1+aT(1+aT)∗(1+bT)=1+abT(1+aT)∗f(T)=f(aT)L(1+aT)=(an)n∈J \begin{align*} E(\tau(a)) &= 1 + aT \\ (1 + aT) * (1 + bT) &= 1 + abT \\ (1 + aT) * f(T) &= f(aT) \\ L(1 + aT) &= (a^n)_{n \in J} \end{align*}
với mọi a,ba, b trong AA và f(T)f(T) trong Λ(A)\Lambda(A). e) Cho ff và gg là hai phần tử của Λ(A)\Lambda(A) là các đa thức theo TT, và cho mm là bậc của ff. Đặt
φ(X)=Xmf(T/X) \varphi(X) = X^m f(T/X)
và
γ(X)=g(−X). \gamma(X) = g(-X).
Đây là các đa thức theo XX với các hệ số trong A[T]A[T]; φ\varphi là monic và f∗gf * g là kết quả thức res⁡(φ,γ)\operatorname{res}(\varphi, \gamma) của các đa thức φ\varphi và γ\gamma (xem A, IV, p. 75). (Bắt đầu từ công thức
(1+aT)∗g=g(aT), (1 + aT) * g = g(aT),
ta có thể suy ra kết quả nếu A=Z[X1,...,Xm]A = \mathbf{Z}[X_1, ..., X_m] và f=∏i=1m(1+XiT)f = \prod_{i=1}^m (1 + X_i T), rồi chuyển từ đó sang trường hợp tổng quát.)

Lời giải

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

Bản dịch máy từ tiếng Anh, bởi gpt-5-6-mini. Chưa được người kiểm tra. Mô hình này là bản rút gọn của mô hình đã viết phần còn lại của ngôn ngữ này.