Related papers: Joins and meets in effect algebras
We investigate finite effect algebras and their classification. We show that an effect algebra with $n$ elements has at least $n-2$ and at most $(n-1)(n-2)/2$ nontrivial defined sums. We characterize finite effect algebras with these…
A lattice L is "meet-distributive" if for each element of L, the meets of the elements directly below it form a Boolean lattice. These objects are in bijection with "convex geometries", which are an abstract model of convexity. Do they give…
In the paper we investigate a class of effect algebras which can be represented in the form of the lexicographic product $\Gamma(H\lex G,(u,0))$, where $(H,u)$ is an Abelian unital po-group and $G$ is an Abelian directed po-group. We study…
Let $X=G/\Gamma$ be the quotient of a semisimple Lie group $G$ by its non-cocompact arithmetic lattice. Let $H$ be a reductive algebraic subgroup of $G$ acting on $X$. We give several equivalent algebraic conditions on $H$ for the existence…
Let $X$ be a locally compact Hausdorff space, let $A$ be a partially ordered algebra, and let $\pi\colon \mathrm{C}_{\mathrm c}(X)\to A$ be a positive algebra homomorphism. Under conditions on $A$ that are satisfied in a good number of…
The aim of our paper is twofold. First, we thoroughly study the set of meager elements Mea(E) and the set of hypermeager elements HMea(E) in the setting of homogeneous effect algebras E. Second, we study the property (W+) and the maximality…
We present a novel approach to the construction of new finite algebras and describe the congruence lattices of these algebras. Given a finite algebra $(B_0, \dots)$, let $B_1, B_2, \dots, B_K$ be sets that either intersect $B_0$ or…
Boolean-type algebra (BTA) is investigated. A BTA is decomposed into Boolean-type lattice (BTL) and a complementation algebra (CA). When the object set is finite, the matrix expressions of BTL and CA (and then BTA) are presented. The…
One of the longstanding problems in universal algebra is the question of which finite lattices are isomorphic to the congruence lattices of finite algebras. This question can be phrased as which finite lattices can be represented as…
We define the notion of an almost polynomial identity of an associative algebra $R$, and show that its existence implies the existence of an actual polynomial identity of $R$. A similar result is also obtained for Lie algebras and Jordan…
We characterize atomistic effect algebras, prove that a weakly orthocomplete Archimedean atomic effect algebra is orthoatomistic and present an example of an orthoatomistic orthomodular poset that is not weakly orthocomplete.
We consider string junctions with endpoints on a set of branes of IIB string theory defining an ADE-type gauge Lie algebra. We show how to characterize uniquely equivalence classes of junctions related by string/brane crossing through…
For an arbitrary group, the subgroups form a lattice with order determined by set inclusion. Not every lattice is isomorphic to the subgroup lattice for a group. However, Birkhoff and Frink proved that any compactly generated lattice is…
Nonrelativstic effective field theories have shown to be a useful framework to describe systems of weakly bound particles. This work focuses on the matching procedure to the underlying relativistic theory. The concept of a physical mass in…
The aim of our paper is twofold. First, we thoroughly study the set of meager elements M(E), the center C(E) and the compatibility center B(E)in the setting of atomic Archimedean lattice effect algebras E. The main result is that in this…
We have introduced recently a particles model with blocking and pushing interactions which is related to a Pieri type formula for the orthogonal group. This model has a symplectic version presented here.
Let $G$ be a real Lie group with Lie algebra $\mathfrak g$. Given a unitary representation $\pi$ of $G$, one obtains by differentiation a representation $d\pi$ of $\mathfrak g$ by unbounded, skew-adjoint operators. Representations of…
Cohesive powers of computable structures can be viewed as effective ultraproducts over effectively indecomposable sets called cohesive sets. We investigate the isomorphism types of cohesive powers $\Pi _{C}% \mathcal{L}$ for familiar…
We investigate the complexity of isomorphism relations for classes of finitely generated and n-generated computably enumerable (c.e.) algebras, presented via c.e. presentations -- that is, as quotients of term algebras over decidable sets…
Finite volume multiple-particle interaction is studied in a two-dimensional complex $\phi^4$ lattice model. The existence of analytical solutions to the $\phi^4$ model in two-dimensional space and time makes it a perfect model for the…