Definition 11.7 (Decomposition). Let $L ∕ K$ be a finite Galois extension. The decomposition at a prime $P$ of $O_{L}$ is the subgroup of $Gal (L ∕ K)$ defined by

G_{P} = {σ \in Gal (L ∕ K) | σ (P) = P} .