Proof of the Ping-pong lemma for infinite cyclic subgroups

Proof

This statement follows as a corollary of the version for general subgroups if we let $X_{i} = X_{i}^{+} \cup X_{i}^{-}$ and let $H_{i} = \langle a_{i}\rangle$ .

Where this leads

1 page builds on this one.

The Ping-pong lemma for infinite cyclic subgroups

Tag	`HM52W253FQ`
URI	`m2://HM52W253FQ`
Kind	proof
Writing	W0 stub
Proves	The Ping-pong lemma for infinite cyclic subgroups
Changed	4 November 2026

Proof of the Ping-pong lemma for infinite cyclic subgroups

Proof

Where this leads

Further reading

What this page needs for W1

What links here