On the Computation of Minimal Free Resolutions with Integer Coefficients

  • Soda DiopEmail author
  • Guy Mobouale Wamba
  • Andre Saint Eudes Mialebama Bouesso
  • Djiby Sow
Conference paper
Part of the Communications in Computer and Information Science book series (CCIS, volume 1133)


Let \(I=\langle f_1,\ldots ,f_s\rangle \) be an ideal of \(R=\mathbb {Z}[x_1,\ldots ,x_n]\). We introduce in this paper the concept of \(\mathbb {Z}-\)ideal \(\mathbb {Z}(I)\) of I which is a proper ideal of R and we propose a technique for computing a weak Gröbner basis for \(\mathbb {Z}(I)\). This result is central and leads to the computation of a minimal free resolution for \(\mathbb {Z}(I)\) as an \(R-\)module.


Special Gröbner bases Weak Gröbner bases Syzygies and free resolution 

2010 Mathematics subject classification:

13P10 13C10 3P25 

Supplementary material


  1. 1.
    Adams, W.W., Laustaunau, P.: An introduction to Gröbner bases. Graduate studies in Mathematics, vol. 3, American Mathematical Society, Providence, RI (1994)zbMATHGoogle Scholar
  2. 2.
    Berkesch, C., Schreyer, F.-O.: Syzygies, finite length modules, and random curves. arXiv. 1403.0581 (2014)
  3. 3.
    Erocal, B., Motsak, O., Schreyer, F.-O., Steenpass, A.: Refined Algorithms to Compute Syzygies. arxiv:1502.01654v2 [math.AC] (2016)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Greuel, G.-M., Pfister, G.: A Singular Introduction to Commutative Algebra, 2nd edn. Springer, Heidelberg (2008). Scholar
  5. 5.
    Popescu, A.: Signature standard bases over principal ideal rings. Ph.D. thesis, Kaiserslautern University (2016)Google Scholar
  6. 6.
    Schreyer, F.-O.: A standard basis approach to syzygies of canonical curves. J. Reine Angew. Math. 421, 83–123 (1991)MathSciNetzbMATHGoogle Scholar
  7. 7.
    Schreyer, F.-O.: Die Berechnung von Syzygien mit dem verallgemeinerten weierstrasschen divisionssatz. Diplomarbeit, Hamburg (1980) Google Scholar
  8. 8.
    Yengui, I.: Dynamical Gröbner bases. J. Algebra 301, 447–458 (2006)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Yengui, I.: Corrigendum to “Dynamical Gröbner bases” [J. Algebra 301 (2) (2006) pp. 447–458] & to “Dynamical Gröbner bases over Dedekind rings” [J. Algebra 324 (1) (2010) pp. 12–24]. J. Algebra 339, pp. 370–375 (2011)Google Scholar
  10. 10.
    Yengui, I.: Constructive commutative algebra: projective module over polynomial rings and dynamical Gröbner bases. Scholar
  11. 11.
    Wienand, O.: Algorithm for symbolic computation and their applications: standard bases over rings and rank tests in statistics. Ph.D. thesis, Kaiserslautern University (2011)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2019

Authors and Affiliations

  • Soda Diop
    • 1
    Email author
  • Guy Mobouale Wamba
    • 2
  • Andre Saint Eudes Mialebama Bouesso
    • 2
  • Djiby Sow
    • 1
  1. 1.Faculté des Sciences et Techniques, Département de Mathématiques et InformatiqueUniversité Cheikh Anta DiopDakar FannSenegal
  2. 2.Faculte des Sciences et TechniquesUniversite Marien NgouabiBrazzavilleCongo

Personalised recommendations