Monte-Carlo test for alternating groups
Monte-Carlo test for symmetric groups
IsAlternating( G )
IsAlternating( G, confidence = val )
IsSymmetric( G )
IsSymmetric( G, confidence = val )
a permutation group
confidence level; a number between 0 and 1
The commands IsAlternating( G ) and IsSymmetric( G ) provide one-sided Monte-Carlo tests for a permutation group G to be, respectively, an alternating or symmetric group in its natural action on the set 1,2,…,n, where n is the degree of G.
If the command returns the value true, then the result is guaranteed to be correct. However, it may return the value false incorrectly, with small probability.
The level of confidence can be controlled by means of the confidence option. By default, the confidence level is set to 999999/1000000, which is the likelihood that either command IsAlternating or IsSymmetric returns the value false when the input group is actually a symmetric or alternating group, respectively. A higher value of the confidence option requires an increase in running time. Likewise, setting the confidence option to a lower value reduces the running time, but increases the chance that an incorrect false value is returned.
Note these first examples are abstractly isomorphic to the indicated group, but are not permutation equivalent to it in its natural action.
Construct the regular representation of the symmetric group of degree 3.
G ≔ Group⁡Perm⁡1,2,3,6,4,5,Perm⁡1,3,4,2,5,6
G ≔ Group⁡seq⁡Perm⁡i,i+1,i+2,i=1..8
G≔ < a permutation group on 10 letters with 8 generators >
By decreasing the value of the confidence option to 1/2, we can virtually guarantee incorrect answers some of the time.
The GroupTheory[IsAlternating] and GroupTheory[IsSymmetric] commands were introduced in Maple 17.
For more information on Maple 17 changes, see Updates in Maple 17.
Download Help Document