Greetings. I would love to have a field $\mathbb F$ which is a subfield of the field of rational numbers $\mathbb Q$, and such that the Galois group $Gal (\mathbb Q / \mathbb F)$ has preferably infinitely many elements.

While there is no such field $\mathbb F$, since $\mathbb Q$ has no proper subfields at all, I've recently heard of this *field* $\mathbb F_1$ *with one element* concept.

As far as I understand there is no definition which would be set in stone for this object, at least not yet. My question to those who know the subject: does any of the currently studied definitions of $\mathbb F_1$ allow for realization of $\mathbb F_1$ as a "subfield" of $\mathbb Q$ in some sense?