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.