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:
“This is no argument against teaching manners to the young. On the contrary, it is a fine old tradition that ought to be resurrected from its current mothballs and put to work...In fact, children are much more comfortable when they know the guide rules for handling the social amenities. It’s no more fun for a child to be introduced to a strange adult and have no idea what to say or do than it is for a grownup to go to a formal dinner and have no idea what fork to use.”
—Leontine Young (20th century)
“The honor my country shall never be stained by an apology from me for the statement of truth and the performance of duty; nor can I give any explanation of my official acts except such as is due to integrity and justice and consistent with the principles on which our institutions have been framed.”
—Andrew Jackson (1767–1845)
“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)