Let $k$ be a field and $A = k[[x_1, \dots, x_n ]]$ be the ring of formal series in $n$ variables. Consider $g_1, \dots, g_m \in A$ such that $g_1(0) = \cdots = g_m(0) = 0$. For every $f \in k[[t_1, \dots, t_m]]$ we can consider the formal series $f(g_1, \dots, g_m) \in A$ because the $g_i$'s have no constant term. Now consider the subring $B$ of $A$ made up of series of the form $f(g_1, \dots, g_m)$ as $f$ varies in $k[[t_1, \dots,t_m]]$. It is clear that $B$ is a noetherian local domain with $\dim B \leq m$.
(1) What are the main properties of the ring extension $B \subseteq A$? When is $A$ flat over $B$?
(2) After reading Problem 3 at page 115 of Milnor's Singular points of complex hypersurfaces, I have made the following conjecture that is an algebraization of the book's problem.
Conjecture. If $m = n$ and $\sqrt{A g_1 + \cdots + A g_n } = A x_1 + \cdots + A x_n$, then $A$ is a finite free $B$-module of rank $\mu$ and $\dim_k A/(g_1, \dots, g_n) = \mu$.
May someone prove or disprove this conjecture or tell me a good reference for complete noetherian rings?