Bourbaki

Exercice 43, § 1

Algèbre commutative, IX, p. 57

Soit E:U(A)→Λ(A)E : U(A) \to \Lambda(A) l’application définie par

E(a)=∏n∈J(1−an(−T)n) E(a) = \prod_{n \in J} (1 - a_n(-T)^n)
pour a∈U(A)a \in U(A). a) Démontrer la commutativité du diagramme

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

En déduire que si AA est une Q\mathbf{Q}-algèbre, on a

∏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)
quel que soit a∈U(A)a \in U(A). b) Montrer que EE est bijectif. (Si l’on pose ∏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, il suffit d’appliquer l’exerc. 33, a), p. 51 à la famille de polynômes cn(X)c_n(X) de Z[X]\mathbf{Z}[X].) c) On munit Λ(A)\Lambda(A) de l’unique structure d’anneau telle que EE soit un isomorphisme d’anneaux. Montrer que l’addition de Λ(A)\Lambda(A) est la multiplication des séries, d’élément neutre 1. La multiplication de l’anneau Λ(A)\Lambda(A) notée (f,g)↦f∗g(f, g) \mapsto f * g, est définie par la formule
E(a×b)=E(a)∗E(b) E(a \times b) = E(a) * E(b)
quels que soient a,b∈U(A)a, b \in U(A); son élément neutre est 1+T1 + T. d) Soit τ:A→U(A)\tau : A \to U(A) l’application définie dans l’exerc. 37, c), p. 53. On a
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*}
quels que soient a,ba, b dans AA et f(T)f(T) dans Λ(A)\Lambda(A). e) Soient ff et gg deux éléments de Λ(A)\Lambda(A) qui soient des polynômes en TT, et soit mm le degré de ff. Posons
φ(X)=Xmf(T/X) \varphi(X) = X^m f(T/X)
et
γ(X)=g(−X). \gamma(X) = g(-X).
Ce sont des polynômes en XX à coefficients dans A[T]A[T]; φ\varphi est unitaire et f∗gf * g est le résultant res⁡(φ,γ)\operatorname{res}(\varphi, \gamma) des polynômes φ\varphi et γ\gamma (cf. A, IV, p. 75). (On pourra partir de la formule
(1+aT)∗g=g(aT), (1 + aT) * g = g(aT),
en déduire le résultat si A=Z[X1,...,Xm]A = \mathbf{Z}[X_1, ..., X_m] et f=∏i=1m(1+XiT)f = \prod_{i=1}^m (1 + X_i T), et passer de là au cas général.)

Solution

Aucune solution n’a encore été écrite.

Transcrit du volume imprimé. Non traduit.