On The Jacobian Conjecture and Some Comments about its Generalizations

We settle the following faded problem: The Jacobian Conjecture $(JC_n)$: If $f_1, \cdots, f_n$ are elements in a polynomial ring $k[X_1, \cdots, X_n]$ over a field $k$ of characteristic $0$ such that $ \det(\partial f_i/ \partial X_j) $ is a nonzero constant, then $k[f_1, \cdots, f_n] = k[X_1, \cdots, X_n]$. For this purpose, we generalize it to the following form: The Generalized Jacobian Conjecture $(GJC)$: Let $S \hookrightarrow T$ be an unramified homomorphism of Noetherian domains with $T^\times = S^\times$. Assume that $S$ is normal and simply connected. Then $S = T$. We settle Conjecture $(GJC)$, which resolves $(JC_n)$ as a corollary. In addition, for the consistency of our discussion, we raise some serious (or idiot) questions and some comments concerning the examples appeared in the papers published by the certain excellent mathematicians (though we are unwilling to deal with them). Since the existence of such examples would be against our original target Conjecture$(GJC)$, we have to dispute their arguments about the existence of their respective (so called) counter-examples. Our conclusion is that they are not perfect counter-examples as are shown explicitly in {\bf Appendix A}. This appendix may be rather interesting.Comment: I added a comment of an example which a certain mathematician posed a counter-example to Lemma 2.7. But I showed that it is not the cas