Complete splitting is preserved by Galois closure
ID: complete-splitting-is-preserved-by-galois-closure
If is the Galois closure of a finite extension , a prime splits completely in exactly when it splits completely in . Complete splitting means every right action of on fixes each coset, so lies in the subgroup core of . That core is trivial because the conjugates of generate .
New to topics? Read the docs here!