Beschreibung
Ein Baumautomorphismus ist ein Automorphismus auf Bäumen.
Eigenschaften
Erhält Endpunkte
Ein Baumautomorphismus erhält Knotengrad und damit terminale Knoten.
Fixpunkt bei endlichen Bäumen
Ein Baumautomorphismus auf beschränkten Bäumen hat einen Fixpunkt bei ungeradem Durchmesser oder eine Fixkante bei geradem Durchmesser. Das folgt, daraus, dass der Baum nicht-terminale Knoten erhält. Man kann also terminale Knoten vom Baum entfernen, ohne den Automorphismus zu beeinflussen. Nun kann man das wiederholen.