Schreier graph
= Schreier graph
{c}
{wiki}
For a <group> $G$, a <subgroup> $H$, and a generating set $S$, the Schreier graph has the left cosets $G/H$ as vertices and an edge from $gH$ to $sgH$ for each $s\in S$. Its radius-$m$ ball records the cosets met by $S^m$.