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

Auslander-Buchsbaum-Hochster theoremCayley determinant of a complexcomplexesexterior algebrafinite free resolutiong.c.d. domaingradeHilbert-Burch theoremhomological definition of gradeinterior productKoszul complexlatent regular elementlocal-global principleMcCoy's theoremminimal prime idealsmultiplicative structureRees's theoremregular elementregular idealshort exact sequencestable matrixufd domainVasconselos' theorem

Mathematics Subject Classification ID

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

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

• A course in constructive algebra
• A logical approach to abstract algebra
• scientific article; zbMATH DE number 3513932 (Why is no real title available?)
• 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
• Free resolutions of Artinian compressed algebras
• An elementary proof of Wiebe's theorem
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
• A remark on the structure maps for finite free resolutions.
• The buchsbaum-eisenbud structure theorems and alternating syzygies
• Revisiting Zariski main theorem from a constructive point of view
• A Prüfer ring

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)