ping-pong lemma
theorem about sufficient conditions for ensuring that that several elements in a group acting on a set freely generate a free subgroup of that group
en-US/ˈpɪŋ - pɑŋ ˈlɛmə/
en-GB/ˈpɪŋ - ˈpɒŋ ˈlɛmə/
theorem about sufficient conditions for ensuring that that several elements in a group acting on a set freely generate a free subgroup of that group