Content deleted Content added
TakuyaMurata (talk | contribs) |
TakuyaMurata (talk | contribs) |
||
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 ==
|