Commutative Algebra: with a View Toward Algebraic Geometry (Graduate Texts in Mathematics)

1:* end up that the next stipulations on a module M over a commutative ring R are similar (the fourth is Hilbert's unique formula; the 1st and 3rd are those almost always used). The case M = R is the case of beliefs. 1. M is Noetherian (that is, each submodule of M is finitely generated). 2. each ascending chain of submodules of M terminates ("ascending chain condition"). three. each set of submodules of M includes components maximal below inclusion. four. Given any series of parts 11,12, ... E M, there's a quantity m such that for every n > m there's an expression In = 2::::1 adi with ai E R. 1. eleven workouts forty seven workout 1. 2 (Emmy Noether): end up that if R is Noetherian, and that i c R is a perfect, then one of the primes of R containing I there are just finitely many who are minimum with admire to inclusion (these tend to be referred to as the minimum primes of I, or the primes minimum over I) as follows: Assuming that the proposition fails, the Noetherian speculation promises the life of an amazing I maximal between beliefs in R for which it fails. convey that i can't be leading, so that you can locate parts f and nine in R, now not in I, such that fg E I. Now exhibit that each leading minimum over I is minimum over one of many higher beliefs (I, f) and (I, g). With Hilbert's foundation theorem and the Nullstellensatz (see workout 1. 9), workout 1. 2 provides one of many basic finiteness theorems of algebraic geometry: An algebraic set could have purely finitely many irreducible parts. initially the end result was once proved by means of tough inductive arguments and removal conception. For one other dialogue of the importance of this consequence see the start of bankruptcy three, and especially instance 2 there. the results of this workout is bolstered in Theorem three. 1. workout 1. three: enable M' be a submodule of M. express that M is Noetherian iff either M' and M / M' are Noetherian. An research of Hilbert's Finiteness Argument workout 1. 4:* we've seen from Corollary 1. three that any finitely generated algebra over a box is Noetherian. The speak is sort of fake, and we will see many vital examples of earrings which are Noetherian yet no longer finitely generated (for example localizations and completions). however the speak is correct for graded earrings R the place Ro is a box, because the following outcome indicates. permit R = Ro EB Rl EB ... be a graded ring. turn out that the subsequent are similar: 1. R is Noetherian. 2. Ro is Noetherian and the inappropriate excellent Rl EB R2 EB ... is finitely generated. three. Ro is Noetherian and R is a finitely generated Ro-algebra. workout 1. 5:* even though the Noetherian estate doesn't often cross from a hoop to a subring, it does whilst the subring is a summand: allow ReS be earrings, and suppose that R is a summand of S as an Rmodule, that's, there's a homomorphism 'P : S - t R of R-modules solving each part of R. turn out that if S is Noetherian, then R is Noetherian. a few earrings of Invariants workout 1. 6: the subsequent facts of the assertions of instance 1. 1 is from Van der Waerden [1971J. we will systematically boost this system in bankruptcy 15.