Nagata's conjecture
In algebra, Nagata's conjecture states that Nagata's automorphism of the polynomial ring k 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.