Related papers: The lattice of varieties of implication semigroups
The clone lattice Cl(X) over an infinite set X is a complete algebraic lattice with 2^X compact elements. We show that every algebraic lattice with at most 2^X compact elements is a complete sublattice of Cl(X).
There are ten distinct two-element semirings up to isomorphism, denoted \( L_2, R_2, M_2, D_2, N_2, T_2, Z_2, W_2, Z_7 \), and \( Z_8 \) (see \cite{bk}). Among these, the multiplicative reductions of \( M_2, D_2, W_2 \), and \( Z_8 \) form…
Representable implication algebras are known to be axiomatised by a finite number of equations (making the representation and finite representation problems decidable here). We show that this also holds in the context of unary (and binary)…
A hemiimplicative semilattice is a bounded semilattice $(A, \wedge, 1)$ endowed with a binary operation $\to$, satisfying that for every $a, b, c \in A$, $a \leq b \to c$ implies $a \wedge b \leq c$ (that is to say, one of the conditionals…
We introduce a new type of noncommutative Poisson structure on associative algebras. It induces Poisson structures on the moduli spaces classifying semisimple modules. Path algebras of doubled quivers and preprojective algebras have…
In the article a classification method for nonlinear integrable equations with three independent variables is discussed based on the notion of the integrable reductions. We call the equation integrable if it admits a large class of…
Much study has been done on semigroups which are unions of groups. There are several ways in which a union of groups can be made into a semigroup in which each of the component groups arises as subgroups of the constructed semigroup. An…
In his Ph.D. thesis, Cadegan-Schlieper constructs an invariant of the embedded topology of a line arrangement which generalizes the $\mathcal{I}$-invariant introduced by Artal, Florens and the author. This new invariant is called the loop…
Two kinds of the connective implication are introduced as term operations of a pseudocomplemented lattice. It is shown that they share a lot of properties with the intuitionistic implication based on Heyting algebras. In particular, if the…
A subalgebra $\mathcal{A}$ of a $C^*$-algebra $\mathcal{M}$ is logmodular (resp. has factorization) if the set $\{a^*a; a\text{ is invertible with }a,a^{-1}\in\mathcal{A}\}$ is dense in (resp. equal to) the set of all positive and…
Odd, positive-definite, integral, unimodular lattices N of rank 24 were classified by Borcherds. There are 273 isometry classes of such lattices. Associated to them are vertex superalgebras $V_N$ of central charge c=24. We show that at…
In this book, for the first time we introduce the notion of neutrosophic algebraic structures for groups, loops, semigroups and groupoids; and also their neutrosophic N-algebraic structures. One is fully aware of the fact that many…
We completely determine all lower-modular elements of the lattice of all semigroup varieties. As a corollary, we show that a lower-modular element of this lattice is modular.
An algebra $\A$ is said to be an independence algebra if it is a matroid algebra and every map $\al:X\to A$, defined on a basis $X$ of $\A$, can be extended to an endomorphism of $\A$. These algebras are particularly well behaved…
A distributive lattice-ordered magma ($d\ell$-magma) $(A,\wedge,\vee,\cdot)$ is a distributive lattice with a binary operation $\cdot$ that preserves joins in both arguments, and when $\cdot$ is associative then $(A,\vee,\cdot)$ is an…
Of four types of Kaplansky algebras, type-2 and type-4 algebras have previously unobserved $\mathbb{Z}/2$-gradings: nonlinear in roots. A method assigning a simple Lie superalgebra to every $\mathbb{Z}/2$-graded simple Lie algebra in…
A unified treatment of both superconformal and quasisuperconformal algebras with quadratic non-linearity is given. General formulas describing their structure are found by solving the Jacobi identities. A complete classification of…
An associative central simple algebra is a form of matrices, because a maximal \'{e}tale subalgebra acts on the algebra faithfully by left and right multiplication. In an attempt to extract and isolate the full potential of this point of…
We refine and advance the study of the local structure of idempotent finite algebras started in [A.Bulatov, The Graph of a Relational Structure and Constraint Satisfaction Problems, LICS, 2004]. We introduce a graph-like structure on an…
Finite nonassociative division algebras (i.e., finite semifields) with 243 elements are completely classified.