= Muller–Schupp theorem
{wiki=Muller–Schupp_theorem}
The Müller–Schupp theorem is a result in group theory, specifically in the study of finitely generated groups. It deals with the relationship between group properties and their action on trees, particularly focusing on finitely generated groups that are defined by finite presentations. The theorem states that if a finitely generated group \\( G \\) acts freely and transitively on an infinite tree \\( T \\) (where a tree is a connected graph with no cycles), then \\( G \\) is a free group.
Back to article page