Related papers: On the field algebra construction
This is the second installment of an exposition of an ACL2 formalization of elementary linear algebra. It extends the results of Part I, which covers the algebra of matrices over a commutative ring, but focuses on aspects of the theory that…
We propose a simple approach to formal deformations of associative algebras. It exploits the machinery of multiplicative coresolutions of an associative algebra A in the category of A-bimodules. Specifically, we show that certain…
These are the notes for an undergraduate course at the University of Edinburgh, 2021-2023. Assuming basic knowledge of ring theory, group theory and linear algebra, the notes lay out the theory of field extensions and their Galois groups,…
I show how to associate a Clifford algebra to a graph. I describe the structure of these Clifford graph algebras and provide many examples and pictures. I describe which graphs correspond to isomorphic Clifford algebras and also discuss…
In this article, we develop an algebraic framework of axioms which abstracts various high-level properties of multi-qudit representations of generalized Clifford algebras. We further construct an explicit model and prove that it satisfies…
This book is an introductory course to basic commutative algebra with a particular emphasis on finitely generated projective modules, which constitutes the algebraic version of the vector bundles in differential geometry. We adopt the…
In this paper, for a given finitely generated algebra (an algebraic structure with arbitrary operations and no predicates) A we study finitely generated limit algebras of A, approaching them via model theory and algebraic geometry. Along…
We describe a bigraded generalization of the Weil algebra, of its basis and of the characteristic homomorphism which besides ordinary characteristic classes also maps on Donaldson invariants.
Clifford algebras are important structures in Geometric Algebra and Quantum Mechanics. They have allowed a formalization of the primitive operators in Quantum Theory. The algebras are built over vector spaces with dimension a power of 2…
We apply the effective integration theory of Lie-graph algebras, developed recently by the authors, to the deformation and homotopy theories of types of bialgebras, that is structures controlled by a properad, like associative bialgebras,…
We present a graded-geometric approach to modular classes of Lie algebroids and their generalizations, introducing in this setting an idea of relative modular class of a Dirac structure for a certain type of Courant algebroids, called…
We classify commutative algebraic monoid structures on normal affine surfaces over an algebraically closed field of characteristic zero. The answer is given in two languages: comultiplications and Cox coordinates. The result follows from a…
We present a general construction of the derived category of an algebra over an operad and establish its invariance properties. A central role is played by the enveloping operad of an algebra over an operad.
We survey the development of Clifford's geometric algebra and some of its engineering applications during the last 15 years. Several recently developed applications and their merits are discussed in some detail. We thus hope to clearly…
We introduce many new generalizations of Poisson algebras which can be constructed inside the associative algebra of linear transformations over a vector space.
In this thesis three topics on the model theory of partial differential fields are considered: the generalized Galois theory for partial differential fields, geometric axioms for the theory of partial differentially closed fields, and the…
Generalisations of geometry have emerged in various forms in the study of field theory and quantization. This mini-review focuses on the role of higher geometry in three selected physical applications. After motivating and describing some…
We prove a generalization of the Jordan canonical form theorem for a class of bounded linear operators on complex separable Hilbert spaces.
In this paper, we construct a bialgebraic and further a Hopf algebraic structure on top of subgraphs of a given graph. Further, we give the dual structure of this Hopf algebraic structure. We study the algebra morphisms induced by graph…
We prove a new Hilbertianity criterion for fields in towers whose steps are Galois with Galois group either abelian or a product of finite simple groups. We then apply this criterion to fields arising from Galois representations. In…