Abstract
A unigroup is defined to be a partially orderedabelian group with a distinguished generative universalorder unit. Virtually any structure that has beenproposed for the logic, sharp or unsharp, of a physical system can be represented by the order intervalin a unigroup. Furthermore, probability statescorrespond to positive, normalized, real-valued grouphomomorphisms, and physical symmetries correspond to unigroup automorphisms. We show that thecategory of unigroups admits arbitrary products andcoproducts. A new class of interval effect algebrascalled Heyting effect algebras (HEAs) is introduced andstudied. Among other things, an HEA is both a Heytingalgebra and a BZ-lattice in which the sharp elements areprecisely the central elements. Certain HEAs arisenaturally from partially ordered abelian groupsaffiliated with Stone spaces. Using Stone unigroups, weobtain perspicuous representations for certainmultivalued logics, including the three-valued logic ofconditional events utilized by Goodman, Nguyen, andWalker in their study of logic for expertsystems.
Similar content being viewed by others
REFERENCES
Bennett, M. K., and Foulis, D. J. (1993). Tensor products of orthoalgebras, Order, 10, 271–282.
Bennett, M. K., and Foulis, D. J. (1995). Phi-symmetric effect algebras, Foundations of Physics, 25, 1699–1722.
Bennett, M. K., and Foulis, D. J. (1997). Interval algebras and unsharp quantum logics, in Advances in Mathematics, 19, 200–215.
Birkhoff, G. (1967). Lattice Theory, 3rd ed., American Mathematical Society, Providence, Rhode Island.
Cattaneo, G., and Nistico, G. (1989). Brouwer-Zadeh posets and three-valued Łukasiewicz posets, International Journal of Fuzzy Sets and Systems, 33, 165–190.
D'Andrea, A. B., and De Lucia, P. (1991a). The Brooks-Jewett theorem on an orthomodular lattice, Journal of Mathematical Analysis and Applications, 154, 507–552.
D'Andrea, A. B., De Lucia, P., and Morales, P. (1991b). The Lebesgue decomposition theorem and the Nikodym convergence theorem on an orthomodular poset, Atti Seminario Matematico e Fisico Universita degli Studi di Modena, 34, 137–158.
Davies, R., and Lewis, J. (1970). An operational approach to quantum probability, Communications in Mathematical Physics, 17, 239–260.
DeLucia, P., and Dvurečenskij, A. (1993). Yoshida-Hewitt decompositions of Riesz-space valued measures on orthoalgebras, Tatra Mountains Mathematical Publications, 3, 101–110.
Dvurečenskij, A., and Pulmannová, S. (1994). D-test spaces and difference posets, Reports on Mathematical Physics, 34, 151–170.
Edwards, C. (1970). The operational approach to algebraic quantum theory I, Communications in Mathematical Physics, 16, 207–230.
Foulis, D. J., and Bennett, M. K. (1994). Effect algebras and unsharp quantum logics, Foundations of Physics, 24, 1325–1346.
Foulis, D. J., Greechie, R. J., and Bennett, M. K. (1994). Sums and products of interval algebras, International Journal of Theoretical Physics, 33, 2119–2136.
Foulis, D. J., Bennett, M. K., and Greechie, R. J. (1996). Test groups and effect algebras, International Journal of Theoretical Physics, 35, 1117–1140.
Giuntini, R., and Greuling, H. (1989). Toward a formal language for unsharp properties, Foundations of Physics, 19, 931–945.
Goodearl, K. R. (1986). Partially Ordered Abelian Groups with Interpolation, American Mathematical Society, Providence, Rhode Island.
Goodman, I. R. (1994). Toward a comprehensive theory of linguistic and probabilistic evidence: Two new approaches to conditional event algebra, IEEE Transactions on Systems, Man, and Cybernetics, 24, 1685–1698.
Gratzer, G. (1978). General Lattice Theory, Academic Press, New York.
Greechie, R. J. (1971). Orthomodular lattices admitting no states, Journal of Combinatorial Theory, 10, 119–132.
Greechie, R. J., and Foulis, D. J. (1995). The transition to effect algebras, International Journal of Theoretical Physics, 34, 1369–1382.
Greechie, R. J., Foulis, D. J., and Pulmannová, S. (1995). The center of an effect algebra, Order, 12, 91–106.
Gudder, S. P. (1988). Quantum Probability, Academic Press, San Diego.
Gudder, S. P. (1996). Semi-orthoposets, International Journal of Theoretical Physics, 35, 1141–1173.
Kalmbach, G. (1983). Orthomodular Lattices, Academic Press, New York.
Kôpka, F., and Chovanec, F. (1994). D posets, Mathematica Slovaca, 44, 21–34.
Nguyen, H. T., and Walker, E. A. (1994). A history and introduction to the algebra of conditional events and probability logic, IEEE Transactions on Systems, Man, and Cybernetics, 24, 1671–1675.
Pták, P. (1995). International Journal of Theoretical Physics, 34, 1163.
Ravindran, K. (1996). On a structure theory of effect algebras, Ph.D. thesis, Kansas State University; UMI Dissertation Services, No. 9629062, Ann Arbor, Michigan.
Rüttimann, G. T. (1980). Non-commutative measure theory, Habilitationsschrift, Universität Bern.
Rüttimann, G. T. (1989). The approximate Jordan-Hahn decomposition, Canadian Journal of Mathematics, 41, 1124–1146.
Stone, M. H. (1936). The theory of representations for a Boolean algebra, Transactions of the American Mathematical Society, 40, 37–111.
Stone, M. H. (1937). Applications of the theory of Boolean rings to general topology, Transactions of the American Mathematical Society, 41, 375–481.
Walker, E. A. (1994). Stone algebras, conditional events, and three valued logic, IEEE Transactions on Systems, Man, and Cybernetics, 24, 1699–1707.
Rights and permissions
About this article
Cite this article
Foulis, D.J., Greechie, R.J. & Bennett, M.K. The Transition to Unigroups. International Journal of Theoretical Physics 37, 45–63 (1998). https://doi.org/10.1023/A:1026657004880
Issue Date:
DOI: https://doi.org/10.1023/A:1026657004880