Related papers: Varieties of Regular Pseudocomplemented de Morgan …

It is known from Grzegorczyk's paper \cite{grze-1951} that the lattice of real semi-algebraic closed subsets of ${\mathbb R}^n$ is undecidable for every integer $n\geq 2$. More generally, if $X$ is any definable set over a real or…

In this paper we show that the image of any locally finite $k$-derivation of the polynomial algebra $k[x, y]$ in two variables over a field $k$ of characteristic zero is a Mathieu subspace. We also show that the two-dimensional Jacobian…

Let M_n be the class of all multiloop algebras of finite dimensional simple Lie algebras relative to n-tuples of commuting finite order automorphisms. It is a classical result that M_1 is the class of all derived algebras modulo their…

The study of the theory of operators over modal pseudocomplemented De Morgan algebras was begun in the papers [15] and [16]. In this paper, we introduce and study the class of modal pseudocomplemented De Morgan algebras enriched by an…

Let $K$ be a field of characteristic zero and let $\mathfrak{M}_5$ be the variety of associative algebras over $K$, defined by the identity $[x_1,x_2][x_3,x_4,x_5]$. It is well-known that such variety is a minimal variety and that is…

Let $\mathfrak{g}$ be a simple Lie algebra defined over an algebraically closed field $k$ of characteristic $p$. Fix an integer $r>1$ and suppose that $V_1,\ldots,V_r$ are irreducible closed subvarieties of $\mathfrak{g}$. Let…

We described $\delta$-derivations and $\delta$-superderivations of simple Jordan superalgebra <<KKM Double>> (also known as superalgebra of Jordan brackets) and unital simple finite-dimensional Jordan superalgebras over algebraic closed…

We investigate the duality between algebraic and coalgebraic recognition of languages to derive a generalization of the local version of Eilenberg's theorem. This theorem states that the lattice of all boolean algebras of regular languages…

Let $K$ be an algebraically closed field of characteristic zero, $P_n=K[x_1, ..., x_n]$ the polynomial ring, and $W_n(K)$ the Lie algebra of all $K$-derivations on $P_n$. One of the most important subalgebras of $W_n(K)$ is the triangular…

In the present work the properties of Cartan subalgebras and their connection with regular elements in finite dimensional Lie algebras are extended to the case of Leibniz algebras. It is shown that Cartan subalgebras and regular elements of…

We relate completions of infinitesimal Hecke algebras of sl2 to noncommutative deformations of Kleinian singularities of type D of Crawley-Boevey and Holland. As a consequence, we show an analogue of the inequality of Bernstein and…

Let $ R \subset \R $ be a GCD-domain. In this paper, Weinberg's conjecture on the $ n \times n $ matrix algebra $ M_{n}(R) \ (n \geq 2) $ is proved. Moreover, all the lattice orders (up to isomorphisms) on a full $ 2 \times 2 $ matrix…

This paper is the next installment of our analysis of length-commensurable locally symmetric spaces begun in Publ. math. IHES 109(2009), 113-184. For a Riemannian manifold $M$, we let $L(M)$ be the weak length spectrum of $M$, i.e. the set…

We study varieties of certain ordered $\Sigma$-algebras with restricted completeness and continuity properties. We give a general characterization of their free algebras in terms of submonads of the monad of $\Sigma$-coterms. Varieties of…

It is a well known fact that Boolean algebras can be defined using only implication and a constant. In 2012, this result was extended to De Morgan algebras in [8] which led Sankappanavar to introduce, and investigate, the variety I of…

For a field $R$ of characteristic $p\ge 0$ and a matrix $c$ in the full $n\times n$ matrix algebra $M_n(R)$ over $R$, let $S_n(c,R)$ be the centralizer algebra of $c$ in $M_n(R)$. We show that $S_n(c,R)$ is a Frobenius-finite,…

The notion of a congruence pair for principal MS-algebras, simpler than the one given by Beazer for $K_2$-algebras \cite{6}, is introduced. It is proved that the congruences of the principal MS-algebras $L$ correspond to the MS-congruence…

The Kauffman bracket skein module $K(M)$ of a $3$-manifold $M$ is the quotient of the $\mathbb{Q}(A)$-vector space spanned by isotopy classes of links in $M$ by the Kauffman relations. A conjecture of Witten states that if $M$ is closed…

This paper is the second in a series investigating cartesian closed varieties. In first of these, we showed that every non-degenerate finitary cartesian variety is a variety of sets equipped with an action by a Boolean algebra B and a…

The purpose of this note is two-fold. Firstly, we prove that the variety RDMSH1 of regular De Morgan semi-Heyting algebras of level 1 satisfies Stone identity and present (equational) axiomatizations for several subvarieties of RDMSH1.…