Specifying cardinality for action of permutation group

asked 2011-06-22 02:09:49 +0200

Cody
15 ●1 ●6

updated 2011-06-22 15:29:54 +0200

In Magma, it is possible to create a permutation group with something like G := PermutationGroup<n|relations>, where $n$ is to be the cardinality of the set the group acts on. One needs this cardinality to use a GModule method. I would like to create such a group in Sage and then port it to Magma to create a GModule, but I always end up with a Magma element having too small a cardinality. Is it possible to specify such a cardinality in Sage? Can it be created as a subgroup of $S_n$? I did not have luck with that.

answered 2011-06-22 14:19:51 +0200

Mike Hansen

4068 ●24 ●48 ●89

updated 2011-06-22 14:54:22 +0200

niles
4519 ●23 ●72 ●132 http://nilesjohnson.net/

In ticket 10335, there is a patch which will allow one to specify the domain of the permutation group (and hence its cardinality). For example, you'll be able to do something like

sage: P = PermutationGroup([[(1,2)], [(1,3),(2,4)]], domain=[1,2,3,4,5])
sage: P.degree()
5

where as now in Sage you would get 4 for the degree. This will also be passed on to Magma. I'm hoping that this will be in the next release of Sage.

edit flag offensive delete link

Comments

Thanks! Can you point me a reference on how to apply the patches?

Cody ( 2011-06-22 16:06:48 +0200 )edit

add a comment

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Specifying cardinality for action of permutation group

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

Specifying cardinality for action of permutation group edit

1 Answer

Comments

Your Answer

Question Tools

Stats

Related questions

Specifying cardinality for action of permutation group