Assume that the number field K contains a primitive n'th root of unity .
Let in the integral ring of K and let I be an prime ideal of the integral ring of K such that is not in I.
Let L=K( ).
Show that is separable modulo I.
Thank you!!!
Assume that the number field K contains a primitive n'th root of unity .
Let in the integral ring of K and let I be an prime ideal of the integral ring of K such that is not in I.
Let L=K( ).
Show that is separable modulo I.
Thank you!!!