Abstract Given an integer n > 0 we give a computable injective listing of the isomorphism types of all computable abelian p-groups of Ulm type ≤n. We prove a similar result for certain classes of profinite groups.

中文翻译：

---

枚举阿贝尔 p 群

摘要 给定一个整数 n > 0，我们给出了 Ulm 类型 ≤n 的所有可计算阿贝尔 p 群的同构类型的可计算单射列表。我们证明了某些类别的 profinite 组的类似结果。