Field extensions and galois theory