Related papers: Semisimple Varieties of Implication Zroupoids

Let BG be a classifying variety for an exceptional simple simply connected algebraic group G. We compute the degree 3 unramified Galois cohomology of BG with values in Q/Z(2) over an arbitrary field F. Combined with a paper by Merkurjev,…

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…

Based on the monoid classifier, we give an alternative axiomatization of Freyd's paracategories, which can be interpreted in any bicategory of partial maps. Assuming furthermore a free-monoid monad T in our ambient category, and…

We formulate a general, signature-independent form of the law of the excluded middle and prove that a logic is semisimple if and only if it enjoys this law, provided that it satisfies a weak form of the so-called inconsistency lemma of…

In this note, we describe some desingularizations of some subvarieties of the cartesian powers of a semisimple Lie algebra of finite dimension.

For an arbitrary affine Lie algebra we study an analog of the category O for the natural Borel subalgebra and zero central charge. We show that such category is semisimple having the reduced imaginary Verma modules as its simple objects.…

We show that many important varieties and sets of varieties of semigroups may be defined by relatively simple and transparent first-order formulas in the lattice of all semigroup varieties.

This work classifies three-dimensional simple evolution algebras over arbitrary fields. For this purpose, we use tools such as the associated directed graph, the moduli set, inductive limit group, Zariski topology and the dimension of the…

Implicative algebras, recently discovered by Miquel, are combinatorial structures unifying classical and intuitionistic realizability as well as forcing. In this paper we introduce implicative assemblies as sets valued in the separator of…

We continue some recent investigations of W. Dziobiak, J. Jezek, and M. Maroti. Let G=(G,\cdot) be a commutative group. A semilattice over G is a semilattice enriched with G as a set of unary operations acting as semilattice automorphisms.…

We continue our study of topological partial *-algebras, focusing our attention to *-semisimple partial *-algebras, that is, those that possess a {multiplication core} and sufficiently many *-representations. We discuss the respective roles…

All subalgebras, idempotents, left(right) ideals and left quasi-units of two-dimensional algebras are described. Classification of algebras with given number of subalgebras, left(right) ideals are provided. In particular, a list of…

We introduce an algorithm for computing closure systems derived from a family of implications on a set. Semilattices presentations are explored and used in conjunction with the algorithm to compute various types of lattices freely generated…

This paper introduces and investigates some properties of algebras constructed from the algebra of polynomials via derivation and integration operators using a process presented by Dzhumadildaev in a previous work. In particular, we…

All results concern characteristic 2. Two procedures that to every simple Lie algebra assign simple Lie superalgebras, most of the latter new, are offered. We prove that every simple finite-dimensional Lie superalgebra is obtained as the…

The paper deals with $\Sigma-$composition and $\Sigma$-essential composition of terms, which lead to stable and s-stable varieties of algebras. A full description of all stable varieties of semigroups, commutative and idempotent groupoids…

In the first part of this paper we study scrollers and linearly joined varieties. A particular class of varieties, of important interest in classical Geometry are Cohen--Macaulay varieties of minimal degree. They appear naturally studying…

We introduce the notion of basic superrank for varieties of algebras which generalizes that of basic rank. First we consider a number of varieties of nearly associative algebras over a field of characteristic $0$ that have infinite basic…

Let $\mathfrak{g}$ be a simple Lie algebra: its dual space $\mathfrak{g}^*$ is a Poisson variety. It is well known that for each nilpotent element $f$ in $\mathfrak{g}$, it is possible to construct a new Poisson structure by Hamiltonian…

The main result here gives an algebra(/linear category) isomorphism between a geometrically defined subcategory $J^1_0$ of a short Brauer category $J_0$ and a certain one-parameter specialisation of the blob category $b$. That is, we prove…