For abelian groups see Def. 6 in Melnikov, Alexander G. (2010). Computable ordered abelian groups and fields. Programs, proofs, processes. 6th conference on computability in Europe, CiE 2010. Lecture Notes in Computer Science. Vol.6158. Ponta Delgada, Azores, Portugal: Springer. pp.321–330.
Witte, Dave (1994). "Arithmetic groups of higher \(\mathbb{Q}\)-rank cannot act on \(1\)-manifolds". Proceedings of the American Mathematical Society. 122 (2): 333–340. doi:10.2307/2161021. JSTOR2161021. Zbl0818.22006.
Witte, Dave (1994). "Arithmetic groups of higher \(\mathbb{Q}\)-rank cannot act on \(1\)-manifolds". Proceedings of the American Mathematical Society. 122 (2): 333–340. doi:10.2307/2161021. JSTOR2161021. Zbl0818.22006.
Witte, Dave (1994). "Arithmetic groups of higher \(\mathbb{Q}\)-rank cannot act on \(1\)-manifolds". Proceedings of the American Mathematical Society. 122 (2): 333–340. doi:10.2307/2161021. JSTOR2161021. Zbl0818.22006.