A note on projective modules and multiplication modules
On this paper we compute the numerical function of the approximation theorem of M. Artin for the one-dimensional systems of formal equations.
Let K be a field, S = K[x 1, … x n] be a polynomial ring in n variables over K and I ⊂ S be an ideal. We give a procedure to compute a prime filtration of S/I. We proceed as in the classical case by constructing an ascending chain of ideals of S starting from I and ending at S. The procedure of this paper is developed and has been implemented in the computer algebra system Singular.
1. Introduction. In this note we give necessary and sufficient conditions for an integral domain to be a principal ideal domain. Curiously, these conditions are similar to those that characterize Euclidean domains. In Section 2 we establish notation, discuss related results and prove our theorem. Finally, in Section 3 we give two nontrivial applications to real quadratic number fields.
The aim of this note is to give an alternative proof of uniqueness for the decomposition of a finitely generated torsion module over a P.I.D. (= principal ideal domain) as a direct sum of indecomposable submodules.Our proof tries to mimic as far as we can the standard procedures used when dealing with vector spaces.For the sake of completeness we also include a proof of the existence theorem.