View source for Cycle graph (algebra)

{{Short description|Graph structure studied in group theory}}
{{other uses|Cyclic graph}}

In [[group theory]], a subfield of [[abstract algebra]], a '''cycle graph''' of a [[group (mathematics)|group]] is an [[Graph (discrete mathematics)|undirected graph]] that illustrates the various [[cyclic group|cycle]]s of that group, given a set of [[Generator (mathematics)|generators]] for the group. Cycle graphs are particularly useful in visualizing the structure of small [[finite group]]s.

A cycle is the [[Set (mathematics)|set]] of powers of a given group element ''a'', where ''a<sup>n</sup>'', the ''n''-th power of an element ''a'', is defined as the product of ''a'' multiplied by itself ''n'' times. The element ''a'' is said to ''generate'' the cycle.  In a finite group, some non-zero power of ''a'' must be the  [[identity element|group identity]], which we denote either as ''e'' or 1; the lowest such power is the '''order''' of the element ''a'', the number of distinct elements in the cycle that it generates. In a cycle graph, the cycle is represented as a polygon, with its vertices representing the group elements and its edges indicating how they are linked together to form the cycle.

==Definition==
Each group element is represented by a [[vertex (graph theory)|node]] in the cycle graph, and enough cycles are represented as polygons in the graph so that every node lies on at least one cycle.  All of those polygons pass through the node representing the identity, and some other nodes may also lie on more than one cycle.

Suppose that a group element ''a'' generates a cycle of order 6 (has order 6), so that the nodes ''a'', ''a''<sup>2</sup>, ''a''<sup>3</sup>, ''a''<sup>4</sup>, ''a''<sup>5</sup>, and ''a''<sup>6</sup> = ''e'' are the vertices of a hexagon in the cycle graph.  The element ''a''<sup>2</sup> then has order 3; but making the nodes ''a''<sup>2</sup>, ''a''<sup>4</sup>, and ''e'' be the vertices of a triangle in the graph would add no new information.  So, only the '''primitive''' cycles need be considered, those that are not [[subset]]s of another cycle. Also, the node ''a''<sup>5</sup>, which also has order 6, generates the same cycle as does ''a'' itself; so we have at least two choices for which element to use in generating a cycle --- often more.  

To build a cycle graph for a group, we start with a node for each group element. For each primitive cycle, we then choose some element ''a'' that generates that cycle, and we connect the node for ''e'' to the one for ''a'', ''a'' to ''a''<sup>2</sup>, ..., ''a''<sup>''k''−1</sup> to ''a''<sup>''k''</sup>, etc., until returning to ''e''. The result is a cycle graph for the group.

