# FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

Size: px
Start display at page:

Transcription

2 induction on n we see that the A 0 module A n is spanned by monomials in the x dj of total degree n. For n = 1 this is trivial, the x 1j must span A 1 over A 0. Then by hypothesis all elements of A 2 are sums of A 0 linear combinations of the x 2j and products of the x 1k by elements of A 1. By the n = 1 case, these latter elements are A 0 linear combinations of the monomials x 1k x 1j. The induction continues routinely to A 3 and beyond. We also observe A 0 = A /A +, so A Noetherian implies A 0 Noetherian. This completes the proof of the only if direction of the proposition. Next, we say that an I-filtering M M n of an A module is I-stable if for some integer s and all d 0 one has I d M s = M d+s. Obviously the I-adic filtering M n = I n M is I-stable. In general one has I d+s M I d M s M d+s M d for any I-filtering, and any s, d. An I-stable filtering also satisfies M d+s = I d M s I d M for some large s and all d. For later purposes, when we turn to completions, we point out that the inclusions in the above paragraph imply that if we impose an I-adic topology on M as a topological abelian group by declaring a fundamental basis of neighborhoods of 0 to be the subgroups I k M, then any I-stable filtration M k of M defines the same topology. By this we mean that if fundamental neighborhoods of 0 are taken to be the subgroups M k instead of the I k M, then the topology doesn t change. A more algebraic consequence of the above inclusions for an I-stable filtration is that there is an isomorphism of inverse limits lim M I k M lim M M k. Of course it then also follows that any two I-stable filtrations of M define the same topology and the same inverse limit. Another important property of I-stable filtrations is a connection with graded Noetherian modules. PROPOSITION 2: Suppose A is a Noetherian ring and M is a finitely generated A module with an I-filtration M n. Then M is a finite A module if and only if the filtration M n is I-stable. PROOF: First, A is Noetherian by Proposition 1, because the ideal I is finitely generated and clearly I = A 1 generates A = I n over A = A 0. If M is a finite A module then it is a Noetherian module. Consider the increasing chain of A submodules L k = M M 1 M k IM k I 2 M k. The chain must stabilize, but the union over k of the L k is clearly M. Therefore some L s = M, which exactly says M n is an I-stable filtration. 2

3 For the converse direction, assuming M d+s = I d M s for some s and all d, it is obvious that M is spanned over A by M M 1 M s. Each of the A modules M j is finitely generated, so M is a finite A module. The proposition just proved allows an easy proof that with Noetherian hypotheses, an I-stable filtration on an A module M will contract to an I-stable filtration on any submodule L M. It is rather difficult to see why this should be so, without the efficient use of graded Noetherian ring and module principles, including the use of the Hilbert Basis Theorem, that we organized above. THEOREM (Artin-Rees): Suppose A is a Noetherian ring, M a finite A module with an I-stable filtration M n. Suppose L M is a submodule and set L n = L M n. Then L n is an I-stable filtration. PROOF: IL n IL IM n L M n+1 = L n+1, so at least we have an I-filtration of L. But L is a submodule of the finite A module M. As seen above, A is Noetherian. Hence L is also a finite A module, and the I-filtration is stable by Proposition 2. If we take M n = I n M, then we obtain the following version of the theorem. PROPOSTION 3: Suppose A is a Noetherian ring, M a finite A module, L M a submodule. Then for some integer s we have I d (L I s M) = L I d+s M for all d 0. This formulation of Artin-Rees leads to some understanding of certain infinite intersections in A modules. PROPOSITION 4: Suppose A is a Noetherian ring, I A an ideal, M a finite A module. Set M = I n M M. Then IM = M = {x M (1 + y)x = 0, some y I}. In particular, if I Jac(A), the Jacobson radical, or if M is a faithful A module, then I n M = (0). As special cases, one concludes the intersection of all powers of the maximal ideal in a Noetherian local ring is (0), and, by localizing, the intersection of all powers of any prime ideal in a Noetherian domain is (0). PROOF: First, I m M M = M for any m. By Artin-Rees, for some s we have IM = I(I s M M ) = I s+1 M M = M. Certainly if x = yx = y 2 x = with y I then x I n M. Conversely, M is a finite module, so by the standard determinant trick or induction on the number of generators, if IM = M then there is some y I with (1 + y)m = (0). There is another important method of associating graded rings and modules to filtrations. If I A is an ideal, set Gr A = Gr = I n /I n+1. The products I n I m I n+m yield a well-defined multiplication and ring structure on Gr A. Note now Gr 0 = A/I. We definitely lose information passing from A to Gr A. 3

