Skip to main content
2 of 5
added 43 characters in body

Here is a completely elementary proof of the fact that a finite extension F of Q_p has only finitely many extensions of any given degree n>0. As F has a unique unramified extension of any given degree, we are reduced to the case of totally ramified extensions. Next, it is easily seen that there are only finitely many (totally ramified) extensions of degree prime to p (essentially because F^*/F^m is finite for any m prime to p), so we are reduced to the case n=p^r. Passing to the galoisian closure and using the fact that any p-group admits a filtration whose successive quotients are of order p, we are reduced to the case n=p. Now, degree-p extensions of F become cyclic when translated to K, the extension of F obtained by adjoining to F the (p-1)-th roots of everything in F; this follows from "Galois's last theorem", see for example http://arxiv.org/abs/1005.2016. Two degree-p extensions of F give rise to the same cyclic extension of K if and only if they are conjugate over F, of which there are just one or exactly p. As K automatically contains a primitive p-th root of 1, cyclic extensions of K correspond to F_p-lines in K^/K^*p, which is finite. Done.

(I happen to be writing this on a keyboard on which I cannot find the backslash character...)