A class of modules over a locally finite group I

Abstract

Let G be a locally finite group, let k be a field of characteristic p ≧ 0, and let V be a (right) kG-module, not necessarily of finite dimension over k. We say that V is an Mc-modle over kG if, for each p′-subgroup H of G, the set of centrarlizers in V of subgroups of H satisfies the minimal condition under the relation of setheoretic inclusion. Here, p′ denotes the set of all peimes different from p, and in particular 0' denotes the set of all primes. It is straightforward to verify that V is an Mc-module over kG if and only if each p′-subgroup H of G contains a finite subgroup F such that CV(F) = CV(H).