Muller–Schupp theorem
In mathematics, the Muller–Schupp theorem states that a finitely generated group G has context-free word problem if and only if G is virtually free. The theorem was proved by David Muller and Paul Schupp in 1983.
Word problem for groups
Let G be a finitely generated group with a finite marked generating set X, that is a set X together with the map such that the subset generates G. Let be the group alphabet and let be the free monoid on that is is the set of all words over the alphabet.The map extends to a surjective monoid homomorphism, still denoted by,.
The word problem of G with respect to X is defined as
where is the identity element of G.
That is, if G is given by a presentation with X finite, then consists of all words over the alphabet that are equal to in G.
Virtually free groups">Virtually">Virtually free groups
A group G is said to be virtually free if there exists a subgroup of finite index H in G such that H is isomorphic to a free group. If G is a finitely generated virtually free group and H is a free subgroup of finite index in G then H itself is finitely generated, so that H is free of finite rank.The trivial group is viewed as the free group of rank 0, and thus all finite groups are virtually free.
A basic result in Bass–Serre theory says that a finitely generated group G is virtually free if and only if G splits as the fundamental group of a finite graph of finite groups.
Precise statement of the Muller–Schupp theorem
The modern formulation of the Muller–Schupp theorem is as follows:Let G be a finitely generated group with a finite marked generating set X. Then G is virtually free if and only if is a context-free language.
Sketch of the proof
The exposition in this section follows the original 1983 proof of Muller and Schupp.Suppose G is a finitely generated group with a finite generating set X such that the word problem is a context-free language. One first observes that for every finitely generated subgroup H of G is finitely presentable and that for every finite marked generating set Y of H the word problem is also context-free. In particular, for a finitely generated group the property of having context word problem does not depend on the choice of a finite marked generating set for the group, and such a group is finitely presentable.
Muller and Schupp then show, using the context-free grammar for the language, that the Cayley graph of G with respect to X is K-triangulable for some integer K>0. This means that every closed path in can be, by adding several ``diagonals", decomposed into triangles in such a way that the label of every triangle is a relation in G of length at most K over X.
They then use this triangulability property of the Cayley graph to show that either G is a finite group, or G has more than one end. Hence, by a theorem of Stallings, either G is finite or G splits nontrivially as an amalgamated free product or an HNN-extension where C is a finite group. Then are again finitely generated groups with context-free word-problem, and one can apply the entire preceding argument to them.
Since G is finitely presentable and therefore accessible, the process of iterating this argument eventually terminates with finite groups, and produces a decomposition of G as the fundamental group of a finite graph-of-groups with finite vertex and edge groups. By a basic result of Bass–Serre theory it then follows that G is virtually free.
The converse direction of the Muller–Schupp theorem is more straightforward. If G is a finitely generated virtually free group, then G admits a finite index normal subgroup N such that N is a finite rank free group. Muller and Schupp use this fact to directly verify that G has context-free word problem.
Remarks and further developments
- The Muller–Schupp theorem is a far-reaching generalization of a 1971 theorem of Anisimov which states that for a finitely generated group G with a finite marked generating set X the word problem is a regular language if and only if the group G is finite.
- At the time the 1983 paper of Muller and Schupp was published, accessibility of finitely presented groups has not yet been established. Therefore, the original formulation of the Muller–Schupp theorem said that a finitely generated group is virtually free if and only if this group is accessible and has context-free word problem. A 1985 paper of Dunwoody proved that all finitely presented groups are accessible. Since finitely generated groups with context-free word problem are finitely presentable, Dunwoody's result together with the original Muller–Schupp theorem imply that a finitely generated group is virtually free if and only if it has context-free word problem.
- A 1983 paper of Linnell established accessibility of finitely generated groups where the orders of finite subgroups are bounded. It was later observed that Linnell's result together with the original Muller–Schupp theorem were sufficient to derive the modern statement of the Muller–Schupp theorem, without having to use Dunwoody's result.
- In the case of torsion-free groups, the situation is simplified as the accessibility results are not needed and one instead uses Grushko theorem about the rank of a free product. In this setting, as noted in the original Muller and Schupp paper, the Muller–Schupp theorem says that a finitely generated torsion-free group has context-free word problem if and only if this group is free.
- In a subsequent related paper, Muller and Schupp proved that a ``finitely generated" graph Γ has finitely many end isomorphism types if and only if Γ is the transition graph of a push-down automaton. As a consequence, they show that the monadic theory of a ``context-free" graph is decidable, generalizing a classic result of Rabin for binary trees. Later Kuske and Lohrey proved that virtually free groups are the only finitely generated groups whose Cayley graphs have decidable monadic theory.
- Bridson and Gilman applied the Muller–Schupp theorem to show that a finitely generated group admits a ``broom-like" combing if and only if that group is virtually free.
- Sénizergues used the Muller–Schupp theorem to show that the isomorphism problem for finitely generated virtually free group is primitive recursive.
- Gilman, Hermiller, Holt and Rees used the Muller–Schupp theorem to prove that a finitely generated group G is virtually free if and only if there exist a finite generating set X for G and a finite set of length-reducing rewrite rules over X whose application reduces any word to a geodesic word.
- Ceccherini-Silberstein and Woess consider the setting of a finitely generated group G with a finite generating set X, and a subgroup K of G such that the set of all words over the alphabet representing elements of H is a context-free language.
- Generalizing the setting of the Muller–Schupp theorem, Brough studied groups with poly-context-free word problem, that is where the word problem is the intersection of finitely many context-free languages. Poly-context-free groups include all finitely generated groups commensurable with groups embeddable in a direct product of finitely many free groups, and Brough conjectured that every poly-context-free group arises in this way. Ceccherini-Silberstein, Coornaert, Fiorenzi, Schupp, and Touikan introduced the notion of a multipass automaton, which are nondeterministic automata accepting precisely all the finite intersections of context-free languages. They also obtained results providing significant evidence in favor of the above conjecture of Brough.
- Subsequent to the 1983 paper of Muller and Schupp, several authors obtained alternate or simplified proofs of the Muller–Schupp theorem.