Holonomic modules and 1-generation in the Jacobian conjecture (Q6607440)

The author proves that the \(A\)-module \(^{\sigma}P_n\) is cyclic for all Jacobian maps \(\sigma\) and the \(A_n\)-module \(^{\sigma}P_n\) is holonomic. In addition, he also finds upper bound for the length of the \(A_n\)-module \(^{\sigma}P_n\) in terms of the degree of the Jacobian map \(\sigma\). Finally, the author gives an algebraic proof of the equivalence of the Jacobian and the Poisson conjectures.