乒乓引理

维基百科,自由的百科全书

群論中,乒乓引理(ping-pong lemma)給出了一個充分條件,保證一個中數個子群生成的群是這些子群的自由積

歷史[编辑]

使用乒乓引理的論證法可以追溯至19世紀後期,通常認為是菲利克斯·克萊因最先使用[1],他研究克萊因群的子群常常用到。雅克·蒂茨在他一篇1972年的文章中[2],證明著名的蒂茨兩擇性(Tits alternative)結果,一個主要工具就是乒乓引理。這結果指出任何有限生成線性群,或是一個逼肖可解群(virtually solvable group),或是包含一個秩2的自由子群。乒乓引理及其引申結果廣泛應用於幾何拓撲學幾何群論

定理敍述[编辑]

G作用集合X上,H1H2G的非平凡子群,HH1H2生成的群。若X有兩個不交非空子集X1X2,使得

  • 對所有,都有
  • 對所有,都有

HH1H2自由積,即,或者,而H二面體群

證明[编辑]

w是用H1H2的元素寫出的非空簡約。若,其中,則

。同上得

H1H2不都等於2,不失一般性,假設。若,取,則,故由上可知

。若,取,則,同上可得,故。因此得出

,令。從上可知若有以a, b寫出的非空簡約字w等於1,則w只可能是,故對某些數n > 0有。取其最小者的值為n,則H二面體群。若無如此簡約字w,則

推廣[编辑]

乒乓引理可以推廣至數個子群的情形:

G作用集合X上。又設H1, H2, ... , HkG的非平凡子群,且當中至少一個的不小於3。若X兩兩不交的非空子集X1, X2, ... , Xk,使得當時,對所有,都有。則H1, H2, ... , Hk所生成的群是其自由積,即

這條定理的證明與兩個子群時的證明類似。

應用例子[编辑]

特殊線性群[编辑]

矩陣在特殊線性群中生成的子群是秩2的自由群

證明[编辑]

線性變換作用在平面上。 設這兩個矩陣各自生成子群

又設平面的兩個不交子集為

H1, H2同構於無限循環群。因為H1, H2, X1, X2適合乒乓引理的條件,由乒乓引理得出H1, H2生成的群為其自由積,而兩個無限循環群的自由積為秩2的自由群

參考[编辑]

  • Lyndon, Roger; Schupp, Paul. Combinatorial Group Theory. Classics in Mathematics. Germany: Springer-Verlag. 2001: 167 [1977]. ISBN 3-540-41158-5. 
  1. ^ La Harpe, Pierre de. Topics in Geometric Group Theory. Chicago: The University of Chicago Press. 2000. ISBN 0-226-31721-8. 
  2. ^ J. Tits. Free subgroups in linear groups.[永久失效連結] Journal of Algebra, vol. 20 (1972), pp. 250–270