Finite modular effect algebras (Q1366272)

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.