0.ENRM
0.ENRM
E
) 2.1
§ Preliminaries
(2.1) PROPOSITION.:
","
For a1J,
"
A" -module'M
/
,the follow'ing three conditions are equivalent:
r
(i) Every submodule of M is finitely generated,. ','
t'
r
(2.3.1) A vector space V over K is noetherian if and only DimK(V) < 00.
(2.3.2) Every princicipal ideal domain is noetherian. In particular, the polynomial ring K[X] and the
formal power seriesring K[[X]] are noetherian.
(2,3,3) If A is a noetherian ring and!! is an ideal of A. Then AI!! is a noetherian ring.
1
§ Preliminaries 2.2
Q is not finitely generated. Then choose iI, 12, 13,' .. inductively such that fn is of
smallest degree in Q \ 2.:~~l B Ii- Let dn := deg(fn) and an := leading coefficient of f.
Then dl ::; d2 ::; . . . . Since A is noetherian, There exists a positive integer m such that
am E L::"11Aai. Write am = 2.::11 G:iaiwith G:iE A. Let 9 := fm - 2.::01 G:ixdm-diIi-
Then 9 E Q \ 2.::11 Bfi and deg(g) < dm. This contradicts the choice of fm' Therefore
Q is finitely generated. .
2
"-
) § Preliminaries 2.3