On Jul 31, 4:47 pm, David Joyner <wdjoy...@gmail.com> wrote: > Maybe I don't understand your question. It seems you are claiming that > if G is a permutation group and H is a normal subgroup then > the quotient G/H embeds into G. Are you sure that is true?
In general, no it isn't. We have the short exact sequence 1 --> H --> G --> G/H -->1 to embed G/H into G we would need it to split, which would mean that the extension is trivial, or that G factorizes as a product of H and G/ H. I haven't looked at the code, but looks like the presentation is built by permutations on itself (sort of Cayley theorem-like). Since in the example the quotient group should has order 6, it can always be represented as a subgroup of S_6. --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---