Title: Nonvanishing mod p of Eisenstein series

Ribet's idea about the congruence argument between automorphic forms turns out to be useful in the proof towards one direction of Iwasawa main conjecture. In the proof, a p-integral Eisenstein series E needs to be constructed so that E is nonzero (mod p). I will recall in several cases (the GL