Constructive finite free resolutions

DOI10.1007/S00229-011-0466-5MaRDI QIDQ663308zbMATH OpenOpenAlexFDO

Authors Thierry Coquand, Claude Quitté

Publication date 14 February 2012

Published in Manuscripta Mathematica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00229-011-0466-5

zbMATH Keywords

gradelocal-global principleexterior algebraKoszul complexshort exact sequencecomplexesminimal prime idealsregular elementstable matrixRees's theoremregular idealAuslander-Buchsbaum-Hochster theoremCayley determinant of a complexfinite free resolutiong.c.d. domainHilbert-Burch theoremhomological definition of gradeinterior productlatent regular elementMcCoy's theoremmultiplicative structureufd domainVasconselos' theorem

Mathematics Subject Classification ID

Syzygies, resolutions, complexes and commutative rings (13D02) Homological algebra in category theory, derived categories and functors (18G99) Homological methods in commutative ring theory (13D99)

Recommendations

• scientific article; zbMATH DE number 3950668
• On depth one prime divisors of zero
• Non-splitting of prime divisors
• On weak resolutions
• Commutative algebra
• scientific article; zbMATH DE number 4055744
• Castenuovo bounds for certain subvarieties in \({\mathbb{P}}^ n\)
• Powers of simple complete ideals in two-dimensional regular local rings
• scientific article; zbMATH DE number 4038021
• Cores of ideals in 2-dimensional regular local rings

Cites work

• scientific article; zbMATH DE number 3513932 (Why is no real title available?)
• A course in constructive algebra
• A logical approach to abstract algebra
• On the Buchsbaum-Eisenbud theory of finite free resolutions.
• Some structure theorems for finite free resolutions
• What makes a complex exact?

Cited in

(8)

• Free resolutions of simplicial posets
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
• Free resolutions of Artinian compressed algebras
• Revisiting Zariski main theorem from a constructive point of view
• The buchsbaum-eisenbud structure theorems and alternating syzygies
• A Prüfer ring
• A remark on the structure maps for finite free resolutions.
• An elementary proof of Wiebe's theorem

This page was built for publication: Constructive finite free resolutions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q663308)