zbMATH — the first resource for mathematics

Grothendieck rings of \(\mathbb{Z}\)-valued fields. (English) Zbl 0988.03058
A \(\mathbb Z\)-valued field \(M\) is field with a valuation into an ordered group elementarily equivalent to the integers. The authors prove the existence of a definable bijection between \(M^2\) and \(M^2\setminus \{(0,0)\}\), under mild conditions on the basic language, which include the basic language for the classical local fields. This implies the triviality of the Grothendieck ring of the corresponding structure, which is analogous to the Grothendieck ring in algebraic K-theory, and has similar basic properties, and answer a question posed by J. Denef. In the case of the \(p\)-adic numbers, they show the existence of a definable bijection between the p-adic integers and the p-adic integers with one point removed, answering a question posed by the reviewer. The first author has proved the remarkable fact that in the \(p\)-adic numbers, the existence of a definable bijection between two definable sets is equivalent to the equality of their dimension, but this will appear elsewhere.

03C60 Model-theoretic algebra
12L12 Model theory of fields
Full Text: DOI Link arXiv
[1] DOI: 10.1007/s002220050284 · Zbl 0928.14004
[2] Journal of the American Mathematical Society pp 45–
[3] DOI: 10.1090/S0002-9947-1978-0491583-7
[4] Illinois Journal of Mathematics 43 pp 410– (1999)
[5] DOI: 10.1006/jabr.1995.1234 · Zbl 0858.12006
[6] DOI: 10.2307/2274477 · Zbl 0719.03013
[7] Combinatorics with definable sets: Euler characteristics and Grothendieck rings 6 pp 311– (2000) · Zbl 0968.03036
[8] Proc. LMS 81 pp 257– (2000)
[9] Introduction to algebraic K-theory (1981)
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.