Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleGröbner Bases and Normal Forms in a Subring of the Power Series Ring on Countably Many Variables
Author(s) Jan Snellman
TypeArticle in Journal
AbstractIn this paper, we generalize the notion of admissible order from finitely generated sub-monoids of M to M itself; assume that > is such an admissible order on M. We show that we can define leading power products, with respect to >, of elements in R^l, and thus the initial ideal gr(l) of an arbitrary ideal l subset R^l. If l is what we call a locally finitely generated ideal, then we show that l has a finite truncated Groebner basis up to any total degree. We give an example of a finitely generated homogeneous ideal which has a non-finitely generated initail lideal with respect to the lexicographic initial order > ??? on M.
Length14
File
URL dx.doi.org/10.1006/jsco.1997.0178
LanguageEnglish
JournalJournal of Symbolic Computation
Volume25
Number3
Pages315-328
Year1998
MonthMarch
Edition0
Translation No
Refereed No
Webmaster