A NOTE ON G-INVARIANT FORMS

If G is a finite group, the reduction mod p of a module supporting a n ondegenerate G-invariant form need not itself support such a form. How ever, under a suitable hypothesis on the splitting held (quadratric cl osure) and a carefully chosen lattice within the module (for reduction mod p), this will always be the case. The argument given is elementar y and self-contained.