Timeline for Is it decidable whether a given set generates the whole group?
Current License: CC BY-SA 2.5
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 5, 2010 at 12:21 | comment | added | François G. Dorais | Ah! Thanks for the pointers, John and Henry. | |
| Apr 5, 2010 at 8:17 | vote | accept | Sergei Ivanov | ||
| Apr 5, 2010 at 2:30 | comment | added | HJRW | Francois, the 'Fibred products' section of the following Tricki article explains how to turn pathologies in arbitrary fp groups into different pathologies in FxF. tricki.org/article/New_groups_from_old | |
| Apr 5, 2010 at 1:37 | comment | added | John Stillwell | François, in the book they deduce the unsolvability of the generating problem fairly easily from unsolvability of the triviality problem for a group with six generators. But the latter comes from a construction of Rabin (Annals of Math. 67 (1958), pp. 172--194) which is quite involved. The unsolvability of the generating problem is due to C.F. Miller On Group-Theoretic Decision Problems and Their Classification, Princeton University Press, 1971 (also hard to access, I'm afraid). | |
| Apr 4, 2010 at 23:45 | comment | added | François G. Dorais | I don't have that book handy, is the proof involved or is there a quick hint? | |
| Apr 4, 2010 at 23:15 | history | edited | John Stillwell | CC BY-SA 2.5 |
Changed "your first" to "the title"
|
| Apr 4, 2010 at 22:15 | history | answered | John Stillwell | CC BY-SA 2.5 |