Thompson群~$F$~和线性群~$GL_{infty}(ZZ)$~，吴艳，陈晓漫，本文主要证明了存在一个单的李普西兹映射~$arphi:(F, d_{S})longrightarrow(H,d)$, 其中~$F$~是Thompson群, $d_{S}$~是~$F$~关于有限生成集~$S={x_{0}, x_{1}}