Timeline for How to specify a finite group up to inner automorphism?
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 1, 2013 at 14:14 | comment | added | Will Sawin | You don't need to choose a presentation, you can just take all the elements to be generators! But you still don't get the inner automorphism acting trivially. They act trivially in the basepoint-free homotopy category, though, I think. | |
| Feb 15, 2013 at 3:14 | comment | added | Ryan Budney | The presentation complex would not have a single vertex if your groupoid's arrows were not all composable. I think I understand what you're shooting for and see how my response isn't quite on the mark, though. | |
| Feb 15, 2013 at 1:34 | comment | added | John Pardon | I admit my question is sort of ill-defined, but for me there are still too many choices needed for such a construction (like, picking a presentation). Also, your presentation complex probably has a single 0-cell, so I can pick it as a well-defined basepoint and recover the group, whereas I want to only be able to recover it up to inner automorphism. | |
| Feb 15, 2013 at 1:15 | history | answered | Ryan Budney | CC BY-SA 3.0 |