Unramified Iwasawa module (source code)

= Unramified Iwasawa module
{title2=$Y=\operatorname{Gal}(L_\infty/F_\infty)$}

For a <Zp-extension>, let $L_\infty$ be the maximal unramified abelian pro-$p$ extension of $F_\infty$. Its <Galois group> is a compact <Iwasawa module>, identifiable by <Artin reciprocity> with the inverse limit of the $p$-primary <ideal class groups> of finite layers under norms.