On the vertex-to-edge duality between the Cayley graph and the coset geometry of von Dyck groups (Q2826355)

From MaRDI portal





scientific article; zbMATH DE number 6639575
Language Label Description Also known as
English
On the vertex-to-edge duality between the Cayley graph and the coset geometry of von Dyck groups
scientific article; zbMATH DE number 6639575

    Statements

    On the vertex-to-edge duality between the Cayley graph and the coset geometry of von Dyck groups (English)
    0 references
    0 references
    0 references
    14 October 2016
    0 references
    group actions on combinatorial structures
    0 references
    geometric group theory
    0 references
    incidence geometry
    0 references
    graphs and abstract algebra
    0 references
    tilings in 2 dimensions
    0 references
    The paper under review concerns the study of relationships between the Cayley graph and the coset geometry of the von Dyck groups \(D(a, b, c)\), \((a, b, c > 1\) integers).NEWLINENEWLINELet \(D(a, b, c) = \langle x, y \: x^a = y^b = (xy)^c = 1\rangle \) be a von Dyck group, and call \(\Gamma (a, b, c)\) its Cayley graph corresponding to the generating set \(\{x, y\}\), and \(T(a, b, c)\) the rank two coset geometry determined by the subgroups \(\langle x \rangle \) and \(\langle y \rangle \).NEWLINENEWLINEThe main result of the paper is that all information about \(\Gamma (a, b, c)\) is already contained in \(T(a, b, c)\). Precisely, the authors first show that \(\Gamma (a, b, c)\) and \(T(a, b, c)\) are linked by a vertex-to-edge duality, i.e., there is a \(D(a, b, c)\)-equivariant bijection \(\varphi \) between the set of vertices of \(\Gamma (a, b, c)\) and the set of edges of \(T(a, b, c)\). Then they prove that there is a map \(\psi \) from the set of incident pairs of edges of \(T(a, b, c)\) to \(\langle x\rangle \cup \langle y\rangle \) such that vertices \(d_1, d_2\) of \(\Gamma (a, b, c)\) are connected by an \(x\)-colored (resp. \(y\)-colored) oriented edge if and only if \(\psi \bigl (\varphi (d_1), \varphi (d_2)\bigr) = x\) (resp. = \(y\)).
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references