Prefer a chat interface with context about you and your work?
Annihilation of tor_p(G_S^ab) for real abelian extensions