Prefer a chat interface with context about you and your work?
On the $p$-part of the ideal class group of $\bold Q(\zeta_p+\zeta_p^{-1})$ and Vandiver's conjecture.