Timeline for Formal power series over a henselian ring
Current License: CC BY-SA 3.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 23, 2014 at 14:15 | history | edited | Francesco Polizzi | CC BY-SA 3.0 |
added 1 character in body
|
| Feb 19, 2013 at 8:53 | history | edited | Francesco Polizzi | CC BY-SA 3.0 |
added 195 characters in body
|
| Feb 19, 2013 at 1:01 | vote | accept | kiseki | ||
| Feb 18, 2013 at 14:46 | comment | added | Laurent Moret-Bailly |
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.
|
|
| Feb 18, 2013 at 14:24 | history | edited | Francesco Polizzi | CC BY-SA 3.0 |
added 1 characters in body
|
| Feb 18, 2013 at 13:56 | history | answered | Francesco Polizzi | CC BY-SA 3.0 |