Defining coarsenings of valuations
We study the question of which Henselian fields admit definable Henselian valuations (with or without parameters). We show that every field that admits a Henselian valuation with non-divisible value group admits a parameter-definable (non-trivial) Henselian valuation. In equicharacteristic 0, we giv...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Published: |
Cambridge University Press
2017
|
| Summary: | We study the question of which Henselian fields admit definable Henselian valuations (with or without parameters). We show that every field that admits a Henselian valuation with non-divisible value group admits a parameter-definable (non-trivial) Henselian valuation. In equicharacteristic 0, we give a complete characterization of Henselian fields admitting a parameter-definable (non-trivial) Henselian valuation. We also obtain partial characterization results of fields admitting-definable (non-trivial) Henselian valuations. We then draw some Galois-theoretic conclusions from our results. |
|---|