Timeline for Explicit element in free group which is killed by every solvable quotient
Current License: CC BY-SA 3.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 6, 2012 at 21:20 | answer | added | Lior Bary-Soroker | timeline score: 2 | |
| May 6, 2012 at 15:45 | answer | added | John Wiltshire-Gordon | timeline score: 6 | |
| May 6, 2012 at 6:45 | answer | added | Lior Bary-Soroker | timeline score: 3 | |
| Feb 3, 2012 at 18:40 | vote | accept | John Pardon | ||
| Jan 31, 2012 at 19:19 | comment | added | JSE | "right" ==> "write." Why oh why can't we edit comments? | |
| Jan 31, 2012 at 2:32 | comment | added | JSE | Andy's answer is a good one and proves that the map you right down actually IS injective. The natural map which is NOT injective is the one from the profinite completion of F_2 to the inverse limit you write down. | |
| Jan 30, 2012 at 22:48 | comment | added | Will Sawin | The obstruction isn't that there are elements not contained in any subgroup with a finite solvable quotient. The problem is that each subgroup with a finite solvable quotient contains elements that are not in the kernel of $A_5$. You can keep reducing the number, but there will always be infinitely many. You might get a kernel if you take the profinite completion, though. | |
| Jan 30, 2012 at 22:37 | answer | added | Andy Putman | timeline score: 20 | |
| Jan 30, 2012 at 22:33 | history | asked | John Pardon | CC BY-SA 3.0 |