Đại số, IV, p. 100
a) Cho K là một trường và X1,…,Xn là các ẩn. Hãy chứng tỏ rằng với mọi số mũ v1<v2<…<vn thì định thức det(Xivj) khác không trong K(X1,…,Xn).
b) Gọi sk (1≤k≤n) là các đa thức đối xứng cơ bản theo các Xi và r1,…,rn là n phần tử của trường K(X1,…,Xn). Đặt (với một ẩn mới T)
R(T)=1+s1T+⋯+snTn1+r1T+⋯+rnTn=1+u1T+⋯+ukTk+⋯.
Hãy chứng tỏ rằng nếu n hệ số uk bằng không thì mọi uk đều bằng không. (Phân tích R(T) thành các phân thức đơn.)
*c) Giả sử K có đặc số không. Gọi {v1,v2,…,vn} là một tập hợp gồm n phần tử ≥1 của N, và gọi M là phần bù của tập hợp này trong N; giả sử thêm rằng M ổn định dưới phép cộng. Hãy chứng tỏ rằng nếu y1,…,yn là n phần tử của K(X1,…,Xn) sao cho
Pvj(y1,…,yn)=Pvj(X1,…,Xn)
với 1≤j≤n, thì yj=Xj với 1≤j≤n, trừ phi sai khác bởi một phép hoán vị. (Xét khai triển của logR(T)=v1T+v2T2+⋯+vkTk+⋯, nhận thấy rằng vvj=0 với 1≤j≤n và khảo sát các hệ thức giữa các vk và các uk.)*