# What “should” be the absolute galois group of a field with one element

As far as I know there is many "suggestions" of what should be a "field with one element" $\mathbf{F}_{1}$.

My question is the following:

How we should think or what should be the "absolute Galois group" of the "hypothetical" $\mathbf{F}_{1}$ ?

• See answers to this question: mathoverflow.net/q/6508/2024. – Dror Speiser Dec 28 '16 at 20:09
• Class field theory suggests ${\mathbb R}$ (with addition). – Felipe Voloch Dec 28 '16 at 22:29
• @FelipeVoloch Could you develop your suggestion please (comment or answer) – Muhammed Ali Dec 29 '16 at 9:03

The Galois group of the maximal abelian extension of $\mathbb Q$ (or any number field) is given (class field theory) as the quotient of the idele class group by the connected component of the identity which is isomorphic to $\mathbb R$. If there is an ${\mathbb F}_1$ then its extensions provide "constant field extensions" of $\mathbb Q$. So, to be compatible with class field theory and keep the analogy with function fields, $\mathbb R$ must be at least the abelianization of the absolute Galois group of ${\mathbb F}_1$. But finite fields are abelian, so this suggests the answer. A slightly different perspective is that Weil constructed canonically and functorially an extension of the absolute Galois group of any number field by ${\mathbb R}$ (the Weil group) and that should be the extension one would get by allowing constant field extensions again.
• $\mathbb F_1$, whatever it is or isn't, is weird. – Wojowu Dec 29 '16 at 12:58
• I think the “which is isomorphic to $\mathbb{R}$” part is wrong: it should be $\prod_p \mathbb{Z}_p^\times$ (at any rate, it should be profinite and there is torsion). – Gro-Tsen Aug 15 '19 at 12:50
• OK, but then I don't understand “$\mathbb{R}$ must be at least the abelianization of the absolute Galois group of $\mathbb{F}_1$”… – Gro-Tsen Aug 15 '19 at 22:33
• Imagine that the whole ideal class group somehow describes abelian extensions of $\mathbb{Q}$ in some extended sense which includes "constant field extensions" so we should see the absolute Galois group of $\mathbb{F}_1$ (or its abelianization if it's nonabelian) in the ideal class group. The connected component of the identity is a candidate. – Felipe Voloch Aug 15 '19 at 23:38