1
$\begingroup$

L is a Galois extension and we want Galois group G to be generated by the inertial groups for all primes

Any suggestions?

Here is my proof (in process): The intermediate field $L_{I}$ for the inertia group over prime $p\in \mathbb{Q}$ is unramified $\Rightarrow p\nmid d_{\mathbb{L_{I}}}\Rightarrow [L_{I}:\mathbb{Q}]=1$. Also, every prime ideal in L lies over a rational prime

$\endgroup$
2
$\begingroup$

If $H$ is the subgroup of $G$ generated by all the inertia groups $I(p)$, then $L^H \subset L^{I(p)}$ for each $p$, and so $L^H/\mathbb Q$ is unramified at every $p$. Since $\mathbb Q$ has no nontrivial unramified extensions, this means that $L^H = \mathbb Q$ and $H = G$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.