Removing the torsion from a unital group. (Q595951): Difference between revisions

Effect algebras are mathematical structures associated with experimentally testable propositions in quantum mechanics. Most effect algebras that are of interest in applications can be realized as intervals in partially ordered abelian groups. The corresponding group is not uniquely determined, but among all these groups there is a special one, called the unigroup. Every unital group in which \(E\) can be realized is a homomorphic image of the unigroup \(G\) for \(E\). Information about observables, symmetries, and states is encoded in the unigroup \(G\). The ``standard'' unigroups are all torsion-free. This article pays special attention to the case in which \(G\) is a unital group with a finite unit interval \(E\subseteq G\). (In this case \(G\) is a direct sum of a free abelian group and the torsion subgroup.)