 Section of a rooted-tree automorphism

ID: section-of-a-rooted-tree-automorphism

g

of a regular rooted tree and a first-level vertex

i

, the section

g_{i}

is the induced automorphism of the rooted subtree at

i

, defined by

g (i v) = g (i) g_{i} (v) .

An automorphism fixing the first level is determined by the tuple of all its sections.

 New to topics? Read the docs here!