Sökning: "introduction to algebra"

Visar resultat 1 - 5 av 15 avhandlingar innehållade orden introduction to algebra.

  1. 1. Simple Modules over Lie Algebras

    Detta är en avhandling från Uppsala : Department of Mathematics

    Författare :Jonathan Nilsson; Uppsala universitet.; [2016]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Lie algebra; Representation; Simple module; Non-weight module; Classification; Construction; Mathematics; Matematik;

    Sammanfattning : Simple modules are the elemental components in representation theory for Lie algebras, and numerous mathematicians have worked on their construction and classification over the last century. This thesis consists of an introduction together with four research articles on the subject of simple Lie algebra modules. LÄS MER

  2. 2. A Natural Interpretation of Classical Proofs

    Detta är en avhandling från Stockholm : Matematiska institutionen

    Författare :Jens Brage; Stockholms universitet.; [2006]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Brouwer-Heyting-Kolmogorov; classical logic; constructive type theory; constructive semantics; proof interpretation; double-negation; continuation-passing-style; natural deduction; sequent calculus; cut elimination; explicit substitution; MATHEMATICS Algebra; geometry and mathematical analysis Mathematical logic; MATEMATIK Algebra; geometri och analys Matematisk logik;

    Sammanfattning : In this thesis we use the syntactic-semantic method of constructive type theory to give meaning to classical logic, in particular Gentzen's LK.We interpret a derivation of a classical sequent as a derivation of a contradiction from the assumptions that the antecedent formulas are true and that the succedent formulas are false, where the concepts of truth and falsity are taken to conform to the corresponding constructive concepts, using function types to encode falsity. LÄS MER

  3. 3. Configuration spaces, props and wheel-free deformation quantization

    Detta är en avhandling från Stockholm : Department of Mathematics, Stockholm University

    Författare :Theo Backman; Stockholms universitet.; [2016]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; operad; properad; prop; deformation quantization; configuration space; Lie bialgebra; Poisson manifold; matematik; Mathematics;

    Sammanfattning : The main theme of this thesis is higher algebraic structures that come from operads and props.The first chapter is an introduction to the mathematical framework needed for the content of this thesis. The chapter does not contain any new results. LÄS MER

  4. 4. Wheeled Operads in Algebra, Geometry, and Quantization

    Detta är en avhandling från Stockholm : Department of Mathematics, Stockholm University

    Författare :Johan Granåker; Stockholms universitet.; [2010]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; operads; deformation theory; homotopy algebra; deformation quantization; MATHEMATICS; MATEMATIK; Mathematics; matematik;

    Sammanfattning : The theory of generalized operads, the foundational conceptual framework of this thesis, has become a universal language, relating various areas such as algebraic topology, derived categories of algebras, deformation theory, differential geometry and the mathematical theory of quantization.The thesis consists of a preliminary chapter followed by four main chapters. LÄS MER

  5. 5. Contributions to the theory and applications of tree languages

    Detta är en avhandling från Umeå : Datavetenskap

    Författare :Johanna Högberg; Umeå universitet.; [2007]
    Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; regular tree languages; tree series; algorithmic learning; MAT-learning; bisimulation minimisation; tree-based generation; algorithmic composition; music algebra; TECHNOLOGY Information technology Computer science Computer science; TEKNIKVETENSKAP Informationsteknik Datavetenskap Datalogi;

    Sammanfattning : This thesis is concerned with theoretical as well as practical aspects of tree languages. It consists of an introduction and eight papers, organised into three parts. LÄS MER