可逆多项式映射

一个 多项式映射 , 其中 在一个 域 中被称为可逆的，如果存在 使得 对于 成立，从而 (Becker and Weispfenning 1993, p. 330)。Gröbner 基 提供了一种方法来判断对于给定的 ， 是否可逆。