The equivariant local Iwasawa main conjecture for unramified extensions
The equivariant local Iwasawa main conjecture. There exists ζL∞/K(j)∈K1(Qc(G))\zeta^{(j)}_{L_\infty/K}\in K_1(\mathcal{Q}^c(\mathcal{G}))ζL∞/K(j)∈K1(Qc(G)) such that