Groupprops, The Group Properties Wiki (pre-alpha)

From Groupprops

Contents 1 Definition 2 Particular cases 2.1 Finite fields 2.2 Infinite rings and fields 3 Arithmetic functions 4 Group properties 5 Elements 6 Subgroup-defining functions 7 Quotient-defining functions

Definition

The general linear group of degree two over a field k (respectively, over a unital ring R), is defined as the group, under multiplication, of invertible matrices with entries in k. It is denoted GL(2,k) (respectively, GL(2,R)).

For a prime power q, GL(2,q) or GL₂(q) denotes the general linear group of degree two over the field (unique up to isomorphism) with q elements.

Particular cases

Finite fields

Size of field	Common name for general linear group of degree two
2	symmetric group:S3
3	general linear group:GL(2,3)
4	general linear group:GL(2,4)
5	general linear group:GL(2,5)

Infinite rings and fields

Name of ring/field	Common name for general linear group of degree two
Ring of integers	general linear group:GL(2,Z)
Field of rational numbers	general linear group:GL(2,Q)
Field of real numbers	general linear group:GL(2,R)
Field of complex numbers	general linear group:GL(2,C)

Arithmetic functions

Here, q denotes the order of the finite field and the group we work with is GL(2,q). p is the characteristic of the field, i.e., it is the prime whose power q is.

Function	Value	Explanation
order		q2 − 1 options for first row, q2 − q options for second row.
exponent		There is an element of order q2 − 1 and an element of order p(q − 1). All elements have order dividing p(q − 1) or q2 − 1.
number of conjugacy classes		There are q(q − 1) conjugacy classes of semisimple matrices and q − 1 conjugacy classes of matrices with repeated eigenvalues.

Group properties

Property	Satisfied	Explanation
Abelian group	No	The matrices and don't commute.
Nilpotent group	No	PSL(2,q) is simple for , and we can check the cases q = 2,3 separately.
Solvable group	Yes if q = 2,3, no otherwise.	PSL(2,q) is simple for .
Supersolvable group	Yes if q − 2, no otherwise.	PSL(2,q) is simple for , and we can check the cases q = 2,3 separately.

Elements

Further information: Element structure of general linear groups of degree two

The elements are as follows:

1. There are q − 1 conjugacy classes of size one, corresponding to the central elements.
2. There are q(q − 1) / 2 conjugacy classes of size q(q − 1) each. These are obtained as follows: we know that there is a field extension of size q², which can be identified with a vector space of dimension two over the field of q elements. Left multiplication by an element in the field gives a matrix. There are q(q − 1) = q² − q of these elements corresponding to a particular choice of basis for the field that are not scalar matrices. These come in pairs of conjugate elements (conjugate in the sense of field extensions) that are hence also conjugate in GL(2,q). Thus, there are q(q − 1) / 2 conjugacy classes here. Further, for each such element, the centralizer is the multiplicative group of the field with q² elements, which has order q² − 1. The quotient has order q(q + 1)(q − 1)² / (q² − 1) = q(q − 1).
3. There are (q − 1)(q − 2) / 2 conjugacy classes of size q(q + 1) each. These correspond to elements that are diagonalizable with distinct eigenvalues. The number (q − 1)(q − 2) / 2 corresponds to choices of two distinct elements among the q − 1. Further, the centralizer of a diagonal matrix is the group of diagonal matrices, and has order (q − 1)². The quotient has order q(q + 1)(q − 1)² / (q − 1)² = q(q + 1).
4. There are q − 1 conjugacy classes of size (q − 1)(q + 1) each.

Subgroup-defining functions

Subgroup-defining function	Value	Explanation
Center	The subgroup of scalar matrices. Cyclic of order q − 1	Center of general linear group is group of scalar matrices over center.
Commutator subgroup	Except the case of GL(2,2), it is the special linear group of degree two, which has index q − 1.	Commutator subgroup of general linear group is special linear group

Quotient-defining functions

Subgroup-defining function	Value	Explanation
Inner automorphism group	Projective general linear group of degree two	Quotient by the center, which is the group of scalar matrices.
Abelianization	This is isomorphic to the multiplicative group of the field.	Quotient by the commutator subgroup, which is the special linear group, which is the kernel of the determinant map that surjects to the multiplicative group of the field.