In algebra, Nagata's conjecture states that Nagata's automorphism of the polynomial ring k[x,y,z] is wild. The conjecture was proposed by and proved by .
Nagata's automorphism is given by
where .
For the inverse, let Then and . With this and .