Standard bases in power series rings: Uniqueness and superfluous critical pairs

DOI10.1006/JSCO.1993.1018MaRDI QIDQ2368064zbMATH OpenOpenAlexFDO

Authors T. M. Becker

Publication date 22 August 1993

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

Full work available at URL https://doi.org/10.1006/jsco.1993.1018

zbMATH Keywords

Gröbner basisstandard basis in a power series ring

Mathematics Subject Classification ID

Formal power series rings (13F25) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Review text

A standard basis in a power series ring is the analogon of a Gröbner basis in a polynomial ring. The author first defines reduced standard bases and proves their existence and uniqueness. Then he proves two theorems which correspond to the two Buchberger criteria for detecting superfluous critical pairs in Gröbner basis computations.

Recommendations

• Stability and Buchberger criterion for standard bases in power series rings
• Standard bases and some computations in rings of power series
• Standard bases in mixed power series and polynomial rings over rings
• scientific article; zbMATH DE number 4004331
• Reduction Mod p of Standard Bases

Cited in

(8)

• Standard bases for local rings of branches and their modules of differentials
• Algebraic approximation of Cohen-Macaulay algebras
• Standard bases in mixed power series and polynomial rings over rings
• Finite determinacy and approximation of flat maps
• Reduction Mod p of Standard Bases
• Equisingular algebraic approximation of real and complex analytic germs
• Formal groups, supersingular abelian varieties and tame ramification
• Stability and Buchberger criterion for standard bases in power series rings

This page was built for publication: Standard bases in power series rings: Uniqueness and superfluous critical pairs

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