Question. Does there exist an infinite simple group GG that can be written as a colimit (in Grp\mathbf{Grp}) of a finite diagram of finite groups GiG_i? (Maybe even as a pushout of finite groups?) The ...