体と正整数に対して、写像が多項式写像であるとは、が存在してが成り立つときにいいます。この記事ではTaoの記事とそのコメント欄を参考に次の定理のSerreの議論に基づいた証明を解説します。定理(Ax, Grothendieck) 多項式写像が単射であれば全射である。Hi…