Bourbaki

Exercise 18, § 3

Commutative Algebra, VII

Let KK be a field, f=g/hf = g/h an element of the field of rational fractions K(U,V)K(U, V) in two indeterminates, where gg and hh are two relatively prime polynomials of K[U,V]K[U, V]. Now prove that in the field of rational fractions K(X1,Y1,…,Xn,Yn)K(X_1, Y_1, \ldots, X_n, Y_n) in 2n2n indeterminates, the determinant det⁡(f(Xi,Yj))\det(f(X_i, Y_j)) is equal to:

(∏i,jh(Xi,Yj))−1V(X1,…,Xn)V(Y1,…,Yn)F(X˙1,Y1,…,Xn,Yn) \left( \prod_{i,j} h(X_i, Y_j) \right)^{-1} V(X_1, \ldots, X_n)V(Y_1, \ldots, Y_n) F(\dot{X}_1, Y_1, \ldots, X_n, Y_n)

where FF is a polynomial of K[X1,Y1,…,Xn,Yn]K[X_1, Y_1, \ldots, X_n, Y_n] and V(X1,…,Xn)V(X_1, \ldots, X_n) is the Vandermonde determinant (Alg., chap. III, § 6, No. 4). Special case where f=1/(U+V)f = 1/(U + V) (“Cauchy identity”).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6. Not checked by a person.