PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] computation of the order of $\operatorname{GL}(n, \mathbb{F}_q)$ (Proof)

$\GL(n, \Fq)$ is the group of invertible $n \times n$ matrices over the finite field $\Fq$ Here is a proof that $ \lvert \GL(n, \Fq) \rvert = (q^n - 1)(q^n - q) \dotsm (q^n - q^{n-1}) $

Each element $A \in \GL(n, \Fq)$ is given by a collection of $n$ $\Fq$ linearly independent vectors. If one chooses the first column vector of $A$ from $(\Fq)^n$ there are $q^n$ choices, but one can't choose the zero vector since this would make the determinant of $A$ zero. So there are really only $q^n-1$ choices. To choose an $i$ th vector from $(\Fq)^n$ which is linearly independent from $i-1$ already chosen linearly independent vectors $\lbrace V_1, \dots, V_{i-1}\rbrace$ one must choose a vector not in the span of $\lbrace V_1, \dots, V_{i-1} \rbrace$ There are $q^{i-1}$ vectors in this span, so the number of choices is $q^n - q^{i-1}$ Thus the number of linearly independent collections of $n$ vectors in $\Fq$ is $(q^n - 1)(q^n - q) \dotsm (q^n - q^{n-1})$




"computation of the order of $\operatorname{GL}(n, \mathbb{F}_q)$" is owned by yark. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

See Also: theorems of general linear group over a finite field

Keywords:  general linear group, finite field, group order

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: number, span, vector, determinant, zero vector, column vector, collection, proof, finite field, matrices, invertible, group

This is version 12 of computation of the order of $\operatorname{GL}(n, \mathbb{F}_q)$, born on 2002-10-22, modified 2006-09-02.
Object id is 3541, canonical name is MathbbF_qComputaionOfTheOrderOfGLn.
Accessed 3270 times total.

Classification:
AMS MSC20G15 (Group theory and generalizations :: Linear algebraic groups :: Linear algebraic groups over arbitrary fields)

Pending Errata and Addenda
None.
[ View all 3 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)