Ax–Grothendieck theorem
In mathematics, the Ax–Grothendieck theorem is a result about injectivity and surjectivity of polynomials that was proved independently by James Ax and Alexander Grothendieck. The theorem is often given as this special case: If P {\displaystyle P} is an injective polynomial function from an n {\displaystyle n} -dimensional complex vector space to itself then P {\displaystyle P} is bijective.