Skip to main content
better wording
Source Link
Aurel
  • 5.4k
  • 2
  • 24
  • 38

This would also work for non-abelian, and even non-Galois extensions: if $L/\mathbb{Q}$ is totally ramified and tamely ramified at $p$ and $K$ is an intermediate field, then $K$ is also totally ramified and tamely ramified at $p$, so the exponent of $p$ in itsthe discriminant of $K$ is $[K:\mathbb{Q}]-1$ (Serre, Corps Locaux, Proposition 13).

This would also work for non-abelian, and even non-Galois extensions: if $L/\mathbb{Q}$ is totally ramified and tamely ramified at $p$ and $K$ is an intermediate field, then $K$ is also totally ramified and tamely ramified at $p$, so the exponent of $p$ in its discriminant is $[K:\mathbb{Q}]-1$ (Serre, Corps Locaux, Proposition 13).

This would also work for non-abelian, and even non-Galois extensions: if $L/\mathbb{Q}$ is totally ramified and tamely ramified at $p$ and $K$ is an intermediate field, then $K$ is also totally tamely ramified at $p$, so the exponent of $p$ in the discriminant of $K$ is $[K:\mathbb{Q}]-1$ (Serre, Corps Locaux, Proposition 13).

Source Link
Aurel
  • 5.4k
  • 2
  • 24
  • 38

This would also work for non-abelian, and even non-Galois extensions: if $L/\mathbb{Q}$ is totally ramified and tamely ramified at $p$ and $K$ is an intermediate field, then $K$ is also totally ramified and tamely ramified at $p$, so the exponent of $p$ in its discriminant is $[K:\mathbb{Q}]-1$ (Serre, Corps Locaux, Proposition 13).