An unconditional proof of the abelian equivariant Iwasawa main conjecture and applications