Timeline for Nullstellensatz with nilpotents and $I=J(V(I))$
Current License: CC BY-SA 4.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 10, 2022 at 18:31 | comment | added | Emil Jeřábek | I see. That’s peculiar. | |
| Oct 10, 2022 at 17:40 | comment | added | user44143 | The intention is that all infinitesimals are nilpotent, with some squaring to zero, others (like $t_i+t_j$) cubing to zero, etc., but no finite power annihilating all of them. E.g. synthetic differential geometry treats the element of area as the product of two infinitesimals, so that shouldn’t vanish. | |
| Oct 10, 2022 at 17:26 | comment | added | Emil Jeřábek | If the intention is that all infinitesimals square to $0$, shouldn’t the ideal in the definition of $R$ also include $t_it_j$ (on account of $(t_i+t_j)^2-(t_i-t_j)^2=4t_it_j$)? | |
| Oct 10, 2022 at 15:06 | history | asked | user44143 | CC BY-SA 4.0 |