Stallings Theorem About Ends of Groups - Formal Statement of Stallings' Theorem

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:

    “That anger can be expressed through words and non-destructive activities; that promises are intended to be kept; that cleanliness and good eating habits are aspects of self-esteem; that compassion is an attribute to be prized—all these lessons are ones children can learn far more readily through the living example of their parents than they ever can through formal instruction.”
    —Fred Rogers (20th century)

    “Most personal correspondence of today consists of letters the first half of which are given over to an indexed statement of why the writer hasn’t written before, followed by one paragraph of small talk, with the remainder devoted to reasons why it is imperative that the letter be brought to a close.”
    —Robert Benchley (1889–1945)

    “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)