Related papers: On the Algebraic Representation of One-Tape Determ…
Module is effective representation of ring in Abelian group. Linear map of module over commutative ring is morphism of corresponding representation. This definition is the main subject of the book. To consider this definition from more…
The tensor-tensor product (t-product) [M. E. Kilmer and C. D. Martin, 2011] is a natural generalization of matrix multiplication. Based on t-product, many operations on matrix can be extended to tensor cases, including tensor SVD, tensor…
We classify the twisted tensor products of a finite set algebra with a two elements set algebra using colored quivers obtained through considerations analogous to Ore extensions. This provides also a classification of entwining structures…
We consider the tensor product of modules over the polynomial algebra corresponding to the usual tensor product of linear operators. We present a general description of the representation ring in case the ground field k is perfect. It is…
We introduce what we call "alternative twisted tensor products" for not necessarily associative algebras, as a common generalization of several different constructions: the Cayley-Dickson process, the Clifford process and the twisted tensor…
A variant of Turing machines is introduced where the tape is replaced by a single tree which can be manipulated in a style akin to purely functional programming. This yields two benefits: first, the extra structure on the tape can be…
Indexed monoidal algebras are introduced as an equivalent structure for self-dual compact closed categories, and a coherence theorem is proved for the category of such algebras. Turing automata and Turing graph machines are defined by…
This is the fourth part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. In this paper (Part IV), we give constructions of the…
The representation theory of the group U(1,q) is discussed in detail because of its possible application in a quaternion version of the Salam-Weinberg theory. As a consequence, from purely group theoretical arguments we demonstrate that the…
We study the problem when every matrix over a division ring is representable as either the product of traceless matrices or the product of semi-traceless matrices, and also give some applications of such decompositions. Specifically, we…
The comultiplication formula for fusion products of untwisted representations of the chiral algebra is generalised to include arbitrary twisted representations. We show that the formulae define a tensor product with suitable properties, and…
In this paper we completely characterise irreducible tensor products of representations of alternating groups in characteristic 2 of a basic spin module with an irreducible module. This completes the classification of irreducible tensor…
In this book i treat linear algebra over division ring. A system of linear equations over a division ring has properties similar to properties of a system of linear equations over a field. However, noncommutativity of a product creates a…
We introduce a non-symmetric tensor product of representations of UHF algebras by using Kronecker products of matrices. We prove tensor product formulae of GNS representations by product states and show examples.
Our goal is to define an algebraic language for reasoning about non-deterministic computations. Towards this goal, we introduce an algebra of string-to-string transductions. Specifically, it is an algebra of partial functions on words over…
In this paper, we propose to consider various models of pattern recognition. At the same time, it is proposed to consider models in the form of two operators: a recognizing operator and a decision rule. Algebraic operations are introduced…
We show that any multiple-valued function can be represented by a linear lambda term typed in a second-order polymorphic type system, using two distinct styles. The first is a circuit style, which mimics combinational circuits in switching…
We give several different encodings of the step function of a Turing machine in intuitionistic linear logic, and calculate the denotations of these encodings in the Sweedler semantics.
We study a vertex operator algebra containing a tensor product of Ising models. It is a direct sum of code vertex operator algebra and its irreducible modules. Therefore, we classify all irreducible modules of code vertex operator algebras…
Developed in a series of seminal papers in the early 2010s, the tubal tensor framework provides a clean and effective algebraic setting for tensor computations, supporting matrix-mimetic features such as a tensor Singular Value…