Galois Theory and Modular Forms