Sökning: "Rings Algebra"

Visar resultat 11 - 15 av 30 avhandlingar innehållade orden Rings Algebra.

1. 11. Formalizing Univalent Set-Level Structures in Cubical Agda

   Författare :Max Zeuner; Anders Mörtberg; Martin Escardo; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES;

   Sammanfattning : This licentiate thesis consists of two papers on formalization projects using Cubical Agda, a rather new extension of the Agda proof assistant with constructive support for univalence and higher inductive types. The common denominator of the two papers is that they are concerned with structures on types that are sets in the sense of Homotopy Type Theory or Univalent Foundations (HoTT/UF). LÄS MER

3. 12. Ideals and Maximal Commutative Subrings of Graded Rings

   Författare :Johan Öinert; Matematik LTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; ideals; simple rings; maximal commutativity; Crossed products; graded rings;

   Sammanfattning : This thesis is mainly concerned with the intersection between ideals and (maximal commutative) subrings of graded rings. The motivation for this investigation originates in the theory of C*-crossed product algebras associated to topological dynamical systems, where connections between intersection properties of ideals and maximal commutativity of certain subalgebras are well-known. LÄS MER

4. 13. Poincaré series and homotopy Lie algebras of monomial rings

   Författare :Alexander Berglund; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Algebra and geometry; Algebra och geometri;

   Sammanfattning : .... LÄS MER

5. 14. A graded subring of an inverse limit of polynomial rings

   Författare :Jan Snellman; Jörgen Backelin; Guillermo Moreno Socias; Stockholms universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Gröbner bases; generic forms; inverse limit; Algebra and geometry; Algebra och geometri;

   Sammanfattning : We study the power series ring R= K[[x1,x2,x3,...]]on countably infinitely many variables, over a field K, and two particular K-subalgebras of it: the ring S, which is isomorphic to an inverse limit of the polynomial rings in finitely many variables over K, and the ring R', which is the largest graded subalgebra of R. LÄS MER

7. 15. Formalizing Refinements and Constructive Algebra in Type Theory

   Författare :Anders Mörtberg; Göteborgs universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Formalization of mathematics; refinements; constructive algebra; type theory; Coq; SSReflect;

   Sammanfattning : The extensive use of computers in mathematics and engineering has led to an increased demand for reliability in the implementation of algorithms in computer algebra systems. One way to increase the reliability is to formally verify that the implementations satisfy the mathematical theorems stating their specification. LÄS MER