Related papers: On Heyting algebras with negative tense operators
We give a generalization of the Hodge operator to spaces $(V,h)$ endowed with a hermitian or symmetric bilinear form $h$ over arbitrary fields, including the characteristic two case. Suitable exterior powers of $V$ become free modules over…
The paper is devoted to an algebraic interpretation of Kuznetsov's theorem which establishes the assertoric equipollence of intuitionistic and proof-intuitionistic propositional calculi. Given a Heyting algebra, we define an enrichable…
To any Hopf algebra H we associate two commutative Hopf algebras, which we call the first and second lazy homology Hopf algebras of H. These algebras are related to the lazy cohomology groups based on the so-called lazy cocycles of H by…
We show that $\tau$-tilting finite simply connected algebras are representation-finite. Then, some related algebras are considered, including iterated tilted algebras, tubular algebras and so on. We also prove that the $\tau$-tilting…
In this paper, we introduce the notion of a derivation of a Hom-Lie algebra and construct the corresponding strict Hom-Lie 2-algebra, which is called the derivation Hom-Lie 2-algebra. As applications, we study non-abelian extensions of…
It is shown that projectionless C*-algebras that tensorially absorb the Jiang-Su algebra have the property that every element is a limit of products of two nilpotents. This is then used to classify the approximate unitary equivalence…
The usual vertex algebras have as underlying symmetry the Hopf algebra $H_D=\mathbb C[D]$ of infinitesimal translations. We show that it is possible to replace $H_D$ by another symmetry algebra $H_T=\mathbb C[T,T\inv]$, the group algebra of…
Leibniz algebras are non skew-symmetric generalization of Lie algebras. In this paper we introduce the notion of anti-Leibniz algebras as a "non commutative version" of mock-Lie algebras. Low dimensional classification of such algebras is…
The main purpose of this work is to develop the basic notions of the Lie theory for commutative algebras. We introduce a class of $\mathbbZ_2$-graded commutative but not associative algebras that we call ``Lie antialgebras''. These algebras…
An operator algebra $\mathcal{A}$ acting on a Hilbert space is said to have the closability property if every densely defined linear transformation commuting with $\mathcal{A}$ is closable. In this paper we study the closability property of…
The aim of our paper is to construct pseudo $H$-type algebras from the covering free nilpotent two-step Lie algebra as the quotient algebra by an ideal. We propose an explicit algorithm of construction of such an ideal by making use of a…
In this paper we present the Sweedler cohomology for a cocommutative weak Hopf algebra H. We show that the second cohomology group classifies completely the weak crossed products, having a common preunit, of H with a commutative left…
This contribution studies a specific deformation of algebras with anti-involution. Starting with the observation that twisting the multiplication of such an algebra by its anti-involution generates a Hom-associative algebra of type II, it…
We calculate the homology of three families of 2-step nilpotent Lie (super)algebras associated with the symplectic, orthogonal, and general linear groups. The symplectic case was considered by Getzler and the main motivation for this work…
Given a semigroup S with zero, which is left-cancellative in the sense that st=sr \neq 0 implies that t=r, we construct an inverse semigroup called the inverse hull of S, denoted H(S). When S admits least common multiples, in a precise…
This paper may be viewed as having two aims. First, we continue our study of algebras of operators on a Hilbert space which have a contractive approximate identity, this time from a more Banach algebraic point of view. Namely, we mainly…
A conjugation $C$ on a separable complex Hilbert space $\mathcal H$ is an antilinear operator that is isometric and involutive. In this notes, we characterize all conjugations on the Hardy-Hilbert space $H^{2}$ over the disk. In addition,…
In a previous paper we showed how the main theorems characterizing operator algebras and operator modules, fit neatly into the framework of the `noncommutative Shilov boundary', and more particularly via the left multiplier operator algebra…
The article explores the arithmetic of multiplication as a model of many valued projective logic. It is demonstrated that closed numerical intervals within this framework constitute Heyting algebras. The conditions for these algebras to be…
In recent years, the notion of characteristic polynomial of representations of Lie algebras has been widely studied. This paper provides more properties of these characteristic polynomials. For simple Lie algebras, we characterize the…