General linear group over a field: Difference between revisions

Latest revision as of 19:54, 7 July 2019

This article defines a natural number-parametrized system of algebraic matrix groups. In other words, for every field and every natural number, we get a matrix group defined by a system of algebraic equations. The definition may also generalize to arbitrary commutative unital rings, though the default usage of the term is over fields.
View other linear algebraic groups|View other affine algebraic groups

This article is about the unit group (group of invertible elements) in the following ring/monoid: matrix ring

Definition

In terms of dimension (finite-dimensional case)

Let $n$ be a natural number and $k$ a field. The general linear group of degree $n$ over $k$ , denoted $G L (n, k)$ , is defined in the following equivalent ways:

$G L (n, k)$ is the group of all invertible $k$ -linear maps from the vector space $k^{n}$ to itself, under composition. In other words, it is the group of automorphisms of $k^{n}$ as a $k$ -vector space.
$G L (n, k)$ is the group of all invertible $n \times n$ matrices with entries over $k$

In terms of vector spaces

Let $V$ be a $k$ -vector space (which may be finite or infinite-dimensional). The general linear group over $V$ , denoted $G L (V)$ , is the group of all vector space automorphisms from $V$ to itself.

Note that when $V = k^{n}$ , this reduces to the definition $G L (n, k)$ . Further, since $G L (V) ≅ G L (W)$ for $V ≅ W$ , and since any two vector spaces of the same dimension are isomorphic, the $G L (n, k)$ s cover all general linear groups corresponding to finite-dimensional vector spaces.

More general versions

Some more general versions occur where we replace field by more general constructs:

Replacement of field	Corresponding analogue of general linear group
division ring	general linear group over a division ring
commutative unital ring	general linear group over a commutative unital ring
unital ring	general linear group over a unital ring

As a group with additional structure

As an algebraic group

Further information: general linear group over a field as an algebraic group

For any field $k$ , the general linear group $G L (n, k)$ has the natural structure of an algebraic group. It can be viewed as a Zariski-open subvariety in $k^{n^{2}}$ given by the condition that the determinant function does not vanish.

As a Lie group

In the particular cases of the real numbers, complex numbers, and other topological fields, the general linear group acquires the structure of a Lie group over that field.

As a map

As a functor from fields to groups

If we fix $n$ , we can think of $G L_{n}$ as a functor from the category of fields to the category of groups.

As an IAPS

Further information: GL IAPS

For a fixed field $k$ , the general linear groups $G L (n, k)$ form an IAPS of groups parametrized by $n$ . In other words, we naturally have concatenation maps:

$Φ_{m, n} : G L (m, k) \times G L (n, k) \to G L (m + n, k)$

This map takes a matrix $A$ of order $m$ and a matrix $B$ of order $n$ and putputs the block diagonal matrix with blocks $A$ and $B$ .

As a functor from fields to IAPSes

If we fix neither $n$ nor $k$ , we can view $G L$ as a functor from fields to the category of IAPSes of groups.

Relation with other linear algebraic groups

Subgroups

The general linear group has a number of important subgroups. Some of them are listed below:

Orthogonal group is the subgroup comprising those matrices $A$ such that $A A^{t}$ is the identity matrix. Further information: Orthogonal group in general linear group
Special linear group is the subgroup comprising those matrices with determinant 1. Further information: Special linear group in general linear group
Symplectic group is the subgroup comprising matrices $A$ such that $A P A^{t} = P$ where $P$ is a certain fixed matrix. Further information: Symplectic group in general linear group
Special orthogonal group is the intersection of the orthogonal group and the special linear group
Orthogonal similitude group is the group of matrices $A$ such that $A A^{t}$ is a scalar matrix
Symmetric group which is the group of permutation matrices, embedded in the general linear group

All of these, except the orthogonal similtude group, form sub-IAPSes.

Quotients

Inner automorphism group

The inner automorphism group of this group, viz the quotient group by its center, is abstractly isomorphic to: projective general linear group

Supergroups

Some important groups in which the general linear group is contained:

General affine group which is the semidirect product of the vector space (as an Abelian group) and the general linear group acting on it
Skew-linear group which is the semidirect product of the general linear group with the transpose-inverse map

Particular cases

Finite fields

Here are some general facts:

Multiplicative group of a finite field is cyclic
Special linear group is quasisimple for $n \geq 2$ , except the case that $n = 2$ and $k$ has two or three elements. Thus, all the corresponding general linear groups have a simple non-abelian subquotient. In the case that the field has characteristic two, the general linear group coincides with the special linear group, and it is centerless, so it turns out to be a simple non-abelian group itself.

