Joy Morris (University of Lethbridge, Canada)
A natural way to understand groups visually is by examining objects on which the group has a natural permutation action. In fact, this is often the way we first show groups to undergraduate students: introducing the cyclic and dihedral groups as the groups of symmetries of polygons, logos, or designs. For example, the dihedral group D8 of order 8 is the group of symmetries of a square. However, there are some challenges with this particular example of visualisation, as many people struggle to understand how reflections and rotations interact as symmetries of a square.
Every group G admits a natural permutation action on the set of elements of G (in fact, two): acting by right- (or left-) multiplication. (The action by right-multiplication is given by \left{t_g : g \in G\right}, wheret_g(h) = hgforeveryh \in G.)Thisactioniscalledthe"right−(orleft−)regularrepresentation"ofG.Itisstraightforwardtoobservethatthisactionisregular(thatis,foranytwoelementsoftheunderlyingset,thereispreciselyonegroupelementthatmapsonetotheother).IfitispossibletofindanobjectthatcanbelabelledwiththeelementsofGinsuchawaythatthesymmetriesoftheobjectarepreciselytheright−regularrepresentationofG,thenwecallthisobjecta"regularrepresentation"ofG$.
A Cayley (di)graph Cay(G,S) on the group G (with connection set S, a subset of G) is defined to have the set G as its vertices, with an arc from g to sg for every s in S. It is straightforward to see that the right-regular representation of G is a subset of the automorphism group of this (di)graph. However, it is often not at all obvious whether or not Cay(G,S) admits additional automorphisms. For example, Cay(Z4,1,3) is a square, and therefore has D8 rather than Z4 as its full automorphism group, so is not a regular representation of Z4. Nonetheless, since a regular representation that is a (di)graph must always be a Cayley (di)graph, we study these to determine when regular representations of groups are possible.
I will present results about which groups admit graphs, digraphs, and oriented graphs as regular representations, and how common it is for an arbitrary Cayley digraph to be a regular representation.