MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top


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,

share|cite|improve this question
Have you looked at Greuel, Pfister, A Singular Introduction to Commutative Algebra? I think it contains a few sections on power series. – Michael Bächtold Dec 31 '12 at 9:48
up vote 1 down vote accepted

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

The main result is that they can be computed, if the ideal is generated by polynomials. This is the basis for computations in local analytic geometry. The theory of standard bases in power series rings goes back to Hironaka (cf. [123]) and Grauert (cf. [98]).

The references are:

  • Hironaka, H.: Resolution of Singularities of an Algebraic Variety over a Field of Characteristic Zero. Ann. of Math. 79, 109–326 (1964).
  • Grauert, H.: Über die Deformation isolierter Singularitäten analytischer Mengen. Invent. Math. 15, 171–198 (1972).
share|cite|improve this answer

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.

share|cite|improve this answer

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).

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.