Let $(A,m)$ be a commutative noetherian local ring such that $m$ is principal, say $m=(t)$. Let $(\hat A,\hat m)$ be its $m$-adic completion. Let $A\subset B\subset\hat A$ be any intermediate subring such that $n=tB$ is a maximal ideal of $B$. 


The question is: Is it true that the localisation $B\_n$ is contained in $\hat A$?


Does this follows simply by considering the isomorphims $\hat A\simeq A[[X]]/(X-t)\simeq A[[t]]$? This would imply that an element $g\in B\setminus n$ is a unit in $\hat A$. Am I right? 


Thanks in advance!



Completion and localisation on noetherian rings
I think the following more general is true, that answers your question affirmatively: 



> 
> Let $A$ be a comm. local ring, $B \le A$ a subring and let $n \trianglelefteq B$ be a maximal ideal such that $An$ is the maximal ideal of $A$. Then each element in $B \setminus n$ is a unit in $A$. In particular, $B\_n \le A$. 
> 
> 
> 


Proof: First note that $B \cap An \supseteq n$ is an ideal in $B$ and since $n$ is maximal, $n = B \cap An\;$ (this step doesn't use that $A$ is local). 


Now let $x \in B \setminus n$ and assume $x$ is not a unit in $A$. Since $A$ is local, the unit group is $A \setminus An$. Thus, $ x \in An$, i.e. $x \in B \cap An = n$, contradicting $x \notin n$. q.e.d. 


In your example we have $n = Bt$ and $\hat{m} = \hat{A}t = \hat{A}n$. So the above applies. 


