Related papers: On the first order operators in bimodules
We explore some concepts of module theory that derive from the notion of primeness, such as first modules, and extend them to more general environments. We also provide descriptions of simple left semiartinian rings, left local rings,…
We study natural differential operators transforming two tensor fields into a tensor field. First, it is proved that all bilinear operators are of order one, and then we give the full classification of such operators in several concrete…
We introduce the wire calculus. Its dynamic features are inspired by Milner's CCS: a unary prefix operation, binary choice and a standard recursion construct. Instead of an interleaving parallel composition operator there are operators for…
In a recent paper (2024) Camacho, C\'{a}novas, Mart\'{\i}nez-Legaz and Parra introduced bimonotone operators, i.e., operators $T$ such that both $T$ and $-T$ are monotone, and found some interesting applications to convex feasibility…
We study the multiplicity sets of first order symbols associated with differential operators on two dimensional surfaces. This work is inspired by the phenomenon of conical refraction explained by the existence of singularities in the…
We investigate commutator operations on compatible uniformities of an algebra. We present a commutator operation for compatible uniformities of an algebra in a congruence-modular variety which extends the commutator on congruences, and…
An absolute continuity approach to quasinormality which relates the operator in question to the spectral measure of its modulus is developed. Algebraic characterizations of some classes of operators that emerged in this context are…
The aim of this work is to study the ring-theoretic properties of the diagonals of a Rees algebra, which from a geometric point of view are the homogeneous coordinate rings of embeddings of blow-ups of projective varieties along a…
We investigate some types of composition operators, linear and not, and conditions for some spaces to be mapped into themselves and for the operators to satisfy some good properties.
Formal structure of phase-space path integrals based on different types of operator orderings is analysed.
In this paper we show how the theory of monads can be used to deduce in a uniform manner several duality theorems involving categories of relations on one side and categories of algebras with homomorphisms preserving only some operations on…
We use model theoretic techniques to construct explicit first-order axiomatizations for the classes of posets that can be represented as systems of sets, where the order relation is given by inclusion, and existing meets and joins of…
This paper is concerned with the nonabelian cohomology of groups with coefficients in crossed modules. These objects were introduced by Dedecker and studied by Breen, Borovoi, Noohi and many others. In this paper we study several important…
We study the composition operators on an algebra of Dirichlet series, the analogue of the Wiener algebra of absolutely convergent Taylor series, which we call the Wiener-Dirichlet algebra. The central issue is to understand the connection…
We develop a Gr\"obner basis theory for a class of algebras that generalizes both PBW-algebras and rings of differential algebras on smooth varieties. Emphasis lies on methods to compute filtrations and graded structures defined by weight…
Multimodal normal incestual systems are investigated in terms of multiple categories. The different sorted composition of operators are exhibited as 2-cells in multiple categories built up from 2-categories giving rise to different axioms.…
We introduce and study a homology theory of crossed modules with coefficients in an abelian crossed module. We discuss the basic properties of these new homology groups and give some applications. We then restrict our attention to the case…
We extend the $\lambda$-theory of operator spaces given by Defant and Wiesner (2014), that generalizes the notion of the projective, Haagerup and Schur tensor norm for operator spaces to matrix ordered spaces and Banach $*$-algebras. Given…
A fundamental result from Boolean modal logic states that a first-order definable class of Kripke frames defines a logic that is validated by all of its canonical frames. We generalise this to the level of non-distributive logics that have…
We investigate the presence of twinlike models in theories described by several real scalar fields. We focus on the first-order formalism, and we show how to build distinct scalar field theories that support the same extended solution, with…