Lang's theorem: Difference between revisions

Content deleted Content added
Line 15:
Suppose that ''F'' is an endomorphism of an algebraic group ''G''. The '''Lang map''' is the map from ''G'' to ''G'' taking ''g'' to ''g''<sup>−1</sup>''F''(''g'').
 
The '''Lang–Steinberg theorem''' states<ref>{{harvnb|Steinberg|1968|loc=Theorem 10.1}}</ref> that if ''F'' is surjective and has a finite number of fixed points, and ''G'' is a connected affine algebraic group over an algebraically closed field, then the Lang map is surjective.
 
== Proof of Lang's theorem ==