Higher derivations, normal flatness, and analytic products (Q1075378)

Theorem 1: Let A be a Noetherian ring and let I be a proper ideal of A. Suppose I is maximally differential under a set of higher derivations of A. Then A is normally flat along I. Theorem 2. Let A be a complete Hausdorff local ring with maximal ideal m. Suppose there exists a higher derivation D of A such that m is not D- differential. Then: \((1)\quad There\) exists a simple, finite, flat, local ring extension B of A such that B is a power series ring in one variable over a subring \(B_{\emptyset}\). \((2)\quad If\) n is the smallest positive integer such that \(D_ n(m)\not\subset m\) then we may choose B to be of rank n over A. In particular, if \(n=1\), then we may choose \(B=A\). \((3)\quad With\) n as in (2), suppose x is an element of m such that \(D_ n(x)\not\in m\). Then we may choose \(B_{\emptyset}\) to be isomorphic to A/Ax. \((4)\quad If\) \(n=1\) in (3), then there exists a subring \(A_{\emptyset}\) of A such that x is analytically independent over \(A_{\emptyset}\) and \(A=A_{\emptyset}[[x]]\).