Định lý Ax–Grothendieck

Trong toán học, định lý Ax-Grothendieck là một kết quả về tính đơn ánh và tính toàn ánh của các đa thức, chứng minh độc lập bởi James Axe và Alexander Grothendieck. Định lý thường được phát biểu trong trường hợp đặc biệt sau: Nếu P là hàm đa thức đơn ánh từ không gian vectơ phức n chiều vào chính nó thì P là song ánh.