Group action on a tree
ID: group-action-on-a-tree
A group action on a tree is a homomorphism to the tree's combinatorial isometry group. Barycentric subdivision removes edge inversions without changing the essential action.
New to topics? Read the docs here!