DOCSLIB.ORG

14 the Special Linear Group SL(N, F)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
14 the Special Linear Group SL(N, F) 14 The Special Linear Group SL(n; F ) First some notation: Mn(R) is the ring of n £ n matrices with coefficients in a ring R. GL(n; R) is the group of units in Mn(R), i.e., the group of invertible n £ n matrices with coefficients in R. GL(n; q) denotes GL(n; GF (q)) where GF (q) denotes the Galois field of or- der q = pk. SL(n; F ) denotes the kernel of the homomorphism det : GL(n; F ) ³ F £ = fx 2 F j x 6= 0g where F is a field. Note that the determinant homomorphism has section s given by sending x 2 F £ to the diagonal matrix: 0 1 x 0 ¢ ¢ ¢ 0 B .C B0 1 .C s(x) = diag(x; 1; ¢ ¢ ¢ ; 1) = B . C @ . .. A 0 ¢ ¢ ¢ 1 Thus: Theorem 14.1. If F is a field and n ¸ 1 then GL(n; F ) is a semidirect product GL(n; F ) = SL(n; F ) o F £ Theorem 14.2. The center of GL(n; F ) is the group of all nonzero scalar multiples of the identity matrix, i.e., all diagonal matrices of the form xIn = diag(x; x; ¢ ¢ ¢ ; x) for some x 2 F £. ¡1 £ Proof. If A = (aij) 2 ZGL(n; F ) then s(x)As(x ) = A for all x 2 F . But the entries in the top row of s(x)As(x¡1) are equal to the corresponding entries in A multiplied by x (except for the term a11). So these must all be zero. Similarly, the entries in the first column must all be zero except for a11. Conjugating by diag(1; x; 1; ¢ ¢ ¢ ; 1) we see that the second row and column must also be all zero except for the (2; 2) entry. Proceeding in this way we see that central elements must be diagonal. But now note that conjugation by the matrix 0 1 0 1 0 @1 0 0 A 0 0 In¡2 1 switches the (1; 1) and (2; 2) entries in a diagonal matrix. Thus the diagonal entries of a central element must be equal. Theorem 14.3. The center of SL(n; F ) consists of all multiples of the iden- n tity matrix xIn where x = 1. To prove this we need to use the elementary matrices Xij(¸) whose en- tries are the same as that of the identity matrix In except for an ¸ in the (i; j) location. These lie in SL(n; F ) assuming that i; j are distinct positive integers · n. Lemma 14.4. Left multiplication by Xij(¸) changes the i-th row of a matrix by adding ¸ times the j-th row. Simimilarly, right multiplication by Xij(¸) changes the j-th column of a matrix by adding ¸ times the i-th column. Proof of Theorem 14.3. If A 2 SL(n; F ) commutes with Xij(1) then the i-th and j-th columns and rows must be all zeroes except for the (i; i) and (j; j) entries which must be equal. Lemma 14.5. The elementary matrices Xij(¸) generate SL(n; F ). Proof. If n = 1 then SL(1;F ) = 1 is trivial. So suppose that n ¸ 2. Let A 2 SL(n; F ) then it suffices to reduce A to the identity matrix by elementary row and column operations. Suppose first that a21 6= 0. Then the (1; 1) entry of X12(¸)A will be equal to 1 for some (unique) ¸ 2 F . If a21 = 0 then we can make it nonzero by a row operation X2j(1) for some j. Thus we may assume that a11 = 1. Now multiply on the left by the elementary matrices Xi1(¡ai1) and on the right µby X1j¶(¡a1j). This will clear the first row and column of A making a matrix 1 0 where B 2 SL(n ¡ 1;F ) is a product of elementary matrices by 0 B induction on n. Lemma 14.6. The matrices Xij(¸) are commutators in SL(n; F ) except in the case n = 2 and jF j = 2 or 3. Proof. If n ¸ 3 this is easy since there is a third index k and [Xik(¸);Xkj(1)] = Xij(¸): If n = 2 we use the commutator relation: ·µ ¶ µ ¶¸ µ ¶ ® 0 1 ¯ 1 (®2 ¡ 1)¯ ; = 0 ®¡1 0 1 0 1 But given any ¸ 2 F the equation ¸ = (®2 ¡ 1)¯ can be solved for ¯ as long a there exists a unit ® 2 F £ so that ®2 6= 1 (i.e., ® 6= §1). This works as long as F £ has at least three elements. 2 Definition 14.7. A group G is perfect if it is equal to its own commutator subgroup, i.e., G = G0. Note that nontrivial solvable groups cannot be perfect. Therefore we have the following immediate consequences of the above two lemmas. Theorem 14.8. The group SL(n; F ) is perfect, i.e., equal to its commutator subgroup, except in the cases SL(2; 2) and SL(2; 3). Corollary 14.9. If n ¸ 2 then SL(n; F ) is not solvable except in the cases SL(2; 2) and SL(2; 3). Invertible Matrices as Automorphisms If V is an n-dimensional vector space over a field F then the group of F -linear automorphisms of V is isomorphic to GL(n; F ). However the isomorphism is not canonical. It depends on a choice of basis for V . More precisely, if à : V ¡!¼ F n is an F -linear isomorphism then an isomorphism ¼ ä : AutF (V ) ¡! GL(n; F ) ¡1 n is given by ä(f) = Ãfà 2 AutF (F ) = GL(n; F ). For example we have: Theorem 14.10. If G is an elementary abelian p-group of order pn then Aut(G) »= GL(n; p) Theorem 14.11. á1(SL(n; F )) is independent of the choice of à and con- sequently defines a well-defined subgroup of GL(V ) = AutF (V ) which we will call SL(V ). ¡1 n Proof. Suppose that ä(f) = Ãfà 2 SL(n; F ) and Á : V ! F is another ¡1 ¡1 ¡1 ¡1 isomorphism. Then Á¤(f) = ÁfÁ = (Áà )Ãfà (ÃÁ ) is a conjugate of ä(f) and therefore has determinant 1. Theorem 14.12. The finite groups GL(n; q); SL(n; q) have orders: n(n¡1) n n¡1 jGL(n; q)j = q 2 (q ¡ 1)(q ¡ 1) ¢ ¢ ¢ (q ¡ 1) n(n¡1) n n¡1 2 jSL(n; q)j = q 2 (q ¡ 1)(q ¡ 1) ¢ ¢ ¢ (q ¡ 1) Proof. Let V be an n-dimensional vector space over F = GF (q). Then V has n q elements. Choose a basis (v1; v2; ¢ ¢ ¢ ; vn) for V . Then an automorphism n f of V is given by its value on the basis. There are q ¡ 1 choices for f(v1). n 1 Given f(v1), there are q ¡ q choices for f(v2) since it can be any vector not n 2 in the span of f(v1). There are q ¡ q choices for f(v3) and so on. Thus jGL(V )j = (qn ¡ 1)(qn ¡ q) ¢ ¢ ¢ (qn ¡ qn¡1) = q1+2+¢¢¢+(n¡1)(qn ¡ 1) ¢ ¢ ¢ (q ¡ 1) And jSL(n; q)j = jGL(V )j=jF £j = jGL(n; q)j=(q ¡ 1). 3.
Load more

