# Milnor K-theory

**Milnor K-theory** is a graded ring \( K^{M}_{*}(F) \) attached to a field \( F \), built from the multiplicative group \( F^{\times} \) by imposing the Steinberg relation \( \{x, 1-x\} = 0 \). It was introduced by John Milnor in his 1970 paper *Algebraic K-theory and quadratic forms* as a ring whose degree-two part recovers the classical group \( K_{2}(F) \), and whose mod-2 reduction controls the structure of the Witt ring of quadratic forms over \( F \).<sup>[1](https://www.mathnet.ru/php/archive.phtml?jrnid=mat&option_lang=eng&paperid=603&wshow=paper)</sup><sup> • </sup><sup>[2](https://sites.math.rutgers.edu/~weibel/Kbook/Kbook.pdf)</sup>

| Key fact | Detail |
|---|---|
| Definition | \( K^{M}_{*}(F) \) is the quotient of the tensor algebra \( T(F^{\times}) \) by the ideal generated by \( l(x) \otimes l(1-x) \) for \( x \neq 0, 1 \); the degree-\( n \) part is \( K^{M}_{n}(F) \)<sup>[2](https://sites.math.rutgers.edu/~weibel/Kbook/Kbook.pdf)</sup> |
| Low degrees | \( K^{M}_{0}(F) = \mathbb{Z} \), \( K^{M}_{1}(F) = F^{\times} \), and \( K^{M}_{2}(F) = K_{2}(F) \) by Matsumoto's theorem, with \( \{x, y\} \) the usual Steinberg symbol<sup>[2](https://sites.math.rutgers.edu/~weibel/Kbook/Kbook.pdf)</sup> |
| Symbols | Generators are written \( \{x_{1}, \ldots, x_{n}\} \), multilinear in each entry and zero when \( x_{i} + x_{i+1} = 1 \); the product is concatenation<sup>[3](https://www.math.ucla.edu/~rse/book/Kniga.pdf)</sup> |
| Anticommutativity | Interchanging two entries negates the symbol, so \( \{x_{\pi(1)}, \ldots, x_{\pi(n)}\} = (-1)^{\pi}\{x_{1}, \ldots, x_{n}\} \)<sup>[2](https://sites.math.rutgers.edu/~weibel/Kbook/Kbook.pdf)</sup> |
| Residue maps | Every discrete valuation \( v \) on \( F \) yields surjections \( \partial_{v} \colon K^{M}_{n}(F) \to K^{M}_{n-1}(k_{v}) \) (higher tame symbols) and specialization maps \( \lambda \colon K^{M}_{n}(F) \to K^{M}_{n}(k_{v}) \)<sup>[2](https://sites.math.rutgers.edu/~weibel/Kbook/Kbook.pdf)</sup> |
| Norm residue theorem | For a field \( k \) containing \( 1/l \), \( K^{M}_{n}(k)/l \cong H^{n}(k, \mu_{l}^{\otimes n}) \); the case \( l = 2 \) is Voevodsky's theorem, and the full statement was submitted and accepted for publication by summer 2010<sup>[4](https://sites.math.rutgers.edu/~weibel/motivic2006.html)</sup> |

## Definition and first properties

Fix a field \( F \) and form the tensor algebra of the abelian group \( F^{\times} \),

\[ T(F^{\times}) = \mathbb{Z} \oplus F^{\times} \oplus (F^{\times} \otimes F^{\times}) \oplus \cdots \]

writing \( l(x) \) for the degree-one element corresponding to \( x \in F^{\times} \). The graded Milnor ring \( K^{M}_{*}(F) \) is defined as \( T(F^{\times}) \) modulo the ideal spanned by the homogeneous elements \( l(x) \otimes l(1-x) \), where \( x \neq 0, 1 \).<sup>[2](https://sites.math.rutgers.edu/~weibel/Kbook/Kbook.pdf)</sup> Equivalently, \( K^{M}_{n}(F) \) is the abelian group generated by symbols \( \{x_{1}, \ldots, x_{n}\} \) with \( x_{i} \in F^{\times} \), subject to two defining relations: multilinearity in each entry, and the Steinberg relation \( \{x_{1}, \ldots, x_{n}\} = 0 \) whenever \( x_{i} + x_{i+1} = 1 \) for some \( i \).<sup>[3](https://www.math.ucla.edu/~rse/book/Kniga.pdf)</sup> The group operation is written additively, so \( \{ab\} = \{a\} + \{b\} \) in \( K^{M}_{1}(F) \).<sup>[3](https://www.math.ucla.edu/~rse/book/Kniga.pdf)</sup>

The ring product is concatenation of symbols: \( \{a_{1}, \ldots, a_{n}\} \cdot \{b_{1}, \ldots, b_{m}\} = \{a_{1}, \ldots, a_{n}, b_{1}, \ldots, b_{m\}} \).<sup>[3](https://www.math.ucla.edu/~rse/book/Kniga.pdf)</sup> From the Steinberg relation one derives that \( \{x, x\} = \{x, -1\} \) and that interchanging two adjacent entries negates the symbol, so symbols are alternating under permutations.<sup>[2](https://sites.math.rutgers.edu/~weibel/Kbook/Kbook.pdf)</sup> A symbol also vanishes if two of its entries sum to 0 or 1.<sup>[3](https://www.math.ucla.edu/~rse/book/Kniga.pdf)</sup>

A field homomorphism \( F \to L \) induces a graded ring homomorphism \( r_{L/F} \colon K^{M}_{*}(F) \to K^{M}_{*}(L) \) sending \( \{a_{1}, \ldots, a_{n}\}_{F} \) to \( \{a_{1}, \ldots, a_{n}\}_{L} \), which makes \( K^{M}_{*} \) a functor from fields to graded rings.<sup>[3](https://www.math.ucla.edu/~rse/book/Kniga.pdf)</sup> For a quadratic extension \( L/F \), \( K^{M}_{*}(L) \) is generated by \( K^{M}_{1}(L) \) as a left \( K^{M}_{*}(F) \)-module.<sup>[3](https://www.math.ucla.edu/~rse/book/Kniga.pdf)</sup>

## Examples

**Finite fields.** If \( F \) is a finite field with \( q \) elements, then \( K^{M}_{n}(F) = 0 \) for all \( n \geq 2 \).<sup>[2](https://sites.math.rutgers.edu/~weibel/Kbook/Kbook.pdf)</sup>

**The real numbers.** For \( F = \mathbb{R} \) there is a symbol \( K^{M}_{n}(\mathbb{R}) \to \{\pm 1\} \) sending \( (x_{1}, \ldots, x_{n}) \) to \( -1 \) if all the \( x_{i} \) are negative and to \( +1 \) otherwise. It follows by induction that \( K^{M}_{n}(\mathbb{R}) \) is the direct sum of a cyclic group of order 2 generated by \( \{-1, \ldots, -1\} \) and a divisible subgroup, and that \( K^{M}_{*}(\mathbb{R})/2K^{M}_{*}(\mathbb{R}) \) is the polynomial ring \( (\mathbb{Z}/2)[\epsilon] \) on \( \epsilon = l(-1) \).<sup>[2](https://sites.math.rutgers.edu/~weibel/Kbook/Kbook.pdf)</sup>

**Number fields.** If \( F \) is a number field with \( r_{1} \) real embeddings, Bass and Tate proved that the natural map \( K^{M}_{n}(F) \to (\mathbb{Z}/2)^{r_{1}} \) is an isomorphism for all \( n \geq 3 \).<sup>[2](https://sites.math.rutgers.edu/~weibel/Kbook/Kbook.pdf)</sup> They also proved that for a global field of finite characteristic (transcendence degree 1 over a finite field), \( K^{M}_{n}(F) = 0 \) for all \( n \geq 3 \).<sup>[2](https://sites.math.rutgers.edu/~weibel/Kbook/Kbook.pdf)</sup>

**Algebraically closed fields.** If \( F \) is algebraically closed, then \( K^{M}_{n}(F) \) is uniquely divisible: divisibility follows because \( F^{\times} \) is divisible, and there is no torsion.<sup>[2](https://sites.math.rutgers.edu/~weibel/Kbook/Kbook.pdf)</sup>

## Residue and specialization maps

Every discrete valuation \( v \) on \( F \), with residue field \( k_{v} \), induces two surjections: the higher tame symbol \( \partial_{v} \colon K^{M}_{n}(F) \to K^{M}_{n-1}(k_{v}) \) and the specialization map \( \lambda \colon K^{M}_{n}(F) \to K^{M}_{n}(k_{v}) \).<sup>[2](https://sites.math.rutgers.edu/~weibel/Kbook/Kbook.pdf)</sup> The kernel of \( \partial_{v} \) is generated by symbols \( \{x_{1}, \ldots, x_{n}\} \) all of whose entries are \( v \)-units.<sup>[5](https://dornsife.usc.edu/aravind-asok/wp-content/uploads/sites/213/2023/10/MATH599.S16.pdf)</sup> These maps behave functorially under extensions of valuations, with the ramification index \( e \) appearing as \( \partial_{u}(r_{K/L}(\alpha)) = e \cdot r_{E/F}(\partial_{v}(\alpha)) \).<sup>[3](https://www.math.ucla.edu/~rse/book/Kniga.pdf)</sup>

The tame symbols assemble, for a Noetherian scheme \( X \) with a dimension function, into complexes resembling the Gersten complex in Quillen K-theory; for excellent \( X \) the composition of consecutive maps is zero, a result due to Kato.<sup>[6](https://stacks.math.columbia.edu/tag/0EAY)</sup> The unramified Milnor K-theory of a normal integral scheme \( U \) with fraction field \( F \) is defined as the intersection of the kernels of the residue maps \( \partial_{v} \) over all codimension-one points \( v \in U^{(1)} \).<sup>[5](https://dornsife.usc.edu/aravind-asok/wp-content/uploads/sites/213/2023/10/MATH599.S16.pdf)</sup>

## The norm residue theorem and quadratic forms

The central modern theorem about Milnor K-theory is the Norm Residue Theorem, historically the [Bloch–Kato conjecture](https://www.edgepedia.org/bloch-kato-conjecture). For a prime \( l \) and a field \( k \) containing \( 1/l \), it asserts that the mod-\( l \) Milnor K-groups map isomorphically to [Galois cohomology](https://www.edgepedia.org/galois-cohomology),

\[ K^{M}_{n}(k)/l \cong H^{n}(k, \mu_{l}^{\otimes n}), \]

and, equivalently, that motivic cohomology \( H^{n,i}(X, \mathbb{Z}/l) \) agrees with étale cohomology \( H^{n}(X, \mu_{l}^{\otimes i}) \) for \( n \leq i \).<sup>[4](https://sites.math.rutgers.edu/~weibel/motivic2006.html)</sup> The case \( n = 1 \) is [Kummer theory](https://www.edgepedia.org/kummer-theory), and the cases \( n = 2 \) (and \( n = 3 \) with \( l = 2 \)) were established by 1990.<sup>[4](https://sites.math.rutgers.edu/~weibel/motivic2006.html)</sup> The case \( l = 2 \) is Voevodsky's theorem, proving the conjecture Milnor himself had posed in his 1970 paper; the general odd-prime case, developed through the work of Rost and Voevodsky with contributions by Suslin, Joukhovitsky, Haesemeyer, and Weibel, was fully submitted and accepted for publication by summer 2010.<sup>[4](https://sites.math.rutgers.edu/~weibel/motivic2006.html)</sup>

A companion result is the four-term exact sequence of Orlov, Vishik, and Voevodsky, which describes the kernel and cokernel of multiplication by a pure symbol in \( K^{M}_{*} \bmod 2 \) over fields of characteristic zero. Applying their results to these fields, they proved three conjectures concerning quadratic forms: that of Milnor concerning the Witt ring's structure, that of Khan, Rost, and Sujatha, and that concerning the \( J \)-filtration.<sup>[7](https://arxiv.org/abs/math/0101023)</sup> The first version of that paper was written in the spring of 1996 and appeared in the *Annals of Mathematics* in 2007.<sup>[7](https://arxiv.org/abs/math/0101023)</sup>

## Related theories

Milnor K-theory has spawned variants that adjust the coefficient structure. **Milnor–Witt K-theory** enriches the graded ring with elements from the [Witt group](https://www.edgepedia.org/witt-group) of quadratic forms, and its motivic cohomology computes hermitian K-groups via the slice spectral sequence.<sup>[5](https://dornsife.usc.edu/aravind-asok/wp-content/uploads/sites/213/2023/10/MATH599.S16.pdf)</sup><sup> • </sup><sup>[8](https://arxiv.org/abs/2509.16404)</sup> The norm constructions of Bass–Tate and Kato on the Milnor K-theory of fields have been generalized to the Milnor \( K \)-groups of Artin local algebras associated to finite field extensions.<sup>[9](https://arxiv.org/abs/2511.22489)</sup> In applied arithmetic directions, for a complete discretely valued field of dimension 2, every class in Milnor K-theory modulo \( p \) is represented by a symbol, a fact used alongside the period-equals-index property for central simple algebras.<sup>[10](https://arxiv.org/abs/2501.01403)</sup>

## References

1. [John Milnor (1970). Algebraic K-theory and quadratic forms. Inventiones Mathematicae 9(4), 318–344.](https://www.mathnet.ru/php/archive.phtml?jrnid=mat&option_lang=eng&paperid=603&wshow=paper)
2. [Charles Weibel. The K-book: An Introduction to Algebraic K-theory, Chapter III.7, Milnor K-theory of fields.](https://sites.math.rutgers.edu/~weibel/Kbook/Kbook.pdf)
3. [R. Skip Garibaldi et al. (appendix), 100. Milnor K-theory of fields.](https://www.math.ucla.edu/~rse/book/Kniga.pdf)
4. [C. Weibel. Fall 2006 Lectures on the proof of the Bloch–Kato Conjecture, Rutgers University.](https://sites.math.rutgers.edu/~weibel/motivic2006.html)
5. [Aravind Asok. MATH 599 lecture notes, Section 11.1, Milnor K-theory.](https://dornsife.usc.edu/aravind-asok/wp-content/uploads/sites/213/2023/10/MATH599.S16.pdf)
6. [The Stacks Project Authors. Remark 42.6.4 (Milnor K-theory), Tag 0EAY.](https://stacks.math.columbia.edu/tag/0EAY)
7. [Dmitry Orlov, Alexander Vishik, Vladimir Voevodsky (2001). An exact sequence for Milnor's K-theory with applications to quadratic forms. arXiv:math/0101023; Ann. of Math. (2) 165 (2007), 1–13.](https://arxiv.org/abs/math/0101023)
8. [Hermitian K-theory and Milnor–Witt motivic cohomology over Z. arXiv:2509.16404.](https://arxiv.org/abs/2509.16404)
9. [Geometric presentations of Milnor K-groups of certain Artin algebras and Bass–Tate–Kato norms. arXiv:2511.22489.](https://arxiv.org/abs/2511.22489)
10. [Philippe Gille, Diego Izquierdo, Giancarlo Lucchini Arteche (2025). Central simple algebras, Milnor K-theory and homogeneous spaces over complete discretely valued fields of dimension 2. arXiv:2501.01403.](https://arxiv.org/abs/2501.01403)

---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Numbers and algebra › Advanced algebraic structures › Homological algebra and K-theory › Algebraic K-theory*

*Initially written Sep 17, 2026 · Reviewed: Sep 30, 2026; Oct 15, 2026 · Edited: Sep 30, 2026; Oct 15, 2026; Oct 25, 2026 · Last review: Oct 15, 2026*

*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*

License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license