# Difference between revisions of "Linear representation theory of projective general linear group of degree two over a finite field"

From Groupprops

(Created page with "This article describes the linear representation theory of the general linear group of degree two over a finite field. The order (size) of the field is <math>q</math>, an...") |
(→Summary) |
||

(26 intermediate revisions by the same user not shown) | |||

Line 1: | Line 1: | ||

− | + | {{group family-specific information| | |

+ | group family = projective general linear group of degree two| | ||

+ | information type = linear representation theory| | ||

+ | connective = of}} | ||

− | See also [[linear representation theory of special linear group of degree two]], [[linear representation theory of projective | + | This article describes the linear representation theory of the [[projective general linear group of degree two]] over a [[finite field]]. The order (size) of the field is <math>q</math>, and the characteristic prime is <math>p</math>. <math>q</math> is a power of <math>p</math>. The group is denoted <math>PGL(2,q)</math> or <math>PGL_2(q)</math>. |

+ | |||

+ | See also the linear representation theory for: [[linear representation theory of special linear group of degree two over a finite field|special linear group]], [[linear representation theory of projective special linear group of degree two over a finite field|projective special linear group]], and [[linear representation theory of general linear group of degree two over a finite field|general linear group]]. | ||

+ | |||

+ | ==Summary== | ||

+ | <section begin="summary"/> | ||

+ | {| class="sortable" border="1" | ||

+ | ! Item !! Value | ||

+ | |- | ||

+ | | [[degrees of irreducible representations]] over a [[splitting field]] || Case <math>q</math> odd: 1 (2 times), <math>q - 1</math> (<math>(q - 1)/2</math> times), <math>q</math> (2 times), <math>q + 1</math> (<math>(q - 3)/2</math> times) <br> Case <math>q</math> even: 1 (1 time), <math>q - 1</math> (<math>q/2</math> times), <math>q</math> (1 time), <math>q + 1</math> (<math>(q - 2)/2</math> times) | ||

+ | |- | ||

+ | | number of irreducible representations || Case <math>q</math> odd: <math>q + 2</math>, case <math>q</math> even: <math>q + 1</math><br>See [[number of irreducible representations equals number of conjugacy classes]], [[element structure of projective general linear group of degree two over a finite field#Conjugacy class structure]] | ||

+ | |- | ||

+ | | [[quasirandom degree]] (minimum degree of nontrivial ireducible representation) || 1 | ||

+ | |- | ||

+ | | [[maximum degree of irreducible representation]] || <math>q + 1</math> | ||

+ | |- | ||

+ | | [[lcm of degrees of irreducible representations]] || Case <math>q</math> odd: <math>q(q + 1)(q - 1)/2 = (q^3 - q)/2</math>; Case <math>q</math> even: <math>q(q+1)(q-1) = q^3 - q</math> | ||

+ | |- | ||

+ | | sum of squares of degrees of irreducible representations || <math>q(q + 1)(q - 1) = q^3 - q</math>, equal to the group order; see [[sum of squares of degrees of irreducible representations equals group order]] | ||

+ | |} | ||

+ | <section end="summary"/> | ||

==Particular cases== | ==Particular cases== | ||

{| class="sortable" border="1" | {| class="sortable" border="1" | ||

− | ! | + | ! <math>q</math> (field size) !! <math>p</math> (underlying prime, field characteristic) !! Case for <math>q</math> !! Group <math>PGL(2,q)</math> !! Order of the group (<math>= q^3 - q</math>) !! Degrees of irreducible representations (ascending order) !! Number of irreducible representations (<math>= q + 1</math> if <math>q</math> even, <math>q + 2</math> if <math>q</math> odd) !! Linear representation theory page |

|- | |- | ||

− | | [[symmetric group:S3]] || 2 || 2 || 6 || 3 || [[linear representation theory of | + | | 2 || 2 || even || [[symmetric group:S3]] ||6 || 1,1,2 || 3 || [[linear representation theory of symmetric group:S3]] |

+ | |- | ||

+ | | 3 || 3 || odd || [[symmetric group:S4]] ||24 || 1,1,2,3,3 || 5 || [[linear representation theory of symmetric group:S4]] | ||

+ | |- | ||

+ | | 4 || 2 || even || [[alternating group:A5]] ||60 || 1,3,3,4,5 || 5 || [[linear representation theory of alternating group:A5]] | ||

+ | |- | ||

+ | | 5 || 5 || odd || [[symmetric group:S5]] ||120 || 1,1,4,4,5,5,6 || 7 || [[linear representation theory of symmetric group:S5]] | ||

+ | |- | ||

+ | | 7 || 7 || odd || [[projective general linear group:PGL(2,7)]] ||336 || 1,1,6,6,6,7,7,8,8 ||9 || [[linear representation theory of projective general linear group:PGL(2,7)]] | ||

+ | |- | ||

+ | | 8 || 2 || even || [[projective special linear group:PSL(2,8)]] || 504 || 1,7,7,7,7,8,9,9,9 || 9 || [[linear representation theory of projective special linear group:PSL(2,8)]] | ||

+ | |- | ||

+ | | 9 || 3 || odd || [[projective general linear group:PGL(2,9)]] || 720 || 1,1,8,8,8,8,9,9,10,10,10 || 11 || [[linear representation theory of projective general linear group:PGL(2,9)]] | ||

+ | |} | ||

+ | |||

+ | ==Irreducible representations== | ||

+ | |||

+ | ===Case <math>p \ne 2</math>, <matH>q</math> odd=== | ||

+ | |||

+ | {| class="sortable" border="1" | ||

+ | ! Description of collection of representations !! Parameter for describing each representation !! How the representation is described !! Degree of each representation !! Number of representations !! Sum of squares of degrees | ||

|- | |- | ||

− | | | + | | Trivial || -- || <math>x \mapsto 1</math>|| 1 || 1 || 1 |

|- | |- | ||

− | | [[ | + | | Sign representation || -- || Kernel is [[projective special linear group of degree two]], image is <math>\{ \pm 1 \}</math> || 1 || 1 || 1 |

|- | |- | ||

− | | | + | | Unclear || a nontrivial homomorphism <math>\varphi:\mathbb{F}_{q^2}^\ast \to \mathbb{C}^\ast</math>, with the property that <math>\varphi(x)^{q + 1} = 1</math> for all <math>x</math>, and <math>\varphi</math> takes values other than <math>\pm 1</math>. Identify <math>\varphi</math> and <math>\varphi^q</math>. || unclear || <math>q - 1</math> || <math>(q - 1)/2</math> || <math>(q - 1)^3/2 = (q^3 - 3q^2 + 3q - 1)/2</math> |

+ | |- | ||

+ | | Nontrivial component of permutation representation of <math>PGL_2</math> on the projective line over <math>\mathbb{F}_q</math> || -- || -- || <math>q</math> || 1 || <math>q^2</math> | ||

|- | |- | ||

− | | | + | | Tensor product of sign representation and nontrivial component of permutation representation on projective line || -- || -- || <math>q</math> || 1 || <math>q^2</math> |

|- | |- | ||

− | | | + | | Induced from one-dimensional representation of Borel subgroup || <math>\alpha</math> homomorphism <math>\mathbb{F}_q^\ast \to \mathbb{C}^\ast</math>, with <math>\alpha</math> taking values other than <math>\pm 1</math>, up to inverses. || Induced from the following representation of the image of the Borel subgroup: <math>\begin{pmatrix} a & b \\ 0 & d \\\end{pmatrix} \mapsto \alpha(a)\alpha(d)^{-1}</math> || <math>q + 1</math> || <math>(q - 3)/2</math> || <math>(q + 1)^2(q - 3)/2 = (q^3 - q^2 -5q - 3)/2</math> |

|- | |- | ||

− | | | + | | Total || NA || NA || NA || <math>q + 2</math> || <math>q^3 - q</math> |

|} | |} |

## Latest revision as of 17:52, 8 January 2012

This article gives specific information, namely, linear representation theory, about a family of groups, namely: projective general linear group of degree two.

View linear representation theory of group families | View other specific information about projective general linear group of degree two

This article describes the linear representation theory of the projective general linear group of degree two over a finite field. The order (size) of the field is , and the characteristic prime is . is a power of . The group is denoted or .

See also the linear representation theory for: special linear group, projective special linear group, and general linear group.

## Summary

Item | Value |
---|---|

degrees of irreducible representations over a splitting field | Case odd: 1 (2 times), ( times), (2 times), ( times) Case even: 1 (1 time), ( times), (1 time), ( times) |

number of irreducible representations | Case odd: , case even: See number of irreducible representations equals number of conjugacy classes, element structure of projective general linear group of degree two over a finite field#Conjugacy class structure |

quasirandom degree (minimum degree of nontrivial ireducible representation) | 1 |

maximum degree of irreducible representation | |

lcm of degrees of irreducible representations | Case odd: ; Case even: |

sum of squares of degrees of irreducible representations | , equal to the group order; see sum of squares of degrees of irreducible representations equals group order |

## Particular cases

## Irreducible representations

### Case , odd

Description of collection of representations | Parameter for describing each representation | How the representation is described | Degree of each representation | Number of representations | Sum of squares of degrees |
---|---|---|---|---|---|

Trivial | -- | 1 | 1 | 1 | |

Sign representation | -- | Kernel is projective special linear group of degree two, image is | 1 | 1 | 1 |

Unclear | a nontrivial homomorphism , with the property that for all , and takes values other than . Identify and . | unclear | |||

Nontrivial component of permutation representation of on the projective line over | -- | -- | 1 | ||

Tensor product of sign representation and nontrivial component of permutation representation on projective line | -- | -- | 1 | ||

Induced from one-dimensional representation of Borel subgroup | homomorphism , with taking values other than , up to inverses. | Induced from the following representation of the image of the Borel subgroup: | |||

Total | NA | NA | NA |