Nagata's conjecture
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 . References

Field (mathematics)
Theorems in algebra