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=HCK as a free product with amalgamation where C is a finite group such that CH and CK.
  • 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 = AB 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:

    The manifestation of poetry in external life is formal perfection. True sentiment grows within, and art must represent internal phenomena externally.
    Franz Grillparzer (1791–1872)

    He that writes to himself writes to an eternal public. That statement only is fit to be made public, which you have come at in attempting to satisfy your own curiosity.
    Ralph Waldo Emerson (1803–1882)

    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)