Exercice 18, § 9
Algèbre, II, p. 204
Bourbaki marks this one as harder than the rest.
Soient un plan projectif sur un corps , une application bijective de sur lui-même, provenant par passage aux quotients d’une application semi-linéaire bijective de sur lui-même, relative à un automorphisme de . a) Montrer que les quatre propriétés suivantes sont équivalentes: pour tout , , et sont en ligne droite; toute droite de contient un point invariant par ; par tout point de passe une droite invariante par ; pour toute droite de , les trois droites , et ont un point commun. (Montrer d’abord que ) et sont équivalentes; en déduire, par dualité (II, p. 203, exerc. 12) que et sont équivalentes; prouver enfin que entraîne et en déduire par dualité que entraîne .) b) On suppose que possède les propriétés énoncées dans a). Montrer que s’il existe dans une droite invariante par et ne contenant qu’un seul point invariant par , provient par passage aux quotients d’une transvection de (II, p. 206, exerc. 11). (Montrer que toute droite invariante par contient ; en considérant une droite ne passant pas par , montrer qu’il existe une droite passant par et contenant au moins deux points invariants par ; conclure que tous les points de sont nécessairement invariants par ). c) On suppose que possède les propriétés énoncées dans a). Montrer que s’il existe dans une droite invariante par et ne contenant que deux points invariants par , provient par passage aux quotients d’une dilatation de (II, p. 206, exerc. 11). (Si , sont les deux points de invariants par , montrer que toute droite invariante par passe par ou par ; remarquer ensuite qu’il existe au moins deux autres points , distincts de , et invariants par , et par suite que la droite passe par ou ; conclure en prouvant que tous les points de sont invariants par .) d) On suppose que possède les propriétés énoncées dans a) et que toute droite de invariante par contient au moins trois points distincts invariants par ; il existe alors dans un repère projectif (II, p. 202, exerc. 10) dont chaque point est invariant par ; en conclure qu’il existe une base de telle que provienne par passage aux quotients d’une application semi-linéaire de sur lui-même telle que pour . L’ensemble des points de invariants par est alors le plan projectif , où est l’espace vectoriel sur le corps des invariants de , engendré par , , . e) On suppose désormais que satisfait aux conditions de a) et de d), et que ni ni n’est l’identité. Montrer qu’il existe tel que et
(appliquer (1) en remplaçant par ); étendre (2) à tout en remarquant que , où et . En conclure que , puis déduire de (1) et (2) que l’on a
Solution
Aucune solution n’a encore été écrite.