乒乓引理 群論中乒乓引理pingpong lemma給出了一個充分條件保證一個群中數個子群所生成的群是這些子群的自由積