Remark
Tag 04XZ, permanent. Cite it as [Bourbaki, Tag 04XZ].
Commutative Algebra, chapter VI, § 9. Application: locally compact fields
Let be an integer ; the subfield of is closed in and and . It is therefore seen that there are closed subfields of which are not discrete and such that (and a fortiori the degree ) is arbitrarily large (contrary to what happens for locally compact fields of characteristic 0, where every locally compact subfield of such a field necessarily contains or and therefore is bounded).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.