Constructive finite free resolutions
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
The authors find interesting ways to simplify a number of results in [\textit{D. G. Northcott}, Finite Free Resolutions. Cambridge Tracts in Mathematics. 71. Cambridge etc.: Cambridge University Press. (1976; Zbl 0328.13010)]. To use the authors' words, these proofs become now elementary in a logical sense in that minimal prime ideals have been replaced by their local-global principle in Lemma 2.3: Let \(J\) and \(I=\langle a_1,\dots,a_m\rangle\) be two finitely generated ideals. If \(I\) is regular (the only element that annihilates each \(a_i\) is 0) and \(J=0\) in each of the localizations \(R[1/a_i]\), then \(J=0\) in \(R\). If \(I\) is regular and \(J\) is regular in each localization \(R[1/a_i]\), then \(J\) is regular. Another idea was to define grade via homology, which enables them to prove directly the Auslander-Buchsbaum-Hochster (Theorem 2, Chapter 6, ibid.) along with a number of results on conditions for exactness of a complex (no localizations at primes are used in these proofs). While acknowledging that relevant Northcott's ideas are still useful in certain situations, the authors strengthen the old results as well as generalize them. They show that the greatest common divisor of elements can be algorithmically computed, based on the fact that if the ideal generated by \(a_1,\dots a_n\) has a finite free resolution, then these elements have a (regular) greatest common divisor.
- 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
- 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)
