Timeline for When is a finitely generated group finitely presented?
Current License: CC BY-SA 2.5
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 3, 2019 at 10:26 | history | made wiki | Post Made Community Wiki by Todd Trimble | ||
| Jun 3, 2019 at 8:31 | comment | added | YCor | Techniques to prove that a group is f.p. and that a group is not f.p. are quite different. For the second, I'd say that the general idea is to have a good understanding of some "approximating sequence" $(G_n\twoheadrightarrow)$ of truncated presentations. This applies in many examples, e.g. in Bieri-Strebel for infinitely presented metabelian groups, for wreath products, for topological-full groups of minimal self-homeos, lacunary hyperbolic groups, etc. By "good" understanding, I mean we either directly see that $G_n$ is not isomorphic to $G$, or that $G_n\to G_{n+1}$ has nontrivial kernel. | |
| Jun 2, 2019 at 20:53 | answer | added | AGenevois | timeline score: 2 | |
| Feb 10, 2011 at 4:48 | comment | added | Steve D | Maybe this is too basic, but algebraic (ex. nilpotent) and geometric (ex. hyperbolic) properties can give f.p. automatically. | |
| Feb 10, 2011 at 3:33 | answer | added | HJRW | timeline score: 17 | |
| Feb 10, 2011 at 2:36 | answer | added | user6976 | timeline score: 33 | |
| Feb 10, 2011 at 2:10 | history | asked | Mauricio | CC BY-SA 2.5 |