Arithmetic and Geometry: Big image of Galois representations and congruence ideals