Generating non noetherian modules constructively
Journal article, 2004

In [6], Heitmann gives a proof of a Basic Element Theorem, which has as corollaries some versions of the "Splitting-off" theorem of Serre and the Forster-Swan theorem in a non Noetherian setting. We give elementary and constructive proofs of such results. We introduce also a new notion of dimension for rings, which is only implicit in [6] and we present a generalisation of the Forster-Swan theorem, answering a question left open in [6].


Thierry Coquand

University of Gothenburg

H. Lombardi

Universite de Franche-Comte

C. Quitte

Laboratoire de Mathématiques

Manuscripta Mathematica

0025-2611 (ISSN) 1432-1785 (eISSN)

Vol. 115 4 513-520

Subject Categories

Computer and Information Science



More information