Timeline for Relativisation of Higman's embedding theorem
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 1 at 13:53 | comment | added | HJRW | @IgorBelegradek: yes, I think any version of the construction should have this property. | |
| May 1 at 12:24 | comment | added | Igor Belegradek | The standard Higman embedding preserves being torsion-free. The finitely presented group in which one embeds in the Higman embedding is built from the given recursively presented group and the trivial group by a finite sequence of HNN-extensions and free products, and this operations preserve being torsion-free. | |
| May 1 at 11:50 | vote | accept | tomasz | ||
| May 1 at 11:50 | comment | added | tomasz | I was actually looking at that that paper this morning and for a minute thought that it solves the problem, but it seemed to me that they only define torsion length starting at 1, not 0 (which is equivalent to being torsion-free). But I guess I misunderstood. Thanks! | |
| May 1 at 8:53 | comment | added | HJRW | @ADL: Yes, that's another great example. Although, when I tried to read that paper, I found the proof next-to-impossible to extract. It would be great if there were another account somewhere in the literature, since it's an important theorem. | |
| May 1 at 8:27 | comment | added | ADL | There is also a nice paper of Mark Sapir, saying that asphericity can be preserved. | |
| May 1 at 8:13 | history | answered | HJRW | CC BY-SA 4.0 |