Integer representation of finite groups

• see book 'Invariant Theory of Finite Groups', 221p
• if \(G\) is a subgroup of \(GL(n, \mathbb{Z})\), then the reduction mod an odd prime still gives a monomorphism \(G \to GL(n, \mathbb{Z}_p)\)