GroupTheory
Orbit
compute the orbit of a point under the action of a permutation group
Orbits
compute all the orbits of a permutation group
Calling Sequence
Parameters
Description
Examples
Compatibility
Orbit( alpha, G )
Orbits( G )
G
-
a permutation group
alpha
posint; a point whose orbit is to be computed
The Orbit( alpha, G ) command returns the orbit of the point alpha under the action of the permutation group G.
The returned value is an object that supports the following methods.
Representative( orb )
returns a representative of the orbit orb
numelems( orb )
returns the cardinality of the orbit orb
member( x, orb ) or x in orb
returns true if x belongs to the orbit orb
Elements( orb )
returns the elements of the orbit orb, as a set
The Orbits( G ) command returns the set of all orbits of the permutation group G.
with⁡GroupTheory:
G≔RubiksCubeGroup⁡
G≔6,25,43,167,28,42,138,30,41,1117,19,24,2218,21,23,20,1,14,48,272,12,47,293,9,46,3233,35,40,3834,37,39,36,1,17,41,404,20,44,376,22,46,359,11,16,1410,13,15,12,3,38,43,195,36,45,218,33,48,2425,27,32,3026,29,31,28,1,3,8,62,5,7,49,33,25,1710,34,26,1811,35,27,19,14,22,30,3815,23,31,3916,24,32,4041,43,48,4642,45,47,44
O1≔Orbit⁡1,G
O1≔16,25,43,167,28,42,138,30,41,1117,19,24,2218,21,23,20,1,14,48,272,12,47,293,9,46,3233,35,40,3834,37,39,36,1,17,41,404,20,44,376,22,46,359,11,16,1410,13,15,12,3,38,43,195,36,45,218,33,48,2425,27,32,3026,29,31,28,1,3,8,62,5,7,49,33,25,1710,34,26,1811,35,27,19,14,22,30,3815,23,31,3916,24,32,4041,43,48,4642,45,47,44
numelems⁡O1
24
2inO1
false
O2≔Orbit⁡2,G
O2≔26,25,43,167,28,42,138,30,41,1117,19,24,2218,21,23,20,1,14,48,272,12,47,293,9,46,3233,35,40,3834,37,39,36,1,17,41,404,20,44,376,22,46,359,11,16,1410,13,15,12,3,38,43,195,36,45,218,33,48,2425,27,32,3026,29,31,28,1,3,8,62,5,7,49,33,25,1710,34,26,1811,35,27,19,14,22,30,3815,23,31,3916,24,32,4041,43,48,4642,45,47,44
numelems⁡O2
orbs≔Orbits⁡G
orbs≔16,25,43,167,28,42,138,30,41,1117,19,24,2218,21,23,20,1,14,48,272,12,47,293,9,46,3233,35,40,3834,37,39,36,1,17,41,404,20,44,376,22,46,359,11,16,1410,13,15,12,3,38,43,195,36,45,218,33,48,2425,27,32,3026,29,31,28,1,3,8,62,5,7,49,33,25,1710,34,26,1811,35,27,19,14,22,30,3815,23,31,3916,24,32,4041,43,48,4642,45,47,44,26,25,43,167,28,42,138,30,41,1117,19,24,2218,21,23,20,1,14,48,272,12,47,293,9,46,3233,35,40,3834,37,39,36,1,17,41,404,20,44,376,22,46,359,11,16,1410,13,15,12,3,38,43,195,36,45,218,33,48,2425,27,32,3026,29,31,28,1,3,8,62,5,7,49,33,25,1710,34,26,1811,35,27,19,14,22,30,3815,23,31,3916,24,32,4041,43,48,4642,45,47,44
nops⁡orbs
2
Elements⁡O2
2,4,5,7,10,12,13,15,18,20,21,23,26,28,29,31,34,36,37,39,42,44,45,47
The GroupTheory[Orbit] and GroupTheory[Orbits] commands were introduced in Maple 17.
For more information on Maple 17 changes, see Updates in Maple 17.
See Also
GroupTheory[Elements]
GroupTheory[RubiksCubeGroup]
numelems
Perm
Download Help Document