The aim of this paper is to discuss the flat covers of injective modules over a Noetherian ring. Let R be a commutative Noetherian ring and let E be an injective R-module. We prove that the flat cover of E is isomorphic to . As a consequence, we give an answer to Xu’s question [10, 4.4.9]: for a prime ideal p, when does appear in the flat cover of E(R/m̲)?
In this article, we formalize a free Z-module and its property. In particular, we formalize the vector space of rational field corresponding to a free Z-module and prove formally that submodules of a free Z-module are free. Z-module is necassary for lattice problems - LLL (Lenstra, Lenstra and Lov´asz) base reduction algorithm and cryptographic systems with lattice [20]. Some theorems in this article are described by translating theorems in [11] into theorems of Z-module, however their proofs are...
Nous développons – en nous appuyant sur l’exemple concret des unités cyclotomiques et du groupe de classes en théorie d’Iwasawa cyclotomique – de nouveaux outils pour une étude générale de la descente et de la codescente, dans l’optique de comparer ces deux points de vue duaux.Si est un « système normique » (i.e. une collection de modules galoisiens avec données supplémentaires), attaché à une extension de Lie -adique fixée d’algèbre d’Iwasawa , nous montrons principalement qu’il existe un...
Nous caractérisons les extensions triviales semiGoldie, de cogénération finie, mininjectives et quasi-Frobeniusiens. Comme application, nous montrons que tout anneau noethérien s’injecte dans un anneau quasi-Frobeniusien.