Timeline for A computation of ramification
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 8, 2010 at 17:43 | comment | added | Dror Speiser | On a different level, for any Dedekind domain $R$, with 2 and $\epsilon$ units, $R[\sqrt{\epsilon}]$ is integrally closed. This is clear from the minimal polynomial of $a+b\sqrt{\epsilon}$. Applying this twice we get the specific example. | |
| Aug 8, 2010 at 16:01 | comment | added | H. Hasson | ...and I just found the problem in my roundabout way. Thanks! | |
| Aug 8, 2010 at 15:18 | vote | accept | H. Hasson | ||
| Aug 8, 2010 at 10:39 | comment | added | Qing Liu | It is smooth over $D$ (either directly using Jacobian criterion or because it is étale over $V$ which is smooth over $D$). As $D$ is regular, $U$ is regular, hence integrally closed. | |
| Aug 7, 2010 at 22:36 | comment | added | H. Hasson | Maybe this is a trivial matter, but I don't see why D[y,z, 1/f(y)]/(z^n-f(y)) would be integrally closed. | |
| Aug 7, 2010 at 21:58 | history | answered | Qing Liu | CC BY-SA 2.5 |