Cayley graph of a Baumslag-Solitar group, with tree-like branching from the defining relation
The Baumslag-Solitar groups BS(m,n) are two-generator one-relator groups defined by the presentation <a,b | ba^mb^(-1) = a^n>. Their Cayley graphs have a tree-like structure with sheets that branch according to the relation. These groups are important in combinatorial and geometric group theory as sources of examples and counterexamples. This visualization renders a portion of the Cayley graph as an embedded graph in three-dimensional space.
Controls: Click and drag to orbit, scroll to zoom.