On The (De)Homogenization of Sagbi-Gröbner Bases for Modules

Nazish Kanwal; Junaid Alam Khan

doi:10.2478/auom-2026-0008

.blurhash-client-img { display: none !important; }

On The (De)Homogenization of Sagbi-Gröbner Bases for Modules

Analele ştiinţifice ale Universităţii "Ovidius" Constanţa. Seria Matematică

Volume 34 (2026): Issue 1 (May 2026)

By: Nazish Kanwal and Junaid Alam Khan

Open Access

|May 2026

Abstract

This article explores the behavior of Sagbi-Gröbner bases for modules over polynomial subalgebras under the process of homogenization and dehomogenization. We prove that the Sagbi-Gröbner basis for submodules over subalgebras behaves well in these processes, as the property of being a Sagbi-Gröbner basis is preserved under homogenization and dehomogenization.

References

B. Buchberger, An Algorithm for finding the Bases of the Residue Class Ring Modulo a Zero Dimensional Polynomial Ideal. PhD thesis, Universitat Innsbruck, Austria, 1965.
Search in Google Scholar Back to article
B. Buchberger, Gröbner Bases: An Algorithmic method in Polynomial Ideal Theory. In N.K.Bose, ed, Recent Trends in Multidimensional System Theory, Chapter 6. Dordrecht, Holland: D. Riedel, pp. 184-232, 1985.
Search in Google Scholar Back to article
Charles C. Hanna & Jon L. Johnson, Homogenization and dimension in -graded rings, Communications in Algebra, Vol 12 (3), P P: 259-269, 1984.
Search in Google Scholar Back to article
G-M Greuel, G. Pfister, A SINGULAR Introduction to Commutative Algebra, Springer, second edition, 2008.
Search in Google Scholar Back to article
H. Li, Note on (De)homogenize Gröbner Bases. Journal of Algebra, Number Theory: Advances and Applications,volume 1(3), 2010, pp: 35-70.
Search in Google Scholar Back to article
J. A. Khan, On the (De)homogenization of Sagbi Bases. An. Şt. Univ. Ovidius Constant, Vol. 21(2),2013, pp:173-180.
Search in Google Scholar Back to article
J-C. Faugere & S. Rahmany, Solving systems of polynomial equations with symmetries using SAGBI-Gröbner bases, Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC. PP: 151-158, 2009.
Search in Google Scholar Back to article
J. Lyn. Miller, Analogues of Gröbner bases in polynomial rings over a ring, Journal of Symbolic Computation, 11, Pages 1-16, 2008.
Search in Google Scholar Back to article
J. Lyn. Miller, Effective Algorithms for Intrinsically computing SAGBIGröbner bases in polynomial ring over a field. In Gröbner bases and applications (Linz, 1998),251 of London Math. Soc. Lecture Notes Ser., Pages 421-433. Cambridge Univ. Press, Cambridge, 1998.
Search in Google Scholar Back to article
L. Robbiano; & M. Sweedler, Subalgebra Bases. W. Bruns and A. Simis, Lecture Notes in Mathematics Series, Volume 1430, Springer-Verlag Berlin Heidelberg, 42, pp. 61-87, 1988.
Search in Google Scholar Back to article
M. Kreuzer, & L. Robbbiano, Computational Commutative Algebra 1, Springer-Verlag. Berlin Heidelberg, 2000.
Search in Google Scholar Back to article
M. Kreuzer, L. Robbiano, Computational Commutative Algebra 2, Springer-Verlag, 2005.
Search in Google Scholar Back to article
M. Stillman, H. Tsai, Using SAGBI bases to compute invariants, Journal of Pure and Applied Algebra, Vol 139 (1–3), PP: 285-302, 1999.
Search in Google Scholar Back to article
N. Kanwal, N. Jabeen, and J. A. Khan, Standard bases for modules over polynomial subalgebras, Communications in Algebra, Vol 49 (1), PP: 58-72 Taylor & Francis 2021.
Search in Google Scholar Back to article
N. Kanwal and J. A. Khan ”sagbigrob.lib”: A Singular 4-3-0 library to compute Sagbi-Gröbner Basis of an Ideal of a Subalgebra, 2022.
Search in Google Scholar Back to article
N. Kanwal ”stdmodule.lib”: A Singular 4-4-0 library to compute Standard Bases of a submodule of a free module over polynomial subalgebra w.r.t Natural Grading, 2024.
Search in Google Scholar Back to article
Nicolas M. Thiéry, Computing Minimal Generating Sets of Invariant Rings of Permutation Groups with SAGBI-Gröbner Basis, Discrete Models: Combinatorics, Computation, and Geometry, DM-CCG 2001, Paris, France. PP: 315-328, 2001.
Search in Google Scholar Back to article
W. Decker, G-M Greuel, G. Pfister, H, Schönemann. Singular 4-3-0 — A computer algebra system for polynomial computations, 2022.
Search in Google Scholar Back to article
W. W. Adams and P. Loustauneau, An Introduction to Gröbner Bases, American Mathematical Society. Providence, RI. Graduate Studies in Mathematics, Vol. 3, 1994.
Search in Google Scholar Back to article

Articles in this issue

DOI: https://doi.org/10.2478/auom-2026-0008 | Journal eISSN: 1844-0835 | Journal ISSN: 1224-1784

Journal RSS Feed

Language: English

Page range: 151 - 167

Submitted on: May 10, 2025

Accepted on: Oct 15, 2025

Published on: May 15, 2026

Published by: Ovidius University of Constanta

In partnership with: Paradigm Publishing Services

Publication frequency: 3 issues per year

Keywords:

Related subjects:

© 2026 Nazish Kanwal, Junaid Alam Khan, published by Ovidius University of Constanta
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 License.

Volume 34 (2026): Issue 1 (May 2026)