Timeline for Is being torsion a local property of module elements?
Current License: CC BY-SA 2.5
12 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 18, 2010 at 16:50 | history | edited | George Lowther | CC BY-SA 2.5 |
updated the explanation
|
| Dec 14, 2010 at 1:33 | history | edited | George Lowther | CC BY-SA 2.5 |
typos
|
| Dec 14, 2010 at 1:28 | history | edited | George Lowther | CC BY-SA 2.5 |
more explanation
|
| Dec 14, 2010 at 1:05 | comment | added | George Lowther | Updated. I think it should all work now. | |
| Dec 14, 2010 at 1:04 | history | edited | George Lowther | CC BY-SA 2.5 |
major reworking
|
| Dec 13, 2010 at 13:10 | comment | added | George Lowther | Ok, I see how this can be fixed by dropping the condition $z^2=z$ and using a different property (P) - replacing it by a more intuitive (but still slightly messy) condition. I'll update this, tonight if I get time. | |
| Dec 13, 2010 at 6:04 | comment | added | George Lowther | The mistake is in (1). Forcing $z^2=z$ means that property (P) cannot be satisfied | |
| Dec 13, 2010 at 5:55 | comment | added | George Lowther | There's still an error here somewhere, because it can't work if z is chosen to be an idempotent. Oh well... | |
| Dec 13, 2010 at 4:43 | comment | added | George Lowther | I don't have time to further work on this answer right now, so I'll leave the following note. As the z term is an idempotent, it can be removed from most of the construction and only added in at the last step. This should make it a bit simpler, and property (P) can be simplified. | |
| Dec 13, 2010 at 4:13 | history | edited | George Lowther | CC BY-SA 2.5 |
Major reworking
|
| Dec 12, 2010 at 22:21 | history | edited | George Lowther | CC BY-SA 2.5 |
clean up. point out error
|
| Dec 12, 2010 at 17:48 | history | answered | George Lowther | CC BY-SA 2.5 |