アックス–グロタンディークの定理

3行要約

1. 複素数体上の多項式写像が単射であれば、それは全射でもあるという代数幾何学の定理。
2. 有限集合の写像に関する性質が、特定の代数多様体でも成立することを示した。
3. モデル理論の手法を用いて証明された、数学の異なる分野を繋ぐ例として有名である。