DOCSLIB.ORG

LINEAR LIE GROUPS 1. the General Linear Group Recall That M(N,R)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

LECTURE 7: LINEAR LIE GROUPS 1. The general linear group 2 Recall that M(n; R), the set of all n × n real matrices, is diffeomorphic to Rn . Definition 1.1. A linear Lie group, or matrix Lie group, is a submanifold of M(n; R) which is also a Lie group, with group structure the matrix multiplication. Let's begin with the \largest" linear Lie group, the general linear group GL(n; R) = fX 2 M(n; R) j det X 6= 0g: Since the determinant map is continuous, GL(n; R) is open in M(n; R) and thus a sub- manifold. Moreover, GL(n; R) is closed under the group multiplication and inversion operations, so it is a Lie group. Obviously GL(n; R) is an n2-dimensional noncom- pact Lie group, and it is not connected. In fact, it consists of exactly two connected components, GL+(n; R) = fX 2 M(n; R) j det X > 0g and GL−(n; R) = fX 2 M(n; R) j det X < 0g: 2 The fact that GL(n; R) is an open subset of M(n; R) ' Rn also implies that the Lie algebra of GL(n; R), as the tangent space at e = In, is the set M(n; R) itself, i.e. gl(n; R) = fA j A is an n × n real matrixg: To figure out the Lie bracket operation, we take a matrix A = (Aij)n×n 2 g, and take the global coordinate system by (Xij). Then the corresponding tangent vector P @ at TIn GL(n; R) is Aij @Xij , and the corresponding left-invariant vector on G at the ij P ik @ matrix X = (X ) is X Akj @Xij . It follows that the Lie bracket [A; B] between matrices A; B 2 g is the matrix corresponding to X @ X @ X @ X @ XikA ; XpqB = XikA B − XpqB A kj @Xij qr @Xpr kj jr @Xir qr rj @Xpj X @ = Xik (A B − B A ) : kr rj kr rj @Xij In other words, the Lie bracket operation on g is the matrix commutator [A; B] = AB − BA: Given any A 2 gl(n; R), we can define the matrix exponential A2 A3 An eA = I + A + + + ··· + + ··· : n 2! 3! n! 1 2 LECTURE 7: LINEAR LIE GROUPS It is easy to check that the series converges, and esAetA = e(s+t)A: 0A tA −1 −tA tA tA Notice that e = In, we have (e ) = e . In particular, e 2 GL(n; R). So e d tA is a one-parameter subgroup of GL(n; R). Since dt jt=0e = A, we conclude that the exponential map exp : gl(n; R) ! GL(n; R) is A2 A3 exp(A) = eA = I + A + + + ··· : n 2! 3! Note that exp is not surjective, not even surjective to GL+(n; R). Remark. Alternatively, one can first show that etA is the one-parameter subgroup of GL(n; R) generated by A 2 gl(n; R), and thus the Lie bracket structure on gl(n; R) is d d tA sB −tA d tA −tA [A; B] = (e e e ) = (e Be ) = AB − BA: dt t=0 ds s=0 dt t=0 2. Lie subgroups of GL(n; R) Before we continue to study other linear Lie groups, we need some general results on Lie subgroups. More details and proofs of these results will be discussed later. Definition 2.1. A subgroup H of a Lie group G is called a Lie subgroup if it is a Lie group (with respect to the induced group operation), and the inclusion map ιH : H,! G is an immersion (and therefore a Lie group homomorphism). Suppose H is a Lie subgroup of G, and h be the Lie algebra of H. Since ι : H,! G is an immersion and is a Lie group homomorphism, dιH : h ! g is injective and is a Lie algebra homomorphism. So we can think of h as a Lie subalgebra (= a linear subspace that is closed under the Lie bracket) of g. Note that a one-parameter subgroup of H is automatically a one-parameter of G (with initial vector in TeH), so the exponential map expH : h ! H is exactly the restriction of expG : g ! G onto h. The following theorem, which we will prove later, is very useful in determine the Lie algebra of a Lie subgroup. Theorem 2.2. Suppose H is a Lie subgroup of G. Then as a Lie subalgebra of g, h = fX 2 g j expG(tX) 2 H for all t 2 Rg: Now we are ready to study other linear Lie groups. By definition they are Lie subgroups of GL(n; R). Example. (The special linear group) The special linear group is defined as SL(n; R) = fX 2 GL(n; R) : det X = 1g: It is easy see that SL(n; R) is a subgroup of GL(n; R). In PSET 1 we have seen that SL(n; R) is an n2 − 1 dimensional submanifold of GL(n; R). It follows that SL(n; R) is a (connected non-compact) Lie subgroup of GL(n; R). LECTURE 7: LINEAR LIE GROUPS 3 To determine its Lie algebra sl(n; R), we notice that det eA = eTr(A): So for an n × n matrix A, eA 2 SL(n; R) if and only if Tr(A) = 0. We conclude sl(n; R) = fA 2 gl(n; R) j Tr(A) = 0g: Example. (The orthogonal group) Next let's consider the orthogonal group T O(n) = fX 2 GL(n; R): X X = Ing: n(n−1) This is another subgroup of GL(n; R). In PSET 1 we have seen that O(n) is an 2 n(n−1) dimensional submanifold of GL(n; R). So O(n) is an 2 dimensional Lie subgroup of GL(n; R). Note that O(n) is compact. To figure out its Lie algebra o(n), we note that (eA)T = eAT , so tA T tA tAT −tA (e ) e = In () e = e For all t. Since the exponential map is locally bijective, we conclude that A 2 o(n) if and only if AT = −A. So T o(n) = fA 2 gl(n; R) j A + A = 0g; which is the space of n × n skew-symmetric matrices. Notice that O(n) is not connected. It consists of two connected components, and the connected component of identity is the called the special orthogonal groups T SO(n) = fX 2 GL(n; R): X X = In; det X = 1g = O(n) \ SL(n; R): Its Lie algebra so(n) is the same as o(n). Example. (The symplectic group) The symplectic group is by definition T Sp(2n; R) = fX 2 GL(2n; R): X JX = Jg; 0 I where Let J = n . It is a Lie group of dimension n(2n + 1) with Lie algebra −In 0 T sp(2n; R) = fA 2 gl(2n; R) j JA + A J = 0g A1 A2 T T T = fA = j Ai 2 M(n; R);A1 = −A4 ;A2 = A2 ;A3 = A3 g: A3 A4 This, as well as the orthogonal group in the previous example, are special cases of the following more general example. Let β : Rn × Rn ! R be a bilinear form on Rn. Consider the set of all invertible n × n matrices that preserves β, n GLβ(n; R) = fX 2 GL(n; R) j β(Xu; Xv) = β(u; v)for all u; v 2 R g: In matrix form, there is a matrix B such that β(u; v) = uT Bv. Then T GLβ(n; R) = fX 2 GL(n; R) j X BX = Bg: 4 LECTURE 7: LINEAR LIE GROUPS Lemma 2.3. GLβ(n; R) is a linear Lie group with Lie algebra T glβ(n; R) = fA 2 gl(n; R) j A B + BA = 0g: Proof. One can easily check that GLβ(n; R) is a subgroup of GL(n; R), and it is topo- logically a closed subset. According to the Cartan's closed subgroup theorem that we will prove later, it is a Lie subgroup. tA To describe its Lie algebra, notice that A 2 glβ(n; R) if and only if e 2 GLβ(n; R), i.e. etAT BetA = B. By taking t derivative at t = 0, we get AT B + BA = 0. Conversely, if AT B + BA = 0, i.e. tAT B = B(−tA), one can easily derive by definition that tAT −tA tAT tA e B = Be , i.e. e Be = B. This completes the proof. n Notice that in the case B = In (β = the standard inner product on R ), we get the orthogonal group O(n), and in the case B = J(β = the standard symplectic form on R2n), we get the symplectic group above. If we take β to be the standard inner product of signature (p; n − p), p n X X β(x; y) = xiyi − xiyi; i=1 i=p+1 then we will get the indefinite orthogonal group O(p; n − p), T O(p; n − p) = fX 2 GL(n; R) j X I(p; n − p)X = I(p; n − p)g; where I(p; n − p) = diag(Ip; −In−p). Its Lie algebra is T o(p; n − p) = fX 2 gl(n; R) j A I(p; n − p) + I(p; n − p)A = 0:g: Example. (The unitary group) All the previous examples generalize to complex matrices. In particular, the unitary groups T U(n) = fX 2 GL(n; C): X X = Ing is a Lie subgroup of GL(n; C) with Lie algebra T u(n) = fA 2 gl(n; C) j A + A = 0g; the space of skew-Hermitian matrices.
Recommended publications
  • Group Homomorphisms

    Group Homomorphisms

    1-17-2018 Group Homomorphisms Here are the operation tables for two groups of order 4: · 1 a a2 + 0 1 2 1 1 a a2 0 0 1 2 a a a2 1 1 1 2 0 a2 a2 1 a 2 2 0 1 There is an obvious sense in which these two groups are “the same”: You can get the second table from the first by replacing 0 with 1, 1 with a, and 2 with a2. When are two groups the same? You might think of saying that two groups are the same if you can get one group’s table from the other by substitution, as above. However, there are problems with this. In the first place, it might be very difficult to check — imagine having to write down a multiplication table for a group of order 256! In the second place, it’s not clear what a “multiplication table” is if a group is infinite. One way to implement a substitution is to use a function. In a sense, a function is a thing which “substitutes” its output for its input. I’ll define what it means for two groups to be “the same” by using certain kinds of functions between groups. These functions are called group homomorphisms; a special kind of homomorphism, called an isomorphism, will be used to define “sameness” for groups. Definition. Let G and H be groups. A homomorphism from G to H is a function f : G → H such that f(x · y)= f(x) · f(y) forall x,y ∈ G.
  • An Introduction to Quantum Field Theory

    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 ...........................
  • INTEGER POINTS and THEIR ORTHOGONAL LATTICES 2 to Remove the Congruence Condition

    INTEGER POINTS and THEIR ORTHOGONAL LATTICES 2 to Remove the Congruence Condition

    INTEGER POINTS ON SPHERES AND THEIR ORTHOGONAL LATTICES MENNY AKA, MANFRED EINSIEDLER, AND URI SHAPIRA (WITH AN APPENDIX BY RUIXIANG ZHANG) Abstract. Linnik proved in the late 1950’s the equidistribution of in- teger points on large spheres under a congruence condition. The congru- ence condition was lifted in 1988 by Duke (building on a break-through by Iwaniec) using completely different techniques. We conjecture that this equidistribution result also extends to the pairs consisting of a vector on the sphere and the shape of the lattice in its orthogonal complement. We use a joining result for higher rank diagonalizable actions to obtain this conjecture under an additional congruence condition. 1. Introduction A theorem of Legendre, whose complete proof was given by Gauss in [Gau86], asserts that an integer D can be written as a sum of three squares if and only if D is not of the form 4m(8k + 7) for some m, k N. Let D = D N : D 0, 4, 7 mod8 and Z3 be the set of primitive∈ vectors { ∈ 6≡ } prim in Z3. Legendre’s Theorem also implies that the set 2 def 3 2 S (D) = v Zprim : v 2 = D n ∈ k k o is non-empty if and only if D D. This important result has been refined in many ways. We are interested∈ in the refinement known as Linnik’s problem. Let S2 def= x R3 : x = 1 . For a subset S of rational odd primes we ∈ k k2 set 2 D(S)= D D : for all p S, D mod p F× .
  • Categories of Sets with a Group Action

    Categories of Sets with a Group Action

    Categories of sets with a group action Bachelor Thesis of Joris Weimar under supervision of Professor S.J. Edixhoven Mathematisch Instituut, Universiteit Leiden Leiden, 13 June 2008 Contents 1 Introduction 1 1.1 Abstract . .1 1.2 Working method . .1 1.2.1 Notation . .1 2 Categories 3 2.1 Basics . .3 2.1.1 Functors . .4 2.1.2 Natural transformations . .5 2.2 Categorical constructions . .6 2.2.1 Products and coproducts . .6 2.2.2 Fibered products and fibered coproducts . .9 3 An equivalence of categories 13 3.1 G-sets . 13 3.2 Covering spaces . 15 3.2.1 The fundamental group . 15 3.2.2 Covering spaces and the homotopy lifting property . 16 3.2.3 Induced homomorphisms . 18 3.2.4 Classifying covering spaces through the fundamental group . 19 3.3 The equivalence . 24 3.3.1 The functors . 25 4 Applications and examples 31 4.1 Automorphisms and recovering the fundamental group . 31 4.2 The Seifert-van Kampen theorem . 32 4.2.1 The categories C1, C2, and πP -Set ................... 33 4.2.2 The functors . 34 4.2.3 Example . 36 Bibliography 38 Index 40 iii 1 Introduction 1.1 Abstract In the 40s, Mac Lane and Eilenberg introduced categories. Although by some referred to as abstract nonsense, the idea of categories allows one to talk about mathematical objects and their relationions in a general setting. Its origins lie in the field of algebraic topology, one of the topics that will be explored in this thesis. First, a concise introduction to categories will be given.
  • 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

    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.
  • The General Linear Group

    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.
  • The Quaternionic Commutator Bracket and Its Implications

    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.
  • Unitary Group - Wikipedia

    Unitary Group - Wikipedia

    Unitary group - Wikipedia https://en.wikipedia.org/wiki/Unitary_group Unitary group In mathematics, the unitary group of degree n, denoted U( n), is the group of n × n unitary matrices, with the group operation of matrix multiplication. The unitary group is a subgroup of the general linear group GL( n, C). Hyperorthogonal group is an archaic name for the unitary group, especially over finite fields. For the group of unitary matrices with determinant 1, see Special unitary group. In the simple case n = 1, the group U(1) corresponds to the circle group, consisting of all complex numbers with absolute value 1 under multiplication. All the unitary groups contain copies of this group. The unitary group U( n) is a real Lie group of dimension n2. The Lie algebra of U( n) consists of n × n skew-Hermitian matrices, with the Lie bracket given by the commutator. The general unitary group (also called the group of unitary similitudes ) consists of all matrices A such that A∗A is a nonzero multiple of the identity matrix, and is just the product of the unitary group with the group of all positive multiples of the identity matrix. Contents Properties Topology Related groups 2-out-of-3 property Special unitary and projective unitary groups G-structure: almost Hermitian Generalizations Indefinite forms Finite fields Degree-2 separable algebras Algebraic groups Unitary group of a quadratic module Polynomial invariants Classifying space See also Notes References Properties Since the determinant of a unitary matrix is a complex number with norm 1, the determinant gives a group 1 of 7 2/23/2018, 10:13 AM Unitary group - Wikipedia https://en.wikipedia.org/wiki/Unitary_group homomorphism The kernel of this homomorphism is the set of unitary matrices with determinant 1.
  • Material on Algebraic and Lie Groups

    Material on Algebraic and Lie Groups

    2 Lie groups and algebraic groups. 2.1 Basic Definitions. In this subsection we will introduce the class of groups to be studied. We first recall that a Lie group is a group that is also a differentiable manifold 1 and multiplication (x, y xy) and inverse (x x ) are C1 maps. An algebraic group is a group7! that is also an algebraic7! variety such that multi- plication and inverse are morphisms. Before we can introduce our main characters we first consider GL(n, C) as an affi ne algebraic group. Here Mn(C) denotes the space of n n matrices and GL(n, C) = g Mn(C) det(g) =) . Now Mn(C) is given the structure nf2 2 j 6 g of affi ne space C with the coordinates xij for X = [xij] . This implies that GL(n, C) is Z-open and as a variety is isomorphic with the affi ne variety 1 Mn(C) det . This implies that (GL(n, C)) = C[xij, det ]. f g O Lemma 1 If G is an algebraic group over an algebraically closed field, F , then every point in G is smooth. Proof. Let Lg : G G be given by Lgx = gx. Then Lg is an isomorphism ! 1 1 of G as an algebraic variety (Lg = Lg ). Since isomorphisms preserve the set of smooth points we see that if x G is smooth so is every element of Gx = G. 2 Proposition 2 If G is an algebraic group over an algebraically closed field F then the Z-connected components Proof.
  • Modules and Lie Semialgebras Over Semirings with a Negation Map 3

    Modules and Lie Semialgebras Over Semirings with a Negation Map 3

    MODULES AND LIE SEMIALGEBRAS OVER SEMIRINGS WITH A NEGATION MAP GUY BLACHAR Abstract. In this article, we present the basic definitions of modules and Lie semialgebras over semirings with a negation map. Our main example of a semiring with a negation map is ELT algebras, and some of the results in this article are formulated and proved only in the ELT theory. When dealing with modules, we focus on linearly independent sets and spanning sets. We define a notion of lifting a module with a negation map, similarly to the tropicalization process, and use it to prove several theorems about semirings with a negation map which possess a lift. In the context of Lie semialgebras over semirings with a negation map, we first give basic definitions, and provide parallel constructions to the classical Lie algebras. We prove an ELT version of Cartan’s criterion for semisimplicity, and provide a counterexample for the naive version of the PBW Theorem. Contents Page 0. Introduction 2 0.1. Semirings with a Negation Map 2 0.2. Modules Over Semirings with a Negation Map 3 0.3. Supertropical Algebras 4 0.4. Exploded Layered Tropical Algebras 4 1. Modules over Semirings with a Negation Map 5 1.1. The Surpassing Relation for Modules 6 1.2. Basic Definitions for Modules 7 1.3. -morphisms 9 1.4. Lifting a Module Over a Semiring with a Negation Map 10 1.5. Linearly Independent Sets 13 1.6. d-bases and s-bases 14 1.7. Free Modules over Semirings with a Negation Map 18 2.
  • Självständiga Arbeten I Matematik

    Självständiga Arbeten I Matematik

    SJÄLVSTÄNDIGA ARBETEN I MATEMATIK MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET Geometric interpretation of non-associative composition algebras av Fredrik Cumlin 2020 - No K13 MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET, 106 91 STOCKHOLM Geometric interpretation of non-associative composition algebras Fredrik Cumlin Självständigt arbete i matematik 15 högskolepoäng, grundnivå Handledare: Wushi Goldring 2020 Abstract This paper aims to discuss the connection between non-associative composition algebra and geometry. It will first recall the notion of an algebra, and investigate the properties of an algebra together with a com- position norm. The composition norm will induce a law on the algebra, which is stated as the composition law. This law is then used to derive the multiplication and conjugation laws, where the last is also known as convolution. These laws are then used to prove Hurwitz’s celebrated the- orem concerning the different finite composition algebras. More properties of composition algebras will be covered, in order to look at the structure of the quaternions H and octonions O. The famous Fano plane will be the finishing touch of the relationship between the standard orthogonal vectors which construct the octonions. Lastly, the notion of invertible maps in relation to invertible loops will be covered, to later show the connection between 8 dimensional rotations − and multiplication of unit octonions. 2 Contents 1 Algebra 4 1.1 The multiplication laws . .6 1.2 The conjugation laws . .7 1.3 Dickson double . .8 1.4 Hurwitz’s theorem . 11 2 Properties of composition algebras 14 2.1 The left-, right- and bi-multiplication maps . 16 2.2 Basic properties of quaternions and octonions .
  • Orders on Computable Torsion-Free Abelian Groups

    Orders on Computable Torsion-Free Abelian Groups

    Orders on Computable Torsion-Free Abelian Groups Asher M. Kach (Joint Work with Karen Lange and Reed Solomon) University of Chicago 12th Asian Logic Conference Victoria University of Wellington December 2011 Asher M. Kach (U of C) Orders on Computable TFAGs ALC 2011 1 / 24 Outline 1 Classical Algebra Background 2 Computing a Basis 3 Computing an Order With A Basis Without A Basis 4 Open Questions Asher M. Kach (U of C) Orders on Computable TFAGs ALC 2011 2 / 24 Torsion-Free Abelian Groups Remark Disclaimer: Hereout, the word group will always refer to a countable torsion-free abelian group. The words computable group will always refer to a (fixed) computable presentation. Definition A group G = (G : +; 0) is torsion-free if non-zero multiples of non-zero elements are non-zero, i.e., if (8x 2 G)(8n 2 !)[x 6= 0 ^ n 6= 0 =) nx 6= 0] : Asher M. Kach (U of C) Orders on Computable TFAGs ALC 2011 3 / 24 Rank Theorem A countable abelian group is torsion-free if and only if it is a subgroup ! of Q . Definition The rank of a countable torsion-free abelian group G is the least κ cardinal κ such that G is a subgroup of Q . Asher M. Kach (U of C) Orders on Computable TFAGs ALC 2011 4 / 24 Example The subgroup H of Q ⊕ Q (viewed as having generators b1 and b2) b1+b2 generated by b1, b2, and 2 b1+b2 So elements of H look like β1b1 + β2b2 + α 2 for β1; β2; α 2 Z.