$SL_d(O_K/I)$中的展开性，$I$无平方因子
群论
2012-05-15 v1
摘要
设是的一个固定的对称有限子集，当通过标量限制将其视为上的代数群时，它生成的一个Zariski稠密子群。我们证明，如果且是任意数域，或者且，那么当遍历的无平方因子理想时，关于的投影的Cayley图构成一个展开族。
引用
@article{arxiv.1001.3664,
title = {Expansion in $SL_d(O_K/I)$, $I$ square-free},
author = {Péter P. Varjú},
journal= {arXiv preprint arXiv:1001.3664},
year = {2012}
}