DOCSLIB.ORG

Chapter (2) Quaternions, Clifford Algebras, and Matrix Groups As Lie Groups

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Chapter (2) Quaternions, Clifford Algebras, and Matrix Groups As Lie Groups Chapter (2) Quaternions, Clifford Algebras, and Matrix Groups as Lie Groups. Now we will discuss algebras. Section (2.1): Quaternions, Clifford Algebras, and Matrix Groups as Lie Groups First will denote any field, although our main interest will be in the cases ℝ, ℂ. Definition (2.1.1): finite dimensional (associative and unital) algebra A is a finite dimensional - vector space which is an associative and unital ring such that for all r; s ∈ and a; b ∈ A, ()() = ()(). If A is a ring then A is a commutative -algebra. If every non-zero element ∈ A is a unit, i.e., is invertible, then A is a division algebra. In this last equation, and are scalar products in the vector space structure, while ()() is the scalar product of with the ring product . Furthermore, if 1 ∈ is the unit of A, for t ∈ , the element 1 ∈ A satisfies (1) = = (1) = (1). If dim A > 0, then 1 ≠ 0, and the function : → ; () = 1 is an injective ring homomorphism; we usually just write t for (t) = t1. Example (2.1.2): For ≥ 1, Mn() is a -algebra. Here we have (t) = t ,ℂ is non- commutative. 57 Example (2.1.3): The ring of complex numbers ℂ is an ℝ-algebra. Here we have (t) = t. C is commutative. Notice that ℂ is a commutative division algebra. A commutative division algebra is usually called a field while a non- commutative division algebra is called a skew field. In French corps (~field) is often used in sense of possibly non-commutative division algebra. In any algebra, the set of units of A forms a group A* under multiplication, and this contains x. x For A = Mn(), Mn() = GLn(). Definition (2.1.4): Let , be two -algebras. A -linear transformation that is also a ring homomorphism is called a -algebra homomorphism or homomorphism of - algebras. A homomorphism of -algebras : A → B which is also an isomorphism of rings or equivalently of -vector spaces is called isomorphism of -algebras. Notice that the unit : → A is always a homomorphism of -algebras. There are obvious notions of kernel and image for such homomorphisms, and of subalgebra. Definition (2.1.5): Given two -algebras , , their direct product has underlying set with sum and product (a1, b1) + (a2, b2) = (a1 + a2, b1 + b2) , (a1, b1)(a2, b2) = (a1a2, b1b2). The zero is (0,0) while the unit is (1,1). It is easy to see that there is an isomorphism of -algebras A x B ≅ B x A. Given a -algebra A, it is also possible to consider the ring Mn(A) consisting of matrices with entries in A; this is also a -algebra of dimension 2 DimkMm(A) = m dimK A. 58 It is often the case that a -algebra A contains a subalgebra1⊆ A which is also a field. In that case A can be viewed as a over 1 in two different ways, corresponding to left and right multiplication by elements of 1. Then for t ∈ 1, ∈ A, ( ) → . = ; (ℎ ) → . = . These give different 1-vector space structures unless all elements of 1 commute with all elements of A, in which case 1 is said to be a central subfield of A. We sometimes write 1A and to indicate which structure is being considered. 1 is itself a finite dimensional commutative -algebra of some dimension 1. Proposition (2.1.6): Each of the 1-vector spacesk1 A and is finite dimensional and in fact dimk A = dimk1 (k1A) dimk1 = dimk A|1 dimk: Example (2.1.7): Let = ℝ and A = M2(ℝ), so dimR A = 4. Let 1 =− : , ∈ ℝ ⊆ (ℝ) Then 1≅ ℂ so is a subfield of M2(ℝ), but it is not a central subfield. Also dimk1 A = 2. Example (2.1.8): Let = ℝ and A = M2(ℂ), so dimR A = 8. Let 1 =− : , ∈ ℝ ⊆ (ℂ) Then 1≅ so is subfield of M2(ℂ), but it is not a central subfield. Here dimk1 A = 4. Given a -algebra A and a subfield 1⊆A containing (possibly equal to ), an element ∈ acts on A by left multiplication: . = ( ∈ ). 59 This is always a -linear transformation of A, and if we view A as the 1vector space A 1, it is always a 1-linear transformation. Given a 1-basis {v1,……,vm} for A 1, there is an matrix (a) with entries in 1 defined by () = () It is easy to check that : → (); ↦ () is a homomorphism of -algebras, called the left regular representation of A over 1 with respect to the basis {v1,…, vm}. Lemma (2.1.9): A →Mm(1) has trivial kernel ker = 0, hence it is an injection. Proof: If a ∈ker then (a)(1) = 0, giving a1 = 0, so a = 0. Definition (2.1.10): The -algebra A is simple if it has only one proper two sided ideal, namely (0), hence every non-trivial |-algebra homomorphism : A →B is an injection. Proposition (2.1.11): Let be a field. i) For a division algebra over , is simple. ii) For a simple -algebra A, Mn(A) is simple. In particular, Mn() is a simple -algebra. On restricting the left regular representation to the group of units of Ax, we obtain an injective group homomorphism : → (); ()() = , where 1⊆ A is a subfield containing and we have chosen a 1-basis of Because ≅ ≤ (1) 60 Ax and its subgroups give groups of matrices. Given a -basis of A, we obtain a group homomorphism X : A → (); (a)(u)= We can combine and to obtain two further group homomorphisms : → (); (, )() = Δ: → (); Δ()() = Notice that these have non-trivial kernels, Ker : = {(1,1),(-1,-1)}, Ker ∆ = {1,-1} In the following we will discuss linear algebra over a division algebra let be a finite dimensional division algebra over a field . Definition (2.1.12): A (right) -vector space V is a right -module, i.e., an abelian group with a right scalar multiplication by elements of so that for ; ∈ V , ; ∈ , v(xy) = (vx)y, v(x + y) = vx + vy, (u + v)x = ux + vx, v1 = v: All the obvious notions of -linear transformations, subspaces, kernels and images make sense as do notions of spanning set and linear independence over . Theorem (2.1.13): Let V be a -vector space. Then V has a -basis. If V has a finite spanning set over then it has a finite -basis; furthermore any two such finite bases have the same number of elements. Definition (2.1.14): A -vector space V with a finite basis is called finite dimensional and the number of elements in a basis is called the dimension of V over , denoted dimD V . 61 For n > 1, we can view n as the set of 1 column vectors with entries in and this becomes a -vector space with the obvious scalar multiplication ⋮ = ⋮ Proposition (2.1.15): Let V,W be two finite dimensional vector spaces over , of dimensions dimD V = m, dimDW = n and with bases {v1; : : : ; vm}, {w1; : : : ;wn}. Then a -linear transformation : V →W is given by () = For unique elements ∈ Hence if = , Then 1 ⋯ 2 ⋯ = ⋮ ⋮ ⋱ ⋱ ⋮ ⋮ ⋯ In particular, for V=m and W=n, every -linear transformation is obtained in this way from left multiplication by a fixed matrix. This is of course analogous to what happens over a field except that we are careful to keep the scalar action on the right and the matrix action on the left. We will be mainly interested in linear transformations which we will identify with the corresponding matrices. If : k→: k and m→ n are -linear transformations with corresponding matrices [] , [], then [] []= [Ο], (2.1) m m Also, the identity and zero functions Id; 0: → have [Id] = Im and [0] = Om. 62 Notice that given a -linear transformation : V→W, we can 'forget' the - structure and just view it as a -linear transformation. Given -bases {v1…, vm}, {w1,…..,wn} and a basis {b1, …, bd} say for , the elements vrbt (r = 1, …. ,m , t = 1 , …. d), wsbt (s = 1, …, n , t = 1 , … d) form -bases for V;W as -vector spaces. We denote the set of all matrices with entries in by Mm,n() and Mn() 2 = Mn,n(). Then Mn() is a -algebra of dimension dim Mn() = n dimk. The group of units of Mn() is denoted GLn(). However, for non-commutative there is no determinant function so we cannot define an analogue of the special linear group. We can however use the left regular representation to overcome this problem with the aid of some algebra. Proposition (2.1.16): Let A be algebra over a field and B ⊆ A a finite dimensional subalgebra. If u∈ B is a unit in A then ∈ B, hence u is a unit in B. Proof: Since B is finite dimensional, the powers uk (k≥0) are linearly dependent over , so for some tr∈ (r = 0,….,ℯ ) with ℯ ≠ 0 and ℯ ≥ 1, there is a relation ℯ = 0 If we choose k suitably and multiply by a non-zero scalar, then we can assume that ℯ − = 0. If v is the inverse of in A, then multiplication by vk+1 gives ℯ − = 0. from which we obtain 63 ℯ − ∈ For a division algebra , each matrix A ∈Mn() acts by multiplication on the n left of . For any subfield 1⊆ containing , A induces a (right) 1-linear transformation, Dn→Dn; x →Ax If we choose a 1-basis for , A gives rise to a matrix AA∈Mnd(1) where d = dimk1 . It is easy to see that the function ⋀: Mn() →Mnd(1) ; ⋀(A) = ⋀A. is a ring homomorphism with ker⋀ = 0. This allows us to identify Mn() with the subring im⋀ ⊆ Mnd(1).
Load more