Size of field	Order of matrices	Common name for the general linear group	Order of group	Comment
2	1	Trivial group	$1$	Trivial
3	1	Cyclic group:Z2	$2$	group of prime order
4	1	Cyclic group:Z3	$3$	group of prime order
5	1	Cyclic group:Z4	$4 = 2^{2}$	cyclic group
2	2	Symmetric group:S3	$6 = 2 \cdot 3$	supersolvable but not nilpotent
3	2	General linear group:GL(2,3)	$48 = 2^{4} \cdot 3$	solvable but not supersolvable
4	2	Alternating group:A5	$60 = 2^{2} \cdot 3 \cdot 5$	simple non-abelian group
5	2	General linear group:GL(2,5)	$480 = 2^{5} \cdot 3 \cdot 5$	not solvable, has a simple non-abelian subquotient.
2	3	General linear group:GL(3,2)	$168 = 2^{3} \cdot 3 \cdot 7$	simple non-abelian group

GAP implementation

The general linear group can be implemented using the GAP function GeneralLinearGroup that can be invoked as either GeneralLinearGroup or GL. It takes two arguments, the first being the degree (i.e., the order of matrices) and the second either a ring or a prime power (for which we consider the corresponding field). For instance, for the general linear group of degree two over the field of three elements:

G := GL(2,3);

@@ Line 1: / Line 1: @@
-{{field-parametrized group property}}
+{{natural number-parametrized linear algebraic group}}
-{{natural number-parametrized group property}}
 {{group of units in|[[matrix ring]]}}
-{{particularcases|[[:Category:General linear groups]]}}
 ==Definition==
-===In terms of dimension===
+===In terms of dimension (finite-dimensional case)===
-Let <math>n</math> be a natural number and <math>k</math> a field. The '''general linear group''' of order <math>n</math> over <math>k</math>, denoted <math>GL(n,k)</math>, is defined in the following equivalent ways:
+Let <math>n</math> be a natural number and <math>k</math> a field. The '''general linear group''' of degree <math>n</math> over <math>k</math>, denoted <math>GL(n,k)</math>, is defined in the following equivalent ways:
 * <math>GL(n,k)</math> is the group of all invertible <math>k</math>-linear maps from the vector space <math>k^n</math> to itself, under composition. In other words, it is the group of automorphisms of <math>k^n</math> as a <math>k</math>-vector space.
@@ Line 19: / Line 14: @@
 Let <math>V</math> be a <math>k</math>-vector space (which may be finite or infinite-dimensional). The general linear group over <math>V</math>, denoted <math>GL(V)</math>, is the group of all vector space automorphisms from <math>V</math> to itself.
-Note that when <math>V = k^n</math>, this reduces to the definition <math>Gl(n,k)</math>. Further, since <math>GL(V) \cong GL(W)</math> for <math>V \cong W</math>, and since any two vectro spaces of the same dimension are isomorphic, the <math>GL(n,k)</math>s cover all general linear groups corresponding to finite-dimensional vector spaces.
+Note that when <math>V = k^n</math>, this reduces to the definition <math>GL(n,k)</math>. Further, since <math>GL(V) \cong GL(W)</math> for <math>V \cong W</math>, and since any two vector spaces of the same dimension are isomorphic, the <math>GL(n,k)</math>s cover all general linear groups corresponding to finite-dimensional vector spaces.
+==More general versions==
+Some more general versions occur where we replace field by more general constructs:
+{| class="sortable" border="1"
+! Replacement of field !! Corresponding analogue of general linear group
+|-
+| [[division ring]] || [[general linear group over a division ring]]
+|-
+| [[commutative unital ring]] || [[general linear group over a commutative unital ring]]
+|-
+| [[unital ring]] || [[general linear group over a unital ring]]
+|}
+==As a group with additional structure==
+===As an algebraic group===
+{{further|[[general linear group over a field as an algebraic group]]}}
+For any field <math>k</math>, the general linear group <math>GL(n,k)</math> has the natural structure of an [[algebraic group]]. It can be viewed as a Zariski-open subvariety in <math>k^{n^2}</math> given by the condition that the determinant function does not vanish.
+===As a Lie group===
+In the particular cases of the real numbers, complex numbers, and other [[topological field]]s, the general linear group acquires the structure of a [[Lie group]] over that field.
 ==As a map==
@@ Line 40: / Line 61: @@
 If we fix neither <math>n</math> nor <math>k</math>, we can view <math>GL</math> as a functor from fields to the category of [[IAPS of groups|IAPSes of groups]].
+==Relation with other linear algebraic groups==
 ==Subgroups==
@@ Line 45: / Line 68: @@
 The general linear group has a number of important subgroups. Some of them are listed below:
