zbMATH — the first resource for mathematics

Removing the torsion from a unital group. (English) Zbl 1054.81005
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.)

81P10 Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)
06F20 Ordered abelian groups, Riesz groups, ordered linear spaces
06C15 Complemented lattices, orthocomplemented lattices and posets
03G12 Quantum logic
Full Text: DOI
[1] Alfson, E.M., Compact convex sets and boundary integrals, (1971), Springer New York
[2] Beltrametti, E.G.; Cassinelli, G., ()
[3] Bennett, M.K.; Foulis, D.J., Interval and scale effect algebras, Advances in applied mathematics, 19, 200-215, (1997) · Zbl 0883.03048
[4] Busch, P.; Lahti, P.J.; Mittelstaedt, P., The quantum theory of measurement, () · Zbl 0868.46051
[5] Chang, C.C., Algebraic analysis of many valued logics, Trans. amer. math. soc., 88, 467-490, (1958) · Zbl 0084.00704
[6] Darnel, M.R., Theory of lattice-ordered groups, (1995), Dekker New York · Zbl 0810.06016
[7] Effros, E.G.; Handelman, D.E.; Shen, E.-L., Dimension groups and their affine representations, Amer. J. math., 102, 385-407, (1980) · Zbl 0457.46047
[8] Foulis, D.J., Representations on unigroups, (), 115-138 · Zbl 0955.03067
[9] Foulis, D.J.; Bennett, M.K., Effect algebras and unsharp quantum logics, Foundations of physics, 24, No. 10, 1331-1352, (1994) · Zbl 1213.06004
[10] Foulis, D.J.; Greechie, R.J.; Bennett, M.K., Sums and products of interval algebras, Intern. J. theoret. phys., 33, No. 11, 2119-2136, (1994) · Zbl 0815.06015
[11] Foulis, D.J.; Greechie, R.J.; Bennett, M.K., The transition to unigroups, Intern. J. theoret. phys., 37, No. 1, 45-64, (1998) · Zbl 0904.06013
[12] Goodearl, K., Partially ordered abelian groups with interpolation, () · Zbl 0589.06008
[13] Gudder, S.P., Connectives and fuzziness for classical effects, Fuzzy sets and systems, 106, No. 2., 247-254, (1999) · Zbl 0941.60007
[14] Mundici, D., Interpretation of AF C*-algebras in lukaszewicz sentential calculus, J. funct. anal., 65, 15-63, (1986) · Zbl 0597.46059
[15] Perles, M.A., On Dilworth’s theorem in the infinite case, Israel J. math., 1, 108-109, (1963) · Zbl 0115.01703
[16] Pták, P.; Pulmannová, S., Orthomodular structures as quantum logics, (1991), Kluwer DordrechtBoston/London · Zbl 0743.03039
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.