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].

Author

Thierry Coquand

University of Gothenburg

H. Lombardi

University of Franche-Comté

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

DOI

10.1007/s00229-004-0509-2

More information

Created

10/10/2017