Surjective polynomial maps, and a remark on the Jacobian problem (Q750551)

The authors prove the following theorem: ``If R is an affine domain (a domain that is either finitely generated as a ring, or finitely generated as an algebra over a subfield) but not a field, and if f: \(R^ m\to R^ m\) is a surjective polynomial map over R, then f is bijective, and its inverse is also a polynomial map over R.''