By Bass–Serre theory, a group acting freely on a simplicial tree is free.
根據Bass–Serre理論，一個自由作用在單純樹上的群是自由的。