GroupTheory
CayleyGraph
construct the Cayley graph of a group
Calling Sequence
Parameters
Description
Examples
References
Compatibility
CayleyGraph( G )
CayleyGraph( G, elements = E, generators = S )
G
-
a small group
E
(optional) list ; an ordering of the elements of G
S
(optional) list ; a list of generators for G
The Cayley graph of a (small) group G is a directed graph encoding the abstract structure of G.
The CayleyGraph( G ) command returns the Cayley graph of the group G, in which the elements of G have been labeled by the integers 1..n, where n is the order of G.
You can specify a particular ordering for the elements of the group by passing the optional argument elements = E, where E is an explicit list of the members of G.
Note that computing the Cayley graph of a group requires that all the group elements be computed explicitly, so the command should only be used for groups of modest size.
Draw the Cayley graph of the symmetric group of degree 4.
G≔GroupTheory:-SymmetricGroup⁡4
G≔S4
GraphTheory:-DrawGraph⁡GroupTheory:-CayleyGraph⁡G,style=spring
Draw the Cayley graph of the dihedral group of degree 7.
G≔GroupTheory:-DihedralGroup⁡7
G≔D7
"Cayley graph", Wikipedia. http://en.wikipedia.org/wiki/Cayley_graph
The GroupTheory[CayleyGraph] command was introduced in Maple 2015.
For more information on Maple 2015 changes, see Updates in Maple 2015.
See Also
GraphTheory
GroupTheory[CayleyTable]
GroupTheory[SymmetricGroup]
Download Help Document
What kind of issue would you like to report? (Optional)