The main conjecture of Iwasawa theory for totally real fields

The purpose of this paper is to prove the main conjecture of non-commutative Iwasawa theory for p-adic Lie extensions, for an odd prime p, of totally real number fields assuming that the Iwasawa mu invariant of a certain totally real number field vanishes.