Related papers: A complete Boolean algebra that has no proper atom…
A uniform algebra $A$ on its Shilov boundary $X$ is {\em maximal} if $A$ is not $C(X)$ and there is no uniform algebra properly contained between $A$ and $C(X)$. It is {\em essentially pervasive} if $A$ is dense in $C(F)$ whenever $F$ is a…
The notion of overlap algebra introduced by G. Sambin provides a constructive version of complete Boolean algebra. Here we first show some properties concerning overlap algebras: we prove that the notion of overlap morphism corresponds…
We consider several distinct characterizations of finite implication algebras. One of these leads to a new characterization of Boolean polymatroids.
A non-associative algebra over a field $\mathbb{K}$ is a $\mathbb{K}$-vector space $A$ equipped with a bilinear operation \[ {A\times A\to A\colon\; (x,y)\mapsto x\cdot y=xy}. \] The collection of all non-associative algebras over…
In this paper, we introduce and investigate monadic NM-algebras: a variety of NM-algebras equipped with universal quantifiers. Also, we obtain some conditions under which monadic NM-algebras become monadic Boolean algebras. Besides, we show…
The aim of this note is to communicate a simple example of a Lie-Rinehart algebra whose enveloping algebra is not a Hopf algebroid in the sense of Boehm and Szlachanyi.
The decomposition problem of the enveloping algebra of a simple Lie algebra is reconsidered combining both the analytical and the algebraic approach, showing its relation with the internal labelling problem with respect to a nilpotent…
A. Tarski proved that the m-generated free algebra of $\mathrm{CA}_{\alpha}$, the class of cylindric algebras of dimension $\alpha$, contains exactly $2^m$ zero-dimensional atoms, when $m\ge 1$ is a finite cardinal and $\alpha$ is an…
In this note, we show that a von Neumann algebra can be written as the linking von Neumann algebra of a W*-TRO if and only if it contains no abelian direct summand. We also provide some new characterizations of nuclear TROs and…
We give a unified treatment of the model theory of various enrichments of infinite atomic Boolean algebras, with special attention to quantifier-eliminations, complete axiomatizations and decidability. A classical example is the enrichment…
Let M be a maximal subalgebra of the Lie algebra L. A subalgebra C of L is said to be a completion for M if C is not contained in M but every proper subalgebra of C that is an ideal of L is contained in M. The set I(M) of all completions of…
Quantum implication algebras without complementation are formulated with the same axioms for all five quantum implications. Previous formulations of orthoimplication, orthomodular implication, and quasi-implication algebras are analysed and…
This note presents a general theorem about the cohomology of finite dimensional Lie algebras of arbitrary characteristic. As an application we compute the cohomology of the Borel subalgebra of sl(N).
This paper concerns the study of Leibniz algebras, a natural generalization of Lie algebras, from the perspective of centralizers of elements. We study conditions on Leibniz algebras under which centralizers of all elements are ideals. We…
In this work we study Leibniz algebras whose second-maximal subalgebras are ideals. We provide a classification based on solvability, nilpotency, and the size of the derived algebra. We give specific descriptions of those Leibniz algebras…
Given a Lie algebra $L$ graded by a group $G$, if $L$ is does not contain orthogonal graded ideals and $G$ is generated by the support of $L$, then $G$ is an abelian group.
We introduce the notion of left (and right) quasi-Loday algebroids and a "universal space" for them, called a left (right) omni-Loday algebroid, in such a way that Lie algebroids, omni-Lie algebras and omni-Loday algebroids are particular…
Let A be a C*-algebra. It is shown that A is an AW*-algebra if, and only if, each maximal abelian self--adjoint subalgebra of A is monotone complete. An analogous result is proved for Rickart C*-algebras; a C*-algebra is a Rickart…
Almost Lie algebroids are generalizations of Lie algebroids, when the Jacobiator is not necessary null. A simple example is given, for which a Lie algebroid bracket or a Courant bundle is not possible for the given anchor, but a natural…
We prove that the Lie commutator subalgebra of the associative algebra containing a matrix subalgebra is perfect.