加载中…
Let be a -adically closed field and a group interpretable in . We show that if is definably semisimple (i.e. has no definable infinite normal abelian subgroups) then there exists a finite normal subgroup such that is definably isomorphic to a -linear group. The result remains true in models of .

生成讲解博客的中文版本

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