可逆多項式對映

一個 多項式對映 , 其中 在一個 域 中被稱為可逆的，如果存在 使得 對於 成立，從而 (Becker and Weispfenning 1993, p. 330)。Gröbner 基 提供了一種方法來判斷對於給定的 ， 是否可逆。