Primes in an intermediate field as double cosets ($H\backslash G/D$)

Let $M/K$ be a finite Galois extension, $L=M^H$, and $D$ the decomposition group of a prime $\mathfrak{P}$ above $\mathfrak{p}$. The bijectionfollows from transitivity on primes for both $M/K$ and $M/L$.

If $M/K$ is the Galois closure of a finite extension $L/K$, a prime splits completely in $L$ exactly when it splits completely in $M$. Complete splitting means every right action of $D$ on $H\backslash G$ fixes each coset, so $D$ lies in the subgroup core of $H$. That core is trivial because the conjugates of $L$ generate $M$.