3

Algebraic class field theory tells us that $\text{Gal}(\mathbb{Q}^{ab}/\mathbb{Q})$ is isomorphic to the group of connected components of the quotient $\mathbb{Q}^{\times}\backslash \mathbb{A}_{\mathbb{Q}}^{\times}\cong \prod_p \mathbb{Z_p}^{\times}\times \mathbb{R}_{>0}$, where $\mathbb{A}_{\mathbb{Q}}$ is the ring of adèles of $\mathbb{Q}$.

It's then said that the group of connected components is given by $\prod_p \mathbb{Z_p}^{\times}$, how can I see this?

Thank you very much in advance!

anon
  • 155,259
  • Related: https://math.stackexchange.com/questions/142236, https://math.stackexchange.com/questions/148660, https://math.stackexchange.com/questions/104004 – Watson Dec 28 '16 at 13:37

1 Answers1

4

Try to prove this more general topological fact: if $\Gamma$ is totally disconnected and $\Lambda$ connected, then the connected components of the product space $\Gamma\times\Lambda$ are the subsets $\{x\}\times\Lambda$ for $x\in\Gamma$.

anon
  • 155,259