Linear algebraic group: Difference between revisions

From Groupprops
m (1 revision)
No edit summary
Line 1: Line 1:
==Definition==
==Definition==


===Definition with symbols===
A '''linear algebraic group''' over a [[field]] <math>k</math> is defined as an abstract group <math>G</math>, along with an embedding of <math>G</math> as a [[defining ingredient::closed subgroup of algebraic group|closed subgroup]] of the [[general linear group over a field|general linear group]] <math>GL(n,k)</math> for some choice of <math>n</math>.  
A '''linear algebraic group''' over a [[field]] <math>k</math> is defined as an abstract group <math>G</math>, along with an embedding of <math>G</math> as a closed subgroup of <math>GL(n,k)</math> for some choice of <math>n</math>. Note that such an embedding automatically turns <math>G</math> into an algebraic group, because any closed subgroup of an algebraic group automatically inherits the structure of an algebraic group.
 
Note that such an embedding automatically turns <math>G</math> into an algebraic group, because <math>GL(n,k)</math> comes naturally equipped with an [[defining ingredient::algebraic group]] structure, and any [[closed subgroup of algebraic group inherits algebraic group structure]].

Revision as of 02:50, 26 February 2011

Definition

A linear algebraic group over a field is defined as an abstract group , along with an embedding of as a closed subgroup of the general linear group for some choice of .

Note that such an embedding automatically turns into an algebraic group, because comes naturally equipped with an algebraic group structure, and any closed subgroup of algebraic group inherits algebraic group structure.