Eisenstein congruences in tame families and the class group of a metabelian extension

Ribet's 1976 proof of the converse to Herbrand's theorem created a new paradigm in algebraic number theory by illustrating that unramified abelian Galois extensions of number fields can be constructed using Galois representations associated to Eisenstein congruences, i.e., cuspidal eigenforms that a