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