Representing groups with two generators as graph automorphisms - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T11:34:44Z http://mathoverflow.net/feeds/question/94195 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/94195/representing-groups-with-two-generators-as-graph-automorphisms Representing groups with two generators as graph automorphisms G_infinity 2012-04-16T09:39:16Z 2012-04-16T15:24:57Z <p>Suppose we have a group $G$ which can be generated by two elements $x$, $y$. Call $H$, $K$, $L$ the subgroups of $G$ generated by $x$, $y$ and $y^{-1}x^{-1}$, respectively.</p> <p>With these data, we can build up a graph $\mathcal{G}$, by declaring the vertices of $\mathcal{G}$ to be the right-cosets of $H$, $K$ and $L$, and by adding an edge between two right-cosets if they have nonempty intersection. Obviously, $G$ acts faithfully on $\mathcal{G}$.</p> <p>Geometrically, $\mathcal{G}$ can be seen a planar graph, made by triangles (the vertices of each triangle corresponds to right-cosets of different $H$, $K$, and $L$). Then, acting, e.g., by $x$ means to rotate $\mathcal{G}$ around the vertex $H$. Furthermore, if $\mathcal{G}$ is represented on a constant-curvature surface, then the angle of such a rotation is $2\pi/|H|$. Similarly for $y$ and $y^{-1}x^{-1}$. In other words, $G$ is represented in the group of automorphisms of a regular tiling.</p> <p><em>I've heard about this construction years ago during an undergraduate class, but back then I wasn't interested (I even forgot who was the lecturer). Lately, I rediscovered this, and I've spent few days searching the web, but I couldn't find anything resembling what I've explained above. Posting my question here is my last hope! Somehow, it looks such a simple idea, that it is hard to believe that it cannot be found anywhere!</em></p> <p>More precisely, <strong>my question is the following</strong>:</p> <p>Is there a standard construction to associate a graph $\mathcal{G}$ with a group with two generators $G$, in such a way that</p> <ul> <li><p>$\mathcal{G}$ can be realized as a regular tiling made of triangles on a constant-curvature surface, and</p></li> <li><p>$G$ can be seen as a subgroup in the group of automorphisms of $\mathcal{G}$?</p></li> </ul> http://mathoverflow.net/questions/94195/representing-groups-with-two-generators-as-graph-automorphisms/94210#94210 Answer by Mark Sapir for Representing groups with two generators as graph automorphisms Mark Sapir 2012-04-16T13:05:25Z 2012-04-16T15:24:57Z <p>I think what you are trying to remember is the triangle group $\langle x,y\mid x^k=y^l=(xy)^m=1\rangle$ (see <a href="http://en.wikipedia.org/wiki/Triangle_group" rel="nofollow">Wiki</a>). Depending on whether $1/k+1/l+1/m$ is less than, equal to or greater than 1, the group corresponds to a tessellation of a hyperbolic plane, Euclidean plane or a 2-sphere. The tesselation is constructed as you described. </p>