ArticleOriginal scientific text
Title
A constructive proof that every 3-generated l-group is ultrasimplicial
Authors 1, 2
Affiliations
- Department of Computer Science, University of Milano, Via Comelico 39-41, 20135 Milano, Italy
- 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
- [BML67] G. Birkhoff and S. Mac Lane, Algebra. The Macmillan Co., New York, 1967.
- [Cha58] C. C. Chang, Algebraic analysis of many valued logics. Trans. Amer. Math. Soc., 88:467-490, 1958.
- [Ell79] G. Elliott, On totally ordered groups, and
. In Ring Theory (Proc. Conf. Univ. Waterloo, Waterloo, 1978), volume 734 of Lecture Notes in Math., pages 1-49. Springer, 1979. - [Ewa96] G. Ewald, Combinatorial Convexity and Algebraic Geometry. Springer, 1996.
- [Ful93] W. Fulton, An introduction to Toric Varieties, volume 131 of Annals of Mathematics Studies. Princeton University Press, Princeton, N.J., 1993.
- [Han83] D. Handelman, Ultrasimplicial dimension groups. Arch. Math., 40:109-115, 1983.
- [MP93] D. Mundici and G. Panti, The equivalence problem for Bratteli diagrams. Technical Report 259, Department of Mathematics, University of Siena, Siena, Italy, 1993.
- [Mun86] D. Mundici, Interpretation of AF C*-algebras in Łukasiewicz sentential calculus. J. of Functional Analysis, 65:15-63, 1986.
- [Mun88] D. Mundici, Farey stellar subdivisions, ultrasimplicial groups, and
of AF C*-algebras. Advances in Math., 68(1):23-39, 1988. - [Oda88] T. Oda, Convex Bodies and Algebraic Geometry. Springer, 1988.