The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
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.
Currently displaying 41 –
60 of
60