加载中…
We prove that groups of the form , where , are regularly bi-interpretable with and therefore are first-order rigid: every finitely generated group elementarily equivalent to is isomorphic to . On the other hand, we show that admits elementarily equivalent, pairwise non-isomorphic central extensions with finite kernel.

生成讲解博客的中文版本

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