How many primes stay inert in a finite (non-cyclic) extension of number fields?

If $L/K$ is a finite, Galois extension of number fields such that $\text{Gal}(L/K)$ is not cyclic, then no prime of K remains inert L. Indeed, one always has an isomorphism $D_p/I_p\cong \text{Gal}(L_p/K_p)$ of the Decomposition group modulo the Inertia group with the Galois group of the corresponding residue field extension. The latter group is the Galois group of a finite extension of finite fields, hence is cyclic. If the prime p were to remain inert in L, then by definition the Inertia group would be trivial and the Decomposition group would be all of $\text{Gal}(L/K)$. But this would imply that $L/K$ was a cyclic extension - a contradiction.

[Edit] I can't help but mention a cute application of this. Let $n$ be any positive integer for which $(\mathbb{Z}/n\mathbb{Z})^*$ is not cyclic. Then the cycotomic polynomial $\Phi_n(x)$ is reducible modulo $p$ for every rational prime $p$. Indeed, suppose that $p$ is a rational prime for which $\Phi_n(x)$ is irreducible modulo $p$. Then by the Dedekind-Kummer theorem, $p$ is inert in the cyclotomic field $\mathbb{Q}(\zeta_n)$. Then the Galois group of the residue class field extension, which is cyclic, is isomorphic to the Decomposition group, which in this case is $\text{Gal}(\mathbb{Q}(\zeta_n)/\mathbb{Q})\cong(\mathbb{Z}/n\mathbb{Z})^*$. But the latter group is not cyclic - contradiction. Thus $\Phi_n(x)$ is reducible modulo $p$ for all rational primes $p$.


Does "inert" mean that there is only one prime over $p$, or does it mean that there is only one prime over $p$ and that prime is unramified? As the other answers have explained, unramified primes can not remain inert. However, it is possible that there is only prime over $p$. For example, let $p$ be an odd prime, take $K = \mathbb{Q}$ and $L= \mathbb{Q}(\sqrt{p}, \sqrt{a})$ where $a$ is not a quadratic residue modulo $p$.


It's worth noting that if $L/K$ is abelian, then you can easily see, using class field theory, that a non-cyclic extension can have no inert primes: the inertia degree of a prime is the order of it's Frob in the class group.