I will discuss some of Mazur's work about congruences between Eisenstein series and cusp forms, and then end with an application to class groups of fields $\mathbb{Q}(N^{1/p})$, where $N$ and $p$ are primes.  I will only assume some algebraic number theory.  In particular, nothing about modular forms will be assumed.