Finite modular effect algebras (Q1366272): Difference between revisions
From MaRDI portal
Removed claim: reviewed by (P1447): Item:Q288333 |
Changed an Item |
||
Property / reviewed by | |||
Property / reviewed by: Nicolas Hadjisavvas / rank | |||
Normal rank |
Revision as of 19:07, 12 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Finite modular effect algebras |
scientific article |
Statements
Finite modular effect algebras (English)
0 references
10 September 1997
0 references
A quadruple \((E, \oplus, 0,u)\) consisting of a set \(E\), a partially defined binary operation \(\oplus\), and two elements \(0,u \in E\) is called an effect algebra if \(\oplus\) is commutative and associative, satisfies the zero-one law (i.e. if \(p\oplus u\) is defined, then \(p= 0)\) and the orthosupplement law \((\forall p\in E\), \(\exists! q\in E\) such that \(u=p \oplus q)\). Defining the partial order \(\leq\) on \(E\) by \(p\leq q\) if there exists \(r\in E\) such that \(p\oplus r= q\), \(E\) becomes a partially ordered set (poset). In this paper, it is shown that any finite modular effect algebra is, as a lattice, the product of chains and of \(M_n\)'s. In particular, there is no nondistributive irreducible finite modular effect algebra of height 3 or greater.
0 references
finite modular effect algebra
0 references
product of chains
0 references