Abstract

Let k(X) ≔ Quot(k[x1,…, xn]/I(X)) be the field of rational functions of an irreducible affine variety X. The decomposition f = g o h of a rational mapping f ∈ k(X)m is defined in terms of subfields of k(X). Taking a decomposition g o h of f for a strategy to solve equations of the form f(x) = α in several steps the definition is extended to the “inverse” mappings f-1 : α → f-1(α).

To compute the “inner part” h of a decomposition g o h intermediate fields of k(f) and k(X) have to be found; e.g., for k(X)/k(f) separable algebraic the coefficients of suitable Gröbner bases can be used for performing this task. To compute the “outer part” g a solution to the field membership problem for subfields of k(X) by means of Gröbner basis techniques is suggested which does not make use of tag variables. Finally “monomial decompositions” are considered; in this case the required Gröbner basis computations can be performed efficiently.