Related papers: The lattice of varieties of implication semigroups

In the study of algebras related to non-classical logics, (distributive) semilattices are always present in the background. For example, the algebraic semantic of the $\{\rightarrow,\wedge,\top\}$-fragment of intuitionistic logic is the…

Let G be a finite group acting by automorphism on a lattice A, and hence on the group algebra S=k[A]. The algebra of G-invariants in S is called an algebra of multiplicative invariants. We investigate when algebras of multiplicative…

Implicative algebras have been recently introduced by Miquel in order to provide a unifying notion of model, encompassing the most relevant and used ones, such as realizability (both classical and intuitionistic), and forcing. In this work,…

We give an explicit formula to express the weight of $2$-reflective modular forms. We prove that there is no $2$-reflective lattice of signature $(2,n)$ when $n\geq 15$ and $n\neq 19$ except the even unimodular lattices of signature…

We introduce the notion of the full quiver of a representation of an algebra, which is a cover of the (classical) quiver, but which captures properties of the representation itself. Gluing of vertices and of arrows enables one to study…

In this expository note, I present some of the key features of the lattice of torsion classes of a finite-dimensional algebra, focussing in particular on its complete semidistributivity and consequences thereof. This is intended to serve as…

After giving some definitions for vertex operator SUPERalgebras and their modules, we construct an associative algebra corresponding to any vertex operator superalgebra, such that the representations of the vertex operator algebra are in…

Let M(1) be the vertex algebra for a single free boson. We classify irreducible modules of certain vertex subalgebras of M(1) generated by two generators. These subalgebras correspond to the W(2, 2p-1)--algebras with central charge $1- 6…

We explain how sheaves of vertex algebras are related to mathematical structures encoded by a class of Lagrangians. The exposition is focused on two examples: the WZW model and the (1,1)-supersymmetric $\sigma$-model. We conclude by showing…

The class of all quasigroups is covered by six classes: the class of all asymmetric quasigroups and five varieties of quasigroups (commutative, left symmetric, right symmetric, semi-symmetric and totally symmetric). Each of these classes is…

This book has seven chapters. In chapter one we give the basics needed to make this book a self contained one. Chapter two introduces the notion of interval semigroups and interval semifields and are algebraically analysed. Chapter three…

In this article, we determine the automorphism groups of $14$ holomorphic vertex operator algebras of central charge $24$ obtained by applying the $\mathbb{Z}_2$-orbifold construction to the Niemeier lattice vertex operator algebras and…

The set of all cancellable elements of the lattice of semigroup varieties has recently been shown to be countably infinite. But the description of all cancellable elements of the lattice $\mathbb{MON}$ of monoid varieties remains unknown.…

In this paper we introduce the iterations of the Jacob's ladder and the new type of integral containing certain product of the factors $|\zeta|^2$ corresponding to the components of some disconnected set of the critical line. Next, we…

We study the multiplication operation of square matrices over lattices. If the underlying lattice is distributive, then matrices form a semigroup; we investigate idempotent and nilpotent elements and the maximal subgroups of this matrix…

Using the invariant developed in [6], we differentiate four arrangements with the same combinatorial information but in different deformation classes. From these arrangements, we construct four other arrangements such that there is no…

Inspired by Morse theory, we introduce a topological stack Broken, which we refer to as the moduli stack of broken lines. We show that Broken can be presented as a Lie groupoid with corners and provide a combinatorial description of sheaves…

We represent finite join-semilattices and join-preserving morphisms as a category whose objects and morphisms are binary relations. It is a quotient category of $\mathsf{Rel}_f$'s arrow category, where self-duality arises by taking the…

Here we introduce and characterize a new class of le-modules $_{R}M$ where $R$ is a commutative ring with $1$ and $(M,+,\leqslant,e)$ is a lattice ordered semigroup with the greatest element $e$. Several notions are defined and uniqueness…

In Section 1 we review various equivalent definitions of a vertex algebra V. The main novelty here is the definition in terms of an indefinite integral of the lambda-bracket. In Section 2 we construct, in the most general framework, the Zhu…