Related papers: Lattice pseudo-effect algebras as double residuate…
We introduce here the notion of syntactic lattice algebra which is an analogy of the syntactic monoid and of the syntactic semiring. We present a unified approach to get those three structures.
In our previous papers, together with J. Paseka we introduced so-called sectionally pseudocomplemented lattices and posets and illuminated their role in algebraic constructions. We believe that - similar to relatively pseudocomplemented…
We develop a new duality for distributive and implicative meet semi-lattices. For distributive meet semi-lattices our duality generalizes Priestley's duality for distributive lattices and provides an improvement of Celani's duality. Our…
The aim of the paper is twofold. First, we introduce analogs of (partial) derivatives on certain Noncommutative algebras, including some enveloping algebras and their "braided counterparts", namely, the so-called modified Reflection…
Let $A$ be an additively cancellative semialgebra over an additively cancellative semifield $K$ as defined in [9]. For a given partial action $\alpha$ of a group $G$ on an algebra, the associativity of partial skew group ring together with…
We give sufficient and necessary conditions to guarantee that a pseudo-effect algebra admits an $(n+1)$-valued discrete state. We introduce $n$-perfect pseudo-effect algebras as algebras which can be split into $n+1$ comparable slices. We…
The non-commutative algebraic analog of the moduli of vector and covector fields is built. The structure of moduli of derivations of non-commutative algebras are studied. The canonical coupling is introduced and the conditions for…
We show that every finite semilattice can be represented as an atomized semilattice, an algebraic structure with additional elements (atoms) that extend the semilattice's partial order. Each atom maps to one subdirectly irreducible…
Intuitionistic logic, in which the double negation law not-not-P = P fails, is dominant in categorical logic, notably in topos theory. This paper follows a different direction in which double negation does hold. The algebraic notions of…
In this note we study associative dialgebras proving that the most interesting such structures arise precisely when the algebra is not semiprime. In fact the presence of some "perfection" property (simpleness, primitiveness, primeness or…
The first aim of this paper is to show that any finite-dimensional reductive Lie algebra and its finite-dimensional completely reducible representation can be embedded into some PC Lie algebra. The second aim is to find the structure of a…
We determine commutative post-Lie algebra structures on some infinite-dimensional Lie algebras. We show that all commutative post-Lie algebra structures on loop algebras are trivial. This extends the results for finite-dimensional perfect…
The notion of quantum symmetry has recently been extended to include reduced-dimensional transformations and algebraic structures beyond groups. Such generalized symmetries lead to exotic phases of matter and excitations that defy Landau's…
We study splittings, or lack of them, in lattices of subvarieties of some logic-related varieties. We present a general lemma, the Non-Splitting Lemma, which when combined with some variety-specific constructions, yields each of our…
We obtain an orthogonality space by endowing an implicative-ortholattice with a suitable orthogonality relation; for such spaces, we also investigate the particular case of implicative-orthomodular lattices. Moreover, we define the…
The aim of the paper is to attach a noncommutative cluster-like structure to each marked surface $\Sigma$. This is a noncommutative algebra ${\mathcal A}_\Sigma$ generated by "noncommutative geodesics" between marked points subject to…
In \cite[Rem. 3.4]{DNO} the authors asked the question if any \'etale subalgebra of an \'etale algebra in a braided fusion category is also \'etale. We give a positive answer to this question if the braided fusion category $\cc$ is…
We present a scheme for the analytic computation of renormalization functions on the lattice, using a symbolic manipulation computer language. Our first nontrivial application is a new three-loop result for the topological susceptibility.
Motivated by the classical correspondence between short exact sequences and splitting properties in module theory, this paper examines the projective and injective analogues within the category of Lie algebras. We first show that no Lie…
We examine the lattice generated by two pairs of supplementary vector subspaces of a finite-dimensional vector space by intersection and sum, with the aim of applying the results to the study of representations admitting two pairs of…