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

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.