Construction of valuations from \(K\)-theory (Q1574717): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.4310/mrl.1999.v6.n3.a7 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2060587529 / rank | |||
Normal rank |
Latest revision as of 11:38, 30 July 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