Bourbaki

Bài tập 18, § 2

Đại số giao hoán, VII, 568

Cho K là một trường và f=g/hf = g/h là một phần tử của trường các hàm hữu tỉ K(U,V)K(U, V) theo hai bất định, trong đó g và h là hai đa thức nguyên tố cùng nhau của K[U,V]K[U, V]. Chứng minh rằng trong trường các hàm hữu tỉ

K(X1,Y1,…,Xn,Yn) K(X_1, Y_1, \ldots, X_n, Y_n)
theo 2n2n bất định, định thức det⁡(f(Xi,Yj))\det(f(X_i, Y_j)) bằng:
(∏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)
trong đó F là một đa thức trong K[X1,Y1,…,Xn,Yn]K[X_1, Y_1, \ldots, X_n, Y_n] và V(X1,…,Xn)V(X_1, \ldots, X_n) là định thức Vandermonde (Đại số, Chương 111, § 6, no. 4). Xét trường hợp riêng khi f=1/(U+V)f = 1/(U + V) ("đồng nhất thức Cuuchy").

Lời giải

Chưa có lời giải nào được viết.

Bản dịch máy từ tiếng Anh, bởi gpt-5-6-mini. Chưa được người kiểm tra. Mô hình này là bản rút gọn của mô hình đã viết phần còn lại của ngôn ngữ này.