“…Condition (i) holds from step (c) above, condition (ii) since C M (D) is an F//-submodule and H acts faithfully on M. Condition (iii) holds by M(3.4)(a). By M(3.3) we have N = (S}S, where N is the <5>-module generated by N. If \H:<5>| is infinite we have r o ((S)) < r Q (H), so that Nis finite-dimensional; by (3,1) it follows that N = 0, so that DS = 0 and D ^ C H (M) = 1, and this is a contradiction. Therefore condition (iv) holds.…”