5
$\begingroup$

I am looking for a reference for the following generalization of the Weierstrass preparation theorem for formal power series. Suppose that $A$ is a noetherian complete local ring with residue field $k$, and let $f_1, \dots, f_n$ be non-invertible elements of the ring $A[[x_1, \dots, x_n]]$. Assume that the ring $k[[x_1, \dots, x_n]]/(g_1, \dots, g_n)$ is finite over $k$, where $g_i$ is the image of $f_i$ in $k[[x_1, \dots, x_n]]$. There is a unique continuous homomorphism of $A$-algebras $A[[y_1, \dots, y_n]] \to A[[x_1, \dots, x_n]]$ sending $y_i$ into $f_i$. Then $A[[x_1, \dots, x_n]]$ is a finite free $A[[y_1, \dots, y_n]]$-module.

Notice that I am not looking for a proof, I have one. I assume that this result must be known, but it is not in any of the sources I am familiar with.

$\endgroup$
2
  • $\begingroup$ You don't mention what sources you have looked at. Have you checked books on rigid analytic geometry? For example, there is a discussion of the Weierstrass Preparation Theorem in Non-Archimedean Analysis by Bosch, Guntzer, Remmert. I don't have the book in front of me to check if their treatment easily covers the generalization you mention. $\endgroup$
    – KConrad
    Mar 20, 2011 at 22:59
  • $\begingroup$ Dear Keith, thanks. I have not looked in books on rigid analytic geometry, because this subject is outside of my radar screen, but I will. $\endgroup$
    – Angelo
    Mar 21, 2011 at 8:20

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Browse other questions tagged or ask your own question.