When a group element ''a'' has order 2 (so that multiplication by ''a'' is an [[Involution (mathematics)|involution]]), the rule above would connect ''e'' to ''a'' by two edges, one going out and the other coming back. Except when the intent is to emphasize the two edges of such a cycle, it is typically drawn<ref>{{cite web |url=http://www.bbk.ac.uk/ems/faculty/hart/publications/AffineWP.pdf |author=Sarah Perkins |year=2000 |title=Commuting Involution Graphs for A˜n, Section 2.2, p.3, first figure |publisher=School of Economics, Mathematics and Statistics |location=Birkbeck College, Malet Street, London, WC1E 7HX |access-date=2016-01-31}}</ref> as a single line between the two elements.

Note that this correspondence between groups and graphs is not one-to-one in either direction:  Two different groups can have the same cycle graph, and two different graphs can be cycle graphs for a single group.  We give examples of each in the [[#Non-uniqueness|non-uniqueness section]].

== Example and properties ==
{| class=wikitable align=right width=360
|[[File:Dihedral_group4_example (right).png|180px]]<BR>Dih<sub>4</sub> [[kaleidoscope]] with red mirror and 4-fold rotational generators
|[[File:Dih4 cycle graph.svg|180px]]<BR>Cycle graph for [[dihedral group]] Dih<sub>4</sub>.
|}

As an example of a group cycle graph, consider the [[dihedral group]] Dih<sub>4</sub>. The multiplication table for this group is shown on the left, and the cycle graph is shown on the right, with ''e'' specifying the identity element.

{| class="wikitable"
|-
! <sup>o</sup> || ''e''|| ''b''||  ''a''|| ''a''<sup>2</sup>|| ''a''<sup>3</sup>|| ''ab''|| ''a''<sup>2</sup>''b''|| ''a''<sup>3</sup>''b''
|- align="center"
! ''e''
| ''e''|| ''b''|| ''a''|| ''a''<sup>2</sup>|| ''a''<sup>3</sup>|| ''ab''|| ''a''<sup>2</sup>''b''|| ''a''<sup>3</sup>''b''
|- align="center"
! ''b''
| ''b''|| ''e''|| ''a''<sup>3</sup>''b''|| ''a''<sup>2</sup>''b''|| ''ab''|| ''a''<sup>3</sup>|| ''a''<sup>2</sup>|| ''a''
|- align="center"
! ''a''
| ''a''|| ''ab''|| ''a''<sup>2</sup>|| ''a''<sup>3</sup>|| ''e''|| ''a''<sup>2</sup>''b''|| ''a''<sup>3</sup>''b''|| ''b''
|- align="center"
! ''a''<sup>2</sup>
| ''a''<sup>2</sup>|| ''a''<sup>2</sup>''b''|| ''a''<sup>3</sup>|| ''e''|| ''a''|| ''a''<sup>3</sup>''b''|| ''b''|| ''ab''
|- align="center"
! ''a''<sup>3</sup>
| ''a''<sup>3</sup>|| ''a''<sup>3</sup>''b''|| ''e''|| ''a''|| ''a''<sup>2</sup>|| ''b''|| ''ab''|| ''a''<sup>2</sup>''b''
|- align="center"
! ''ab''
| ''ab''|| ''a''|| ''b''|| ''a''<sup>3</sup>''b''|| ''a''<sup>2</sup>''b''|| ''e''|| ''a''<sup>3</sup>|| ''a''<sup>2</sup>
|- align="center"
! ''a''<sup>2</sup>''b''
| ''a''<sup>2</sup>''b''|| ''a''<sup>2</sup>|| ''ab''|| ''b''|| ''a''<sup>3</sup>''b''|| ''a''|| ''e''|| ''a''<sup>3</sup>
|- align="center"
! ''a''<sup>3</sup>''b''
| ''a''<sup>3</sup>''b''|| ''a''<sup>3</sup>|| ''a''<sup>2</sup>''b''|| ''ab''|| ''b''|| ''a''<sup>2</sup>|| ''a''|| ''e''
|}

Notice the cycle {''e'', ''a'', ''a''<sup>2</sup>, ''a''<sup>3</sup>} in the multiplication table, with ''a''<sup>4</sup> = ''e''. The inverse ''a''<sup>−1</sup> = ''a''<sup>3</sup> is also a generator of this cycle: ({{nowrap|1=''a''<sup>3</sup>)<sup>2</sup> = ''a''<sup>2</sup>}}, {{nowrap|1=(''a''<sup>3</sup>)<sup>3</sup> = ''a''}}, and {{nowrap|1=(''a''<sup>3</sup>)<sup>4</sup> = ''e''}}. Similarly, any cycle in any group has at least two generators, and may be traversed in either direction. More generally, the number of [[Generating set of a group|generators]] of a cycle with ''n'' elements is given by the [[Euler's totient function|Euler φ function]] of ''n'', and any of these generators may be written as the first node in the cycle (next to the identity ''e''); or more commonly the nodes are left unmarked. Two distinct cycles cannot intersect in a generator.

[[File:GroupDiagramQ8.svg|280px|thumb|Cycle graph of the quaternion group Q<sub>8</sub>.]]

Cycles that contain a non-prime number of elements have cyclic subgroups that are not shown in the graph. For the group  Dih<sub>4</sub> above, we could draw a line between ''a''<sup>2</sup> and ''e'' since {{nowrap|1=(''a''<sup>2</sup>)<sup>2</sup> = ''e''}}, but since ''a''<sup>2</sup> is part of a larger cycle, this is not an edge of the cycle graph.

There can be ambiguity when two cycles share a non-identity element. For example, the 8-element [[quaternion group]] has cycle graph shown at right. Each of the elements in the middle row when multiplied by itself gives −1 (where 1 is the identity element). In this case we may use different colors to keep track of the cycles, although symmetry considerations will work as well.

As noted earlier, the two edges of a 2-element cycle are typically represented as a single line.

The inverse of an element is the node symmetric to it in its cycle, with respect to the reflection which fixes the identity.

== Non-uniqueness ==

The cycle graph of a group is not uniquely determined up to [[graph isomorphism]]; nor does it uniquely determine the group up to [[group isomorphism]]. That is, the graph obtained depends on the set of generators chosen, and two different groups (with chosen sets of generators) can generate the same cycle graph.<ref name=MathSENotUnique>{{cite web |title=Is the cycle graph of a group unique? | last1=Stanford |first1=Caleb |last2=Verret |first2=Gabriel |website=Mathematics Stack Exchange |language=en |url=https://math.stackexchange.com/questions/4416395/is-the-cycle-graph-of-a-group-unique}}</ref>

===A single group can have different cycle graphs===

For some groups, choosing different elements to generate the various primitive cycles of that group can lead to different cycle graphs. There is an example of this for the abelian group <math>C_5\times C_2\times C_2</math>, which has order 20.<ref name=MathSENotUnique/>  We denote an element of that group as a triple of numbers <math>(i;j,k)</math>, where <math>0\le i<5</math> and each of <math>j</math> and <math>k</math> is either 0 or 1. The triple <math>(0;0,0)</math> is the identity element. In the drawings below, <math>i</math> is shown above <math>j</math> and <math>k</math>.

This group has three primitive cycles, each of order 10.  In the first cycle graph, we choose, as the generators of those three cycles, the nodes <math>(1;1,0)</math>, <math>(1;0,1)</math>, and <math>(1;1,1)</math>.  In the second, we generate the third of those cycles --- the blue one --- by starting instead with <math>(2;1,1)</math>.
{|
| [[File:One cycle graph for direct product of C 5, C 2, and C 2.svg|250px|thumb|One cycle graph for the direct product of the three groups C_5, C_2, and C_2]]
| [[File:Alternative cycle graph for direct product of C 5, C 2, and C 2.svg|250px|thumb|An alternative cycle graph for the direct product of the three groups C_5, C_2, and C_2.]]
|}
The two resulting graphs are not isomorphic because they have [[Diameter (graph theory)|diameters]] 5 and 4 respectively.

=== Different groups can have the same cycle graph ===

Two different (non-isomorphic) groups can have cycle graphs that are [[Graph isomorphism|isomorphic]], where the latter isomorphism ignores the labels on the nodes of the graphs.  It follows that the structure of a group is not uniquely determined by its cycle graph.

There is an example of this already for groups of order 16, the two groups being <math>C_8\times C_2</math> and <math>C_8\rtimes_5 C_2</math>.  The [[abelian group|abelian]] group <math>C_8\times C_2</math> is the direct product of the cyclic groups of orders 8 and 2.  The non-abelian group <math>C_8\rtimes_5 C_2</math> is that [[semidirect product]] of <math>C_8</math> and <math>C_2</math> in which the non-identity element of <math>C_2</math> maps to the multiply-by-5 [[Group_isomorphism#Automorphisms|automorphism]] of <math>C_8</math>.

In drawing the cycle graphs of those two groups, we take <math>C_8\times C_2</math> to be generated by elements ''s'' and ''t'' with 
:<math> s^8=t^2=1\quad\text{and}\quad ts=st,</math>
where that latter relation makes <math>C_8\times C_2</math> abelian.  And we take <math>C_8\rtimes_5 C_2</math> to be generated by elements {{sigma}} and {{tau}} with
:<math> \sigma^8=\tau^2=1\quad\text{and}\quad \tau\sigma=\sigma^5\tau.</math>

Here are cycle graphs for those two groups, where we choose <math>st</math> to generate the green cycle on the left and <math>\sigma\tau</math> to generate that cycle on the right:
{|
| width="285px" | [[File:Cycle graph for direct product of C 8 and C 2.svg|250px]] 
| [[File:Cycle graph for a semidirect product of C 8 with C 2.svg|250px]]
|}
In the right-hand graph, the green cycle, after moving from 1 to <math>\sigma\tau</math>, moves next to <math>\sigma^6,</math> because
:<math>(\sigma\tau)(\sigma\tau)=\sigma(\tau\sigma)\tau=\sigma(\sigma^5\tau)\tau=\sigma^6.</math>

== History ==
Cycle graphs were investigated by the number theorist [[Daniel Shanks]] in the early 1950s as a tool to study [[multiplicative group of integers modulo n|multiplicative groups of residue classes]].{{sfn|Shanks|1978|p=246}} Shanks first published the idea in the 1962 first edition of his book ''Solved and Unsolved Problems in Number Theory''.{{sfn|Shanks|1978|p=xii}} In the book, Shanks investigates which groups have isomorphic cycle graphs and when a cycle graph is [[planar graph|planar]].{{sfn|Shanks|1978|pp=83–98, 206–208}} In the 1978 second edition, Shanks reflects on his research on [[class group]]s and the development of the [[baby-step giant-step]] method:{{sfn|Shanks|1978|p=225}} {{quotation|The cycle graphs have proved to be useful when working with finite Abelian groups; and I have used them frequently in finding my way around an intricate structure [77, p. 852], in obtaining a wanted multiplicative relation [78, p. 426], or in isolating some wanted subgroup [79].}}

Cycle graphs are used as a pedagogical tool in Nathan Carter's 2009 introductory textbook ''Visual Group Theory''.<ref>{{Citation |first=Nathan |last=Carter |year=2009 |title=Visual Group Theory |publisher=Mathematical Association of America |series=Classroom Resource Materials |isbn=978-0-88385-757-1}}</ref>

== Graph characteristics of particular group families ==

Certain group types give typical graphs:

[[Cyclic group]]s Z<sub>''n''</sub>, order ''n'', is a single cycle graphed simply as an ''n''-sided polygon with the elements at the vertices:
{| class="wikitable"
|- align=center
| [[File:GroupDiagramMiniC1.svg|40px]]
| [[File:GroupDiagramMiniC2.svg|60px]]
| [[File:GroupDiagramMiniC3.svg|60px]]
| [[File:GroupDiagramMiniC4.svg|60px]]
| [[File:GroupDiagramMiniC5.svg|60px]]
| [[File:GroupDiagramMiniC6.svg|60px]]
| [[File:GroupDiagramMiniC7.svg|60px]]
| [[File:GroupDiagramMiniC8.svg|60px]]
|-
! Z<sub>1</sub>|| Z<sub>2</sub> = Dih<sub>1</sub>|| Z<sub>3</sub>|| Z<sub>4</sub>|| Z<sub>5</sub>|| Z<sub>6</sub> = Z<sub>3</sub>×Z<sub>2</sub>|| Z<sub>7</sub>|| Z<sub>8</sub>
|- align=center
| [[File:GroupDiagramMiniC9.svg|60px]]
| [[File:GroupDiagramMiniC10.svg|60px]]
| [[File:GroupDiagramMiniC11.svg|60px]]
| [[File:GroupDiagramMiniC12.svg|60px]]
| [[File:GroupDiagramMiniC13.svg|60px]]
| [[File:GroupDiagramMiniC14.svg|60px]]
| [[File:GroupDiagramMiniC15.svg|60px]]
| [[File:GroupDiagramMiniC16.svg|60px]]
|-
! Z<sub>9</sub>||Z<sub>10</sub> = Z<sub>5</sub>×Z<sub>2</sub>||Z<sub>11</sub>||Z<sub>12</sub> = Z<sub>4</sub>×Z<sub>3</sub>||Z<sub>13</sub>||Z<sub>14</sub> = Z<sub>7</sub>×Z<sub>2</sub>||Z<sub>15</sub> = Z<sub>5</sub>×Z<sub>3</sub>||Z<sub>16</sub>
|- align=center
| [[File:GroupDiagramMiniC17.svg|60px]]
| [[File:GroupDiagramMiniC18.svg|60px]]
| [[File:GroupDiagramMiniC19.svg|60px]]
| [[File:GroupDiagramMiniC20.svg|60px]]
| [[File:GroupDiagramMiniC21.svg|60px]]
| [[File:GroupDiagramMiniC22.svg|60px]]
| [[File:GroupDiagramMiniC23.svg|60px]]
| [[File:GroupDiagramMiniC24.svg|60px]]
|-
! Z<sub>17</sub>||Z<sub>18</sub> = Z<sub>9</sub>×Z<sub>2</sub>||Z<sub>19</sub>||Z<sub>20</sub> = Z<sub>5</sub>×Z<sub>4</sub>||Z<sub>21</sub> = Z<sub>7</sub>×Z<sub>3</sub>||Z<sub>22</sub> = Z<sub>11</sub>×Z<sub>2</sub>||Z<sub>23</sub>||Z<sub>24</sub> = Z<sub>8</sub>×Z<sub>3</sub>
|}
{| class=wikitable
| [[File:GroupDiagramMiniC2.svg|60px]]
|[[File:GroupDiagramMiniD4.svg|60px]]
|[[File:GroupDiagramMiniC2x3.svg|60px]]
|[[File:GroupDiagramMiniC2x4.svg|60px]]
|-
! Z<sub>2</sub>
! Z<sub>2</sub><sup>2</sup> = Dih<sub>2</sub>
! Z<sub>2</sub><sup>3</sup> = Dih<sub>2</sub>×Dih<sub>1</sub>
! Z<sub>2</sub><sup>4</sup> = Dih<sub>2</sub><sup>2</sup>
|}

When ''n'' is a [[prime number]], groups of the form (Z<sub>''n''</sub>)<sup>''m''</sup> will have {{nowrap|(''n''<sup>''m''</sup> − 1)/(''n'' − 1)}} ''n''-element cycles sharing the identity element:
{| class="wikitable"
|- align=center
| [[File:GroupDiagramMiniD4.svg|60px]]
| [[File:GroupDiagramMiniC2x3.svg|60px]]
| [[File:GroupDiagramMiniC2x4.svg|60px]]
| [[File:GroupDiagramMiniC3x2.svg|60px]]
|-
! Z<sub>2</sub><sup>2</sup> = Dih<sub>2</sub>|| Z<sub>2</sub><sup>3</sup> = Dih<sub>2</sub>×Dih<sub>1</sub>|| Z<sub>2</sub><sup>4</sup> = Dih<sub>2</sub><sup>2</sup>|| Z<sub>3</sub><sup>2</sup>
|}

[[Dihedral group]]s Dih<sub>''n''</sub>, order 2''n'' consists of an ''n''-element cycle and ''n'' 2-element cycles:
{| class="wikitable" 
|- align=center
| [[File:GroupDiagramMiniC2.svg|60px]]
| [[File:GroupDiagramMiniD4.svg|60px]]
| [[File:GroupDiagramMiniD6.svg|60px]]
| [[File:GroupDiagramMiniD8.svg|60px]]
| [[File:GroupDiagramMiniD10.svg|60px]]
| [[File:GroupDiagramMiniD12.svg|60px]]
| [[File:GroupDiagramMiniD14.svg|60px]]
| [[File:GroupDiagramMiniD16.svg|60px]]
|[[File:GroupDiagramMiniD18.png|60px]]
| [[File:GroupDiagramMiniD20.png|55px]]
|-
! Dih<sub>1</sub> = Z<sub>2</sub>|| Dih<sub>2</sub> = Z<sub>2</sub><sup>2</sup>|| Dih<sub>3</sub> = S<sub>3</sub> || Dih<sub>4</sub>|| Dih<sub>5</sub>|| Dih<sub>6</sub> = Dih<sub>3</sub>×Z<sub>2</sub>|| Dih<sub>7</sub>|| Dih<sub>8</sub>|| Dih<sub>9</sub>|| Dih<sub>10</sub> = Dih<sub>5</sub>×Z<sub>2</sub>
|}

[[Dicyclic group]]s, Dic<sub>n</sub> = Q<sub>4''n''</sub>, order 4''n'':
{| class="wikitable" 
|- align=center
| [[File:GroupDiagramMiniQ8.svg|120px]]
| [[File:GroupDiagramMiniX12.svg|120px]]
| [[File:GroupDiagramMiniQ16.svg|120px]]
| [[File:GroupDiagramMiniQ20.png|120px]] 
| [[File:GroupDiagramMiniQ24.png|120px]]
|-
!Dic<sub>2</sub> = Q<sub>8</sub>
!Dic<sub>3</sub> = Q<sub>12</sub>
!Dic<sub>4</sub> = Q<sub>16</sub>
!Dic<sub>5</sub> = Q<sub>20</sub>
!Dic<sub>6</sub> = Q<sub>24</sub>
|}

Other [[direct product]]s:
{| class="wikitable"
|- align=center
| [[File:GroupDiagramMiniC2C4.svg|120px]]
| [[File:GroupDiagramMiniC2x2C4.svg|120px]]
| [[File:GroupDiagramMiniC2C6.svg|120px]]
| [[File:GroupDiagramMiniC2C8.svg|120px]]
| [[File:GroupDiagramMiniC4x2.svg|120px]]
|-
!Z<sub>4</sub>×Z<sub>2</sub>||Z<sub>4</sub>×Z<sub>2</sub><sup>2</sup>||Z<sub>6</sub>×Z<sub>2</sub>||Z<sub>8</sub>×Z<sub>2</sub>||Z<sub>4</sub><sup>2</sup>
|}

[[Symmetric group]]s – The symmetric group S<sub>''n''</sub> contains, for any group of order ''n'', a subgroup isomorphic to that group. Thus the cycle graph of every group of order ''n'' will be found in the cycle graph of S<sub>''n''</sub>.<br>
See example: [[v:Symmetric group S4#Subgroups|Subgroups of S<sub>4</sub>]]

==Extended example: Subgroups of the full octahedral group==

{{multiple image
 | align = right
 | image1 = GroupDiagramMiniS4xC2.svg
 | width1 = 83
 | caption1 = S<sub>4</sub> × Z<sub>2</sub>
 | image2 = GroupDiagramMiniA4xC2.svg
 | width2 = 100
 | caption2 = A<sub>4</sub> × Z<sub>2</sub>
 | image3 = GroupDiagramMiniC2D8.svg
 | width3 = 84
 | caption3 = Dih<sub>4</sub> × Z<sub>2</sub>
 | image4 = GroupDiagramMiniD12.svg
 | width4 = 71
 | caption4 = S<sub>3</sub> × Z<sub>2</sub>
}}

The [[Octahedral symmetry|full octahedral group]] is the [[Direct product of groups|direct product]] <math>S_4 \times Z_2</math> of the symmetric group S<sub>4</sub> and the cyclic group Z<sub>2</sub>.<br>
Its order is 48, and it has subgroups of every order that divides 48.

In the examples below nodes that are related to each other are placed next to each other,<br>
so these are not the simplest possible cycle graphs for these groups (like those on the right).

{| class="wikitable" style="text-align:center;" width=100%
|-
|[[File:Full octahedral group; cycle graph.svg|390px]]
|[[File:Subgroup of Oh; A4xC2; cycle graph.svg|370px]]
|[[File:Subgroup of Oh; Dih4xC2 07; cycle graph.svg|300px]]
|[[File:Subgroup of Oh; Dih6 03; cycle graph.svg|150px]]
|-
!S<sub>4</sub> × Z<sub>2</sub> <span style=font-weight:normal>(order 48)</span>
!A<sub>4</sub> × Z<sub>2</sub> <span style=font-weight:normal>(order 24)</span>
!Dih<sub>4</sub> × Z<sub>2</sub> <span style=font-weight:normal>(order 16)</span>
!S<sub>3</sub> × Z<sub>2</sub> <span style=font-weight:normal>= Dih<sub>6</sub> (order 12)</span>
|-
|[[File:Subgroup of Oh; S4 green orange; cycle graph.svg|370px]]
|[[File:Subgroup of Oh; A4; cycle graph.svg|300px]]
|[[File:Subgroup of Oh; Dih4 green orange 07; cycle graph.svg|140px]]
|[[File:Subgroup of Oh; S3 green 03; cycle graph.svg|130px]]
|-
!S<sub>4</sub> <span style=font-weight:normal>(order 24)</span>
![[Alternating group|A]]<sub>4</sub> <span style=font-weight:normal>(order 12)</span>
![[Dihedral group of order 8|Dih<sub>4</sub>]] <span style=font-weight:normal>(order 8)</span>
!S<sub>3</sub> <span style=font-weight:normal>= [[Dihedral group of order 6|Dih<sub>3</sub>]] (order 6)</span>
|}

Like all graphs a cycle graph can be represented in different ways to emphasize different properties. The two representations of the cycle graph of S<sub>4</sub> are an example of that.

{|
|style="vertical-align:top;"|
{{multiple image
 | align = left
 | image1 = Subgroup of Oh; Dih4 green orange 07; cycle graph.svg
 | width1 = 100
 | image2 = Subgroup of Oh; Dih4 green orange 16; cycle graph.svg
 | width2 = 100
 | image3 = Subgroup of Oh; Dih4 green orange 23; cycle graph.svg
 | width3 = 100
 | footer = The cycle graph of S<sub>4</sub> shown above emphasizes the three Dih<sub>4</sub> subgroups.
}}
|style="vertical-align:top;"|
{{multiple image
 | align = left
 | image1 = Symmetric group 4; cycle graph.svg
 | width1 = 160
 | image2 = Symmetric group 4; cycle graph; inversions.svg
 | width2 = 160
 | footer = This different representation emphasizes the symmetry seen in the [[Inversion (discrete mathematics)|inversion]] sets on the right.
}}
|}

== See also ==
{{commons category|Group cycle graphs}}
* [[List of small groups]]
* [[Cayley graph]]

==References==
{{Reflist}}

* Skiena, S. (1990). Cycles, Stars, and Wheels. ''Implementing Discrete Mathematics: Combinatorics and Graph Theory with Mathematica'' (pp. 144-147).
* {{Citation |first=Daniel |last=Shanks |author-link=Daniel Shanks |title=Solved and Unsolved Problems in Number Theory |edition=2nd |year=1978 |orig-year=1962 |isbn=0-8284-0297-3 |publisher=Chelsea Publishing Company |location=New York}}
* Pemmaraju, S., & Skiena, S. (2003). Cycles, Stars, and Wheels. ''Computational Discrete Mathematics: Combinatorics and Graph Theory with Mathematica'' (pp. 248-249). Cambridge University Press.

==External links==
*{{MathWorld|title=Group Cycle Graph|id=GroupCycleGraph}}

[[Category:Abstract algebra]]
[[Category:Group theory]]
[[Category:Application-specific graphs]]