Let $A$ be a local artinian ring with residue field $k$, $S$ a $k$-algebra. Suppose there is a formally etale deformation $B$ of $S$ over $A$, i.e. a flat $A$-algebra $B$ such that $S\cong B\otimes_Ak$ whose structural morphism $A\to B$ is formally etale.
Question 1: Does it follow that every (flat) deformation $B'/A$ of $S/k$ is isomorphic to $B/A$?
In fact my question originates from the following lemma in a paper of Kato:
Lemma (=Lemma 1 of K. Kato, A generalization of local class field theory by using K-groups III): Let $R=A/I$ be the quotient of a ring $A$ by a nilpotent ideal and assume $R$ has prime characteristic $p$. Let $S$ be an $R$-algebra such that the Frobenius of $S$ ($x\mapsto x^p$) coincides with the base change of the Frobenius of $R$.
Then there exists a formally etale $A$-algebra $B$ such that $S\cong B\otimes_AR$. If $S$ is flat over $R$, then $B$ is characterized by the properties that it is flat over $A$ and $S\cong B\otimes_AR$.
In Kato's paper the algebra $B$ is constructed explicitly and is shown to be flat over $A$ in case $S$ is flat over $R$. But it does not seem to be proven that in the flat case being a flat deformation characterizes $B$.
So the question I really want to understand is:
Question 2: In the above lemma of Kato, when $S$ is flat over $R$ and $B'$ is a flat $A$-algebra such that $B'\otimes_AR\cong S$, why $B\cong B'$?
I'll be content with the case where $A$ is the quotient of a DVR by a power of the maximal ideal and $R$ is the residue field.
