Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $R$ be a henselian ring. Is $R[[x]]$ also a henselian ring?

share|improve this question
3  
Dear kiseki, you should consider accepting answers you find helpful. –  Qing Liu Feb 18 '13 at 16:29

1 Answer 1

up vote 9 down vote accepted

Yes, it is. More generally, the following result holds.

Proposition. If $R$ is henselian at the maximal ideal $\mathfrak{m}$, then $R[[x_1, \ldots, x_n]]$ is henselian at the maximal ideal lying over $\mathfrak{m}$.

See N. Sankharan, A Theorem on Henselian Rings, Canad. Math. Bull. 11 275-277 (1968), in particular Corollary 2.

Remark. The Proposition above is no longer valid if one takes the polynomial ring instead of the power series ring. For instance, if $K$ is a field than $K$ is henselian but $K[x]$ is not.

share|improve this answer
6  
More generally: if $A$ is a local ring and $I$ an ideal such that $A$ is $I$-adically complete and separated, then $A$ is henselian if (and only if!) $A/I$ is henselian. This is easy by observing that each $A_n:=A/I^n$ is henselian (because $A_{n,\mathrm{red}}$ is) and then inductively lifting roots to $A$. See Raynaud, LNM 169, I, §2 where this result is given as an exercise. –  Laurent Moret-Bailly Feb 18 '13 at 14:46

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.