No label defined (Q4244062)

The authors' main result is the following. Theorem: Let \(G\) be a locally soluble FC-group, \(A\) an Artinian \(\mathbb{Z} G\)-module and \(\chi\) an overfinite formation of groups. Then \(A\) has a \(\chi\)-decomposition. The terminology here is as follows. A formation \(\chi\) is called overfinite if it contains the class of finite groups and if, whenever \(H\) is a normal subgroup of finite index in a group \(G\), it is true that \(G\in\chi\) if and only if \(H\in\chi\). Next a \(\chi\)-decomposition of \(A\) is a decomposition of the form \(A=\chi C^\infty_{\mathbb{Z} G}(A)\oplus \chi C^*_{\mathbb{Z} G}(A)\). Here \(\chi C^\infty_{\mathbb{Z} G}(A)\) is the \(\chi C\)-hypercenter of \(A\), obtained by iterating the \(\chi C\)-center; the latter consists of all module elements \(a\) such that \(G/C_G(a\mathbb{Z} G)\in\chi\). Finally, \(\chi C^*_{\mathbb{Z} G}(A)\) is a submodule which has no non-trivial \(\chi C\)-central factors.