The General Linear Group Over the field Fq, Is the Group of Invertible N × N Matrices with Coefficients in Fq

The General Linear Group Over the field Fq, Is the Group of Invertible N × N Matrices with Coefficients in Fq

ALGEBRA - LECTURE II 1. General Linear Group Let Fq be a finite field of order q. Then GLn(q), the general linear group over the field Fq, is the group of invertible n × n matrices with coefficients in Fq. We shall now compute n the order of this group. Note that columns of an invertible matrix give a basis of V = Fq . Conversely, if v1, v2, . vn is a basis of V then there is an invertible matrix with these vectors as columns. Thus we need to count the bases of V . This is easy, as v1 can be any non-zero vector, then v2 any vector in V not on the line spanned by v1, then v3 any vector in V not n n on the plane spanned by v1 and v2, etc... Thus, there are q − 1 choices for v1, then q − q n 2 choices for v2, then q − q choices for v3, etc. Hence the order of GLn(q) is n−1 Y n i |GLn(q)| = (q − q ). i=0 2. Group action Let X be a set and G a group. A group action of G on X is a map G × X → X (g, x) 7→ gx such that (1) 1 · x = x for every x in X. (Here 1 is the identity in G.) (2) (gh)x = g(hx) for every x in X and g, h in G. Examples: n (1) G = GLn(q) and X = Fq . The action is given by matrix multiplication. (2) X = G and the action is the conjugation action of G. (3) X is the set of all subgroups in G and the action is the conjugation action. An action of G on a set X defines an equivalence relation by x ∼ y if there exists an element g in G such that y = gx. The equivalence classes are called G-orbits. If x is in X, the equivalence class of x (or its G-orbit) is denoted by xG = {gx|g ∈ G}. The orbits in the three examples respectively are n (1) Two orbits. One is {0} and the other Fq \{0}. (2) The orbits are conjugacy classes of elements of G. (3) The orbits are conjugacy classes of subgroups of G. Let x be in X. The stabilizer of x in G is defined by SG(x) = {g ∈ G|gx = x}. 1 2 ALGEBRA - LECTURE II Note that the group action axioms guarantee that the stabilizer SG(x) is a subgroup of G. For example, if X = G and the action is the conjugation action, then the stabilizer of x in G is the centralizer CG(x) of x in G: −1 SG(x) = CG(x) = {g ∈ G|gxg = x}. If X is the set of all subgroups of G and the action is the conjugation action, then the stabilizer of a subgroup H is the normalizer NG(H) of H in G: −1 SG(H) = NG(H) = {g ∈ G|gHg = H}. 3. Class formula Assume now that G is finite. Then the orbits are finite also. I claim that the number of element in the orbit of x is equal to [G : SG(x)], the index of the subgroup SG(x) in G. This is easy. Let g1, g2,... be a list of all elements of G. Then g1x, g2x, . are all elements G −1 −1 of x . Now gix = gjx is equivalent to x = (gi gj)x which means that gi gj is in SG(x) G or gj ∈ giSG(x). It follows that the elements of x correspond to SG(x)-cosets in G. This proves the claim. Assume further that X is finite. Let x1, . , xn representatives of all G-orbits in X. The the following class formula is obvious: n X |X| = [G : SG(xi)]. i=1 We discuss some applications of the class formula. The first is well known: Proposition 1. Let p be a prime and G be a group of order pm. Then p divides the order of the center Z(G) of G. In particular, the center of G is not trivial. Proof. Consider the special case of the class formula where G is acting on itself by conjugation. Note that the conjugation class of x consists of only one element (so the class is {x}) if and only ix x is in the center Z(G) of the group G. If x1, . , xn are representatives of non-central conjugacy classes then the class formula takes the form n X |G| = |Z(G)| + [G : CG(xi)]. i=1 Since the index [G : CG(xi)] is a non-trivial factor of G, it is a proper power of p. It follows that p divides the left side of the class equation and the terms [G : CG(xi)] on the right side. It follows that p divides the order of Z(G), as claimed. The proposition is proved. Exercise: Let p be a prime and U be the subgroup of GL3(p) consisting of all matrices of the form 1 x z 0 1 y . 0 0 1 Then |U| = p3, and the center is non-trivial, according to the previous proposition. Find that center. The second application of the class formula is more exciting. ALGEBRA - LECTURE II 3 Proposition 2. Let p be a prime and G a group whose order is divisible by p. Then there is an element in G of order p. Proof. Let X be the subset of Gp defined by p X = {(x1, x2, . , xp) ∈ G |x1x2 ··· xp = 1}. p−1 Note that |X| = |G| since x1 through xp−1 can be freely picked and then xp is fixed. The group acting on X will not be G but a cyclic group Cp = hσi of order p where σ is defined by σ(x1, x2, . , xp) = (xp, x1, . , xp−1). Since the order of Cp is the prime p, an orbit in X has either one or p elements. An orbit has one element if and only if x1 = x2 = ··· = xp. Thus single element orbits consist of (x, x, . , x) where x is in G such that xp = 1. Of course, one such x is the identity element. The class formula now implies that the number of orbits with one element is divisible by p. p This proves that there exists x 6= 1 such that x = 1. The proposition is proved. 4. Semi-direct product of groups Let T and U be two subgroups of G. Assume that T is contained in the normalizer of U in G. Then UT , the set of all possible products ut where u ∈ U and t ∈ T is a group. Indeed, −1 (u1t1)(u2t2) = (u1t1u2t1 )(t1t2) = (u1u3)(t1t2) −1 where u3 = t1u2t1 ∈ U which shows that the set TU is closed under multiplication. Since (ut)−1 = (t−1u−1 t)t−1 the set TU is closed under taking inverses as well. It is also convenient to consider U × T , a semi-direct product of T and U. As a set it is equal to the direct product of U and T . However, the multiplication is defined by −1 (u1, t1) · (u2, t2) = (u1u3, t1t2) where u3 = t1u2t1 ∈ U. Note that there is a natural homomorphism from U × T onto UT defined by (u, t) 7→ ut. The kernel consists of elements (u, u−1) where u is in U ∩ T . If the groups are finite, it follows that the order of UT is |U||T | |UT | = . |U ∩ T | Example: Let p be a prime and G = GL3(p). Let U be the group of upper triangular matrices with 1 on the diagonal (so called unipotent matrices), and let T be the group of all diagonal matrices. Then T normalizes U. Since U ∩ T = {1} the group UT is isomorphic to the semi-direct product of U and T . 5. Sylow Theorems Let G be a finite group and p a prime number. By |G|p we shall denote the biggest power of p dividing |G|. A subgroup P of G of order pr is called a p-subgroup of G. If the order of P is equal to |G|p then P is called a Sylow p-subgroup of G. Theorem 3. Assume that |G|p 6= 1. Let X be the set of Sylow p-subgroups. Then (1) The set X is non-empty. (2) |X| ≡ 1 (mod p). (3) All Sylow p-subgroups are G-conjugated. 4 ALGEBRA - LECTURE II (4) Any p-subgroup is contained in a Sylow p-subgroup. Proof. Let X be the set of all p-subgroups maximal with respect to inclusions. Note that this set is non-trivial since G has elements of order p. (In the last step of the proof we will show that elements of X have the order |G|p, so it OK to use the letter X.) We show first: Lemma 4. (1) |X| ≡ 1 (mod p). (2) The set X consists of only one conjugacy class. Proof. Let P be in X. Then P acts on X by conjugation. I claim that P fixes P and no other elements in X. Indeed, if P fixes Q, another maximal p-subgroup, that means that P is contained in NG(Q). It follows that QP is a subgroup of G. Its order is |Q||P |/|Q ∩ P |, so QP is also a p-subgroup. But QP contains both Q and P . This is a contradiction since P and Q are two different maximal p-subgroups. It follows that the P -orbit of Q 6= P is non-trivial and, therefore, has the order equal to pr for some r ≥ 1.

View Full Text

Details

  • File Type
    pdf
  • Upload Time
    -
  • Content Languages
    English
  • Upload User
    Anonymous/Not logged-in
  • File Pages
    5 Page
  • File Size
    -

Download

Channel Download Status
Express Download Enable

Copyright

We respect the copyrights and intellectual property rights of all users. All uploaded documents are either original works of the uploader or authorized works of the rightful owners.

  • Not to be reproduced or distributed without explicit permission.
  • Not used for commercial purposes outside of approved use cases.
  • Not used to infringe on the rights of the original creators.
  • If you believe any content infringes your copyright, please contact us immediately.

Support

For help with questions, suggestions, or problems, please contact us