Related papers: Transitivity of implicative aBE algebras
We show that all finite dimensional, tame hereditary $k$-algebras are of amenable representation type (in the sense of G. Elek) for all fields $k$. The proof is adapted from our previous result for tame path algebras. Further, it is proven…
Given a complete atomic Boolean algebra, we show there is a commutative BCK-algebra whose ideal lattice is that Boolean algebra. This result is shown to exist within a larger framework involving BCK-algebras of functions, whose ideals and…
Certain operator algebras A on a Hilbert space have the property that every densely defined linear transformation commuting with A is closable. Such algebras are said to have the closability property. They are important in the study of the…
Starting from involutive BE algebras, we redefine the orthomodular algebras, by introducing the notion of implicative-orthomodular algebras. We investigate properties of implicative-orthomodular algebras, and give characterizations of these…
We prove that all Set-based triposes are implicative triposes.
The transitive closure of a reflexive, symmetric, analytic relation is an analytic equivalence relation. Does some smaller class contain the transitive closure of every reflexive, symmetric, closed relation? An essentially negative answer…
The purpose of this article is to prove that the category of cocommutative Hopf $K$-algebras, over a field $K$ of characteristic zero, is a semi-abelian category. Moreover, we show that this category is action representable, and that it…
Starting from involutive BE algebras, we redefine the quantum-MV algebras, by introducing and studying the notion of quantum-Wajsberg algebras. We define the $\vee$-commutative quantum-Wajsberg algebras and we investigate their properties.…
In this chapter, starting from some results obtained in the papers [FV; 19], [FHSV; 19], we provide some examples of finite bounded commutative BCK- algebras, using the Wajsberg algebra associated to a bounded commutative BCK- algebra. This…
Several generalizations of a commutative ring that is a graded complete intersection are proposed for a noncommutative graded $k$-algebra; these notions are justified by examples from noncommutative invariant theory.
We introduce the notion of implicative algebra, a simple algebraic structure intended to factorize the model constructions underlying forcing and realizability (both in intuitionistic and classical logic). The salient feature of this…
We call an operator algebra A {\em reversible} if A with reversed multiplication is also an abstract operator algebra (in the modern operator space sense). This class of operator algebras is intimately related to the {\em symmetric operator…
In this paper we study prime spectra of commutative BCK-algebras. We give a new construction for commutative BCK-algebras using rooted trees, and determine both the ideal lattice and prime ideal lattice of such algebras. We prove that the…
Let $(W,S)$ be a Coxeter system with $I\subseteq S$ such that the parabolic subgroup $W_I$ is finite. Associated to this data there is a \textit{Hecke algebra} $\scH$ and a \textit{parabolic Hecke algebra}…
We survey recent results on multiple transitivity of automorphism groups of affine algebraic varieties. We consider the property of infinite transitivity of the special automorphism group, which is equivalent to flexibility of the…
BCK-sequences and n-commutative BCK-algebras were introduced by T. Traczyk, together with two related problems. The first one, whether BCK-sequences are always prolongable. The second one, if the class of all n-commutative BCK-algebras is…
Starting from involutive BE algebras, we redefine the pre-MV and meta-MV algebras, by introducing the notion of pre-Wajsberg and meta-Wajsberg algebras, as generalizations of quantum-Wajsberg algebras. We characterize these algebras, we…
The central objective of this article is to provide an elementary proof of the following theorem, of which we are unaware of any trace in the existing literature. If $B$ is a net finite free algebra over a commutative ring $A$, then it is…
We show that the integrability obstruction of a transitive Lie algebroid coincides with the lifting obstruction of a crossed module of groupoids associated naturally with the given algebroid. Then we extend this result to general extensions…
We consider relationships between cubic algebras and implication algebras. We first exhibit a functorial construction of a cubic algebra from an implication algebra. Then we consider an collapse of a cubic algebra to an implication algebra…