4 As an example, suppose A is the affine coordinate ring of an algebraic curve over an algebraically closed field k, and suppose m A is a maximal ideal corresponding to a point on the curve. It is easy to see that if we take I = m above then Gr A = Gr A (m). Moreover, if m corresponds to a non-singular point then Gr A (m) k[t], a polynomial ring in one variable. Specifically, t is any generator of m/m 2, which is the same as a generator of the principal ideal m A (m). There is nothing special about curves here. If one begins with the affine coordinate ring of an irreducible variety of dimension r, and if one localizes at a maximal ideal corresponding to a non-singular point, then the associated graded ring Gr is a polynomial ring in r variables over k. We can also form graded modules in this second manner. If M is an A module, set Gr M = I n M/I n+1 M. More generally, given an I-filtration M n of M, we can form Gr M = M n /M n+1. In both these situations, Gr M is a graded Gr A module. In the same spirit as our previous propositions concerning Noetherian conditions, we record the following result. PROPOSITION 5: Suppose A is a Noetherian ring, I A an ideal. Then Gr A is Noetherian. If M is a finite A module and M n is a stable I-filtration, then Gr M is a finite Gr A module. PROOF: Ideal I is finitely generated. If {x i } span I/I 2 = Gr 1 over A/I = Gr 0 then it is clear that Gr A is a quotient of the Noetherian ring A/I [x i ]. For the module statement, the I-stable hypothesis easily implies Gr M is generated over Gr A by a finite number of terms s j=0 M j/m j+1. But each of these summands is a finite A/I module. Now we will take up certain completions of rings and modules. Suppose M n is a filtration of an A module M. We define a topology making M into a topological abelian group by declaring the M n to be a fundamental system of neighborhoods of 0 M. A fundamental system of neighborhoods of x M is given by the cosets x + M n. A basis for the open sets of the filtration topology will be all the cosets y + M n, y M, n 0. All we use here for the definition of the topology is the additive abelian group structure of M, the module structure will play a later role. Since the M n are additive subgroups of M, we see that (x+m n ) (y +M n ) if and only if x y M n. It follows that the topology is Hausdorff if and only if M n = (0). It is also routine to check that addition and the map taking an element of M to its negative are continuous. So M is a topological abelian group. Two elements x, y M are close if x y M n for large n. An example to keep in mind is M = Z with M n = (p n ) for some prime p. In this p-adic topology, integers are close if their difference is divisible by a high power of p. In fact, if A is any ring and I A is an ideal, there is an I-adic topology on A defined by the filtration I n. One can verify that multiplication is also continuous, so A with the I-adic topology becomes a topological ring. 4

5 In terms of a filtration topology on M it is routine to define Cauchy sequences (x k ) where x k M. Namely, for all n there should exist k = k(n) so that m, m k implies x m x m M n. In particular, a null sequence (z k ) is a Cauchy sequence, where null sequence means z m M n for all m some k(n). Sums and differences of Cauchy sequences are Cauchy. We then define ˆM to be the abelian group of equivalence classes of Cauchy sequences, where two sequences are equivalent if their difference is a null sequence. There is a group homomorphism M ˆM that assigns to each x M the constant sequence (x k = x), k 0. Note that a constant sequence (x) is a null sequence exactly when x M n. So when the topology on M is Hausdorff, the map M ˆM is an embedding. Following the language of analysis, we say that M is complete in a Hausdorff filtration topology if every Cauchy sequence (x k ) converges to some x M. This means (x k x) is a null sequence. Given any filtration topology on M there is a Hausdorff filtration topology on ˆM. Namely ˆM n consists of equivalence classes of Cauchy sequences (x k ) with x k M n for all large k. The point is, (x k ) ˆMn exactly when (x k ) is a null sequence, and null sequences represent 0 ˆM. PROPOSITION 6: If M n is any filtration of M then Hausdorff filtration topology ˆM n. ˆM is complete in the PROOF: A standard argument works in which you consider a Cauchy sequence of Cauchy sequences and construct a limit Cauchy sequence by choosing a term sufficiently far out in each of the original sequences. But another point of view proceeds by introducing the inverse limit lim M/M n M/M n consisting of all coherent tuples ( x n ), where x n+1 x n under the obvious surjections M/M n+1 M/M n. It is relatively routine to define bijections ˆM lim M/M n. Map a Cauchy sequence (x k ) to the tuple (ȳ n ) where ȳ n is the stable class of x k M/M n for large k. Given a coherent tuple ( x n ), map it to the Cauchy sequence class (x n ). Under these bijections, it is easy to check that the filtration subgroup ˆM n corresponds to the kernel of the obvious projection lim M/M n M/M n. In particular, the filtration topology on ˆM coincides with the Tychonoff product topology on lim M/M n as a subspace of M/M n if each factor M/M n is given the discrete topology. Therefore the obvious identity lim ˆM/ ˆM n = lim M/M n, exactly says ˆM = ˆM topologically, hence ˆM is complete. We can combine filtrations and completions of rings with those of modules, as we did in the graded case. Suppose ring A is given the I-adic filtration I n, and 5

