The graph automorphism group of a graph 
, denoted 
, is the group formed by the
graph automorphisms of 
under composition. It is a permutation
group acting on the vertex set of 
and describes the symmetries of the graph.
The graph automorphism group of 
may be computed in the Wolfram
Language using GraphAutomorphismGroup[g].
