On tamely ramified Iwasawa modules for \(\mathbb{Z}p\)-extensions of imaginary quadratic fields (Q2339629): Difference between revisions

Let \(p\) be an odd prime number, \(k\) be an imaginary quadratic field and \(\mathbb{Z}_p\) be the ring of \(p\)-adic integers. Moreover, let \(K\) be a \(\mathbb{Z}_p\)-extension of \(k\). In the paper under review, the authors study ``tamely ramified'' Iwasawa modules for \(\mathbb{Z}_p\)-extensions. More precisely, they give some basic facts about ``unramified'' Iwasawa modules. Let \(L(K)\) be the maximal unramified abelian pro-\(p\) extension of \(K\). Then the unramified Iwasawa module \(X(K):=\text{Gal}(L(K)/K)\) is a finitely generated torsion module over the completed group ring \(\mathbb{Z}_p[[(K/k)]]\). Therefore, the \(\lambda\)-invariant \(\lambda=\lambda(K/k)\) and the \(\lambda\)-invariant \(\mu=\mu(K/k)\) can be derived from the structure of \(X(K)\). In particular, \(\mu=0\) if and only if \(X(K)\) is a finitely generated \(\mathbb{Z}_p\)-module. Hence, to study the structure of \(X(K)\), it is essential to know whether \(\mu=0\) or not.