Published online by Cambridge University Press: 01 March 1997
Let V be a vector space over some division ring D, and G a finitary subgroup of GL(V). If G is locally completely reducible, then the D-G modules V, [V, G] and V/CV(G) need not be completely reducible, even if dimDV is finite. Moreover, if F is a field, then V and V/CV(G) need not be completely reducible. We prove here that if D is a finite-dimensional division algebra and G is locally completely reducible, then [V, G] is always a completely reducible D-G module.