Bài tập 18, § 9
Đại số, II, p. 204
Bourbaki marks this one as harder than the rest.
Cho là một mặt phẳng xạ ảnh trên một trường , là một ánh xạ song ánh của lên chính nó, thu được bằng cách chuyển qua thương từ một ánh xạ nửa tuyến tính song ánh của lên chính nó, đối với một tự đẳng cấu của . a) Chứng minh rằng bốn tính chất sau là tương đương: với mọi , , và nằm trên một đường thẳng; mọi đường thẳng của chứa một điểm bất biến đối với ; qua mọi điểm của đi qua một đường thẳng bất biến đối với ; với mọi đường thẳng của , ba đường thẳng , và có một điểm chung. (Trước hết chứng minh rằng ) và là tương đương; suy ra, bằng đối ngẫu (II, p. 203, Bài tập 12), rằng và là tương đương; cuối cùng chứng minh rằng kéo theo và suy ra bằng đối ngẫu rằng kéo theo .) b) Giả sử rằng có các tính chất đã nêu trong a). Chứng minh rằng nếu trong tồn tại một đường thẳng bất biến đối với và chỉ chứa một điểm bất biến đối với , thì thu được bằng cách chuyển qua thương từ một phép trượt của (II, p. 206, Bài tập 11). (Chứng minh rằng mọi đường thẳng bất biến đối với đều chứa ; bằng cách xét một đường thẳng không đi qua , chứng minh rằng tồn tại một đường thẳng đi qua và chứa ít nhất hai điểm bất biến đối với ; kết luận rằng mọi điểm của nhất thiết đều bất biến đối với .) c) Giả sử rằng có các tính chất đã nêu trong a). Chứng minh rằng nếu trong tồn tại một đường thẳng bất biến đối với và chỉ chứa hai điểm bất biến đối với , thì thu được bằng cách chuyển qua thương từ một phép vị tự của (II, p. 206, Bài tập 11). (Nếu , là hai điểm của bất biến đối với , chứng minh rằng mọi đường thẳng bất biến đối với đều đi qua hoặc đi qua ; sau đó nhận xét rằng tồn tại ít nhất hai điểm khác , phân biệt với , và bất biến đối với , và do đó đường thẳng đi qua hoặc ; kết luận bằng cách chứng minh rằng mọi điểm của đều bất biến đối với .) d) Giả sử rằng có các tính chất đã nêu trong a) và rằng mọi đường thẳng của bất biến đối với chứa ít nhất ba điểm phân biệt bất biến đối với ; khi đó tồn tại trong một khung xạ ảnh (II, p. 202, Bài tập 10) mà mỗi điểm của nó đều bất biến đối với ; kết luận rằng tồn tại một cơ sở của sao cho thu được bằng cách chuyển qua thương từ một ánh xạ nửa tuyến tính của lên chính nó sao cho với . Tập hợp các điểm của bất biến đối với khi đó là mặt phẳng xạ ảnh , trong đó là không gian vectơ trên trường gồm các phần tử bất biến của , sinh bởi , , . e) Giả sử từ đây rằng thỏa mãn các điều kiện của a) và d), và rằng cả lẫn đều không phải là đồng nhất. Chứng minh rằng tồn tại sao cho và
(áp dụng (1) bằng cách thay bởi ); mở rộng (2) đến mọi bằng cách nhận thấy rằng , trong đó và . Kết luận rằng , rồi suy ra từ (1) và (2) rằng ta có
Lời giải
Chưa có lời giải nào được viết.