Key points are not available for this paper at this time.
Nous proposons une introduction autonome aux bases de Gr\"obner des sous-modules de Rx₁, , xₙᵏ, où R est un domaine euclidien, et expliquons comment utiliser ces bases pour résoudre des systèmes linéaires sur Rx₁, , xₙ.
Erhard Aichinger (Mar,) a étudié cette question.