Finite modular effect algebras (Q1366272): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1006/aama.1997.0543 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2012764236 / rank | |||
Normal rank |
Revision as of 23:42, 19 March 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