Introduction to the Structure of Semisimple Lie Algebras and Their Representation Theory

Total Page:16

File Type:pdf, Size:1020Kb

Introduction to the Structure of Semisimple Lie Algebras and Their Representation Theory INTRODUCTION TO THE STRUCTURE OF SEMISIMPLE LIE ALGEBRAS AND THEIR REPRESENTATION THEORY GEORGE H. SEELINGER 1. Introduction The representation theory of semisimple Lie algebras is an incredibly beautiful model of a representation theory, since the simple representations of semisimple Lie algebras are completely classified. Furthermore, such a tool is very powerful, since it can be used to • completely classify all simple Lie algebras • completely understand the representation theory of simply connected Lie groups • serve as a guide for understanding the reprsentation theory of other algebraic objects In this monograph, we will be more concerned with the former application and then touch on the general representation theory of semisimple Lie alge- bras. Note that, in this monograph, a linear Lie algebra is a Lie algebra that is viewed a subalgebra of gl(V ), although Ado's theorem shows that any Lie algebra can be realized in such a way. Furthermore, a field F will always be of characteristic 0 and algebraically closed unless otherwise stated. 2. Weyl's Theorem In this section, we seek to prove Weyl's theorem, which provides us with a characterization of the structure of representations of semisimple Lie alge- bras. This section is mostly a rewriting and expanding of [Hum72] chapter 6. 2.1. Theorem (Weyl's Theorem). Let g be a semisimple Lie algebra. If φ: g ! gl(V ) is a representation of g, then φ is completely reducible. To prove this theorem, we will need to show that, for any g-module V and any submodule W ≤ V , we get V = W ⊕ W 0, where W 0 is a complement of W . The easiest way to do this will be to find some module homomorphism Date: June 2018. 1 f : V ! W with ker f \ W = f0g and W + ker f = V . To construct such a homomorphism, we will need the following. 2.2. Definition. Let φ: g ! gl(V ) be a faithful representation of a Lie algebra g and let β(x; y) := tr(φ(x)φ(y)) be a bilinear form on g. Then, for basis fx1; : : : ; xng of g and fy1; : : : ; yng of g such that β(xi; yj) = δij, we define the Casimir element of φ to be X cφ(β) = φ(xi)φ(yi) 2 End(V ) i 2.3. Example. Let g = sl2 with standard basis fe; h; fg. Then, as shown 1 1 1 in [See18], we have dual basis f 4 f; 8 h; 4 eg. Now, if φ is the adjoint repre- sentation, we get 1 1 1 c (fe; f; hg) = φ(e)φ( f) + φ(h)φ( h) + φ(f)φ( e) φ 4 8 4 1 1 1 = ad ad + ad2 + ad f ad 4 e f 8 h 4 e 1 1 1 = (2e + 2e ) + (4e + 4e ) + (2e + 2e ) 4 1;1 2;2 8 1;1 3;3 4 2;2 3;3 = e1;1 + e2;2 + e3;3 = Id3 2.4. Lemma. Take a basis fx1; : : : ; xng of g and a basis fy1; : : : ; yng of g such that, for nondegenerate symmetric associative bilinear form β on g, β(xi; yj) = δij. For x 2 g, if X X [x; xi] = aijxj; [x; yi] = bijyj j j then aik = −bki Proof. We compute X aik = aijδjk j X = aijβ(xj; yk) by bilinearity j = β([x; xi]; yk) = β(−[xi; x]; yk) = β(xi; −[x; yk]) by associativity X = − bkjβ(xi; yj) j = −bki 2 2.5. Example. Continuing the example above, consider basis fe; h; fg of 1 1 1 sl2 and dual basis with respect to the Killing form, f 4 f; 8 h; 4 eg. Then, for x = ae + bh + cf, we check that [x; e] = 2be − ch =) a1;1 = 2b; a1;2 = −c; a1;3 = 0 [x; h] = −2ae + 2cf =) a2;1 = −2a; a2;2 = 0; a2;3 = 2c [x; f] = ah − 2bf =) a3;1 = 0; a3;2 = a; a3;3 = −2b 1 1 1 [x; f] = − bf + ah =) b = −2b; b = 2a; b = 0 4 2 4 1;1 1;2 1;3 1 1 1 [x; h] = cf − ae =) b = c; b = 0; b = −a 8 4 4 2;1 2;2 2;3 1 1 1 [x; e] = − ch + be =) b = 0; b = −2c; b = 2b 4 4 2 3;1 3;2 3;3 2.6. Lemma. For x; y; z 2 End(V ), [x; yz] = [x; y]z + y[x; z] Proof. [x; y]z + y[x; z] = (xy − yx)z + y(xz − zx) = xyz − yxz + yxz − yzx = xyz − yzx = [x; yz] 2.7. Proposition. cφ(β) commutes with φ(g) in End(V ). Proof. For x 2 g, consider [φ(x); cφ(β)]. Using the lemma immediately above, we get X X [φ(x); cφ(β)] = [φ(x); φ(xi)φ(yi)] = [φ(x); φ(xi)]φ(yi)+φ(xi)[φ(x); φ(yi)] i i P Moreover, we know that [φ(x); φ(xi)] = j aijφ(xj) and [φ(x); φ(yi)] = P j bijφ(xj), with aik = −bki for any k using the same decomposition as in the first of the two lemmas. Thus, X X [φ(x); cφ(β)] = aijφ(xj)φ(yi) + bi;jφ(xi)φ(yj) = 0 i;j i;j This proposition is vitally important for proving Weyl's theorem. With this element, we now have an object that must \behave like a scalar" with respect to φ(g) in End(V ). Indeed, in the sl2 example, our Casimir element is exactly the identity, although this need not always be true: 2.8. Proposition. If φ is faithful and irreducible, then cφ(β) is a scalar in End(V ). 3 Proof. Since φ is irreducible, we can invoke Schur's Lemma to get that cφ(β) must be a scalar multiple of the identity map. 2.9. Remark. Note that cφ(β) is independent of choice of basis when φ is faithful, so we will often denote cφ := cφ(β). For more details, see [Hum72, p 27]. 2.10. Proposition. Given Casimir element cφ of faithful representation φ: g ! gl(V ), we get that tr(cφ) = dim g Proof. This follows from simply applying the trace operator. X X tr(cφ) = tr(φ(xi)φ(yi)) = β(xi; yi) = dim g i i 2.11. Example. The Casimir element of sl2 under the adjoint representation was precisely Id3 and tr(Id3) = 3 = dim sl2. 2.12. Lemma. Let φ: g ! gl(V ) be a representation of a semisimple Lie algebra g. Then, φ(g) ⊆ sl(V ). Proof. We know that, for a semisimple Lie algebra, [g; g] = g by the fact that g is a direct sum of simple Lie algebras. Furthermore, [gl(V ); gl(V )] = sl(V ) by simple computation. Thus, φ(g) = [φ(g); φ(g)] ⊆ [gl(V ); gl(V )] = sl(V ). 2.13. Lemma. Let φ: g ! gl(V ) be a representation of a semisimple Lie algebra and let W ≤ V be irreducible with codimension 1. Then, φ is com- pletely reducible. Proof. Without loss of generality, we may assume φ is faithful . Now, con- why? sider cφ commutes with φ(g), so cφ(g:v) = (cφ ◦φ(g))(v) = (φ(g)◦cφ)(v) tells us that cφ is actually a g-module homormophism on V . Thus, cφ(W ) ⊆ W and ker cφ is a submodule of V . Now, by the lemma above, g must send all of V into W and thus act trivially on the quotient module V=W . There- fore, cφ must also act trivially since it is simply a linear combination of actions in g. So, it must be that the trace of cφ on V=W is 0. However, we know trV (c) = dim g 6= 0. Now, since cφ acts as a (must be non-zero) scalar on W , it must be that ker cφ \ W = f0g and ker cφ + W = V . Thus, since ker cφ is a submodule of V , it must be that ker cφ is 1-dimensional and V = W ⊕ ker cφ. 2.14. Lemma. Let φ: g ! gl(V ) be a representation of a semisimple Lie algebra and let W ≤ V with codimension 1. Then, φ is completely reducible. Proof. Note that this is the same as the lemma above, but now W need not be irreducible. We will show that we can reduce this lemma to the case of 4 the previous lemma 2.13. By 2.12, we know g must act trivially on V=W . Thus, V=W =∼ F and we have short exact sequence 0 ! W ! V ! F ! 0 Now, if dim W = 1, W is irreducible and we can appeal to the previous lemma. So, now we proceed by induction and assume the result it true for dim W < n. Let dim W = n and W have proper submodule W 0. Then, we have short exact sequence 0 ! W=W 0 ! V=W 0 ! F ! 0 Now, by induction, V=W 0 = W=W 0 ⊕ W 00=W 0. However, this lifts to a short exact sequence 0 ! W 0 ! W 00 ! F ! 0 However, dim W 0 < dim W =) dim W 00 = dim W 0+1 < dim W +1 = dim V , so we can apply induction to get a one dimensional submodule complemen- tary to W 0 in W 00, say X, so that W 00 = W 0 ⊕ X. Thus, we get V=W 0 = W=W 0 ⊕ W 00=W 0 = W=W 0 ⊕ (W 0 ⊕ X)=W 0 =) V = W ⊕ X since W \ X = 0 and dim W + dim X = dim V . Thus, we can repeat this process until we get an irreducible W and appeal to the lemma above (2.13) to get the result.
Recommended publications
  • Lie Algebras and Representation Theory Andreasˇcap
    Lie Algebras and Representation Theory Fall Term 2016/17 Andreas Capˇ Institut fur¨ Mathematik, Universitat¨ Wien, Nordbergstr. 15, 1090 Wien E-mail address: [email protected] Contents Preface v Chapter 1. Background 1 Group actions and group representations 1 Passing to the Lie algebra 5 A primer on the Lie group { Lie algebra correspondence 8 Chapter 2. General theory of Lie algebras 13 Basic classes of Lie algebras 13 Representations and the Killing Form 21 Some basic results on semisimple Lie algebras 29 Chapter 3. Structure theory of complex semisimple Lie algebras 35 Cartan subalgebras 35 The root system of a complex semisimple Lie algebra 40 The classification of root systems and complex simple Lie algebras 54 Chapter 4. Representation theory of complex semisimple Lie algebras 59 The theorem of the highest weight 59 Some multilinear algebra 63 Existence of irreducible representations 67 The universal enveloping algebra and Verma modules 72 Chapter 5. Tools for dealing with finite dimensional representations 79 Decomposing representations 79 Formulae for multiplicities, characters, and dimensions 83 Young symmetrizers and Weyl's construction 88 Bibliography 93 Index 95 iii Preface The aim of this course is to develop the basic general theory of Lie algebras to give a first insight into the basics of the structure theory and representation theory of semisimple Lie algebras. A problem one meets right in the beginning of such a course is to motivate the notion of a Lie algebra and to indicate the importance of representation theory. The simplest possible approach would be to require that students have the necessary background from differential geometry, present the correspondence between Lie groups and Lie algebras, and then move to the study of Lie algebras, which are easier to understand than the Lie groups themselves.
    [Show full text]
  • Note on the Decomposition of Semisimple Lie Algebras
    Note on the Decomposition of Semisimple Lie Algebras Thomas B. Mieling (Dated: January 5, 2018) Presupposing two criteria by Cartan, it is shown that every semisimple Lie algebra of finite dimension over C is a direct sum of simple Lie algebras. Definition 1 (Simple Lie Algebra). A Lie algebra g is Proposition 2. Let g be a finite dimensional semisimple called simple if g is not abelian and if g itself and f0g are Lie algebra over C and a ⊆ g an ideal. Then g = a ⊕ a? the only ideals in g. where the orthogonal complement is defined with respect to the Killing form K. Furthermore, the restriction of Definition 2 (Semisimple Lie Algebra). A Lie algebra g the Killing form to either a or a? is non-degenerate. is called semisimple if the only abelian ideal in g is f0g. Proof. a? is an ideal since for x 2 a?; y 2 a and z 2 g Definition 3 (Derived Series). Let g be a Lie Algebra. it holds that K([x; z; ]; y) = K(x; [z; y]) = 0 since a is an The derived series is the sequence of subalgebras defined ideal. Thus [a; g] ⊆ a. recursively by D0g := g and Dn+1g := [Dng;Dng]. Since both a and a? are ideals, so is their intersection Definition 4 (Solvable Lie Algebra). A Lie algebra g i = a \ a?. We show that i = f0g. Let x; yi. Then is called solvable if its derived series terminates in the clearly K(x; y) = 0 for x 2 i and y = D1i, so i is solv- trivial subalgebra, i.e.
    [Show full text]
  • Matrix Lie Groups
    Maths Seminar 2007 MATRIX LIE GROUPS Claudiu C Remsing Dept of Mathematics (Pure and Applied) Rhodes University Grahamstown 6140 26 September 2007 RhodesUniv CCR 0 Maths Seminar 2007 TALK OUTLINE 1. What is a matrix Lie group ? 2. Matrices revisited. 3. Examples of matrix Lie groups. 4. Matrix Lie algebras. 5. A glimpse at elementary Lie theory. 6. Life beyond elementary Lie theory. RhodesUniv CCR 1 Maths Seminar 2007 1. What is a matrix Lie group ? Matrix Lie groups are groups of invertible • matrices that have desirable geometric features. So matrix Lie groups are simultaneously algebraic and geometric objects. Matrix Lie groups naturally arise in • – geometry (classical, algebraic, differential) – complex analyis – differential equations – Fourier analysis – algebra (group theory, ring theory) – number theory – combinatorics. RhodesUniv CCR 2 Maths Seminar 2007 Matrix Lie groups are encountered in many • applications in – physics (geometric mechanics, quantum con- trol) – engineering (motion control, robotics) – computational chemistry (molecular mo- tion) – computer science (computer animation, computer vision, quantum computation). “It turns out that matrix [Lie] groups • pop up in virtually any investigation of objects with symmetries, such as molecules in chemistry, particles in physics, and projective spaces in geometry”. (K. Tapp, 2005) RhodesUniv CCR 3 Maths Seminar 2007 EXAMPLE 1 : The Euclidean group E (2). • E (2) = F : R2 R2 F is an isometry . → | n o The vector space R2 is equipped with the standard Euclidean structure (the “dot product”) x y = x y + x y (x, y R2), • 1 1 2 2 ∈ hence with the Euclidean distance d (x, y) = (y x) (y x) (x, y R2).
    [Show full text]
  • Lecture 5: Semisimple Lie Algebras Over C
    LECTURE 5: SEMISIMPLE LIE ALGEBRAS OVER C IVAN LOSEV Introduction In this lecture I will explain the classification of finite dimensional semisimple Lie alge- bras over C. Semisimple Lie algebras are defined similarly to semisimple finite dimensional associative algebras but are far more interesting and rich. The classification reduces to that of simple Lie algebras (i.e., Lie algebras with non-zero bracket and no proper ideals). The classification (initially due to Cartan and Killing) is basically in three steps. 1) Using the structure theory of simple Lie algebras, produce a combinatorial datum, the root system. 2) Study root systems combinatorially arriving at equivalent data (Cartan matrix/ Dynkin diagram). 3) Given a Cartan matrix, produce a simple Lie algebra by generators and relations. In this lecture, we will cover the first two steps. The third step will be carried in Lecture 6. 1. Semisimple Lie algebras Our base field is C (we could use an arbitrary algebraically closed field of characteristic 0). 1.1. Criteria for semisimplicity. We are going to define the notion of a semisimple Lie algebra and give some criteria for semisimplicity. This turns out to be very similar to the case of semisimple associative algebras (although the proofs are much harder). Let g be a finite dimensional Lie algebra. Definition 1.1. We say that g is simple, if g has no proper ideals and dim g > 1 (so we exclude the one-dimensional abelian Lie algebra). We say that g is semisimple if it is the direct sum of simple algebras. Any semisimple algebra g is the Lie algebra of an algebraic group, we can take the au- tomorphism group Aut(g).
    [Show full text]
  • Holomorphic Diffeomorphisms of Complex Semisimple Lie Groups
    HOLOMORPHIC DIFFEOMORPHISMS OF COMPLEX SEMISIMPLE LIE GROUPS ARPAD TOTH AND DROR VAROLIN 1. Introduction In this paper we study the group of holomorphic diffeomorphisms of a complex semisimple Lie group. These holomorphic diffeomorphism groups are infinite di- mensional. To get additional information on these groups, we consider, for instance, the following basic problem: Given a complex semisimple Lie group G, a holomor- phic vector field X on G, and a compact subset K ⊂⊂ G, the flow of X, when restricted to K, is defined up to some nonzero time, and gives a biholomorphic map from K onto its image. When can one approximate this map uniformly on K by a global holomorphic diffeomorphism of G? One condition on a complex manifold which guarantees a positive solution of this problem, and which is possibly equiva- lent to it, is the so called density property, to be defined shortly. The main result of this paper is the following Theorem Every complex semisimple Lie group has the density property. Let M be a complex manifold and XO(M) the Lie algebra of holomorphic vector fields on M. Recall [V1] that a complex manifold is said to have the density property if the Lie subalgebra of XO(M) generated by its complete vector fields is a dense subalgebra. See section 2 for the definition of completeness. Since XO(M) is extremely large when M is Stein, the density property is particularly nontrivial in this case. One of the two main tools underlying the proof of our theorem is the general notion of shears and overshears, introduced in [V3].
    [Show full text]
  • Introduction to Lie Theory Homework #6 1. Let G = G 1 ⊕ G2 Be a Direct
    Introduction to Lie Theory Homework #6 1. Let g = g1 ⊕ g2 be a direct sum of two Lie algebras. Let V be a finite-dimensional g-module. Prove that V is completely reducible as a g-module if and only it is completely reducible both as a g1-module and as a g2-module. (Hint. Consider the finite-dimensional algebra A that is the image of U(g) under the induced algebra homomorphism ρ : U(g) ! EndC(V ), use Wedderburn theorem.) 2. Let g be a finite-dimensional semisimple Lie algebra with Killing form κ. We showed in L6-2 that g is the direct sum g1 ⊕· · ·⊕gn of its simple ideals, with gi ?κ gj for i 6= j. Let β be some other invariant bilinear form on g. Prove: (a) βjgi is a multiple of the Killing form κjgi for each i = 1; : : : ; n. (b) gi ?β gi for i 6= j. (c) β is a symmetric bilinear form. The remaining questions require the notion of a toral subalgebra t of a finite- dimensional semisimple Lie algebra g. Recall that this is a subalgebra con- sisting entirely of semisimple elements of g. As established in L7-1, such a subalgebra is necessarily Abelian. Hence, there is a root space decomposition M g = g0 ⊕ gα α2R ∗ where R = f0 6= α 2 t j gα 6= 0g is the set of roots of g with respect to t. Here, gα = fx 2 t j [t; x] = α(t)x for all t 2 tg for any α 2 t∗.
    [Show full text]
  • Irreducible Representations of Complex Semisimple Lie Algebras
    Irreducible Representations of Complex Semisimple Lie Algebras Rush Brown September 8, 2016 Abstract In this paper we give the background and proof of a useful theorem classifying irreducible representations of semisimple algebras by their highest weight, as well as restricting what that highest weight can be. Contents 1 Introduction 1 2 Lie Algebras 2 3 Solvable and Semisimple Lie Algebras 3 4 Preservation of the Jordan Form 5 5 The Killing Form 6 6 Cartan Subalgebras 7 7 Representations of sl2 10 8 Roots and Weights 11 9 Representations of Semisimple Lie Algebras 14 1 Introduction In this paper I build up to a useful theorem characterizing the irreducible representations of semisim- ple Lie algebras, namely that finite-dimensional irreducible representations are defined up to iso- morphism by their highest weight ! and that !(Hα) is an integer for any root α of R. This is the main theorem Fulton and Harris use for showing that the Weyl construction for sln gives all (finite-dimensional) irreducible representations. 1 In the first half of the paper we'll see some of the general theory of semisimple Lie algebras| building up to the existence of Cartan subalgebras|for which we will use a mix of Fulton and Harris and Serre ([1] and [2]), with minor changes where I thought the proofs needed less or more clarification (especially in the proof of the existence of Cartan subalgebras). Most of them are, however, copied nearly verbatim from the source. In the second half of the paper we will describe the roots of a semisimple Lie algebra with respect to some Cartan subalgebra, the weights of irreducible representations, and finally prove the promised result.
    [Show full text]
  • Algebraic D-Modules and Representation Theory Of
    Contemporary Mathematics Volume 154, 1993 Algebraic -modules and Representation TheoryDof Semisimple Lie Groups Dragan Miliˇci´c Abstract. This expository paper represents an introduction to some aspects of the current research in representation theory of semisimple Lie groups. In particular, we discuss the theory of “localization” of modules over the envelop- ing algebra of a semisimple Lie algebra due to Alexander Beilinson and Joseph Bernstein [1], [2], and the work of Henryk Hecht, Wilfried Schmid, Joseph A. Wolf and the author on the localization of Harish-Chandra modules [7], [8], [13], [17], [18]. These results can be viewed as a vast generalization of the classical theorem of Armand Borel and Andr´e Weil on geometric realiza- tion of irreducible finite-dimensional representations of compact semisimple Lie groups [3]. 1. Introduction Let G0 be a connected semisimple Lie group with finite center. Fix a maximal compact subgroup K0 of G0. Let g be the complexified Lie algebra of G0 and k its subalgebra which is the complexified Lie algebra of K0. Denote by σ the corresponding Cartan involution, i.e., σ is the involution of g such that k is the set of its fixed points. Let K be the complexification of K0. The group K has a natural structure of a complex reductive algebraic group. Let π be an admissible representation of G0 of finite length. Then, the submod- ule V of all K0-finite vectors in this representation is a finitely generated module over the enveloping algebra (g) of g, and also a direct sum of finite-dimensional U irreducible representations of K0.
    [Show full text]
  • LIE GROUPS and ALGEBRAS NOTES Contents 1. Definitions 2
    LIE GROUPS AND ALGEBRAS NOTES STANISLAV ATANASOV Contents 1. Definitions 2 1.1. Root systems, Weyl groups and Weyl chambers3 1.2. Cartan matrices and Dynkin diagrams4 1.3. Weights 5 1.4. Lie group and Lie algebra correspondence5 2. Basic results about Lie algebras7 2.1. General 7 2.2. Root system 7 2.3. Classification of semisimple Lie algebras8 3. Highest weight modules9 3.1. Universal enveloping algebra9 3.2. Weights and maximal vectors9 4. Compact Lie groups 10 4.1. Peter-Weyl theorem 10 4.2. Maximal tori 11 4.3. Symmetric spaces 11 4.4. Compact Lie algebras 12 4.5. Weyl's theorem 12 5. Semisimple Lie groups 13 5.1. Semisimple Lie algebras 13 5.2. Parabolic subalgebras. 14 5.3. Semisimple Lie groups 14 6. Reductive Lie groups 16 6.1. Reductive Lie algebras 16 6.2. Definition of reductive Lie group 16 6.3. Decompositions 18 6.4. The structure of M = ZK (a0) 18 6.5. Parabolic Subgroups 19 7. Functional analysis on Lie groups 21 7.1. Decomposition of the Haar measure 21 7.2. Reductive groups and parabolic subgroups 21 7.3. Weyl integration formula 22 8. Linear algebraic groups and their representation theory 23 8.1. Linear algebraic groups 23 8.2. Reductive and semisimple groups 24 8.3. Parabolic and Borel subgroups 25 8.4. Decompositions 27 Date: October, 2018. These notes compile results from multiple sources, mostly [1,2]. All mistakes are mine. 1 2 STANISLAV ATANASOV 1. Definitions Let g be a Lie algebra over algebraically closed field F of characteristic 0.
    [Show full text]
  • Springer Undergraduate Mathematics Series Advisory Board
    Springer Undergraduate Mathematics Series Advisory Board M.A.J. Chaplain University of Dundee K. Erdmann Oxford University A.MacIntyre Queen Mary, University of London L.C.G. Rogers University of Cambridge E. Süli Oxford University J.F. Toland University of Bath Other books in this series A First Course in Discrete Mathematics I. Anderson Analytic Methods for Partial Differential Equations G. Evans, J. Blackledge, P. Yardley Applied Geometry for Computer Graphics and CAD, Second Edition D. Marsh Basic Linear Algebra, Second Edition T.S. Blyth and E.F. Robertson Basic Stochastic Processes Z. Brze´zniak and T. Zastawniak Calculus of One Variable K.E. Hirst Complex Analysis J.M. Howie Elementary Differential Geometry A. Pressley Elementary Number Theory G.A. Jones and J.M. Jones Elements of Abstract Analysis M. Ó Searcóid Elements of Logic via Numbers and Sets D.L. Johnson Essential Mathematical Biology N.F. Britton Essential Topology M.D. Crossley Fields and Galois Theory J.M. Howie Fields, Flows and Waves: An Introduction to Continuum Models D.F. Parker Further Linear Algebra T.S. Blyth and E.F. Robertson Geometry R. Fenn Groups, Rings and Fields D.A.R. Wallace Hyperbolic Geometry, Second Edition J.W. Anderson Information and Coding Theory G.A. Jones and J.M. Jones Introduction to Laplace Transforms and Fourier Series P.P.G. Dyke Introduction to Lie Algebras K. Erdmann and M.J. Wildon Introduction to Ring Theory P.M. Cohn Introductory Mathematics: Algebra and Analysis G. Smith Linear Functional Analysis B.P. Rynne and M.A. Youngson Mathematics for Finance: An Introduction to Financial Engineering M.
    [Show full text]
  • Lattic Isomorphisms of Lie Algebras
    LATTICE ISOMORPHISMS OF LIE ALGEBRAS D. W. BARNES (received 16 March 1964) 1. Introduction Let L be a finite dimensional Lie algebra over the field F. We denote by -S?(Z.) the lattice of all subalgebras of L. By a lattice isomorphism (which we abbreviate to .SP-isomorphism) of L onto a Lie algebra M over the same field F, we mean an isomorphism of £P(L) onto J&(M). It is possible for non-isomorphic Lie algebras to be J?-isomorphic, for example, the algebra of real vectors with product the vector product is .Sf-isomorphic to any 2-dimensional Lie algebra over the field of real numbers. Even when the field F is algebraically closed of characteristic 0, the non-nilpotent Lie algebra L = <a, bt, • • •, br} with product defined by ab{ = b,, b(bf = 0 (i, j — 1, 2, • • •, r) is j2?-isomorphic to the abelian algebra of the same di- mension1. In this paper, we assume throughout that F is algebraically closed of characteristic 0 and are principally concerned with semi-simple algebras. We show that semi-simplicity is preserved under .Sf-isomorphism, and that ^-isomorphic semi-simple Lie algebras are isomorphic. We write mappings exponentially, thus the image of A under the map <p v will be denoted by A . If alt • • •, an are elements of the Lie algebra L, we denote by <a,, • • •, an> the subspace of L spanned by au • • • ,an, and denote by <<«!, • • •, «„» the subalgebra generated by a,, •••,«„. For a single element a, <#> = «a>>. The product of two elements a, 6 el.
    [Show full text]
  • LIE ALGEBRAS in CLASSICAL and QUANTUM MECHANICS By
    LIE ALGEBRAS IN CLASSICAL AND QUANTUM MECHANICS by Matthew Cody Nitschke Bachelor of Science, University of North Dakota, 2003 A Thesis Submitted to the Graduate Faculty of the University of North Dakota in partial ful¯llment of the requirements for the degree of Master of Science Grand Forks, North Dakota May 2005 This thesis, submitted by Matthew Cody Nitschke in partial ful¯llment of the require- ments for the Degree of Master of Science from the University of North Dakota, has been read by the Faculty Advisory Committee under whom the work has been done and is hereby approved. (Chairperson) This thesis meets the standards for appearance, conforms to the style and format require- ments of the Graduate School of the University of North Dakota, and is hereby approved. Dean of the Graduate School Date ii PERMISSION Title Lie Algebras in Classical and Quantum Mechanics Department Physics Degree Master of Science In presenting this thesis in partial ful¯llment of the requirements for a graduate degree from the University of North Dakota, I agree that the library of this University shall make it freely available for inspection. I further agree that permission for extensive copying for scholarly purposes may be granted by the professor who supervised my thesis work or, in his absence, by the chairperson of the department or the dean of the Graduate School. It is understood that any copying or publication or other use of this thesis or part thereof for ¯nancial gain shall not be allowed without my written permission. It is also understood that due recognition shall be given to me and to the University of North Dakota in any scholarly use which may be made of any material in my thesis.
    [Show full text]