Hostname: page-component-7c8c6479df-r7xzm Total loading time: 0 Render date: 2024-03-29T12:58:34.575Z Has data issue: false hasContentIssue false

Euler characteristics for strongly minimal groups and the eq-expansions of vector spaces

Published online by Cambridge University Press:  12 March 2014

Vinicius Cifú Lopes*
Affiliation:
University of Illinois at Urbana-Champaign, 1409 West Green Street, Urbana, Il 61801, USA, E-mail: vinicius@alumni.illinois.edu

Abstract

We find the complete Euler characteristics for the categories of definable sets and functions in strongly minimal groups. Their images, which represent the Grothendieck semirings of those categories, are all isomorphic to the semiring of polynomials over the integers with nonnegative leading coefficient. As a consequence, injective definable endofunctions in those groups are surjective. For infinite vector spaces over arbitrary division rings, the same results hold, and more: We also establish the Fubini property for all Euler characteristics, and extend the complete one to the eq-expansion of those spaces while preserving the Fubini property but not completeness. Then, surjective interpretable endofunctions in those spaces are injective, and conversely. Our presentation is made in the general setting of multi-sorted structures.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2011

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[1]Buss, S. R. (editor), Handbook of proof theory, Studies in Logic and the Foundations of Mathematics, vol. 137, North-Holland, Amsterdam, 1998.Google Scholar
[2]van den Dries, L. and Vinicius, C. L., Division rings whose vector spaces are pseudofinite, this Journal, vol. 75 (2010), no. 2, pp. 10871090.Google Scholar
[3]van den Dries, L. and Vinicius, C. L., Invariant measures on groups satisfying various chain conditions, this Journal, vol. 76 (2011), no. 1, pp. 209226.Google Scholar
[4]Hodges, W., Model theory, Encyclopedia of Mathematics and its Applications, vol. 42, Cambridge University Press, Cambridge, 1993.CrossRefGoogle Scholar
[5]Holly, J., Definable operations on sets and elimination of imaginaries, Proceedings of the American Mathematical Society, vol. 117 (1993), no. 4, pp. 11491157.CrossRefGoogle Scholar
[6]Krajíček, J. and Scanlon, T., Combinatorics with definable sets: Euler characteristics and Grothendieck rings. The Bulletin of Symbolic Logic, vol. 6 (2000), no. 3, pp. 311330.CrossRefGoogle Scholar
[7]Lang, S., Algebra, revised third ed., Graduate Texts in Mathematics, vol. 211, Springer-Verlag, 2002.CrossRefGoogle Scholar
[8]Macpherson, H. D. and Steinhorn, C., One-dimensional asymptotic classes of finite structures, Transactions of the American Mathematical Society, vol. 360 (2008), no. 1, pp. 411448.CrossRefGoogle Scholar
[9]Pillay, A., Geometric stability theory, Oxford Logic Guides, vol. 32, Oxford University Press, Oxford, 1996.CrossRefGoogle Scholar
[10]Reineke, J., Minimale Gruppen, Zeitschrift für die mathematische Logik und Grundlagen der Mathematik, vol. 21 (1975), no. 4, pp. 357359, German.CrossRefGoogle Scholar
[11]Vinicius, C. L., Grothendieck semirings and definable endofunctions. Ph.D. thesis, University of Illinois at Urbana-Champaign, 2009.Google Scholar