A homological characterization of locally finite groups. (Q435932): Difference between revisions

Let \(G\) be a group. We say that \(G\) is locally finite if every subgroup of it that is finitely generated, is finite. We define the generalized homological dimension \(\text{hd}(G)\) (resp. the modified generalized homological dimension \(\text{hd}'(G)\)) as the supremum of those integers \(n\), for which there exist a \(\mathbb Z\)-torsion-free (resp. \(\mathbb Z\)-free) \(\mathbb ZG\)-module \(M\) and an injective \(\mathbb ZG\)-module \(I\), such that \(\text{Tor}_n^{\mathbb ZG}(M,I)\neq 0\). In this paper the author proves that the locally finiteness of \(G\) is equivalent to \(\text{hd}(G)=0\) and to \(\text{hd}'(G)=0\).