# Constructions of finitely generated submodules of constructively noetherian modules

Compositio Mathematica (1987)

- Volume: 62, Issue: 1, page 47-52
- ISSN: 0010-437X

## Access Full Article

top## How to cite

topRuitenburg, Wim. "Constructions of finitely generated submodules of constructively noetherian modules." Compositio Mathematica 62.1 (1987): 47-52. <http://eudml.org/doc/89834>.

@article{Ruitenburg1987,

author = {Ruitenburg, Wim},

journal = {Compositio Mathematica},

keywords = {constructive ring theory; coherent commutative Noetherian rings; finitely generated ideal; Artin-Rees lemma; Krull's intersection theorem},

language = {eng},

number = {1},

pages = {47-52},

publisher = {Martinus Nijhoff Publishers},

title = {Constructions of finitely generated submodules of constructively noetherian modules},

url = {http://eudml.org/doc/89834},

volume = {62},

year = {1987},

}

TY - JOUR

AU - Ruitenburg, Wim

TI - Constructions of finitely generated submodules of constructively noetherian modules

JO - Compositio Mathematica

PY - 1987

PB - Martinus Nijhoff Publishers

VL - 62

IS - 1

SP - 47

EP - 52

LA - eng

KW - constructive ring theory; coherent commutative Noetherian rings; finitely generated ideal; Artin-Rees lemma; Krull's intersection theorem

UR - http://eudml.org/doc/89834

ER -

## References

top- Jacobson, N.: Basic algebraI. W.H. Freeman and Co. (1974) xvi + 472 pp. Zbl0284.16001MR356989
- Mines, R., Richman, F. and Ruitenburg, W.: A course in constructive algebra, to appear. Zbl0725.03044MR919949
- Richman, F.: Constructive aspects of Noetherian rings. Proc. Amer. Math. Soc.44 (1974) 436-441. Zbl0265.13011MR416874
- Seidenberg, A.: Constructions in algebra. Transactions Amer. Math. Soc.197 (1974) 273-313. Zbl0356.13007MR349648
- Seidenberg, A.: What is Noetherian? Rend. Sem. Mat. e Fis. Milano44 (1974) 55-61. Zbl0345.13010MR416875
- Seidenberg, A.: On the Lasker-Noether decomposition theorem. Amer. J. Math.106 (1984) 611-638. Zbl0567.13006MR745143

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.