Constructive finite free resolutions

DOI10.1007/S00229-011-0466-5zbMATH Open1239.13022OpenAlexW2090562956MaRDI QIDQ663308FDOQ663308

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

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

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)

Cites Work

• A course in constructive algebra
• A logical approach to abstract algebra
• What makes a complex exact?
• Title not available (Why is that?)
• Some structure theorems for finite free resolutions
• On the Buchsbaum-Eisenbud theory of finite free resolutions.

Cited In (8)

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

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)