Essays about: "commutative"
Showing result 1 - 5 of 17 essays containing the word commutative.
-
1. Octonion Algebras over Schemes and the Equivalence of Isotopes and Isometric Quadratic Forms
University essay from Uppsala universitet/Matematiska institutionenAbstract : Octonion algebras are certain algebras with a multiplicative quadratic form. In 2019, Alsaody and Gille showed that, for octonion algebras over unital commutative rings, there is an equivalence between isotopes and isometric quadratic forms. READ MORE
-
2. On Noetherian Rings
University essay from Örebro universitet/Institutionen för naturvetenskap och teknikAbstract : In this thesis we study a special class of rings called Noetherian rings. Theserings satisfy certain finite conditions on their ideals and appear in manydifferent fields of algebra. READ MORE
-
3. The Weak Lefschetz Property For Artinian Quadratic Monomial Algebras
University essay from Uppsala universitet/Algebra, logik och representationsteoriAbstract : In this thesis we aim to study the Lefschetz properties ofmonomial algebras. First, we present the necessary concepts and resultsfrom commutative algebra, in particular we build up to the Hilbert-Serre theorem regarding the rationality of Hilbert series. READ MORE
-
4. Quaternionic Analysis
University essay from Mälardalens universitet/Akademin för utbildning, kultur och kommunikationAbstract : In this thesis, we study Quaternionic Analysis, which is the most natural and close generalization of complex analysis. Quaternion Analysis conserves many of its important features by key reference A. Sudbery. READ MORE
-
5. Formalisation of Polynomials in Cubical Type Theory Using Cubical Agda
University essay from Stockholms universitet/Matematiska institutionenAbstract : We formalise polynomials over commutative rings in cubical type theory using Cubical Agda as proof assistant. On the basis of a formalisation of polynomials as number sequences with only a finite number of non-zero values, we use higher inductive types to formulate a list-based definition using two point constructors and two path constructors. READ MORE