On a Projective Space Invariant of a Co-torsion Module of Rank Two over a Dedekind Domain

arXiv1912.00797MaRDI QIDQ6330255FDOQ6330255

Authors: C. P. Anil Kumar 

Publication date: 28 November 2019

Abstract: For a Dedekind domain $mathcalO$ and a rank two co-torsion module $Msubseteqmathcal{O}^2$ with invariant factor ideals $mathcalLsupseteqmathcalK$ in $mathcalO$, that is, $fracmathcal{O}^{2}McongfracmathcalOmathcalLoplusfracmathcalOmathcalK$ we associate a new projective space invariant element in $mathbb{PF}_{mathcalI}^1$ where $mathcalI$ is given by the ideal factorization $mathcalK=mathcalLmathcalI$ in $mathcalO$. This invariant element along with the invariant factor ideals determine the module $M$ completely as a subset of $mathcal{O}^2$. As a consequence, projective spaces associated to ideals in $mathcalO$ can be used to enumerate such modules. We compute the zeta function associated to such modules in terms of the zeta function of the one dimensional projective spaces for the ring $mathcal{O}_K$ of integers in a number field $K/mathbbQ$ and relate them to Dedekind zeta function. Using the projective spaces as parameter spaces, we re-interpret the Chinese remainder reduction isomorphism $mathbb{PF}_{mathcalI}^{1}ightarrowunderseti=1oversetlprodmathbb{PF}_{mathcal{I}_i}^1$ associated to a factorization of an ideal $mathcalI=underseti=1oversetlprodmathcal{I}_i$ into mutually co-maximal ideals $mathcal{I}_i,1leqileql$ in terms of the intersection of associated modules arising from the projective space elements.

This page was built for publication: On a Projective Space Invariant of a Co-torsion Module of Rank Two over a Dedekind Domain

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6330255)