Skip to main content
2 of 2
corrected misspellings and other orthography
Todd Trimble
  • 53.3k
  • 6
  • 205
  • 322

Completion of a finite field extension is also finite?

Let $(L,w)/(K,v)$ be a finite extension of valuation fields, and let $L_w$, $K_v$ be the respective completions of $(L,w)$, $(K,v)$. Is the field extension $L_w/K_v$ finite?

For nonarchimedean valuations on number fields it is trivial, as everything is explicit in terms of prime ideals. For archimedean valuations this is also trivial if we know what they are, but I'm thinking about turning this around and deriving the archimedean valuations on number fields from this (seemingly easy) lemma.

Also, I'm wondering how far can we push it towards nondiscrete, non-Noetherian domains (pun?).

Fan Zheng
  • 5.2k
  • 20
  • 37