On the mod p reduction of orthogonal representations

We show that the reduction mod p of an orthogonal linear representation is orthogonal, and we generalize this fact to representations of algebras with involution.The proofs make an essential use of the notion of " middle lattices ".