Finitely generated varieties of distributive effect algebras (Q2377306): Difference between revisions

Effect algebras are partially defined algebras, \(E=(E;+,', 0,1)\), which model events of quantum mechanical measurements, and as prototypical examples they are intervals in the positive cone of po-groups. Their basic operation, addition \(+\), is commutative, associative, for every element \(x\) there is a unique element \(x'\) such that \(x+x'=1\), and, finally, if \(x+1\) is defined then \(x=0\). In the paper under review, the authors study the variety of distributive effect algebras; in a natural way, it is possible to study effect algebras as total algebras. The paper studies (i) finitely generated subvarieties, in particular the variety of modular effect basic algebras, and (ii) free algebras in finitely generated subvarieties.