Bourbaki

Exercise 18, § 3

Commutative Algebra, VII, 568

Let K be a field and f=g/hf = g/h an element of the field of rational functions K(U,V)K(U, V) in two indeterminates, where g and h are two relatively prime polynomials of K[U,V]K[U, V]. Show that in the field of rational functions

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(X1,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(X_1, Y_1, \ldots, X_n, Y_n)
where F is a polynomial in 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 (Algebra, Chapter 111, § 6, no. 4). Consider the particular case where f=1/(U+V)f = 1/(U + V) ("Cuuchy's identity").

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.