Recommended publications
  • An Introduction to Quantum Field Theory
    AN INTRODUCTION TO QUANTUM FIELD THEORY By Dr M Dasgupta University of Manchester Lecture presented at the School for Experimental High Energy Physics Students Somerville College, Oxford, September 2009 - 1 - - 2 - Contents 0 Prologue....................................................................................................... 5 1 Introduction ................................................................................................ 6 1.1 Lagrangian formalism in classical mechanics......................................... 6 1.2 Quantum mechanics................................................................................... 8 1.3 The Schrödinger picture........................................................................... 10 1.4 The Heisenberg picture............................................................................ 11 1.5 The quantum mechanical harmonic oscillator ..................................... 12 Problems .............................................................................................................. 13 2 Classical Field Theory............................................................................. 14 2.1 From N-point mechanics to field theory ............................................... 14 2.2 Relativistic field theory ............................................................................ 15 2.3 Action for a scalar field ............................................................................ 15 2.4 Plane wave solution to the Klein-Gordon equation ...........................
    [Show full text]
  • Low-Dimensional Representations of Matrix Groups and Group Actions on CAT (0) Spaces and Manifolds
    Low-dimensional representations of matrix groups and group actions on CAT(0) spaces and manifolds Shengkui Ye National University of Singapore January 8, 2018 Abstract We study low-dimensional representations of matrix groups over gen- eral rings, by considering group actions on CAT(0) spaces, spheres and acyclic manifolds. 1 Introduction Low-dimensional representations are studied by many authors, such as Gural- nick and Tiep [24] (for matrix groups over fields), Potapchik and Rapinchuk [30] (for automorphism group of free group), Dokovi´cand Platonov [18] (for Aut(F2)), Weinberger [35] (for SLn(Z)) and so on. In this article, we study low-dimensional representations of matrix groups over general rings. Let R be an associative ring with identity and En(R) (n ≥ 3) the group generated by ele- mentary matrices (cf. Section 3.1). As motivation, we can consider the following problem. Problem 1. For n ≥ 3, is there any nontrivial group homomorphism En(R) → En−1(R)? arXiv:1207.6747v1 [math.GT] 29 Jul 2012 Although this is a purely algebraic problem, in general it seems hard to give an answer in an algebraic way. In this article, we try to answer Prob- lem 1 negatively from the point of view of geometric group theory. The idea is to find a good geometric object on which En−1(R) acts naturally and non- trivially while En(R) can only act in a special way. We study matrix group actions on CAT(0) spaces, spheres and acyclic manifolds. We prove that for low-dimensional CAT(0) spaces, a matrix group action always has a global fixed point (cf.
    [Show full text]
  • The General Linear Group
    18.704 Gabe Cunningham 2/18/05 [email protected] The General Linear Group Definition: Let F be a field. Then the general linear group GLn(F ) is the group of invert- ible n × n matrices with entries in F under matrix multiplication. It is easy to see that GLn(F ) is, in fact, a group: matrix multiplication is associative; the identity element is In, the n × n matrix with 1’s along the main diagonal and 0’s everywhere else; and the matrices are invertible by choice. It’s not immediately clear whether GLn(F ) has infinitely many elements when F does. However, such is the case. Let a ∈ F , a 6= 0. −1 Then a · In is an invertible n × n matrix with inverse a · In. In fact, the set of all such × matrices forms a subgroup of GLn(F ) that is isomorphic to F = F \{0}. It is clear that if F is a finite field, then GLn(F ) has only finitely many elements. An interesting question to ask is how many elements it has. Before addressing that question fully, let’s look at some examples. ∼ × Example 1: Let n = 1. Then GLn(Fq) = Fq , which has q − 1 elements. a b Example 2: Let n = 2; let M = ( c d ). Then for M to be invertible, it is necessary and sufficient that ad 6= bc. If a, b, c, and d are all nonzero, then we can fix a, b, and c arbitrarily, and d can be anything but a−1bc. This gives us (q − 1)3(q − 2) matrices.
    [Show full text]
  • The Quaternionic Commutator Bracket and Its Implications
    S S symmetry Article The Quaternionic Commutator Bracket and Its Implications Arbab I. Arbab 1,† and Mudhahir Al Ajmi 2,* 1 Department of Physics, Faculty of Science, University of Khartoum, P.O. Box 321, Khartoum 11115, Sudan; [email protected] 2 Department of Physics, College of Science, Sultan Qaboos University, P.O. Box 36, P.C. 123, Muscat 999046, Sultanate of Oman * Correspondence: [email protected] † Current address: Department of Physics, College of Science, Qassim University, Qassim 51452, Saudi Arabia. Received: 11 August 2018; Accepted: 9 October 2018; Published: 16 October 2018 Abstract: A quaternionic commutator bracket for position and momentum shows that the i ~ quaternionic wave function, viz. ye = ( c y0 , y), represents a state of a particle with orbital angular momentum, L = 3 h¯ , resulting from the internal structure of the particle. This angular momentum can be attributed to spin of the particle. The vector y~ , points in an opposite direction of~L. When a charged particle is placed in an electromagnetic field, the interaction energy reveals that the magnetic moments interact with the electric and magnetic fields giving rise to terms similar to Aharonov–Bohm and Aharonov–Casher effects. Keywords: commutator bracket; quaternions; magnetic moments; angular momentum; quantum mechanics 1. Introduction In quantum mechanics, particles are described by relativistic or non-relativistic wave equations. Each equation associates a spin state of the particle to its wave equation. For instance, the Schrödinger equation applies to the spinless particles in the non-relativistic domain, while the appropriate relativistic equation for spin-0 particles is the Klein–Gordon equation.
    [Show full text]
  • Normal Subgroups of the General Linear Groups Over Von Neumann Regular Rings L
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 96, Number 2, February 1986 NORMAL SUBGROUPS OF THE GENERAL LINEAR GROUPS OVER VON NEUMANN REGULAR RINGS L. N. VASERSTEIN1 ABSTRACT. Let A be a von Neumann regular ring or, more generally, let A be an associative ring with 1 whose reduction modulo its Jacobson radical is von Neumann regular. We obtain a complete description of all subgroups of GLn A, n > 3, which are normalized by elementary matrices. 1. Introduction. For any associative ring A with 1 and any natural number n, let GLn A be the group of invertible n by n matrices over A and EnA the subgroup generated by all elementary matrices x1'3, where 1 < i / j < n and x E A. In this paper we describe all subgroups of GLn A normalized by EnA for any von Neumann regular A, provided n > 3. Our description is standard (see Bass [1] and Vaserstein [14, 16]): a subgroup H of GL„ A is normalized by EnA if and only if H is of level B for an ideal B of A, i.e. E„(A, B) C H C Gn(A, B). Here Gn(A, B) is the inverse image of the center of GL„(,4/S) (when n > 2, this center consists of scalar invertible matrices over the center of the ring A/B) under the canonical homomorphism GL„ A —►GLn(A/B) and En(A, B) is the normal subgroup of EnA generated by all elementary matrices in Gn(A, B) (when n > 3, the group En(A, B) is generated by matrices of the form (—y)J'lx1'Jy:i''1 with x € B,y £ A,l < i ^ j < n, see [14]).
    [Show full text]
  • Generalized Quaternions
    GENERALIZED QUATERNIONS KEITH CONRAD 1. introduction The quaternion group Q8 is one of the two non-abelian groups of size 8 (up to isomor- phism). The other one, D4, can be constructed as a semi-direct product: ∼ ∼ × ∼ D4 = Aff(Z=(4)) = Z=(4) o (Z=(4)) = Z=(4) o Z=(2); where the elements of Z=(2) act on Z=(4) as the identity and negation. While Q8 is not a semi-direct product, it can be constructed as the quotient group of a semi-direct product. We will see how this is done in Section2 and then jazz up the construction in Section3 to make an infinite family of similar groups with Q8 as the simplest member. In Section4 we will compare this family with the dihedral groups and see how it fits into a bigger picture. 2. The quaternion group from a semi-direct product The group Q8 is built out of its subgroups hii and hji with the overlapping condition i2 = j2 = −1 and the conjugacy relation jij−1 = −i = i−1. More generally, for odd a we have jaij−a = −i = i−1, while for even a we have jaij−a = i. We can combine these into the single formula a (2.1) jaij−a = i(−1) for all a 2 Z. These relations suggest the following way to construct the group Q8. Theorem 2.1. Let H = Z=(4) o Z=(4), where (a; b)(c; d) = (a + (−1)bc; b + d); ∼ The element (2; 2) in H has order 2, lies in the center, and H=h(2; 2)i = Q8.
    [Show full text]
  • Commutator Groups of Monomial Groups
    Pacific Journal of Mathematics COMMUTATOR GROUPS OF MONOMIAL GROUPS CALVIN VIRGIL HOLMES Vol. 10, No. 4 December 1960 COMMUTATOR GROUPS OF MONOMIAL GROUPS C. V. HOLMES This paper is a study of the commutator groups of certain general- ized permutation groups called complete monomial groups. In [2] Ore has shown that every element of the infinite permutation group is itsself a commutator of this group. Here it is shown that every element of the infinite complete monomial group is the product of at most two commutators of the infinite complete monomial group. The commutator subgroup of the infinite complete monomial group is itself, as is the case in the infinite symmetric group, [2]. The derived series is determined for a wide class of monomial groups. Let H be an arbitrary group, and S a set of order B, B ^ d, cZ = ^0. Then one obtains a monomial group after the manner described in [1], A monomial substitution over H is a linear transformation mapping each element x of S in a one-to-one manner onto some element of S multi- plied by an element h of H, the multiplication being formal. The ele- ment h is termed a factor of the substitution. If substitution u maps xi into hjXj, while substitution v maps xό into htxt, then the substitution uv maps xt into hόhtxt. A substitution all of whose factor are the iden- tity β of H is called a permutation and the set of all permutations is a subgroup which is isomorphic to the symmetric group on B objects.
    [Show full text]
  • Commutator Theory for Congruence Modular Varieties Ralph Freese
    Commutator Theory for Congruence Modular Varieties Ralph Freese and Ralph McKenzie Contents Introduction 1 Chapter 1. The Commutator in Groups and Rings 7 Exercise 10 Chapter 2. Universal Algebra 11 Exercises 19 Chapter 3. Several Commutators 21 Exercises 22 Chapter 4. One Commutator in Modular Varieties;Its Basic Properties 25 Exercises 33 Chapter 5. The Fundamental Theorem on Abelian Algebras 35 Exercises 43 Chapter 6. Permutability and a Characterization ofModular Varieties 47 Exercises 49 Chapter 7. The Center and Nilpotent Algebras 53 Exercises 57 Chapter 8. Congruence Identities 59 Exercises 68 Chapter 9. Rings Associated With Modular Varieties: Abelian Varieties 71 Exercises 87 Chapter 10. Structure and Representationin Modular Varieties 89 1. Birkhoff-J´onsson Type Theorems For Modular Varieties 89 2. Subdirectly Irreducible Algebras inFinitely Generated Varieties 92 3. Residually Small Varieties 97 4. Chief Factors and Simple Algebras 102 Exercises 103 Chapter 11. Joins and Products of Modular Varieties 105 Chapter 12. Strictly Simple Algebras 109 iii iv CONTENTS Chapter 13. Mal’cev Conditions for Lattice Equations 115 Exercises 120 Chapter 14. A Finite Basis Result 121 Chapter 15. Pure Lattice Congruence Identities 135 1. The Arguesian Equation 139 Related Literature 141 Solutions To The Exercises 147 Chapter 1 147 Chapter 2 147 Chapter 4 148 Chapter 5 150 Chapter 6 152 Chapter 7 156 Chapter 8 158 Chapter 9 161 Chapter 10 165 Chapter 13 165 Bibliography 169 Index 173 Introduction In the theory of groups, the important concepts of Abelian group, solvable group, nilpotent group, the center of a group and centraliz- ers, are all defined from the binary operation [x, y]= x−1y−1xy.
    [Show full text]
  • Commutator Formulas
    Commutator formulas Jack Schmidt This expository note mentions some interesting formulas using commutators. It touches on Hall's collection process and the associated Hall polynomials. It gives an alternative expression that is linear in the number of commutators and shows how to find such a formula using staircase diagrams. It also shows the shortest possible such expression. Future versions could touch on isoperimetric inequalities in geometric group theory, powers of commutators and Culler's identity as well as its effect on Schur's inequality between [G : Z(G)] and jG0j. 1 Powers of products versus products of powers In an abelian group one has (xy)n = xnyn so in a general group one has (xy)n = n n x y dn(x; y) for some product of commutators dn(x; y). This section explores formulas for dn(x; y). 1.1 A nice formula in a special case is given by certain binomial coefficients: n (n) (n) (n) (n) (n) (n) (xy) = x 1 y 1 [y; x] 2 [[y; x]; x] 3 [[[y; x]; x]; x] 4 ··· [y; n−1x] n The special case is G0 is abelian and commutes with y. The commutators involved are built inductively: From y and x, one gets [y; x]. From [y; x] and x, one gets [[y; x]; x]. From [y; n−2x] and x, one gets [y; n−1; x]. In general, one would also need to consider [y; x] and [[y; x]; x], but the special case assumes commutators commute, so [[y; x]; [[y; x]; x]] = 1. In general, one would also need to consider [y; x] and y, but the special case assumes commutators commute with y, so [[y; x]; y] = 1.
    [Show full text]
  • Lie Group and Geometry on the Lie Group SL2(R)
    INDIAN INSTITUTE OF TECHNOLOGY KHARAGPUR Lie group and Geometry on the Lie Group SL2(R) PROJECT REPORT – SEMESTER IV MOUSUMI MALICK 2-YEARS MSc(2011-2012) Guided by –Prof.DEBAPRIYA BISWAS Lie group and Geometry on the Lie Group SL2(R) CERTIFICATE This is to certify that the project entitled “Lie group and Geometry on the Lie group SL2(R)” being submitted by Mousumi Malick Roll no.-10MA40017, Department of Mathematics is a survey of some beautiful results in Lie groups and its geometry and this has been carried out under my supervision. Dr. Debapriya Biswas Department of Mathematics Date- Indian Institute of Technology Khargpur 1 Lie group and Geometry on the Lie Group SL2(R) ACKNOWLEDGEMENT I wish to express my gratitude to Dr. Debapriya Biswas for her help and guidance in preparing this project. Thanks are also due to the other professor of this department for their constant encouragement. Date- place-IIT Kharagpur Mousumi Malick 2 Lie group and Geometry on the Lie Group SL2(R) CONTENTS 1.Introduction ................................................................................................... 4 2.Definition of general linear group: ............................................................... 5 3.Definition of a general Lie group:................................................................... 5 4.Definition of group action: ............................................................................. 5 5. Definition of orbit under a group action: ...................................................... 5 6.1.The general linear
    [Show full text]
  • GEOMETRY and GROUPS These Notes Are to Remind You of The
    GEOMETRY AND GROUPS These notes are to remind you of the results from earlier courses that we will need at some point in this course. The exercises are entirely optional, although they will all be useful later in the course. Asterisks indicate that they are harder. 0.1 Metric Spaces (Metric and Topological Spaces) A metric on a set X is a map d : X × X → [0, ∞) that satisfies: (a) d(x, y) > 0 with equality if and only if x = y; (b) Symmetry: d(x, y) = d(y, x) for all x, y ∈ X; (c) Triangle Rule: d(x, y) + d(y, z) > d(x, z) for all x, y, z ∈ X. A set X with a metric d is called a metric space. For example, the Euclidean metric on RN is given by d(x, y) = ||x − y|| where v u N ! u X 2 ||a|| = t |an| n=1 is the norm of a vector a. This metric makes RN into a metric space and any subset of it is also a metric space. A sequence in X is a map N → X; n 7→ xn. We often denote this sequence by (xn). This sequence converges to a limit ` ∈ X when d(xn, `) → 0 as n → ∞ . A subsequence of the sequence (xn) is given by taking only some of the terms in the sequence. So, a subsequence of the sequence (xn) is given by n 7→ xk(n) where k : N → N is a strictly increasing function. A metric space X is (sequentially) compact if every sequence from X has a subsequence that converges to a point of X.
    [Show full text]
  • 10 Group Theory
    10 Group theory 10.1 What is a group? A group G is a set of elements f, g, h, ... and an operation called multipli- cation such that for all elements f,g, and h in the group G: 1. The product fg is in the group G (closure); 2. f(gh)=(fg)h (associativity); 3. there is an identity element e in the group G such that ge = eg = g; 1 1 1 4. every g in G has an inverse g− in G such that gg− = g− g = e. Physical transformations naturally form groups. The elements of a group might be all physical transformations on a given set of objects that leave invariant a chosen property of the set of objects. For instance, the objects might be the points (x, y) in a plane. The chosen property could be their distances x2 + y2 from the origin. The physical transformations that leave unchanged these distances are the rotations about the origin p x cos ✓ sin ✓ x 0 = . (10.1) y sin ✓ cos ✓ y ✓ 0◆ ✓− ◆✓ ◆ These rotations form the special orthogonal group in 2 dimensions, SO(2). More generally, suppose the transformations T,T0,T00,... change a set of objects in ways that leave invariant a chosen property property of the objects. Suppose the product T 0 T of the transformations T and T 0 represents the action of T followed by the action of T 0 on the objects. Since both T and T 0 leave the chosen property unchanged, so will their product T 0 T . Thus the closure condition is satisfied.
    [Show full text]