*** Welcome to piglix ***

Milnor K-theory


In mathematics, Milnor K-theory is an invariant of fields defined by Milnor (1970). Originally viewed as an approximation to algebraic K-theory, Milnor K-theory has turned out to be an important invariant in its own right.

The calculation of K2 of a field by Matsumoto led Milnor to the following, seemingly naive, definition of the "higher" K-groups of a field F:

the quotient of the tensor algebra over the integers of the multiplicative group F× by the two-sided ideal generated by the elements

for a ≠ 0, 1 in F. The nth Milnor K-group KnM(F) is the nth graded piece of this graded ring; for example, K0M(F) = Z and K1M(F) = F*. There is a natural homomorphism

from the Milnor K-groups of a field to the Quillen K-groups, which is an isomorphism for n ≤ 2 but not for larger n, in general. For nonzero elements a1, ..., an in F, the symbol {a1, ..., an} in KnM(F) means the image of a1 ⊗ ... ⊗ an in the tensor algebra. Every element of Milnor K-theory can be written as a finite sum of symbols. The fact that {a, 1−a} = 0 in K2M(F) for a in F − {0,1} is sometimes called the Steinberg relation.

The ring K*M(F) is graded-commutative.

We have for n ≧ 2, while is an uncountable uniquely divisible group. (An abelian group is uniquely divisible if it is a vector space over the rational numbers.) Also, is the direct sum of a cyclic group of order 2 and an uncountable uniquely divisible group; is the direct sum of the multiplicative group of and an uncountable uniquely divisible group; is the direct sum of the cyclic group of order 2 and cyclic groups of order for all odd prime .


...
Wikipedia

...