A class of principal ideal rings arising from the converse of the Chinese remainder theorem.
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.
We construct an example of a Fréchet m-convex algebra which is a principal ideal domain, and has the unit disk as the maximal ideal space.