Timeline for Is any interesting question about a group G decidable from a presentation of G?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 23, 2010 at 0:14 | comment | added | HJRW | Stallings's example shoots down Chad's approach from the last paragraph. G is equal to the kernel of the map F_2 x F_2 x F_2-> Z. In particular, F_2 x F_2 x F_2 is in F_3 but G is not. | |
| Feb 22, 2010 at 15:39 | comment | added | Andy Putman | Bestvina and Brady gave a beautiful generalization of Stallings's theorem using PL morse theory (they manage to construct groups with all kinds of weird (non)finiteness properties). Their methods become especially simple when restricted to Stallings's example -- an elementary account of this can be found in Bestvina's wonderful "PL Morse theory notes", which are available on his homepage at math.utah.edu/~bestvina/research.html | |
| Feb 22, 2010 at 14:56 | history | edited | Mariano Suárez-Álvarez | CC BY-SA 2.5 |
added 54 characters in body
|
| Feb 22, 2010 at 14:46 | history | answered | Mariano Suárez-Álvarez | CC BY-SA 2.5 |