群论中，乒乓引理给出了一个充分条件，保证一个群中数个子群所生成的群是这些子群的自由积。
历史.使用乒乓引理的论证法可以追溯至19世纪后期，通常认为是菲利克斯·克莱因最先使用，他研究克莱因群的子群常常用到。雅克·蒂茨在他一篇1972年的文章中，证明着名的蒂茨两择性（Tits alternative）结果，一个主要工具就是乒乓引理。这结果指出任何有限生成的线性群，或是一个逼肖可解群（virtually solvable group），或是包含一个秩2的自由子群。乒乓引理及其引申结果广泛