Related papers: Axiomatization of Boolean algebras via weak dicomp…
In this paper we study projective algebras in varieties of (bounded) commutative integral residuated lattices from an algebraic (as opposed to categorical) point of view. In particular we use a well-established construction in residuated…
We prove uniqueness of a decomposition of $1$ into indecomposable Hermitian idempotents in an order of a finite-dimensional $\mathbb{Q}$-algebra with positive involution, by generalising a result of Eichler on unique decomposition of…
We investigate Lie algebras whose Lie bracket is also an associative or cubic associative multiplication to characterize the class of nilpotent Lie algebras with a nilindex equal to 2 or 3. In particular we study the class of 2-step…
We construct a diagram D, indexed by a finite partially ordered set, of finite Boolean semilattices and (v,0,1)-embeddings, with top semilattice $2^4$, such that for any variety V of algebras, if D has a lifting, with respect to the…
In this paper, we explore natural connections among trigonometric Lie algebras, (general) affine Lie algebras, and vertex algebras. Among the main results, we obtain a realization of trigonometric Lie algebras as what were called the…
The PostLie algebra is an enriched structure of the Lie algebra that has recently arisen from operadic study. It is closely related to pre-Lie algebra, Rota-Baxter algebra, dendriform trialgebra, modified classical Yang-Baxter equations and…
The paper explores categorical interconnections between lattice-valued Relational systems and algebras of Fitting's lattice-valued modal logic. We define lattice-valued boolean systems, and then we study co-adjointness, adjointness of…
We study a class of formulas generalizing the weak law of the excluded middle, and provide a characterization of these formulas in terms of Kripke frames and Brouwer algebras. We use these formulas to separate logics corresponding to…
In this paper we continue the study of the subalgebra lattice of a Leibniz algebra. In particular, we find out that solvable Leibniz algebras with an upper semi-modular lattice are either almost-abelian or have an abelian ideal spanned by…
Galilean $W_3$ vertex operator algebra $\mathcal GW_3(c_L,c_M)$ is constructed as a universal enveloping vertex algebra of certain non-linear Lie conformal algebra. It is proved that this algebra is simple by using determinant formula of…
In this paper, a question due to Heckenberger, Shareshian and Welker on racks in [7] is positively answered. A rack is a set together with a selfdistributive bijective binary operation. We show that the lattice of subracks of every finite…
Sachs showed that a Boolean algebra is determined by its lattice of subalgebras. We establish the corresponding result for orthomodular lattices. We show that an orthomodular lattice L is determined by its lattice of subalgebras Sub(L), as…
In this paper, we first classify all irreducible modules of the vertex algebra $V_L^+$ when $L$ is a negative definite even lattice of arbitrary rank. In particular, we show that any irreducible $V_L^+$-module is isomorphic to a submodule…
By limiting the range of the predicate variables in a second-order language one may obtain restricted versions of second-order logic such as weak second-order logic or definable subset logic. In this note we provide an infinitary strongly…
We consider associative algebras over a field. An algebra variety is said to be {\em Lie nilpotent} if it satisfies a polynomial identity of the kind $[x_1, x_2, ..., x_n] = 0$ where $[x_1,x_2] = x_1x_2 - x_2x_1$ and $[x_1, x_2, ..., x_n]$…
A ``dilute'' generalisation of the Birman--Wenzl--Murakami algebra is considered. It can be ``Baxterised'' to a solution of the Yang--Baxter algebra. The $D^{(2)}_{n+1}$ vertex models are examples of corresponding solvable lattice models…
Berwick-Evens and Lerman recently showed that the category of vector fields on a geometric stack has the structure of a Lie $2$-algebra. Motivated by this work, we present a construction of graded weak Lie $2$-algebras associated with…
We study Lie algebras endowed with an abelian complex structure which admit a symplectic form compatible with the complex structure. We prove that each of those Lie algebras is completely determined by a pair (U,H) where U is a complex…
MV-monoids are algebras $\langle A,\vee,\wedge, \oplus,\odot, 0,1\rangle$ where $\langle A, \vee, \wedge, 0, 1\rangle$ is a bounded distributive lattice, both $\langle A, \oplus, 0 \rangle$ and $\langle A, \odot, 1\rangle$ are commutative…
We show that the class of Contact join-semilattices, as introduced by T. Ivanova, is not finitely axiomatizable. On the other hand, a simple finite axiomatization exists for the class of those join semilattices with a weak contact relation…