Related papers: The Semiring Properties of Boolean Propositional A…
In this article we consider the exterior power and the symmetric tensors of the polynomial ring in one variable. The structure of an associative semigraded algebra of this polynomial ring induces on the symmetric tensors the structure of an…
For $l,n \in \mathbb{N}$ we define tonal partition algebra $P^l_n$ over $\mathbb{Z}[\delta]$. We construct modules $\{ \Delta_{\underline{\mu}} \}_{\underline{\mu}}$ for $P^l_n$ over $\mathbb{Z}[\delta]$, and hence over any integral domain…
In this expositional paper, we discuss commutative algebra -- a study inspired by the properties of integers, rational numbers, and real numbers. In particular, we investigate rings and ideals, and their various properties. After, we…
Based on the properties of the poset of those equivalence relations of a multialgebra for which the factor multialgebra is a universal algebra, we give a characterization for the fundamental relations of a multialgebra. We point out the…
The execution of sequential programs allows them to be represented using mathematical functions formed by the composition of statements following one after the other. Each such statement is in itself a partial function, which allows only…
We continue our study of topological partial *-algebras, focusing our attention to *-semisimple partial *-algebras, that is, those that possess a {multiplication core} and sufficiently many *-representations. We discuss the respective roles…
We prove that each semialgebraic subset of $\R^n$ of positive codimension can be locally approximated of any order by means of an algebraic set of the same dimension. As a consequence of previous results, algebraic approximation preserving…
Functorial semi-norms are semi-normed refinements of functors such as singular (co)homology. We investigate how different types of representability affect the (non-)triviality of finite functorial semi-norms on certain functors or classes.…
We introduce and investigate a weighted propositional configuration logic over commutative semirings. Our logic is intended to serve as a specification language for software architectures with quantitative features. We prove an efficient…
This paper is devoted to heuristic aspects of the so-called idempotent calculus. There is a correspondence between important, useful and interesting constructions and results over the field of real (or complex) numbers and similar…
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…
We use semigroup theory to describe the group of automorphisms of some semigroups of interest in holomorphic dynamical systems. We show, with some examples, that representation theory of semigroups is related to usual constructions in…
Every partial applicative structure gives rise to an indexed binary relation, that is a contravariant functor from the category of sets to the category of sets endowed with binary relations and maps preserving them. In this paper we…
In this paper we give an algebraic characterization of assemblies in terms of bands of groups. We also consider substructures and homomorphisms of assemblies. We give many examples and counterexamples.
In this paper we build an Orlik-Solomon model for the canonical gradation of the cohomology algebra with integer coefficients of the complement of a toric arrangement. We give some results on the uniqueness of the representation of…
We generalize the notion of semi-universality in the classical deformation problems to the context of derived deformation theories. A criterion for a formal moduli problem to be semi-prorepresentable is produced. This can be seen as an…
We prove that a semiring multiplicatively generated by its idempotents is commutative and Boolean, if every idempotent in the semiring has an orthogonal complement. We prove that a semiring additively generated by its idempotents is…
Consider complex semisimple Lie algebras of a given dimension specified by their structure constants. We describe a finite collection of rational functions in the structure constants that form a complete set of invariants: two sets of…
We define cohomology of associative H-pseudoalgebras, and we show that it describes module extensions, abelian pseudoalgebra extensions, and pseudoalgebra first order deformations. We describe in details the same results for the special…
A long-term research proposal on the algebraic structure, the representations and the possible applications of paraparticle algebras is structured in three modules: The first part stems from an attempt to classify the inequivalent gradings…