2
$\begingroup$

All valuations of $\mathbb{Q}$ are associated to either a p-adic field or the field of real numbers. Now, the classification of fields gives that every local field in characteristic $0$ is a finite extension of these.

Is there another notion for a topology on $\mathbb{Q}$ than coming from a valuation, which allows more general completions? Preferably, their additive groups should have Haar measures, but are not necessarily locally compact?

  • 0
    I was hoping for some definitions which allow more structure at infinity, since I heard somebody saying that Arakelov geometry provides things like this.2011-06-24

1 Answers 1

6

You can take the "finite adele" topology, which comes from pulling back the dense diagonal copy of $\mathbb{Q}$ in the ring $\prod_p \mathbb{Z}_p + \mathbb{Q}$ of finite adeles. You can also call it the "Furstenburg topology" if you want to annoy BCnrd.

There is an analogous construction using any subset of the primes, and indeed, you may leave out any nonempty subset of finite or infinite places from the adeles to get a completion of a non-discrete topology on $\mathbb{Q}$. All such additive groups are locally compact, and admit Haar measures.

  • 2
    Good example +1; But It might be worth mentioning though that under this topology, $\mathbb{Q},$ is a topological ring but not a topological field.2011-06-25