Calcul matriciel g\'en\'eralis\'e sur les domaines de Pr\"ufer

Authors Gema Maria Diaz Toca, Henri Lombardi

Publication date 3 August 2015

Projective and free modules and ideals in commutative rings (13C10) Computational aspects and applications of commutative rings (13P99)

Abstract: In this paper, we first present an algorithm for computing the Hermite normal form of pseudo-matrices over Pr"ufer domains. This algorithm allows us to provide constructive proofs of the main theoretical results on finitely presented modules over Pr"ufer domains and to discuss the resolution of linear systems. In some sense, we generalize the methodology developed by Henri Cohen for Dedekind domains. Finally, we present some results over Pr"ufer domains of dimension one about the Smith normal form.

This page was built for publication: Calcul matriciel g\'en\'eralis\'e sur les domaines de Pr\"ufer

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