Specifying cardinality for action of permutation group
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.