Recommended publications
  • Matrix Groups for Undergraduates Second Edition Kristopher Tapp
    STUDENT MATHEMATICAL LIBRARY Volume 79 Matrix Groups for Undergraduates Second Edition Kristopher Tapp https://doi.org/10.1090//stml/079 Matrix Groups for Undergraduates Second Edition STUDENT MATHEMATICAL LIBRARY Volume 79 Matrix Groups for Undergraduates Second Edition Kristopher Tapp Providence, Rhode Island Editorial Board Satyan L. Devadoss John Stillwell (Chair) Erica Flapan Serge Tabachnikov 2010 Mathematics Subject Classification. Primary 20-02, 20G20; Secondary 20C05, 22E15. For additional information and updates on this book, visit www.ams.org/bookpages/stml-79 Library of Congress Cataloging-in-Publication Data Names: Tapp, Kristopher, 1971– Title: Matrix groups for undergraduates / Kristopher Tapp. Description: Second edition. — Providence, Rhode Island : American Mathe- matical Society, [2016] — Series: Student mathematical library ; volume 79 — Includes bibliographical references and index. Identifiers: LCCN 2015038141 — ISBN 9781470427221 (alk. paper) Subjects: LCSH: Matrix groups. — Linear algebraic groups. — Compact groups. — Lie groups. — AMS: Group theory and generalizations – Research exposition (monographs, survey articles). msc — Group theory and generalizations – Linear algebraic groups and related topics – Linear algebraic groups over the reals, the complexes, the quaternions. msc — Group theory and generalizations – Repre- sentation theory of groups – Group rings of finite groups and their modules. msc — Topological groups, Lie groups – Lie groups – General properties and structure of real Lie groups. msc Classification: LCC QA184.2 .T37 2016 — DDC 512/.2–dc23 LC record available at http://lccn.loc.gov/2015038141 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given.
    [Show full text]
  • A Review of Commutative Ring Theory Mathematics Undergraduate Seminar: Toric Varieties
    A REVIEW OF COMMUTATIVE RING THEORY MATHEMATICS UNDERGRADUATE SEMINAR: TORIC VARIETIES ADRIANO FERNANDES Contents 1. Basic Definitions and Examples 1 2. Ideals and Quotient Rings 3 3. Properties and Types of Ideals 5 4. C-algebras 7 References 7 1. Basic Definitions and Examples In this first section, I define a ring and give some relevant examples of rings we have encountered before (and might have not thought of as abstract algebraic structures.) I will not cover many of the intermediate structures arising between rings and fields (e.g. integral domains, unique factorization domains, etc.) The interested reader is referred to Dummit and Foote. Definition 1.1 (Rings). The algebraic structure “ring” R is a set with two binary opera- tions + and , respectively named addition and multiplication, satisfying · (R, +) is an abelian group (i.e. a group with commutative addition), • is associative (i.e. a, b, c R, (a b) c = a (b c)) , • and the distributive8 law holds2 (i.e.· a,· b, c ·R, (·a + b) c = a c + b c, a (b + c)= • a b + a c.) 8 2 · · · · · · Moreover, the ring is commutative if multiplication is commutative. The ring has an identity, conventionally denoted 1, if there exists an element 1 R s.t. a R, 1 a = a 1=a. 2 8 2 · ·From now on, all rings considered will be commutative rings (after all, this is a review of commutative ring theory...) Since we will be talking substantially about the complex field C, let us recall the definition of such structure. Definition 1.2 (Fields).
    [Show full text]
  • CLIFFORD ALGEBRAS Property, Then There Is a Unique Isomorphism (V ) (V ) Intertwining the Two Inclusions of V
    CHAPTER 2 Clifford algebras 1. Exterior algebras 1.1. Definition. For any vector space V over a field K, let T (V ) = k k k Z T (V ) be the tensor algebra, with T (V ) = V V the k-fold tensor∈ product. The quotient of T (V ) by the two-sided⊗···⊗ ideal (V ) generated byL all v w + w v is the exterior algebra, denoted (V ).I The product in (V ) is usually⊗ denoted⊗ α α , although we will frequently∧ omit the wedge ∧ 1 ∧ 2 sign and just write α1α2. Since (V ) is a graded ideal, the exterior algebra inherits a grading I (V )= k(V ) ∧ ∧ k Z M∈ where k(V ) is the image of T k(V ) under the quotient map. Clearly, 0(V )∧ = K and 1(V ) = V so that we can think of V as a subspace of ∧(V ). We may thus∧ think of (V ) as the associative algebra linearly gener- ated∧ by V , subject to the relations∧ vw + wv = 0. We will write φ = k if φ k(V ). The exterior algebra is commutative | | ∈∧ (in the graded sense). That is, for φ k1 (V ) and φ k2 (V ), 1 ∈∧ 2 ∈∧ [φ , φ ] := φ φ + ( 1)k1k2 φ φ = 0. 1 2 1 2 − 2 1 k If V has finite dimension, with basis e1,...,en, the space (V ) has basis ∧ e = e e I i1 · · · ik for all ordered subsets I = i1,...,ik of 1,...,n . (If k = 0, we put { } k { n } e = 1.) In particular, we see that dim (V )= k , and ∅ ∧ n n dim (V )= = 2n.
    [Show full text]
  • On the Solutions of Linear Matrix Quaternionic Equations and Their Systems
    Mathematica Aeterna, Vol. 6, 2016, no. 6, 907 - 921 On The Solutions of Linear Matrix Quaternionic Equations and Their Systems Ahmet Ipek_ Department of Mathematics Faculty of Kamil Ozda˘gScience¨ Karamano˘gluMehmetbey University Karaman, Turkey [email protected] Cennet Bolat C¸imen Ankara Chamber of Industry 1st Organized Industrial Zone Vocational School Hacettepe University Ankara, Turkey [email protected] Abstract In this paper, our main aim is to investigate the solvability, exis- tence of unique solution, closed-form solutions of some linear matrix quaternion equations with one unknown and of their systems with two unknowns. By means of the arithmetic operations on matrix quater- nions, the linear matrix quaternion equations that is considered herein could be converted into four classical real linear equations, the solu- tions of the linear matrix quaternion equations are derived by solving four classical real linear equations based on the inverses and general- ized inverses of matrices. Also, efficiency and accuracy of the presented method are shown by several examples. Mathematics Subject Classification: 11R52; 15A30 Keywords: The systems of equations; Quaternions; Quaternionic Sys- tems. 1 Introduction The quaternion and quaternion matrices play a role in computer science, quan- tum physics, signal and color image processing, and so on (e.g., [1, 17, 22]. 908 Ahmet Ipek_ and Cennet Bolat C¸imen General properties of quaternion matrices can be found in [29]. Linear matrix equations are often encountered in many areas of computa- tional mathematics, control and system theory. In the past several decades, solving matrix equations has been a hot topic in the linear algebraic field (see, for example, [2, 3, 12, 18, 19, 21 and 30]).
    [Show full text]
  • A Natural Transformation of the Spec Functor
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA 10, 69-91 (1968) A Natural Transformation of the Spec Functor IAN G. CONNELL McGill University, Montreal, Canada Communicated by P. Cohn Received November 28, 1967 The basic functor underlying the Grothendieck algebraic geometry is Spec which assigns a ringed space to each ring1 A; we denote the topological space by spec A and the sheaf of rings by Spec A. We shall define a functor which is both a generalization and a natural transformation of Spec, in a sense made precise below. Our setting is the category Proj, of commutative K-algebras, where k is a fixed ring, and specializations over K which are defined below. A k-algebra is, strictly speaking, a ring homomorphism pA : K -+ A (pa is called the representation or structural homomorphism) and a K-algebra homomorphism is a commutative triangle k of ring homomorphisms. As is customary we simplify this to “A is a K-algebra” and “4 : A -+ B is a K-algebra homomorphism”, when there can be no ambiguity about the p’s. When we refer to K as a K-algebra we mean of course the identity representation. 1. PRIMES AND PLACES Recall the definition of a place $ on the field A with values in the field B (cf. [6], p. 3). It is a ring homomorphism 4 : A, -+ B defined on a subring A, of A with the property that for all X, y E A, xy E A, , x 6 A, =Py E Ker 4.
    [Show full text]
  • Math 250A: Groups, Rings, and Fields. H. W. Lenstra Jr. 1. Prerequisites
    Math 250A: Groups, rings, and fields. H. W. Lenstra jr. 1. Prerequisites This section consists of an enumeration of terms from elementary set theory and algebra. You are supposed to be familiar with their definitions and basic properties. Set theory. Sets, subsets, the empty set , operations on sets (union, intersection, ; product), maps, composition of maps, injective maps, surjective maps, bijective maps, the identity map 1X of a set X, inverses of maps. Relations, equivalence relations, equivalence classes, partial and total orderings, the cardinality #X of a set X. The principle of math- ematical induction. Zorn's lemma will be assumed in a number of exercises. Later in the course the terminology and a few basic results from point set topology may come in useful. Group theory. Groups, multiplicative and additive notation, the unit element 1 (or the zero element 0), abelian groups, cyclic groups, the order of a group or of an element, Fermat's little theorem, products of groups, subgroups, generators for subgroups, left cosets aH, right cosets, the coset spaces G=H and H G, the index (G : H), the theorem of n Lagrange, group homomorphisms, isomorphisms, automorphisms, normal subgroups, the factor group G=N and the canonical map G G=N, homomorphism theorems, the Jordan- ! H¨older theorem (see Exercise 1.4), the commutator subgroup [G; G], the center Z(G) (see Exercise 1.12), the group Aut G of automorphisms of G, inner automorphisms. Examples of groups: the group Sym X of permutations of a set X, the symmetric group S = Sym 1; 2; : : : ; n , cycles of permutations, even and odd permutations, the alternating n f g group A , the dihedral group D = (1 2 : : : n); (1 n 1)(2 n 2) : : : , the Klein four group n n h − − i V , the quaternion group Q = 1; i; j; ij (with ii = jj = 1, ji = ij) of order 4 8 { g − − 8, additive groups of rings, the group Gl(n; R) of invertible n n-matrices over a ring R.
    [Show full text]
  • Perturbation Analysis of Matrices Over a Quaternion Division Algebra∗
    Electronic Transactions on Numerical Analysis. Volume 54, pp. 128–149, 2021. ETNA Kent State University and Copyright © 2021, Kent State University. Johann Radon Institute (RICAM) ISSN 1068–9613. DOI: 10.1553/etna_vol54s128 PERTURBATION ANALYSIS OF MATRICES OVER A QUATERNION DIVISION ALGEBRA∗ SK. SAFIQUE AHMADy, ISTKHAR ALIz, AND IVAN SLAPNICARˇ x Abstract. In this paper, we present the concept of perturbation bounds for the right eigenvalues of a quaternionic matrix. In particular, a Bauer-Fike-type theorem for the right eigenvalues of a diagonalizable quaternionic matrix is derived. In addition, perturbations of a quaternionic matrix are discussed via a block-diagonal decomposition and the Jordan canonical form of a quaternionic matrix. The location of the standard right eigenvalues of a quaternionic matrix and a sufficient condition for the stability of a perturbed quaternionic matrix are given. As an application, perturbation bounds for the zeros of quaternionic polynomials are derived. Finally, we give numerical examples to illustrate our results. Key words. quaternionic matrices, left eigenvalues, right eigenvalues, quaternionic polynomials, Bauer-Fike theorem, quaternionic companion matrices, quaternionic matrix norms AMS subject classifications. 15A18, 15A66 1. Introduction. The goal of this paper is the derivation of a Bauer-Fike-type theorem for the right eigenvalues and a perturbation analysis for quaternionic matrices, as well as a specification of the location of the right eigenvalues of a perturbed quaternionic matrix and perturbation bounds for the zeros of quaternionic polynomials. The Bauer-Fike theorem is a standard result in the perturbation theory for diagonalizable matrices over the complex −1 field. The theorem states that if A 2 Mn(C) is a diagonalizable matrix, with A = XDX , and A + E is a perturbed matrix, then an upper bound for the distance between a point µ 2 Λ(A + E) and the spectrum Λ(A) is given by [4] (1.1) min jµ − λj ≤ κ(X)kEk: λ2Λ(A) Here, κ(X) = kXkkX−1k is the condition number of the matrix X.
    [Show full text]
  • Algebra Homomorphisms and the Functional Calculus
    Pacific Journal of Mathematics ALGEBRA HOMOMORPHISMS AND THE FUNCTIONAL CALCULUS MARK PHILLIP THOMAS Vol. 79, No. 1 May 1978 PACIFIC JOURNAL OF MATHEMATICS Vol. 79, No. 1, 1978 ALGEBRA HOMOMORPHISMS AND THE FUNCTIONAL CALCULUS MARC THOMAS Let b be a fixed element of a commutative Banach algebra with unit. Suppose σ(b) has at most countably many connected components. We give necessary and sufficient conditions for b to possess a discontinuous functional calculus. Throughout, let B be a commutative Banach algebra with unit 1 and let rad (B) denote the radical of B. Let b be a fixed element of B. Let έ? denote the LF space of germs of functions analytic in a neighborhood of σ(6). By a functional calculus for b we mean an algebra homomorphism θr from έ? to B such that θ\z) = b and θ\l) = 1. We do not require θr to be continuous. It is well-known that if θ' is continuous, then it is equal to θ, the usual functional calculus obtained by integration around contours i.e., θ{f) = -±τ \ f(t)(f - ]dt for f eέ?, Γ a contour about σ(b) [1, 1.4.8, Theorem 3]. In this paper we investigate the conditions under which a functional calculus & is necessarily continuous, i.e., when θ is the unique functional calculus. In the first section we work with sufficient conditions. If S is any closed subspace of B such that bS Q S, we let D(b, S) denote the largest algebraic subspace of S satisfying (6 — X)D(b, S) = D(b, S)f all λeC.
    [Show full text]
  • Quaternions and Quantum Theory
    Quaternions and Quantum Theory by Matthew A. Graydon A thesis presented to the University of Waterloo in fulfillment of the thesis requirement for the degree of Master of Science in Physics Waterloo, Ontario, Canada, 2011 c Matthew A. Graydon 2011 I hereby declare that I am the sole author of this thesis. This is a true copy of the thesis, including any required final revisions, as accepted by my examiners. I understand that my thesis may be made electronically available to the public. ii Abstract The orthodox formulation of quantum theory invokes the mathematical apparatus of complex Hilbert space. In this thesis, we consider a quaternionic quantum formalism for the description of quantum states, quantum channels, and quantum measurements. We prove that probabilities for outcomes of quaternionic quantum measurements arise from canonical inner products of the corresponding quaternionic quantum effects and a unique quaternionic quantum state. We embed quaternionic quantum theory into the framework of usual complex quantum information theory. We prove that quaternionic quantum measurements can be simulated by usual complex positive operator valued measures. Furthermore, we prove that quaternionic quantum channels can be simulated by completely positive trace preserving maps on complex quantum states. We also derive a lower bound on an orthonormality measure for sets of positive semi-definite quaternionic linear operators. We prove that sets of operators saturating the aforementioned lower bound facilitate a reconciliation of quaternionic quantum theory with a generalized Quantum Bayesian framework for reconstructing quantum state spaces. This thesis is an extension of work found in [42]. iii Acknowledgements First and foremost, I would like to deeply thank my supervisor, Dr.
    [Show full text]
  • What Does a Lie Algebra Know About a Lie Group?
    WHAT DOES A LIE ALGEBRA KNOW ABOUT A LIE GROUP? HOLLY MANDEL Abstract. We define Lie groups and Lie algebras and show how invariant vector fields on a Lie group form a Lie algebra. We prove that this corre- spondence respects natural maps and discuss conditions under which it is a bijection. Finally, we introduce the exponential map and use it to write the Lie group operation as a function on its Lie algebra. Contents 1. Introduction 1 2. Lie Groups and Lie Algebras 2 3. Invariant Vector Fields 3 4. Induced Homomorphisms 5 5. A General Exponential Map 8 6. The Campbell-Baker-Hausdorff Formula 9 Acknowledgments 10 References 10 1. Introduction Lie groups provide a mathematical description of many naturally-occuring sym- metries. Though they take a variety of shapes, Lie groups are closely linked to linear objects called Lie algebras. In fact, there is a direct correspondence between these two concepts: simply-connected Lie groups are isomorphic exactly when their Lie algebras are isomorphic, and every finite-dimensional real or complex Lie algebra occurs as the Lie algebra of a simply-connected Lie group. To put it another way, a simply-connected Lie group is completely characterized by the small collection n2(n−1) of scalars that determine its Lie bracket, no more than 2 numbers for an n-dimensional Lie group. In this paper, we introduce the basic Lie group-Lie algebra correspondence. We first define the concepts of a Lie group and a Lie algebra and demonstrate how a certain set of functions on a Lie group has a natural Lie algebra structure.
    [Show full text]
  • Model Theory of Fields with Free Operators in Positive Characteristic
    MODEL THEORY OF FIELDS WITH FREE OPERATORS IN POSITIVE CHARACTERISTIC OZLEM¨ BEYARSLAN♣, DANIEL MAX HOFFMANN♦, MOSHE KAMENSKY♥, AND PIOTR KOWALSKI♠ Abstract. We give algebraic conditions about a finite commutative algebra B over a field of positive characteristic, which are equivalent to the compan- ionability of the theory of fields with “B-operators” (i.e. the operators coming from homomorphisms into tensor products with B). We show that, in the most interesting case of a local B, these model companions admit quantifier elimination in the “smallest possible” language and they are strictly stable. We also describe the forking relation there. 1. Introduction The aim of this paper is to extend the results from [18] about model theory of “free operators” on fields from the case of characteristic zero to the case of arbitrary characteristics. Throughout the paper we fix a field k, and all algebras and rings considered in this paper are assumed to be commutative with unit. Let us quickly recall the set-up from [18]. For a fixed finite k-algebra B and a field extension k ⊆ K, a B-operator on K (called a D-ring (structure on K) in [18], where D(k)= B) is a k-algebra homomorphism K → K ⊗k B (for a more precise description, see Def. 2.2). For example, a map ∂ : K → K is a k-derivation if and only if the corresponding map 2 2 2 K ∋ x 7→ x + ∂(x)X + X ∈ K[X]/(X )= K ⊗k k[X]/(X ) is a B-operator for B = k[X]/(X2). It is proved in [18] that if char(k) = 0, then a model companion of the theory of B-operators exists and the properties of this model companion are analyzed in [18] as well.
    [Show full text]
  • The (Homo)Morphism Concept: Didactic Transposition, Meta-Discourse and Thematisation Thomas Hausberger
    The (homo)morphism concept: didactic transposition, meta-discourse and thematisation Thomas Hausberger To cite this version: Thomas Hausberger. The (homo)morphism concept: didactic transposition, meta-discourse and the- matisation. International Journal of Research in Undergraduate Mathematics Education, Springer, 2017, 3 (3), pp.417-443. 10.1007/s40753-017-0052-7. hal-01408419 HAL Id: hal-01408419 https://hal.archives-ouvertes.fr/hal-01408419 Submitted on 20 Feb 2021 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Noname manuscript No. (will be inserted by the editor) The (homo)morphism concept: didactic transposition, meta-discourse and thematisation Thomas Hausberger Received: date / Accepted: date Abstract This article focuses on the didactic transposition of the homomor- phism concept and on the elaboration and evaluation of an activity dedicated to the teaching of this fundamental concept in Abstract Algebra. It does not restrict to Group Theory but on the contrary raises the issue of the teaching and learning of algebraic structuralism, thus bridging Group and Ring Theo- ries and highlighting the phenomenon of thematisation. Emphasis is made on epistemological analysis and its interaction with didactics. The rationale of the isomorphism and homomorphism concepts is discussed, in particular through a textbook analysis focusing on the meta-discourse that mathematicians offer to illuminate the concepts.
    [Show full text]