Bourbaki

Exercice 12, § 6

Algèbre, IV, p. 94

Il existe un unique polynôme Pp,q(T0,…,Tp,U0,…,Uq)P_{p,q}(T_0, \ldots, T_p, U_0, \ldots, U_q) à coefficients entiers tel que, pour tout anneau AA et tous polynômes f=tpXp+⋯+t0,g=uqXq+⋯+u0f = t_p X^p + \cdots + t_0, g = u_q X^q + \cdots + u_0 de A[X]A[X], on ait

res⁡p,q(f,g)=Pp,q(t0,…,tp,u0,…,uq). \operatorname{res}_{p,q}(f, g) = P_{p,q}(t_0, \ldots, t_p, u_0, \ldots, u_q) .

Si l’on munit TiT_i et UiU_i du poids ii, Pp,qP_{p,q} est isobare de poids pqpq.

Solution

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

Transcrit du volume imprimé. Non traduit.