Abstract
is a minimal free resolution of R/Z, then type(Z) = rank(F,,). In this paper, we prove a structure theorem for a certain class of grade 3, type 2, perfect ideals in a noetherian local ring R. If Z is such an ideal, the structure theorem consists of an explicit minimal free resolution for R/Z and hence, a minimal set of generators for I. We employ a numerical invariant of an ideal Z in a noetherian local ring R to describe the class completely. Let (IF, D) be a minimal free resolution of R/Z. Let C= Im(D,) and let K be the submodule of C which is generated by the Koszul relations on the entries of D,. Note that if Z is minimally generated by r, ,..., rn and {e, ,..., e,,} is a basis of F,, then K is the module generated by the set {r,ei + riej: 1 d i < j< n}. Define
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.