Construction of valuations from \(K\)-theory (Q1574717): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 02:33, 1 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Construction of valuations from \(K\)-theory |
scientific article |
Statements
Construction of valuations from \(K\)-theory (English)
0 references
13 August 2000
0 references
This expository paper gives a unified presentation of some explicit constructions of certain valuations on a field. In particular, given a prime number \(p\), a field \(K\) of characteristic \(\neq p\), and a subgroup \(T\) of \(K^\times\) containing \((K^\times)^p\) and \(-1\), suppose \(T\) satisfies the two conditions (i) if \(x \in K^\times \backslash T\) and \(y \in T\backslash K^p\), then \(\{x,y\} \neq 0\) and (ii) if the cosets of \(x,y \in K^\times\) in \(K^\times /T\) are \( F_p\)-linearly independent then \(\{x,y\} \neq 0\), where \(\{x,y\}\) denotes an element in the second Milnor \(K\)-group \(K_2^M(K)\) of \(K\). Then a valuation ring \(O\) on \(K\) is constructed having non-\(p\)-divisible value group, residue characteristic \(\neq p\), and for which the principal units are \(p\)th powers. The approach is elementary in that it uses neither cohomology nor noncommutative division rings, nor is the existence of primitive \(p\)th roots of unity in the field \(K\) assumed. The cohomological structures used in many previous proofs of the existence of such a valuation are replaced by the second Milnor \(K\)-group.
0 references
valuation theory
0 references
K-theory
0 references
expository paper
0 references