Search citation statements
Paper Sections
Citation Types
Year Published
Publication Types
Relationship
Authors
Journals
In this paper, we study the module-theoretic structure of classical Iwasawa modules. More precisely, for a finite abelian p-extension K/k of totally real fields and the cyclotomic $$\mathbb {Z}_p$$ Z p -extension $$K_{\infty }/K$$ K ∞ / K , we consider $$X_{K_{\infty },S}={{\,\textrm{Gal}\,}}(M_{K_{\infty },S}/K_{\infty })$$ X K ∞ , S = Gal ( M K ∞ , S / K ∞ ) where S is a finite set of places of k containing all ramifying places in $$K_{\infty }$$ K ∞ and archimedean places, and $$M_{K_{\infty },S}$$ M K ∞ , S is the maximal abelian pro-p-extension of $$K_{\infty }$$ K ∞ unramified outside S. We give lower and upper bounds of the minimal numbers of generators and of relations of $$X_{K_{\infty },S}$$ X K ∞ , S as a $$\mathbb {Z}_p[[{{\,\textrm{Gal}\,}}(K_{\infty }/k)]]$$ Z p [ [ Gal ( K ∞ / k ) ] ] -module, using the p-rank of $${{\,\textrm{Gal}\,}}(K/k)$$ Gal ( K / k ) . This result explains the complexity of $$X_{K_{\infty },S}$$ X K ∞ , S as a $$\mathbb {Z}_p[[{{\,\textrm{Gal}\,}}(K_{\infty }/k)]]$$ Z p [ [ Gal ( K ∞ / k ) ] ] -module when the p-rank of $${{\,\textrm{Gal}\,}}(K/k)$$ Gal ( K / k ) is large. Moreover, we prove an analogous theorem in the setting that K/k is non-abelian. We also study the Iwasawa adjoint of $$X_{K_{\infty },S}$$ X K ∞ , S , and the minus part of the unramified Iwasawa module for a CM-extension. In order to prove these theorems, we systematically study the minimal resolutions of $$X_{K_{\infty },S}$$ X K ∞ , S .
In this paper, we study the module-theoretic structure of classical Iwasawa modules. More precisely, for a finite abelian p-extension K/k of totally real fields and the cyclotomic $$\mathbb {Z}_p$$ Z p -extension $$K_{\infty }/K$$ K ∞ / K , we consider $$X_{K_{\infty },S}={{\,\textrm{Gal}\,}}(M_{K_{\infty },S}/K_{\infty })$$ X K ∞ , S = Gal ( M K ∞ , S / K ∞ ) where S is a finite set of places of k containing all ramifying places in $$K_{\infty }$$ K ∞ and archimedean places, and $$M_{K_{\infty },S}$$ M K ∞ , S is the maximal abelian pro-p-extension of $$K_{\infty }$$ K ∞ unramified outside S. We give lower and upper bounds of the minimal numbers of generators and of relations of $$X_{K_{\infty },S}$$ X K ∞ , S as a $$\mathbb {Z}_p[[{{\,\textrm{Gal}\,}}(K_{\infty }/k)]]$$ Z p [ [ Gal ( K ∞ / k ) ] ] -module, using the p-rank of $${{\,\textrm{Gal}\,}}(K/k)$$ Gal ( K / k ) . This result explains the complexity of $$X_{K_{\infty },S}$$ X K ∞ , S as a $$\mathbb {Z}_p[[{{\,\textrm{Gal}\,}}(K_{\infty }/k)]]$$ Z p [ [ Gal ( K ∞ / k ) ] ] -module when the p-rank of $${{\,\textrm{Gal}\,}}(K/k)$$ Gal ( K / k ) is large. Moreover, we prove an analogous theorem in the setting that K/k is non-abelian. We also study the Iwasawa adjoint of $$X_{K_{\infty },S}$$ X K ∞ , S , and the minus part of the unramified Iwasawa module for a CM-extension. In order to prove these theorems, we systematically study the minimal resolutions of $$X_{K_{\infty },S}$$ X K ∞ , S .
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.