Related papers: Pseudo BCI-algebras with derivations
$\pi$-systems are fundamental in the study of Kac-Moody Lie algebras since they arise naturally in the embedding problems. Dynkin introduced them first and showed how they also appear in the classification of semisimple subalgebras of a…
A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e.…
The goal of this paper is to extend the standard invariant-theoretic design, well-developed in the reductive case, to the setting of representation of certain non-reductive groups. This concerns the following notions and results: the…
If $\Delta$ and $\Gamma$ are two derivations of a commutative algebra $A$ such that $\Delta\Gamma-\Gamma\Delta=\Delta$ is locally nilpotent, one can endow $A$ with a new product $\ast$ whose filtered semiclassical limit is the Poisson…
We study the class of pseudocompact C*-algebras, which are the logical limits of finite-dimensional C*-algebras. The pseudocompact C*-algebras are unital, stably finite, real rank zero, stable rank one, and tracial. We show that the…
The associative superalgebra A with two-dimensional space of supertraces is presented. It is shown that (i) it is simple, (ii) its commutant [A, A} is a simple Lie superalgebra and (iii) this commutant has at least 2-dimensional space of…
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…
Loday's dendriform algebras and its siblings pre-Lie and zinbiel have received attention over the past two decades. In recent literature, there has been interest in a generalization of these types of algebra in which each individual…
We study categorical models for the unitless fragment of multiplicative linear logic. We find that the appropriate notion of model is a special kind of promonoidal category. Since the theory of promonoidal categories has not been developed…
Quadratic algebras are generalizations of Lie algebras which include the symmetry algebras of 2nd order superintegrable systems in 2 dimensions as special cases. The superintegrable systems are exactly solvable physical systems in classical…
In this article we investigate the lattices of Dyck paths of type $A$ and $B$ under dominance order, and explicitly describe their Heyting algebra structure. This means that each Dyck path of either type has a relative pseudocomplement with…
An endo-commutative algebra is a nonassociative algebra in which the square mapping preserves multiplication. In this paper, we give a complete classification of 2-dimensional endo-commutative straight algebras of rank one over an arbitrary…
A semigroupoid is a set equipped with a partially defined associative operation. Given a semigroupoid \Lambda we construct a C*-algebra C*(\Lambda) from it. We then present two main examples of semigroupoids, namely the Markov semigroupoid…
We classify the irreducible representations of smooth, connected affine algebraic groups over a field, by tackling the case of pseudo-reductive groups. We reduce the problem of calculating the dimension for pseudo-split pseudo-reductive…
Recently Jenei introduced a new structure called equality algebras which is inspired by ideas of BCK-algebras with meet. These algebras were generalized by Jenei and K\'or\'odi to pseudo equality algebras which are aimed to find a…
Many previously studied path algebras or self-similar group algebras may be viewed as Steinberg algebras of self-similar groupoids. By way of inverse semigroup algebras, we characterize when the Steinberg algebra of a self-similar groupoid…
We construct a model of type theory enjoying parametricity from an arbitrary one. A type in the new model is a semi-cubical type in the old one, illustrating the correspondence between parametricity and cubes. Our construction works not…
This paper investigates a question of Radjavi: Which multiplicative semigroups in B(H) have all their ideals selfadjoint (called herein selfadjoint-ideal (SI) semigroups)? We proved this property is a unitary invariant for B(H)-semigroups,…
A general concept for the derivation of symmetry-based pseudo spin Hamiltonians is described. It systematically bridges the gap between the atomistic basis and various pseudo spin models presented in literature. It thus allows the…
We classify all the pairs of a commutative associative algebra with an identity element and its finite-dimensional commutative locally-finite derivation subalgebra such that the commutative associative algebra is derivation-simple with…