-* [[Orthogonal group]] is the subgroup comprising those matrices <math>A</math> such that <math>AA^t</math> is the identity matrix. {{further|[[Orthogonal group in general linear group]]}}
+* [[Subgroup::Orthogonal group]] is the subgroup comprising those matrices <math>A</math> such that <math>AA^t</math> is the identity matrix. {{further|[[Orthogonal group in general linear group]]}}
-* [[Special linear group]] is the subgroup comprising those matrices with determinant 1. {{further|[[Special linear group in general linear group]]}}
+* [[Subgroup::Special linear group]] is the subgroup comprising those matrices with determinant 1. {{further|[[Special linear group in general linear group]]}}
-* [[Symplectic group]] is the subgroup comprising matrices <math>A</math> such that <math>APA^t = P</math> where <math>P</math> is a certain fixed matrix. {{further|[[Symplectic group in general linear group]]}}
+* [[Subgroup::Symplectic group]] is the subgroup comprising matrices <math>A</math> such that <math>APA^t = P</math> where <math>P</math> is a certain fixed matrix. {{further|[[Symplectic group in general linear group]]}}
-* [[Special orthogonal group]] is the intersection of the [[orthogonal group]] and the [[special linear group]]
+* [[Subgroup::Special orthogonal group]] is the intersection of the [[orthogonal group]] and the [[special linear group]]
-* [[Orthogonal similitude group]] is the group of matrices <math>A</math> such that <math>AA^t</math> is a scalar matrix
+* [[Subgroup::Orthogonal similitude group]] is the group of matrices <math>A</math> such that <math>AA^t</math> is a scalar matrix
-* [[Symmetric group]] which is the group of permutation matrices, embedded in the general linear group
+* [[Subgroup::Symmetric group]] which is the group of permutation matrices, embedded in the general linear group
 All of these, except the orthogonal similtude group, form sub-IAPSes.
@@ Line 62: / Line 85: @@
 Some important groups in which the general linear group is contained:
-* [[General affine group]] which is the [[semidirect product]] of the vector space (as an [[Abelian group]]) and the general linear group acting on it
+* [[Supergroup::General affine group]] which is the [[semidirect product]] of the vector space (as an [[Abelian group]]) and the general linear group acting on it
-* [[Skew-linear group]] which is the semidirect product of the general linear group with the transpose-inverse map
+* [[Supergroup::Skew-linear group]] which is the semidirect product of the general linear group with the transpose-inverse map
+==Particular cases==
+===Finite fields===
+Here are some general facts:
+* [[Multiplicative group of a finite field is cyclic]]
+* [[Special linear group is quasisimple]] for <math>n \ge 2</math>, except the case that <math>n = 2</math> and <math>k</math> has two or three elements. Thus, all the corresponding general linear groups have a simple non-abelian [[subquotient]]. In the case that the field has characteristic two, the general linear group coincides with the special linear group, and it is centerless, so it turns out to be a [[simple non-abelian group]] itself.
+{| class="wikitable" border="1"
+!Size of field !! Order of matrices !! Common name for the general linear group !! Order of group !! Comment
+|-
+| 2 || 1 || [[Trivial group]] || <math>1</math> || Trivial
+|-
+| 3 || 1 || [[Cyclic group:Z2]] || <math>2</math> || [[group of prime order]]
+|-
+| 4 || 1 || [[Cyclic group:Z3]] || <math>3</math> || [[group of prime order]]
+|-
+| 5 || 1 || [[Cyclic group:Z4]] || <math>4 = 2^2</math> || [[cyclic group]]
+|-
+| 2 || 2 || [[Symmetric group:S3]] || <math>6 = 2 \cdot 3</math> || [[Supersolvable group|supersolvable]] but not [[nilpotent group|nilpotent]]
+|-
+| 3 || 2 || [[General linear group:GL(2,3)]] || <math>48 = 2^4 \cdot 3</math> || [[solvable group|solvable]] but not supersolvable
+|-
+| 4 || 2 || [[Alternating group:A5]] || <math>60 = 2^2 \cdot 3 \cdot 5</math> || [[simple non-abelian group]]
+|-
+| 5 || 2 || [[General linear group:GL(2,5)]] || <math>480 = 2^5 \cdot 3 \cdot 5</math> || not solvable, has a simple non-abelian [[subquotient]].
+|-
+| 2 || 3 || [[General linear group:GL(3,2)]] || <math>168 = 2^3 \cdot 3 \cdot 7</math> || [[simple non-abelian group]]
+|-
+|}
+==GAP implementation==
-==Extensions==
+The general linear group can be implemented using the GAP function [[GAP:GeneralLinearGroup|GeneralLinearGroup]] that can be invoked as either <tt>GeneralLinearGroup</tt> or <tt>GL</tt>. It takes two arguments, the first being the degree (i.e., the order of matrices) and the second either a ring or a prime power (for which we consider the corresponding field). For instance, for the general linear group of degree two over the field of three elements:
-Groups having the general linear group as a quotient?
+<pre>G := GL(2,3);</pre>