Formal Statement of Stallings' Theorem
Let G be a finitely generated group.
Then e(G) > 1 if and only if one of the following holds:
- The group G admits a splitting G=H∗CK as a free product with amalgamation where C is a finite group such that C ≠ H and C ≠ K.
- The group G admits a splitting is an HNN-extension where and C1, C2 are isomorphic finite subgroups of H.
In the language of Bass-Serre theory this result can be restated as follows: For a finitely generated group G we have e(G) > 1 if and only if G admits a nontrivial (that is, without a global fixed vertex) action on a simplicial tree with finite edge-stabilizers and without edge-inversions.
For the case where G is a torsion-free finitely generated group, Stallings' theorem implies that e(G) = ∞ if and only if G admits a proper free product decomposition G = A∗B with both A and B nontrivial.
Read more about this topic: Stallings Theorem About Ends Of Groups
Famous quotes containing the words formal, statement and/or theorem:
“There must be a profound recognition that parents are the first teachers and that education begins before formal schooling and is deeply rooted in the values, traditions, and norms of family and culture.”
—Sara Lawrence Lightfoot (20th century)
“The force of truth that a statement imparts, then, its prominence among the hordes of recorded observations that I may optionally apply to my own life, depends, in addition to the sense that it is argumentatively defensible, on the sense that someone like me, and someone I like, whose voice is audible and who is at least notionally in the same room with me, does or can possibly hold it to be compellingly true.”
—Nicholson Baker (b. 1957)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (1913–1960)