2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/72120The Automorphism Theorem, discovered first by Jung in 1942, asserts that if $k$ is a field, then every polynomial automorphism of $k^2$ is a finite product of linear automorphisms and automorphisms of the form $(x,y)\mapsto(x+p(y), y) $ for $p\in k[y]$. We present here a simple proof for the case $k=\C$ by using Newton-Puiseux expansions.Algebraic GeometryCommutative Algebra14RA Simple Proof of Jung's Theorem on Polynomial Automorphisms of $\C^2$text