Galois mean slope (reviewed)

Let $K$ be a finite Galois extension of $\Q_p$ for some prime $p$. Its Galois mean slope is the nonnegative rational number $\alpha$ such that the discriminant ideal for $K$ over $\Q_p$ is $(p^{[K:\Q_p]\cdot \alpha})$.

The Galois mean slope can be computed as a weighted average of the wild Artin slopes and tame degree of $K$.