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?
On Fri, Jul 31, 2009 at 11:36 AM, Robert Schwarz<[email protected]> wrote: > > Hi all, I was just playing around with permutations, when something > puzzled me: > > sage: G = SymmetricGroup(4) > sage: H = G.normal_subgroups()[1] > sage: H > Permutation Group with generators [(1,3)(2,4), (1,4)(2,3)] > sage: G.quotient_group(H) > Permutation Group with generators [(1,2)(3,6)(4,5), (1,3,5)(2,4,6) > > Where do the 5 and 6 suddenly come from? In my understanding the > elements of the quotient group G/H are classes of elements of G, which > operates on {1, 2, 3, 4}. > > Also, there is a method of G called "quotient", which raises and > NotImplementedError, which is a little confusing, given an > implementation of the quotient group is actually available. > > Running Sage 4.1 on Arch Linux 64 bit. > > -- > Robert Schwarz <[email protected]> > > Get my public key at http://rschwarz.net/key.asc > > > > --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] To unsubscribe from this group, send email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
