We construct the first example of a lattice on an irreducible Euclidean building that is not residually finite. Conjecturally, the normal subgroup theorem extends to this lattice making it virtually simple.
生成讲解博客的中文版本
生成AI智能校验的中文版本