Bass-Serre tree (source code)

= Bass-Serre tree
{c}
{title2=$T$}
{wiki=Bass–Serre_theory#Bass–Serre_trees}

For $G=A*_CB$, the Bass-Serre tree has vertices $G/A\sqcup G/B$ and edges $G/C$, with $gC$ joining $gA$ to $gB$. Vertex degrees are the indices of the corresponding images of $C$.