Corollary 1
Tag 04XS, permanent. Cite it as [Bourbaki, Tag 04XS].
Commutative Algebra, chapter VI, § 9. Application: locally compact fields
Every locally compactfield whose centre is not discrete is of finite rank over its centre.
The centre of a locally compact field is closed in and therefore locally Compact.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.