相关论文: Fibered F-Algebra
A quantitative model of concurrent interaction is introduced. The basic objects are linear combinations of partial order relations, acted upon by a group of permutations that represents potential non-determinism in synchronisation. This…
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 review the concept of a graded bundle as a natural generalisation of a vector bundle. Such geometries are particularly nice examples of more general graded manifolds. With hindsight there are many examples of graded bundles that appear…
The input and output algebras of an infinite qubit system and their representations are described.
The notion of a KU-valued function on a set is introduced and related properties are investigated. Codes generated by KU-valued functions are established. Moreover, we will provide an algorithm which allows us to find a KU-algebra starting…
We give a general account of family algebras over a finitely presented linear operad, this operad together with its presentation naturally defining an algebraic structure on the set of parameters.
We introduce the notion of an algebraic cocycle as the algebraic analogue of a map to an Eilenberg-MacLane space. Using these cocycles we develop a ``cohomology theory" for complex algebraic varieties. The theory is bigraded, functorial,…
We provide an expository account of some of the Hopf algebras that can be defined using trees, labeled trees, ordered trees and heap ordered trees. We also describe some actions of these Hopf algebras on algebra of functions.
In this Master of Science Thesis I introduce geometric algebra both from the traditional geometric setting of vector spaces, and also from a more combinatorial view which simplifies common relations and operations. This view enables us to…
We present a unified framework for representing commutative rings through affine algebraic theories and Boolean rings through hyperaffine algebraic theories. This yields categorical equivalences between these theories and, respectively,…
In this article, we provide an overview of a one-to-one correspondence between representations of the generalized Clifford algebra $C_f$ of a ternary cubic form $f$ and certain vector bundles (called Ulrich bundles) on a cubic surface $X$.…
Field theory is an area in physics with a deceptively compact notation. Although general purpose computer algebra systems, built around generic list-based data structures, can be used to represent and manipulate field-theory expressions,…
In this work, a novel quaternary algebra has been proposed that can be used to implement an arbitrary quaternary logic function in more than one systematic ways. The proposed logic has evolved from and is closely related to the Boolean…
The notion of a $F$-manifold algebras is an algebraic description of a $F$-manifold. In this paper, we introduce the notion of Hom-$F$-manifold algebras which is generalisation of $F$-manifold algebras and Hom-Poisson algebras. We develop…
In the setting of modern mathematical logic and model theory, classification theory has been one of the landmark achievements of the field. Likewise, the classification of UHF-algebras and AF-algebras were substantial contributions to the…
We establish relations between representation dimensions of two algebras connected by a Frobenius bimodule or extension. Consequently, upper bounds and equality formulas for representation dimensions of group algebras, symmetric separably…
For every fibration $f : X \to B$ with $X$ a compact K\"ahler manifold, $B$ a smooth projective curve, and a general fiber of $f$ an abelian variety, we prove that $f$ has an algebraic approximation.
In this article we consider partial abelianization of associative algebra with respect to a subalgebra. This notion is a generalization of usual abelianization of associative algebra and has an application in Quantum Mechanics and Quantum…
In the present paper we study some homotopy invariants which can be defined by means of bundles with fiber a matrix algebra. We also introduce some generalization of the Brauer group in the topological context and show that any its element…
In order to understand the structure of the cohomologies involved in the study of projectively equivariant quantizations, we introduce a notion of affine representation of a Lie algebra.We show how it is related to linear representations…