Base change for Elliptic Curves over Real Quadratic Fields

Abstract

Let E be an elliptic curve over a real quadratic field K and F/K a totally real finite Galois extension. We prove that E/F is modular.