Timeline for showing the subgroup membership problem is undecidable for $F_2 \times F_2$
Current License: CC BY-SA 2.5
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Feb 4, 2011 at 18:06 | comment | added | Andy Putman | I added the details giving that $H$ can be assumed to be finitely generated (at the same time that Mark was typing his answer). | |
| Feb 4, 2011 at 18:05 | history | edited | Andy Putman | CC BY-SA 2.5 |
added 623 characters in body
|
| Feb 4, 2011 at 17:55 | vote | accept | dan | ||
| Feb 4, 2011 at 17:54 | comment | added | dan | Thanks for the answer. That $H$ subgroup won't necessarily be finitely generated, right? | |
| Feb 4, 2011 at 17:37 | history | answered | Andy Putman | CC BY-SA 2.5 |