Separable extensions, Galois theory Field extensions mathematics