Abstract:
The property of a generating set of a polynomial ideal or of an ideal of a free associative algebra over a commutative ring to be its Gröbner basis is kept by a flat (but not any) extension of the ground ring. The converse is proved in the broader context of standard bases for filtered modules.