A Strong Abhyankar-Moh Theorem and Criterion of Embedded Line

Abstract

The condition of plane polynomial curve to be a line in well-known Abhyankar-Moh Theorem is replaced by weaker ones. A criterion of embedded line is obtained from this strong theorem: Two polynomials can generate the entire polynomial ring iff their derivatives can be generated.