Analogs of Gröbner bases in polynomial rings over a ring

DOI10.1006/JSCO.1996.0006zbMATH Open0867.13007arXivmath/9411209OpenAlexW1993083009MaRDI QIDQ1918500FDOQ1918500

J. Lyn Miller

Publication date: 22 August 1996

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Abstract: In this paper we will define analogs of Gr"obner bases for $R$-subalgebras and their ideals in a polynomial ring $R[x_1,ldots,x_n]$ where $R$ is a noetherian integral domain with multiplicative identity and in which we can determine ideal membership and compute syzygies. The main goal is to present and verify algorithms for constructing these Gr"obner basis counterparts. As an application, we will produce a method for computing generators for the first syzygy module of a subset of an $R$-subalgebra of $R[x_1,ldots,x_n]$ where each coordinate of each syzygy must be an element of the subalgebra.

Full work available at URL: https://arxiv.org/abs/math/9411209

zbMATH Keywords

subalgebrasSAGBI-basesSAGBI-Gröbner basis

Mathematics Subject Classification ID

Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Cited In (20)

• Saturations of subalgebras, SAGBI bases, and U-invariants
• Invariant \(\mathrm G^2\mathrm V\) algorithm for computing SAGBI-Gröbner bases
• Using symmetries in the eigenvalue method for polynomial systems
• \(\mathrm{F}_4\)-invariant algorithm for computing SAGBI-Gröbner bases
• \texttt{SubalgebraBases} in Macaulay2
• Standard Gröbner-Shirshov Bases of Free Algebras Over Rings, I
• Title not available (Why is that?)
• Computing modular invariants of \(p\)-groups.
• On the degrees of bases of free modules over a polynomial ring
• An integrality theorem of Grosshans over arbitrary base ring
• Using SAGBI bases to compute invariants
• Applications of SAGBI-bases in dynamics
• Relating rewriting techniques on monoids and rings: congruences on monoids and ideals in monoid rings
• An algorithm to compute the H-bases for ideals of subalgebras
• Effective generic freeness and applications to local cohomology
• The \(\lambda \)-Gröbner bases under polynomial composition
• Standard bases for local rings of branches and their modules of differentials
• Visualizing properties of comprehensive SAGBI bases. -- Two examples
• Standard bases for modules over polynomial subalgebras
• An extension of Gröbner basis theory to indexed polynomials without eliminations

This page was built for publication: Analogs of Gröbner bases in polynomial rings over a ring

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1918500)