We prove that for any finite index subgroup in , there exists , , and an infinite family of finite index subgroups in with a Kazhdan constant greater than with respect to a generating set of order . On the other hand, we prove that for any finite index subgroup of , and for any and , there exists a finite index subgroup such that the Kazhdan constant of any finite index subgroup in is less than , with respect to any generating set of order . In addition, we prove that the Kazhdan constant of the principal congruence subgroup , with respect to a generating set consisting of elementary matrices (and their conjugates), is greater than , where depends only on . For a fixed , this bound is asymptotically best possible.

生成讲解博客的中文版本

生成AI智能校验的中文版本