Lemma 11.1. Assuming that:

  • ΔK(K)n a finite subgroup

  • L=K(Δn)

Then LK is Galois and Gal(LK)Hom(Δ,μn).