I'll talk about Iwasawa theory. I'll start with the structures of the class groups of number fields, and see how these generalize to various main conjectures in Iwasawa theory. If there's time, I'll also sketch the main idea of the proof and review what's known so far, including the recent result of Skinner-Urban.