ArticleOriginal scientific text

Title

A constructive proof that every 3-generated l-group is ultrasimplicial

Authors 1, 2

Affiliations

  1. Department of Computer Science, University of Milano, Via Comelico 39-41, 20135 Milano, Italy
  2. Department of Mathematics, University of Udine, Via delle Scienze 208, 33100 Udine, Italy

Abstract

We discuss the ultrasimplicial property of lattice-ordered abelian groups and their associated MV-algebras. We give a constructive proof of the fact that every lattice-ordered abelian group generated by three elements is ultrasimplicial.

Bibliography

  1. [BML67] G. Birkhoff and S. Mac Lane, Algebra. The Macmillan Co., New York, 1967.
  2. [Cha58] C. C. Chang, Algebraic analysis of many valued logics. Trans. Amer. Math. Soc., 88:467-490, 1958.
  3. [Ell79] G. Elliott, On totally ordered groups, and K0. In Ring Theory (Proc. Conf. Univ. Waterloo, Waterloo, 1978), volume 734 of Lecture Notes in Math., pages 1-49. Springer, 1979.
  4. [Ewa96] G. Ewald, Combinatorial Convexity and Algebraic Geometry. Springer, 1996.
  5. [Ful93] W. Fulton, An introduction to Toric Varieties, volume 131 of Annals of Mathematics Studies. Princeton University Press, Princeton, N.J., 1993.
  6. [Han83] D. Handelman, Ultrasimplicial dimension groups. Arch. Math., 40:109-115, 1983.
  7. [MP93] D. Mundici and G. Panti, The equivalence problem for Bratteli diagrams. Technical Report 259, Department of Mathematics, University of Siena, Siena, Italy, 1993.
  8. [Mun86] D. Mundici, Interpretation of AF C*-algebras in Łukasiewicz sentential calculus. J. of Functional Analysis, 65:15-63, 1986.
  9. [Mun88] D. Mundici, Farey stellar subdivisions, ultrasimplicial groups, and K0 of AF C*-algebras. Advances in Math., 68(1):23-39, 1988.
  10. [Oda88] T. Oda, Convex Bodies and Algebraic Geometry. Springer, 1988.
Pages:
169-178
Main language of publication
English
Published
1999
Exact and natural sciences