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