Let $F$ be a finite field, $\bar{F}$ its algebraic closure. A standard result in infinite Galois theory shows that $\mathbf{Z}$(corresponds to the free cyclic subgroup $\left \langle \sigma \right \rangle$ in Gal($\bar{F}$/$F$) that is generated by the relative Frobenius homomorphism) is not the Galois group of Gal($\bar{F}$/$F$) but dense in it with Krull topology. So I want to know whether there is a Galois extension with the Galois group be exactly $\mathbf{Z}$. I think the answer is false, but I don't know how to prove that...
Asked
Active
Viewed 155 times
1 Answers
2
No. A Galois group will always be profinite, i.e. isomorphic to the inverse limit of its finite index subgroup. A cardinality argument shows $\mathbb{Z}$ cannot be profinite.
hunter
- 32,629
-
I got it. Thanks! – GTM 73 Aug 28 '19 at 05:02