Bourbaki

Bài tập 16, § 2

Đại số, VI, p. 41

Cho K là một trường có thứ tự cực đại và

g(T)=a0+a1T+⋯+anTn g(T) = a_0 + a_1 T + \cdots + a_n T^n

là một đa thức khác không trong K[T] mà mọi nghiệm đều thuộc K. Chứng minh rằng với mọi đa thức f∈K[T]f \in K[T], số nghiệm của đa thức

a0f(T)+a1f′(T)+a2f′′(T)+…+anf(n)(T) a_0 f(T) + a_1 f'(T) + a_2 f''(T) + \ldots + a_n f^{(n)}(T)

không thuộc K, kể cả bội số, không vượt quá số nghiệm của ff, kể cả bội số, không thuộc K (sử dụng Bài tập 12 cho n=1n = 1, rồi tiến hành bằng quy nạp). Suy ra rằng đa thức

a0+a11!T+a22!T2+⋯+ann!Tn a_0 + \frac{a_1}{1!} T + \frac{a_2}{2!} T^2 + \cdots + \frac{a_n}{n!} T^n

có mọi nghiệm thuộc K.

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.