Schreier coset graph (source code)

= Schreier coset graph
{c}
{wiki=Schreier_coset_graph}

For $H\leq G$ and a generating set $S$, the Schreier coset graph has vertices $Hg$ and a directed $s$-edge from $Hg$ to $Hgs$ for every $s\in S$. For a free group, this is the covering graph associated with $H$.