Développement : Formule de Poisson

Détails/Enoncé :

Soit $A$ un anneau commutatif intègre. Soit $f = a_m X^m + \cdots + a_0$ avec $a_m \in A^*$. Soit $g \in A[X]$. On note $S = A[X]/(f)$ et $g_S : S \to S$ le passage au quotient de la multiplication par $g$. Alors
$$ Res_{m,n}(f,g) = a_m^n \det(g_S)$$

Recasages pour l'année 2024 :

Versions :

Références utilisées dans les versions de ce développement :

Élimination : le cas d'une variable, Apéry (utilisée dans 4 versions au total)