Abstract
Given a field F and a subgroup S of F x containing −1, we define a graph on F x/S associated with the relative Milnor K-ring K M* (F)/S. We prove that if the diameter of this graph is at least 4, then there exists a valuation v on F such that S is v-open. This is done by adopting to our setting a construction in a noncommutative setting due to Rapinchuk, Segev and Seitz. We study the behavior of the diameter under important K-theoretic constructions, and relate it to the elementary type conjecture. Finally, we provide an example showing that the above bound 4 is sharp.
Similar content being viewed by others
References
J. Kr. Arason, R. Elman and B. Jacob, Rigid elements, valuations, and realization of Witt rings, Journal of Algebra 110 (1987), 449–467.
V. Bergelson and D. B. Shapiro, Multiplicative subgroups of finite index in a ring, Proceedings of the American Mathematical Society 116 (1992), 885–896.
I. Efrat, Construction of valuations from K-theory, Mathematical Research Letters 6 (1999), 335–343.
I. Efrat, Demuškin fields with valuations, Mathematische Zeitschrift 243 (2003), 333–353.
I. Efrat, Quotients of Milnor K-rings, orderings, and valuations, Pacific Journal of Mathematics 226 (2006), 259–276.
I. Efrat, Valuations, Orderings, and Milnor K-Theory, Mathematical Surveys and Monographs 124, American Mathematical Society, Providence, RI, 2006.
I. Efrat, Compatible valuations and generalized Milnor K-theory, Transactions of the American Mathematical Society 359 (2007), 4695–4709.
Y. S. Hwang and B. Jacob, Brauer group analogues of results relating the Witt ring to valuations and Galois theory, Canadian Journal of Mathematics 47 (1995), 527–543.
B. Jacob, On the structure of Pythagorean fields, Journal of Algebra 68 (1981), 247–267.
S. Lang, Algebra, 2nd ed., Addison-Wesley Publishing Company Advanced Book Program, Reading, MA, 1984.
M. Marshall, The elementary type conjecture in quadratic form theory, in Algebraic and Arithmetic Theory of Quadratic Forms (Universidad de Talca, 2002), Contemporary Mathematics 344, American Mathematical Society, Providence, RI, 2004, pp. 275–295.
J. Milnor, Algebraic K-theory and quadratic forms, Inventiones Mathematicae 9 (1969/1970), 318–344.
A. S. Rapinchuk and Y. Segev, Valuation-like maps and the congruence subgroup property, Inventiones Mathematicae 144 (2001), 571–607.
A. S. Rapinchuk, Y. Segev and G. M. Seitz, Finite quotients of the multiplicative group of a finite dimensional division algebra are solvable, Journal of the American Mathematical Society 15 (2002), 929–978.
Y. Segev, On finite homomorphic images of the multiplicative group of a division algebra, Annals of Mathematics. Second Series 149 (1999), 219–251.
G. Turnwald, Multiplicative subgroups of finite index in rings, Proceedings of the American Mathematical Society 120 (1994), 377–381.
R. Ware, Valuation rings and rigid elements in fields, Canadian Journal of Mathematics 33 (1981), 1338–1355.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Efrat, I. Valuations and diameters of milnor K-rings. Isr. J. Math. 172, 75–92 (2009). https://doi.org/10.1007/s11856-009-0064-3
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-009-0064-3