Lang's theorem
http://dbpedia.org/resource/Lang's_theorem an entity of type: Abstraction100002137
In algebraic geometry, Lang's theorem, introduced by Serge Lang, states: if G is a connected smooth algebraic group over a finite field , then, writing for the Frobenius, the morphism of varieties is surjective. Note that the kernel of this map (i.e., ) is precisely . The theorem implies that vanishes, and, consequently, any G-bundle on is isomorphic to the trivial one. Also, the theorem plays a basic role in the theory of finite groups of Lie type. The proof (given below) actually goes through for any that induces a nilpotent operator on the Lie algebra of G.
rdf:langString
rdf:langString
Lang's theorem
xsd:integer
42146937
xsd:integer
1072013743
rdf:langString
In algebraic geometry, Lang's theorem, introduced by Serge Lang, states: if G is a connected smooth algebraic group over a finite field , then, writing for the Frobenius, the morphism of varieties is surjective. Note that the kernel of this map (i.e., ) is precisely . The theorem implies that vanishes, and, consequently, any G-bundle on is isomorphic to the trivial one. Also, the theorem plays a basic role in the theory of finite groups of Lie type. It is not necessary that G is affine. Thus, the theorem also applies to abelian varieties (e.g., elliptic curves.) In fact, this application was Lang's initial motivation. If G is affine, the Frobenius may be replaced by any surjective map with finitely many fixed points (see below for the precise statement.) The proof (given below) actually goes through for any that induces a nilpotent operator on the Lie algebra of G.
xsd:nonNegativeInteger
4636