Gröbner bases and normal forms in a subring of the power series ring on countably many variables

DOI10.1006/JSCO.1997.0178MaRDI QIDQ1264448zbMATH OpenOpenAlexFDO

Authors J. E. Snellman

Publication date 24 January 2000

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

Full work available at URL https://semanticscholar.org/paper/4ec2cf334926e14289fc3704c96f0b0e195e90a6

zbMATH Keywords

admissible term ordergeneric formsGröbner baseshomogeneous elementspower 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) Symbolic computation and algebraic computation (68W30)

Review text

Let \(K\) be a field and let \(R=Kx_1,x_2,x_3,\dots\) be the ring of power series in countably many variables, with coefficients in \(K\). Denote by \(R'\) the smallest \(K\)-subalgebra of \(R\) that contains all homogeneous elements. The ring \(R'\) is of interest also because it allows a generalization of the notion of generic form in the polynomial ring \(K[x_1,\dots,x_n]\). Ideals generated by generic forms have been the focus of much study, and the investigation of their initial ideals leds to the study of Gröbner bases theory of the ring \(R'\), that is the topic of this paper. The author generalizes the notion of admissible term order to this context and defines the leading power product of an element of \(R'\), and thus the initial ideal \(\text{gr}(I)\) of an arbitrary ideal \(I\subset R'\). It turns out that if \(I\) is locally finitely generated, then \(\text{gr}(I)\) is also locally finitely generated; this implies that \(I\) has a finite truncated Gröbner basis up to any total degree. An example is given of a finitely generated homogeneous ideal which has a non-finitely generated initial ideal with respect to the lexicographic order.

Recommendations

• scientific article; zbMATH DE number 1176576
• Analogs of Groebner bases in a polynomial ring with countably infinite indeterminates
• scientific article; zbMATH DE number 1508420

Cited in

(10)

• Finitary bases and formal generating functions
• Universal lex ideal approximations of extended Hilbert functions and Hamilton numbers
• Big polynomial rings and Stillman's conjecture
• Solving Extended Ideal Membership Problems in Rings of Convergent Power Series via Gröbner Bases
• scientific article; zbMATH DE number 1292550 (Why is no real title available?)
• scientific article; zbMATH DE number 1163444 (Why is no real title available?)
• scientific article; zbMATH DE number 1176576 (Why is no real title available?)
• scientific article; zbMATH DE number 1508420 (Why is no real title available?)
• Stillman’s conjecture via generic initial ideals
• Dynamical Gröbner bases for the polynomial ring with countably infinite variables

This page was built for publication: Gröbner bases and normal forms in a subring of the power series ring on countably many variables

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