加载中…
We prove that for a countable, commutative ring , the class of countable -modules either has only countably many isomorphism types, or else it is Borel complete. The machinery gives a succinct proof of the Borel completeness of TFAB, the class of torsion-free abelian groups. We also prove that for any countable ring , both the class of left -modules endowed with an endomorphism and the class of left -modules with four named submodules are Borel complete.

生成讲解博客的中文版本

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