6 suppose A module M is given an I-filtration M n. For example, there is always the filtration M n = I n M. Now we have two completions Â and ˆM. But also the products I d M n M d+n induce products I d /I d+1 M n /M n+1 M d+n /M d+n+1 and Â ˆM ˆM. PROPOSITION 7: The products above give ˆM the structure of complete topological module over the complete topological ring Â. Any two I-stable filtrations of M induce the same topology on M and hence have identical completions ˆM. PROOF: Details are pretty routine and will be skipped, much as we barely gave the steps in the discussion surrounding Proposition 6. The last statement about two I-stable filtrations defining the same topology on M was already mentioned when I-stable filtrations were first introduced. Obviously, the Cauchy sequence completion of M depends only on the topology. But one can also see pretty quickly why the inverse limit completions associated to two I-stable filtrations are isomorphic. One important example of I-adic completion is A = Z, I = (p), where p is a prime. One obtains the p-adic integers Ẑp = lim Z/p n Z, which can be regarded either as equivalence classes of Cauchy sequences of integers in the p-adic topology, or via the inverse limit as coherent tuples of residue classes modulo higher and higher powers of p. In this case, Ẑ p is a compact topological ring, since the inverse limit of any system of finite sets is always compact by the Tychonoff theorem. Another example is the polynomial ring A = k[x 1,, x n, I = (x 1,, x n ). It is easy to see from the inverse limit construction that the completion Â = k[[x 1,, x n ]] is the formal power series ring. The inverse limit construction has some delicate exactness properties. In extreme generality, an inverse limit can be defined as on object in D representing a certain functor lim F : D Sets associated to a covariant functor F : C D, where C is a small category. Namely lim F (D) Hom D (D, F (C)) C C is defined as the set of coherent collections of morphisms arising from functor F applied to all morphisms in C. In our very simple case, C has as objects the non-negative integers, with one morphism m n for all m n. So functor F is just a system of morphisms δ n : D n D n 1, n 1, in D. If D is the category of modules over a ring, and if {D n, δ n } is a simple inverse system with D 0 = (0), define d D = (δ n Id n 1 ) : D n D n. We view d D as the only differential in a very short chain complex. Note ker(d D ) = lim D n, the coherent tuples in D n. Define lim 1 D n = coker(d D ). PROPOSITION 8: Suppose {A n, α n }, {B n, β n }, {C n, γ n } are three simple inverse systems of modules as above and suppose 0 A n B n C n 0 are 6

7 exact sequences commuting with the morphisms α n, β n, γ n, n 1. Then there is a natural six term exact sequence 0 lim A n lim B n lim C n lim 1 A n lim 1 B n lim 1 C n 0. If each morphism α n : A n A n 1 is surjective, then lim 1 A n = (0), hence is exact. 0 lim A n lim B n lim C n 0 PROOF: The six term sequence is just the long homology exact sequence associated to the obvious short exact sequence of chain complexes with the single differentials d A, d B, d C. The only homology groups are just the kernels and cokernels of these differentials. For the second statement, note that d A (x 1, x 2, x 3, ) = (a 1, a 2, ) A n just says a 1 = x 1 α 2 x 2, a 2 = x 2 α 3 x 3,. So if the α n are surjective, we get surjectivity of d A by choosing any x 1, then iteratively finding suitable x 2, x 3,. The Artin-Rees theorem provides a very useful example of the results in Proposition 8. Suppose A is Noetherian and M is a finite A module with an I-stable filtration M n, for example M n = I n M. But recall from Proposition 7, the completion ˆM = lim M n does not depend on the choice of I-stable filtration. Suppose M M is a submodule. Then M n = M M n is an I-stable filtration of M, by Artin-Rees. If we set M = M/M then M n = image(m n ) is an I-stable filtration and we have exact sequences 0 M /M n M/M n M /M n 0 that commute with the surjections in the three inverse systems. COROLLARY 9: If A is Noetherian, M a finite A module, M M a submodule, and M = M/M then there is a natural exact sequence of I-adic completions 0 ˆM ˆM M ˆ 0. Thus, I-adic completion is an exact functor on the category of finite modules over a Noetherian ring. The subtlety here is that completions can be computed from any I-stable filtrations. If we begin with M n = I n M then it is non-trivial that M I n M is an I-stable filtration of M. But it is exactly this filtration, rather than I n M, that fits into the exact sequence of inverse systems above. PROPOSITION 10: If A is Noetherian, I A an ideal, and M a finite A module then Â A M ˆM. Thus, Â is a flat A module. PROOF: Begin with exact A p A q M 0. Then there is a diagram: Â A A p Â A A q Â A M 0 Â p Â q ˆM 0 7

8 that clearly commutes. The left and center vertical arrows are isomorphisms because completion obviously commutes with finite direct sums. The top row is exact because Â A is a right exact functor. The bottom row is exact by Corollary 9, completion is exact for finite A modules. Therefore the right vertical arrow is an isomorphism. The last statement, that Â is a flat A module, follows from the fact that one only needs to verify injectivity of Â A M Â A M when M M and M and M are finitely generated. But this follows from the first statement, because completion is exact for finite modules over Noetherian A. We can use the results above to prove that I-adic completions of Noetherian rings are rather simple quotients of power series rings. PROPOSITION 11: Suppose A is Noetherian, I = (a 1, a 2,, a r ) A an ideal. Then Â A[[x 1,, x r ]] (x j a j ) PROOF: Set B = A[x 1,, x r ], J = (x 1,, x r ) B. sequence of B modules 0 K B A 0 There is an exact with x j a j and K = (x j a j ) B. We complete in J-adic topologies, yielding exact 0 ˆK ˆB Â 0. Note J n A = I n A, so Â is unambiguous here. Also, ˆB = A[[x 1,, x r ]] from an earlier example. Finally, ˆK = K B ˆB ˆB has image exactly K ˆB = (xj a j ) ˆB. Therefore, the exact sequence of completions gives the proposition. Next, we discuss completions of certain integral extensions of rings. Suppose A is a local Noetherian ring, with maximal ideal m A. Suppose A B is an integral extension, with B finitely generated over A. Then B is a Noetherian semilocal ring, with maximal ideals m j B, 1 j r, where mb = j m j = j m j = J, the Jacobson radical of B. In general, given ideals I, J in a ring with J k I J for some k, it is clear that I-adic and J-adic completions coincide. One can see this either topologically or via the inverse limit construction of completions. (Although the powers of J form an I-filtration, they form something weaker here than an I-stable filtration. Still, the topologies defined by powers of I and powers of J coincide.) We apply this to the situation above with I = mb, and form m-adic completions of A modules A B. PROPOSITION 12: If A is a local Noetherian ring with maximal ideal m and if B is a finite integral extension of A with Jacobson radical J = m j, then there is an inclusion of m-adic completions Â ˆB lim B/J n lim B/m n j ˆB j, j j 8

9 where ˆB j is the completion of B at the maximal ideal m j. PROOF: All that needs to be added is that we use the Chinese Remainder Theorem in the next to last isomorphism, and an obvious commutativity of operations of inverse limit and finite products in the last isomorphism. REMARK: The m-adic completion of a local ring A at its maximal ideal is also a local ring, with isomorphic residue field Â/ ˆm A/m. This is clear because an element a = (a 1, a 2, ) Â ˆm if and only if a 1 / m, or equivalently a j / m, all j. Hence â has inverse â 1 = (a 1 1, a 1 2, ) Â. So Proposition 12 embeds Â into a product of complete local rings. At each finite level, application of the Chinese Remainder Theorem A/m n j B/mnj j loses information about A. The last result we prove is the famous lemma of Hensel. THEOREM (Hensel): Suppose (A, m) is a complete local ring in the m-adic topology. (For example, the m-adic completion of any local ring.) Suppose F (x) A[x] is a monic polynomial, with monic reduction f(x) k[x], where k = A/m is the residue field of A. Suppose f(x) = g(x)h(x) k[x] for relatively prime monic polynomials g, h. Then there exist monic polynomials G(x), H(x) A[x] such that F (x) = G(x)H(x) and such that G and H reduce mod m to g and h respectively. In particular, deg(g) = deg(g) and deg(h) = deg(h). REMARK: It follows that if f(x) has a simple root α k then F (x) has a simple root a A. Namely, a simple root is the same as a monic linear factor that does not divide the other factor. PROOF: The idea is to inductively get F G n H n mod m n [x], with monic G n, H n reducing to g, h. The n = 1 case is just the hypothesis f = gh. Write F (x) G n (x)h n (x) = y i Q i (x), with y i m n and deg(q i ) < deg(f ). Since g, h are relatively prime, we can write the mod m reduction of Q i as q i = gr i + hs i k[x], with deg(r i ) < deg(h). It follows that deg(hs i ) < deg(f ), hence also deg(s i ) < deg(g). Now lift r i, s i k[x] to R i, S i A[x], of the same degrees. Set We then have But Therefore G n+1 = G n + y i S i G n mod m n [x] H n+1 = H n + y i R i H n mod m n [x]. G n+1 H n+1 = G n H n + y i (G n R i + H n S i ). G n R i + H n S i Q i F G n+1 H n+1 mod m[x]. mod m n+1 [x]. We now obtain the theorem by taking G = lim(g n ) and H = lim(h n ) in the complete local ring A. 9

### Math 210B. Artin Rees and completions

Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show

### Formal power series rings, inverse limits, and I-adic completions of rings

Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely

### MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53

MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53 10. Completion The real numbers are the completion of the rational numbers with respect to the usual absolute value norm. This means that any Cauchy sequence

### NOTES IN COMMUTATIVE ALGEBRA: PART 2

NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they

### Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

### Extended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module

Extended Index cokernel 19f for Atiyah and MacDonald's Introduction to Commutative Algebra colon operator 8f Key: comaximal ideals 7f - listings ending in f give the page where the term is defined commutative

### Algebraic Geometry Spring 2009

MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

### MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA These are notes for our first unit on the algebraic side of homological algebra. While this is the last topic (Chap XX) in the book, it makes sense to

### ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)

### Homework 2 - Math 603 Fall 05 Solutions

Homework 2 - Math 603 Fall 05 Solutions 1. (a): In the notation of Atiyah-Macdonald, Prop. 5.17, we have B n j=1 Av j. Since A is Noetherian, this implies that B is f.g. as an A-module. (b): By Noether

### The most important result in this section is undoubtedly the following theorem.

28 COMMUTATIVE ALGEBRA 6.4. Examples of Noetherian rings. So far the only rings we can easily prove are Noetherian are principal ideal domains, like Z and k[x], or finite. Our goal now is to develop theorems

### Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.

Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Answer: Note that the first generator factors as (y

### MATH 326: RINGS AND MODULES STEFAN GILLE

MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called

### MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

### A Primer on Homological Algebra

A Primer on Homological Algebra Henry Y Chan July 12, 213 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section Before telling you what a module is, you probably

### REPRESENTATION THEORY WEEK 9

REPRESENTATION THEORY WEEK 9 1. Jordan-Hölder theorem and indecomposable modules Let M be a module satisfying ascending and descending chain conditions (ACC and DCC). In other words every increasing sequence

### INVERSE LIMITS AND PROFINITE GROUPS

INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological

### x = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z.

ALGEBRAIC NUMBER THEORY LECTURE 7 NOTES Material covered: Local fields, Hensel s lemma. Remark. The non-archimedean topology: Recall that if K is a field with a valuation, then it also is a metric space

### Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

### Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime

### Local Fields. Chapter Absolute Values and Discrete Valuations Definitions and Comments

Chapter 9 Local Fields The definition of global field varies in the literature, but all definitions include our primary source of examples, number fields. The other fields that are of interest in algebraic

### Places of Number Fields and Function Fields MATH 681, Spring 2018

Places of Number Fields and Function Fields MATH 681, Spring 2018 From now on we will denote the field Z/pZ for a prime p more compactly by F p. More generally, for q a power of a prime p, F q will denote

### Injective Modules and Matlis Duality

Appendix A Injective Modules and Matlis Duality Notes on 24 Hours of Local Cohomology William D. Taylor We take R to be a commutative ring, and will discuss the theory of injective R-modules. The following

### MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23

MATH 101B: ALGEBRA II PART A: HOMOLOGICAL ALGEBRA 23 6.4. Homotopy uniqueness of projective resolutions. Here I proved that the projective resolution of any R-module (or any object of an abelian category

### Notes on p-divisible Groups

Notes on p-divisible Groups March 24, 2006 This is a note for the talk in STAGE in MIT. The content is basically following the paper [T]. 1 Preliminaries and Notations Notation 1.1. Let R be a complete

### CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the

### Direct Limits. Mathematics 683, Fall 2013

Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry

### (1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers

### ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then

### Adic Spaces. Torsten Wedhorn. June 19, 2012

Adic Spaces Torsten Wedhorn June 19, 2012 This script is highly preliminary and unfinished. It is online only to give the audience of our lecture easy access to it. Therefore usage is at your own risk.

### TCC Homological Algebra: Assignment #3 (Solutions)

TCC Homological Algebra: Assignment #3 (Solutions) David Loeffler, d.a.loeffler@warwick.ac.uk 30th November 2016 This is the third of 4 problem sheets. Solutions should be submitted to me (via any appropriate

### COURSE SUMMARY FOR MATH 504, FALL QUARTER : MODERN ALGEBRA

COURSE SUMMARY FOR MATH 504, FALL QUARTER 2017-8: MODERN ALGEBRA JAROD ALPER Week 1, Sept 27, 29: Introduction to Groups Lecture 1: Introduction to groups. Defined a group and discussed basic properties

### Cohomology and Base Change

Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is half-exact if whenever 0 M M M 0 is an exact sequence of A-modules, the sequence T (M ) T (M)

### ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.

### Topics in Commutative Algebra

Lecturer: Tamás Szamuely Typed by: Szabolcs Mészáros January 3, 2016 Remark. This is the live-texed notes of course held by Tamás Szamuely in the winter of 2015. Any mistakes and typos are my own. First

### Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an A-linear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is

### LECTURE 2. Hilbert Symbols

LECTURE 2 Hilbert Symbols Let be a local field over Q p (though any local field suffices) with char() 2. Note that this includes fields over Q 2, since it is the characteristic of the field, and not the

### 4.4 Noetherian Rings

4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)

### Homological Methods in Commutative Algebra

Homological Methods in Commutative Algebra Olivier Haution Ludwig-Maximilians-Universität München Sommersemester 2017 1 Contents Chapter 1. Associated primes 3 1. Support of a module 3 2. Associated primes

### ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset

### 1. Algebraic vector bundles. Affine Varieties

0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.

### Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.

### Absolute Values and Completions

Absolute Values and Completions B.Sury This article is in the nature of a survey of the theory of complete fields. It is not exhaustive but serves the purpose of familiarising the readers with the basic

### Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter

### Math 418 Algebraic Geometry Notes

Math 418 Algebraic Geometry Notes 1 Affine Schemes Let R be a commutative ring with 1. Definition 1.1. The prime spectrum of R, denoted Spec(R), is the set of prime ideals of the ring R. Spec(R) = {P R

### Noetherian property of infinite EI categories

Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result

### Structure of rings. Chapter Algebras

Chapter 5 Structure of rings 5.1 Algebras It is time to introduce the notion of an algebra over a commutative ring. So let R be a commutative ring. An R-algebra is a ring A (unital as always) together

### ON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes

ON THE REPRESENTABILITY OF Hilb n k[x] (x) Roy Mikael Skjelnes Abstract. Let k[x] (x) be the polynomial ring k[x] localized in the maximal ideal (x) k[x]. We study the Hilbert functor parameterizing ideals

### LIVIA HUMMEL AND THOMAS MARLEY

THE AUSLANDER-BRIDGER FORMULA AND THE GORENSTEIN PROPERTY FOR COHERENT RINGS LIVIA HUMMEL AND THOMAS MARLEY Abstract. The concept of Gorenstein dimension, defined by Auslander and Bridger for finitely

### Yuriy Drozd. Intriduction to Algebraic Geometry. Kaiserslautern 1998/99

Yuriy Drozd Intriduction to Algebraic Geometry Kaiserslautern 1998/99 CHAPTER 1 Affine Varieties 1.1. Ideals and varieties. Hilbert s Basis Theorem Let K be an algebraically closed field. We denote by

### EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS

EXTERIOR AND SYMMETRIC POWERS OF MODULES FOR CYCLIC 2-GROUPS FRANK IMSTEDT AND PETER SYMONDS Abstract. We prove a recursive formula for the exterior and symmetric powers of modules for a cyclic 2-group.

### Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013

18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #18 11/07/2013 As usual, all the rings we consider are commutative rings with an identity element. 18.1 Regular local rings Consider a local

### Commutative Algebra and Algebraic Geometry. Robert Friedman

Commutative Algebra and Algebraic Geometry Robert Friedman August 1, 2006 2 Disclaimer: These are rough notes for a course on commutative algebra and algebraic geometry. I would appreciate all suggestions

### Lectures on Algebraic Theory of D-Modules

Lectures on Algebraic Theory of D-Modules Dragan Miličić Contents Chapter I. Modules over rings of differential operators with polynomial coefficients 1 1. Hilbert polynomials 1 2. Dimension of modules

### 10. Noether Normalization and Hilbert s Nullstellensatz

10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.

### Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

Chapter 2 Integral Extensions 2.1 Integral Elements 2.1.1 Definitions and Comments Let R be a subring of the ring S, and let α S. We say that α is integral over R if α isarootofamonic polynomial with coefficients

### 1. Algebra 1.5. Polynomial Rings

1. ALGEBRA 19 1. Algebra 1.5. Polynomial Rings Lemma 1.5.1 Let R and S be rings with identity element. If R > 1 and S > 1, then R S contains zero divisors. Proof. The two elements (1, 0) and (0, 1) are

### 8 Complete fields and valuation rings

18.785 Number theory I Fall 2017 Lecture #8 10/02/2017 8 Complete fields and valuation rings In order to make further progress in our investigation of finite extensions L/K of the fraction field K of a

### FORMAL GLUEING OF MODULE CATEGORIES

FORMAL GLUEING OF MODULE CATEGORIES BHARGAV BHATT Fix a noetherian scheme X, and a closed subscheme Z with complement U. Our goal is to explain a result of Artin that describes how coherent sheaves on

### LECTURE 3: RELATIVE SINGULAR HOMOLOGY

LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following

### COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA

COURSE SUMMARY FOR MATH 508, WINTER QUARTER 2017: ADVANCED COMMUTATIVE ALGEBRA JAROD ALPER WEEK 1, JAN 4, 6: DIMENSION Lecture 1: Introduction to dimension. Define Krull dimension of a ring A. Discuss

### Formal groups. Peter Bruin 2 March 2006

Formal groups Peter Bruin 2 March 2006 0. Introduction The topic of formal groups becomes important when we want to deal with reduction of elliptic curves. Let R be a discrete valuation ring with field

### MATH 221 NOTES BRENT HO. Date: January 3, 2009.

MATH 22 NOTES BRENT HO Date: January 3, 2009. 0 Table of Contents. Localizations......................................................................... 2 2. Zariski Topology......................................................................

### NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

### Exploring the Exotic Setting for Algebraic Geometry

Exploring the Exotic Setting for Algebraic Geometry Victor I. Piercey University of Arizona Integration Workshop Project August 6-10, 2010 1 Introduction In this project, we will describe the basic topology

Chapter 7 p-adic fields In this chapter, we study completions of number fields, and their ramification (in particular in the Galois case). We then look at extensions of the p-adic numbers Q p and classify

### 12. Hilbert Polynomials and Bézout s Theorem

12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of

### Generalized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485

Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757

### Math 145. Codimension

Math 145. Codimension 1. Main result and some interesting examples In class we have seen that the dimension theory of an affine variety (irreducible!) is linked to the structure of the function field in

### HILBERT FUNCTIONS. 1. Introduction

HILBERT FUCTIOS JORDA SCHETTLER 1. Introduction A Hilbert function (so far as we will discuss) is a map from the nonnegative integers to themselves which records the lengths of composition series of each

### Lie Algebra Cohomology

Lie Algebra Cohomology Carsten Liese 1 Chain Complexes Definition 1.1. A chain complex (C, d) of R-modules is a family {C n } n Z of R-modules, together with R-modul maps d n : C n C n 1 such that d d

### Hilbert function, Betti numbers. Daniel Gromada

Hilbert function, Betti numbers 1 Daniel Gromada References 2 David Eisenbud: Commutative Algebra with a View Toward Algebraic Geometry 19, 110 David Eisenbud: The Geometry of Syzygies 1A, 1B My own notes

### On the vanishing of Tor of the absolute integral closure

On the vanishing of Tor of the absolute integral closure Hans Schoutens Department of Mathematics NYC College of Technology City University of New York NY, NY 11201 (USA) Abstract Let R be an excellent

### where Σ is a finite discrete Gal(K sep /K)-set unramified along U and F s is a finite Gal(k(s) sep /k(s))-subset

Classification of quasi-finite étale separated schemes As we saw in lecture, Zariski s Main Theorem provides a very visual picture of quasi-finite étale separated schemes X over a henselian local ring

### Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0

1. Show that if B, C are flat and Algebra Qualifying Exam Solutions January 18, 2008 Nick Gurski 0 A B C 0 is exact, then A is flat as well. Show that the same holds for projectivity, but not for injectivity.

### Homological Dimension

Homological Dimension David E V Rose April 17, 29 1 Introduction In this note, we explore the notion of homological dimension After introducing the basic concepts, our two main goals are to give a proof

### Introduction to Algebraic Geometry. Jilong Tong

Introduction to Algebraic Geometry Jilong Tong December 6, 2012 2 Contents 1 Algebraic sets and morphisms 11 1.1 Affine algebraic sets.................................. 11 1.1.1 Some definitions................................

### Tensor Product of modules. MA499 Project II

Tensor Product of modules A Project Report Submitted for the Course MA499 Project II by Subhash Atal (Roll No. 07012321) to the DEPARTMENT OF MATHEMATICS INDIAN INSTITUTE OF TECHNOLOGY GUWAHATI GUWAHATI

### Draft: February 26, 2010 ORDINARY PARTS OF ADMISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE GROUPS I. DEFINITION AND FIRST PROPERTIES

Draft: February 26, 2010 ORDINARY PARTS OF ADISSIBLE REPRESENTATIONS OF p-adic REDUCTIVE ROUPS I. DEFINITION AND FIRST PROPERTIES ATTHEW EERTON Contents 1. Introduction 1 2. Representations of p-adic analytic

### Motivic integration on Artin n-stacks

Motivic integration on Artin n-stacks Chetan Balwe Nov 13,2009 1 / 48 Prestacks (This treatment of stacks is due to B. Toën and G. Vezzosi.) Let S be a fixed base scheme. Let (Aff /S) be the category of

### Math 530 Lecture Notes. Xi Chen

Math 530 Lecture Notes Xi Chen 632 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca 1991 Mathematics Subject Classification. Primary

### ALGEBRA HW 3 CLAY SHONKWILER

ALGEBRA HW 3 CLAY SHONKWILER (a): Show that R[x] is a flat R-module. 1 Proof. Consider the set A = {1, x, x 2,...}. Then certainly A generates R[x] as an R-module. Suppose there is some finite linear combination

### 4. Noether normalisation

4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,

### Dedekind Domains. Mathematics 601

Dedekind Domains Mathematics 601 In this note we prove several facts about Dedekind domains that we will use in the course of proving the Riemann-Roch theorem. The main theorem shows that if K/F is a finite

### Algebraic Geometry Spring 2009

MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

### HARTSHORNE EXERCISES

HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing

### Projective and Injective Modules

Projective and Injective Modules Push-outs and Pull-backs. Proposition. Let P be an R-module. The following conditions are equivalent: (1) P is projective. (2) Hom R (P, ) is an exact functor. (3) Every

### Math 249B. Nilpotence of connected solvable groups

Math 249B. Nilpotence of connected solvable groups 1. Motivation and examples In abstract group theory, the descending central series {C i (G)} of a group G is defined recursively by C 0 (G) = G and C

### 5 Dedekind extensions

18.785 Number theory I Fall 2016 Lecture #5 09/22/2016 5 Dedekind extensions In this lecture we prove that the integral closure of a Dedekind domain in a finite extension of its fraction field is also

### Commutative Algebra. Contents. B Totaro. Michaelmas Basics Rings & homomorphisms Modules Prime & maximal ideals...

Commutative Algebra B Totaro Michaelmas 2011 Contents 1 Basics 4 1.1 Rings & homomorphisms.............................. 4 1.2 Modules........................................ 6 1.3 Prime & maximal ideals...............................

### ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS

ALGEBRA QUALIFYING EXAM, FALL 2017: SOLUTIONS Your Name: Conventions: all rings and algebras are assumed to be unital. Part I. True or false? If true provide a brief explanation, if false provide a counterexample

### A COURSE IN HOMOLOGICAL ALGEBRA CHAPTER 11: Auslander s Proof of Roiter s Theorem E. L. Lady (April 29, 1998)

A COURSE IN HOMOLOGICAL ALGEBRA CHAPTER 11: Auslander s Proof of Roiter s Theorem E. L. Lady (April 29, 1998) A category C is skeletally small if there exists a set of objects in C such that every object

### ALGEBRAIC GEOMETRY (NMAG401) Contents. 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30

ALGEBRAIC GEOMETRY (NMAG401) JAN ŠŤOVÍČEK Contents 1. Affine varieties 1 2. Polynomial and rational maps 9 3. Hilbert s Nullstellensatz and consequences 23 References 30 1. Affine varieties The basic objects

### Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

### Commutative Algebra. Timothy J. Ford

Commutative Algebra Timothy J. Ford DEPARTMENT OF MATHEMATICS, FLORIDA ATLANTIC UNIVERSITY, BOCA RA- TON, FL 33431 Email address: ford@fau.edu URL: http://math.fau.edu/ford Last modified January 9, 2018.

### A TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor

A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it

### 8 Appendix: Polynomial Rings

8 Appendix: Polynomial Rings Throughout we suppose, unless otherwise specified, that R is a commutative ring. 8.1 (Largely) a reminder about polynomials A polynomial in the indeterminate X with coefficients

### Math 762 Spring h Y (Z 1 ) (1) h X (Z 2 ) h X (Z 1 ) Φ Z 1. h Y (Z 2 )

Math 762 Spring 2016 Homework 3 Drew Armstrong Problem 1. Yoneda s Lemma. We have seen that the bifunctor Hom C (, ) : C C Set is analogous to a bilinear form on a K-vector space, : V V K. Recall that