Congruences between modular forms and related modules (Q1038619)

The author extends some of the results of \textit{L. Terracini} [Compos. Math. 137, No. 1, 23--47 (2003; Zbl 1028.11036)] about congruence ideals to the case of modular forms with non-trivial nebentypus. The proof uses the Taylor-Wiles criterion in the version of Diamond and Fujiwara, and some (generalizations of) results from [\textit{B. Conrad}, \textit{F. Diamond} and \textit{R. Taylor} [J. Am. Math. Soc. 12, No. 2, 521--567 (1999; Zbl 0923.11085)].