Skip to main content
added 10 characters in body; deleted 8 characters in body
Source Link
Kevin Ventullo
  • 4.8k
  • 1
  • 30
  • 41

The point is that the Frobenius at $\ell$ is nontrivial in this extension. Thus, so it generates an open subgroup, and the fixed field of this subgroup is precisely the field at which $\ell$ stops splitting.

To see that Frob$_\ell$ is nontrivial, recall that in the full $\mathbb{Z}_p^*$ extension $\mathbb{Q}(\mu_{p^\infty})$, Frob$_\ell$ is simply the element $\ell\in \mathbb{Z}_p^*$, which is clearly nontrivial. The cyclotomic $\mathbb{Z}_p$ extension is obtained by quotienting $\mathbb{Z}_p^*$ by the subgroup $\mu_{p-1}$, which. This subgroup does not contain $\ell$. Thus, so Frob$_\ell$ remains nontrivial in the $\mathbb{Z}_p$-extension.

The point is that the Frobenius at $\ell$ is nontrivial in this extension. Thus, it generates an open subgroup, and the fixed field of this subgroup is precisely the field at which $\ell$ stops splitting.

To see that Frob$_\ell$ is nontrivial, recall that in the full $\mathbb{Z}_p^*$ extension $\mathbb{Q}(\mu_{p^\infty})$, Frob$_\ell$ is simply the element $\ell\in \mathbb{Z}_p^*$, which is clearly nontrivial. The cyclotomic $\mathbb{Z}_p$ extension is obtained by quotienting $\mathbb{Z}_p^*$ by the subgroup $\mu_{p-1}$, which does not contain $\ell$. Thus, Frob$_\ell$ remains nontrivial in the $\mathbb{Z}_p$-extension.

The point is that the Frobenius at $\ell$ is nontrivial in this extension, so it generates an open subgroup, and the fixed field of this subgroup is precisely the field at which $\ell$ stops splitting.

To see that Frob$_\ell$ is nontrivial, recall that in the full $\mathbb{Z}_p^*$ extension $\mathbb{Q}(\mu_{p^\infty})$, Frob$_\ell$ is simply the element $\ell\in \mathbb{Z}_p^*$, which is clearly nontrivial. The cyclotomic $\mathbb{Z}_p$ extension is obtained by quotienting $\mathbb{Z}_p^*$ by the subgroup $\mu_{p-1}$. This subgroup does not contain $\ell$, so Frob$_\ell$ remains nontrivial in the $\mathbb{Z}_p$-extension.

Source Link
Kevin Ventullo
  • 4.8k
  • 1
  • 30
  • 41

The point is that the Frobenius at $\ell$ is nontrivial in this extension. Thus, it generates an open subgroup, and the fixed field of this subgroup is precisely the field at which $\ell$ stops splitting.

To see that Frob$_\ell$ is nontrivial, recall that in the full $\mathbb{Z}_p^*$ extension $\mathbb{Q}(\mu_{p^\infty})$, Frob$_\ell$ is simply the element $\ell\in \mathbb{Z}_p^*$, which is clearly nontrivial. The cyclotomic $\mathbb{Z}_p$ extension is obtained by quotienting $\mathbb{Z}_p^*$ by the subgroup $\mu_{p-1}$, which does not contain $\ell$. Thus, Frob$_\ell$ remains nontrivial in the $\mathbb{Z}_p$-extension.