A local field is a field that is locally compact and complete w.r.t. absolute value.
Does there exist a local field $K$ which is compact?
A local field is a field that is locally compact and complete w.r.t. absolute value.
Does there exist a local field $K$ which is compact?
Copyright © 2021 JogjaFile Inc.
Let $R$ be a unital associative ring, endowed with a topological ring topology (say, addition and multiplication are continuous). If $R$ is compact then the set of left invertible elements in $R$ is closed (indeed, it is the first projection of the closed subset $\{(x,y):xy=1\}$. In particular, if $R\neq\{0_R\}$, then $0_R$ does not belong to the closure of the set of left-invertible elements. In particular, the only (Hausdorff) compact topological fields (or skew-fields) are finite.