Problem Set 5 for Math 711, Fall 2005 - Prof. Melvin Hochster, Assignments of Algebra

Problem set 5 for math 711, a graduate-level mathematics course taught in the fall of 2005. The problems cover various topics in commutative algebra, including noetherian rings, locally free modules, semilocal rings, and cohen-macaulay rings. Students are expected to use results from the theory of modules and local rings to prove statements and determine relationships between different functors.

Typology: Assignments

Pre 2010

Uploaded on 09/17/2009

koofers-user-sgb
koofers-user-sgb 🇺🇸

8 documents

1 / 1

Toggle sidebar

This page cannot be seen from the preview

Don't miss anything!

bg1
Math 711, Fall 2005 Problem Set #5
Due: Thursday, December 22
1. Let Rbe Noetherian and let Gbe a finitely generated module that is locally free.
Suppose that Spec (R) is connected. Prove that the rank of GPover RPdoes not depend
on the prime P.
2. Let Rbe a semilocal Noetherian ring and Ga finitely generated module such that for
every maximal ideal mof R,Gmis free of rank r. Prove that Gis free of rank r.
(The results of 1. and 2. were assumed in the discussion of the trace of an endomorphism
of a module of finite projective dimension.)
3. Let Rbe a Cohen-Macaulay local ring of dimension dthat is a homomorphic image of a
complete regular local ring of dimension n. Let Ebe the injective hull of the residue class
field. Let ω= Extnd
S(R, S), which is a finitely generated R-module. Consider the full
subcategory Cof R-modules whose objects are the finitely generated R-modules of finite
injective dimension. Are the functors HomR(ω , ) and Extd
R(E, ) isomorphic on C?
4. Let cbe a nonzero element of R. Let I#denote the tight closure of the ideal Iwith
respect to the family {cR}. Show that it is possible that (I#)#contains I#strictly.
5. Show that the canonical element of a local ring (R, m, K) of Krull dimenson dmay be
viewed as an element of TorR
dHd
m(R), K.

Partial preview of the text

Download Problem Set 5 for Math 711, Fall 2005 - Prof. Melvin Hochster and more Assignments Algebra in PDF only on Docsity!

Math 711, Fall 2005 Problem Set # Due: Thursday, December 22

  1. Let R be Noetherian and let G be a finitely generated module that is locally free. Suppose that Spec (R) is connected. Prove that the rank of GP over RP does not depend on the prime P.
  2. Let R be a semilocal Noetherian ring and G a finitely generated module such that for every maximal ideal m of R, Gm is free of rank r. Prove that G is free of rank r.

(The results of 1. and 2. were assumed in the discussion of the trace of an endomorphism of a module of finite projective dimension.)

  1. Let R be a Cohen-Macaulay local ring of dimension d that is a homomorphic image of a complete regular local ring of dimension n. Let E be the injective hull of the residue class field. Let ω = ExtnS− d(R, S), which is a finitely generated R-module. Consider the full subcategory C of R-modules whose objects are the finitely generated R-modules of finite injective dimension. Are the functors HomR(ω, ) and ExtdR(E, ) isomorphic on C?
  2. Let c be a nonzero element of R. Let I#^ denote the tight closure of the ideal I with respect to the family {cR}. Show that it is possible that (I#)#^ contains I#^ strictly.
  3. Show that the canonical element of a local ring (R, m, K) of Krull dimenson d may be viewed as an element of TorRd

Hmd(R), K