Related papers: Remarks on the sequential effect algebras

A set $M$ of nonzero integers is said to split a finite abelian group $G$ if there exists a subset $S\subseteq G$ such that $M\cdot S = G\setminus\{0\}$. Such a splitting is called purely singular if every prime divisor of $|G|$ divides…

If $G$ is an abelian group, we say $S\subset G$ is a set of recurrence if for every probability measure preserving $G$-system $(X,\mu,T)$ and every $D\subset X$ having $\mu(D)>0$, there is a $g\in S$ such that $\mu(D\cap T^{g}D)>0$. We say…

In the first part, we study the structure of the R-algebra generated by the Hodge classes on the self-product A^e of a very general principally polarized abelian variety A. In the second part, we compare various notions of positivity for…

In this paper, we are motivated by two conjectures proposed by C. Bender et al.\ in 2024, which have remained open questions. The first conjecture states that if the complemented zero-divisor graph \( G(S) \) of a commutative semigroup \( S…

Let $D \subseteq A$ be an inclusion of unital abelian $C^*$-algebras. In this note we characterize (in topological terms) when there is a unique conditional expectation $E:A \to D$, at least when $A$ is separable. As an application, we…

We study a pair p,e consisting of a projection p (an idempotent) and an effect e (an element between 0 and 1) in a synaptic algebra (a generalization of the self-adjoint part of a von Neumann algebra). We show that some of Halmos's theory…

We introduce and characterize a particularly tractable class of unital type 1 C*-algebras with bounded dimension of irreducible representations. Algebras in this class are called recursive subhomogeneous algebras, and they have an inductive…

It is proved that a commutative algebra $A$ of operators on a reflexive real Banach space has an invariant subspace if each operator $T\in A$ satisfies the condition $$\|1- \varepsilon T^2\|_e \le 1 + o(\varepsilon) \text{ when }…

We present a functorial construction which, starting from a congruence $\alpha$ of finite index in an algebra A, yields a new algebra C with the following properties: the congruence lattice of C is isomorphic to the interval of congruences…

We consider modules E over a C*-algebra A which are equipped with a map into A_+ that has the formal properties of a norm. We completely determine the structure of these modules. In particular, we show that if A has no nonzero commutative…

Let $a$ and $b$ be elements of an ordered normed algebra $\mathcal A$ with unit $e$. Suppose that the element $a$ is positive and that for some $\varepsilon>0$ there exists an element $x\in \mathcal A$ with $\|x\|\leq \varepsilon$ such that…

We give sufficient and necessary conditions to guarantee that a pseudo-effect algebra admits an $(n+1)$-valued discrete state. We introduce $n$-perfect pseudo-effect algebras as algebras which can be split into $n+1$ comparable slices. We…

We introduce the concepts of dual instruments and sub-observables. We show that although a dual instruments measures a unique observable, it determines many sub-observables. We define a unique minimal extension of a sub-observable to an…

A function on an algebra is congruence preserving if, for any congruence, it maps pairs of congruent elements onto pairs of congruent elements. We show that on the algebra of complete binary trees whose leaves are labeled by letters of an…

We study the congeniality property of algebras, as defined by Bao, He, and Zhang, in order to establish a version of Auslander's theorem for various families of filtered algebras. It is shown that the property is preserved under homomorphic…

There is a well-known construction of a Jordan algebra via a sharped cubic form. We introduce a generalized sharped cubic form and prove that the split spin factor algebra is induced by this construction and satisfies the identity…

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…

A commutative order in a central simple algebra over a number field is said to be selective if it embeds in some, but not all, the maximal orders in the algebra. We completely characterize selective orders in central division algebras, of…

Let $A$ be a nonempty finite set of $k$ integers. Given a subset $B$ of $A$, the sum of all elements of $B$, denoted by $s(B)$, is called the subset sum of $B$. For a nonnegative integer $\alpha$ ($\leq k$), let \[\Sigma_{\alpha}…

Algebraic effects are computational effects that can be described with a set of basic operations and equations between them. As many interesting effect handlers do not respect these equations, most approaches assume a trivial theory,…