Hello,
Could you help me with a reference to elementary properties of Groebner bases in rings of formal power series over a field? I am especially interested in generic initial ideals.
Thank you in advance,
Serge
Hello, Could you help me with a reference to elementary properties of Groebner bases in rings of formal power series over a field? I am especially interested in generic initial ideals. Thank you in advance, 


To expand on Michael's comment, the Greuel, Pfister book Section 6.4 is about standard bases in formal power series rings. Quoting,
The references are:



The only place where I think I read about Groebner bases for power series was "Coherent Analytic Sheaves" by Grauert and Remmert, but I don't think they got this far. 


There is also a nice treatment of standard bases in the ring of convergent power series in the book of De Jong and Pfister "Local analytic geometry: Basic theory and applications" (it's chapter 7). 

