Timeline for Is any interesting question about a group G decidable from a presentation of G?
Current License: CC BY-SA 2.5
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 26, 2010 at 17:38 | comment | added | Joel David Hamkins | Henry, I had had the same thought, and I have asked a question at mathoverflow.net/questions/16532 following up on this. | |
| Feb 23, 2010 at 17:27 | comment | added | HJRW | There's still a reasonable question in that area. For instance, you could restrict yourself to perfect groups. | |
| Feb 23, 2010 at 14:18 | vote | accept | Chad Groft | ||
| Feb 23, 2010 at 12:05 | comment | added | Joel David Hamkins | +1. Very good. It's too bad we can't have Rice's theorem here... | |
| Feb 23, 2010 at 4:46 | comment | added | Chad Groft | Yes, you're absolutely right. More generally, any property of G that is computable from the isomorphism type of ab(G) is computable from a finite presentation for G. | |
| Feb 23, 2010 at 4:34 | history | answered | John Stillwell | CC BY-SA 2.5 |