On $A$ algebra homomorphisms $A[[X_1,...,X_n]]\to Q(A)$, where $A$ is a complete DVR Let $(A,\mathfrak m)$ be a complete Discrete Valuation Ring (complete w.r.t. the $\mathfrak m $-adic topology) with fraction field $K$. Let $\phi : A[[X_1,...,X_n]]\to K$ be an $A$-algebra homomorphism. 
Then is it true that $\phi(X_i) \in \mathfrak m, \forall i=1,...,n$ ? 
 A: Let $\pi$ be a uniformizer of $A$. Suppose $\phi(X_{i}) = u/\pi^{m}$ for some $u \in A^{\times}$ and $m \ge 0$. Then $\pi^{m}X_{i}-u$ is a unit of $A[[X_{1},\dotsc,X_{n}]]$ that gets mapped to $0$ in $K$, contradiction.
A: This is true. More generally, for any finite extension $K^\prime$ of $K$, any $A$-algebra map $A[[X_1,\ldots,X_n]]\to K^\prime$ has image in the valuation ring $A^\prime$ of $K^\prime$, and the induced map $A[[X_1,\ldots,X_n]]\to A^\prime$ is local (i.e., the $X_i$ are sent to elements of the maximal ideal of $A^\prime$). 
To prove this, first note that $A$-algebra maps $A[[X_1,\ldots,X_n]]\to K^\prime$ are in natural bijection with $A^\prime$-algebra maps 
$$A^\prime[[X_1,\ldots,X_n]]=A^\prime\otimes_AA[[X_1,\ldots,X_n]]\to K^\prime,$$
where the first identification is valid because $A^\prime$ is a finite free $A$-module (the analogous identity with $K^\prime$ in place of $A^\prime$ is not valid for $n\geq 1$). So we may assume $K=K^\prime$ (hence also $A=A^\prime$), and consider an $A$-algebra map $A[[X_1,\ldots,X_n]]\to K$. If we can show that this map necessarily sends each $X_i$ to an element in the maximal ideal $\mathfrak{m}$ of $A$, then completeness of $A$ can be used to deduce that the image of the map is contained in $A$, so it is enough to verify the former claim. Moreover, this claim holds if and only if the analogous claim holds for the $n$ compositions 
$$A[[X_i]]\hookrightarrow A[[X_1,\ldots,X_n]]\to K,$$
(here $1\leq i\leq n$). Thus we may also assume that $n=1$, in which case we can apply the structure theory of the $2$-dimensional regular local ring $A[[X_1]]$ (especially the Weierstrass Preparation Theorem). The kernel of $A[[X_1]]\to K$ must be nonzero because $K\otimes_AA[[X_1]]$ is an infinite-dimensional $K$-vector space. Therefore the kernel contains a height one prime ideal, and any such ideal is generated by a "distinguished polynomial" $f\in A[X_1]$ (this is a monic polynomial of positive degree whose lower-degree coefficients lie in $\mathfrak{m}$). The division algorithm for $A[[X_1]]$ shows that for such an $f$, the natural map $A[X_1]/(f)\hookrightarrow A[[X_1]]/(f)$ is an isomorphism, so the map in question can be thought of as an $A$-algebra map $A[X_1]/(f)\to K$. Thus the image $a_1$ of $X_1$ in $K$ is a root of $f$. Because $f$ is monic and $A$ is integrally closed, we must have $a_1\in A$, and since the lower-degree coefficients of $f$ are in $\mathfrak{m}$, we may conclude that $a_1$ is as well.
