加载中…
Assume is a polycyclic group and an endomorphism. Let be the ascending HNN extension of with respect to ; that is, is given by the presentation G\ast_{\phi}= < G, t \ |\ t^{-1}gt = \phi(g)\ \{for all}\ g\in G >. Furthermore, let be the profinite completion of . We prove that, for any finite discrete -module , the map induced by the canonical map is an isomorphism.

生成讲解博客的中文版本

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