Related papers: Subresiduated Nelson Algebras
For each Turing machine T, we construct an algebra A'(T) such that the variety generated by A'(T) has definable principal subcongruences if and only if T halts, thus proving that the property of having definable principal subcongruences is…
We prove that any finite subdirectly irreducible Heyting algebra with involution is quasi-primal, and that injective algebras in the variety generated by a finite subdirectly irreducible Heyting algebra are precisely diagonal subalgebras of…
Equations over linearly ordered semilattices are studied. For any equation $t(X)=s(X)$ we find irreducible components of its solution set and compute the average number of irreducible components of all equations in $n$ variables.
We review and motivate recently-observed relationships between exactly solvable lattice models and modular representations of Hecke algebras. Firstly, we describe how the set of $n$-regular partitions label both of the following classes of…
The paper studies the structure of restricted Leibniz algebras. More specifically speaking, we first give the equivalent definition of restricted Leibniz algebras, which is by far more tractable than that of a restricted Leibniz algebras in…
We provide a unified approach, via deformations of incidence algebras, to several important types of representations with finiteness conditions, as well as the combinatorial algebras which produce them. We show that over finite dimensional…
A cell algebra structure is found for a family of generalized Schur algebras previously studied by the author. This cell algebra structure is then used to construct the irreducible representations of these algebras and to determine when the…
In this note we generalize the construction, due to Ghilardi, of the free Heyting algebra generated by a finite distributive lattice, to the case of arbitrary distributive lattices. Categorically, this provides an explicit construction of a…
We consider the extended superconformal algebras of the Knizhnik-Bershadsky type with $W$-algebra like composite operators occurring in the commutation relations, but with generators of conformal dimension 1,$\frac{3}{2}$ and 2, only. These…
Necessary and sufficient conditions are presented for the (first-order) theory of a universal class of algebraic structures (algebras) to admit a model completion, extending a characterization provided by Wheeler. For varieties of algebras…
Taking an algebraic perspective on the basic structures of Rough Concept Analysis as the starting point, in this paper we introduce some varieties of lattices expanded with normal modal operators which can be regarded as the natural rough…
We prove that an infinite (bounded) involution lattice and even pseudo--Kleene algebra can have any number of congruences between $2$ and its number of elements or equalling its number of subsets, regardless of whether it has as many ideals…
We classify $n$-representation infinite algebras $\Lambda$ of type \~A. This type is defined by requiring that $\Lambda$ has higher preprojective algebra $\Pi_{n+1}(\Lambda) \simeq k[x_1, \ldots, x_{n+1}] \ast G$, where $G \leq…
We establish a characterization of supernilpotent Mal'cev algebras which generalizes the affine structure of abelian Mal'cev algebras and the recent characterization of 3-supernilpotent Mal'cev algebras. We then show that for varieties in…
An algebraic extended bilinear Hilbert semispace is proposed as being the natural representation space for the algebras of von Neumann.This bilinear Hilbert semispace has a well defined structure given by the representation space of an…
Polynomial reduction is one of the main tools in computational algebra with innumerable applications in many areas, both pure and applied. Since many years both the theory and an efficient design of the related algorithm have been solidly…
It is well known that the subvariety lattice of the variety of relation algebras has exactly three atoms. The (join-irreducible) covers of two of these atoms are known, but a complete classification of the (join-irreducible) covers of the…
We introduce the notion of pre-weight structure on a triangulated category and study the corresponding pseudo-identities. We propose the notion of canonical derived equivalence between algebras that are not necessarily flat, which is…
This thesis finds its place in the interplay between algebraic and geometric combinatorics. We focus on studying two different families of lattices in relation to the weak order: the permutree lattices and the $s$-weak order. The first part…
Revisiting the results by Winternitz [Symmetry in physics, CRM Proc. Lecture Notes 34, American Mathematical Society, Providence, RI, 2004, pp. 215-227], we thoroughly refine his classification of Lie subalgebras of the real order-three…