Choose a -basis of . Any extension defines a norm on the finite-dimensional -vector space , and all norms on such a space over a complete valued field induce the same topology. Hence any two extensions induce the same topology and are equivalent absolute values. The coordinate sup norm is complete because is complete, so the equivalent topology defined by is complete as well. This proves the unique extension of an absolute value to a finite extension and the completeness of .
Completeness is essential. Give its -adic value and take . Sincein , the two primes and define two inequivalent extensions. For example, has positive valuation for one and negative valuation for the other. This is the valuation ring need not equal the integral closure over a noncomplete field example.
Articles by others on the same topic
There are currently no matching articles.