You are currently browsing the daily archive for July 10th, 2009.
Định lý 3 (Chevalley-Warning).-Cho là các đa thức
biến sao cho
, và cho
là tập các nghiệm chung của chúng trong
. Khi đó
.
Đặt và cho
. Nếu
, tất cả
bằng
và
; nếu
, một trong các
khác
và
, do đó
. Do đó
là hàm đặc trưng của
. Nếu với mỗi đa thức
chúng ta đặt
, thì
. Vậy chúng ta quy về việc chứng minh
.
Gỉa thiết cho ta
; vậy
là một tổ hợp tuyến tính của các đơn thức
với
. Sẽ là đủ nếu ta chứng minh được rằng với mỗi đơn thức
như vậy ta có
, điều này có được từ bổ đề vì ít nhất một trong các
phải nhỏ hơn
.
Hệ quả 1.-Nếu và nếu các
không có từ hằng, thì các
có nghiệm chung khác
.
Thật vậy, nếu thì
không thể chia hết cho
.
Hệ quả 1 có áp dụng đáng chú ý khi các là các đa thức thuần nhất. Nói riêng:
Hệ quả 2.-Tất cả dạng bậc hai trong ít nhất biến trên
có nghiệm không tầm thường.
(Theo ngôn ngữ hình học: Mỗi conic trên trường hữu hạn có ít nhất một điểm hữu tỷ).

Recent Comments