## Return to Answer

2 Added a reference

Usually, "irreducible" means having no subrepresentations. In the integral context, there is no such thing, since for any $\mathbb{Z}_p[G]$-module $M$, $pM$ is a proper submodule. The right question is to try and classify the indecomposable representations, i.e. those that cannot be written as direct sums of subrepresentations.

To find all indecomposable $\mathbb{Z}_p$-representations of a given finite group is a hard problem, in general, and a lot of work has been done on special cases. If $G$ is a cyclic group of order $n$, then it is known that there is a finite number of indecomposable $\mathbb{Z}_p[G]$-modules if and only if $p$ divides $n$ at most to the power 2. If $p^3|n$, then there are infinitely many indecomposable modules over $\mathbb{Z}_p$. See Heller, Representations of Cyclic Groups in Rings of Integers, II in The Annals of Mathematics, Vol. 77, No. 2. Many other special cases have been treated in the literature, e.g. dihedral groups of order $2p$.2p$(M. P. Lee, Integral representations of dihedral groups of order 2$p$, Trans. American Math. Soc. 110 no. 2 (1964), 213-231). There is indeed a strong connection to modular representations. For example if$G$is a finite group and$M$is a$\mathbb{Z}_p[G]$-module, then$M$is decomposable if and only if$M/p^kM$is a decomposable$\mathbb{Z}/p^k\mathbb{Z}[G]$-module for some$k$. Also, two modules$M$and$N$are isomorphic if and only if$M/p^kM$is isomorphic to$N/p^kN$for some (explicitly computable)$k$. For this and more results, see e.g. Curtis and Reiner, Representation theory of finite groups and associative algebra, §76. 1 Usually, "irreducible" means having no subrepresentations. In the integral context, there is no such thing, since for any$\mathbb{Z}_p[G]$-module$M$,$pM$is a proper submodule. The right question is to try and classify the indecomposable representations, i.e. those that cannot be written as direct sums of subrepresentations. To find all indecomposable$\mathbb{Z}_p$-representations of a given finite group is a hard problem, in general, and a lot of work has been done on special cases. If$G$is a cyclic group of order$n$, then it is known that there is a finite number of indecomposable$\mathbb{Z}_p[G]$-modules if and only if$p$divides$n$at most to the power 2. If$p^3|n$, then there are infinitely many indecomposable modules over$\mathbb{Z}_p$. See Heller, Representations of Cyclic Groups in Rings of Integers, II in The Annals of Mathematics, Vol. 77, No. 2. Many other special cases have been treated in the literature, e.g. dihedral groups of order$2p$. There is indeed a strong connection to modular representations. For example if$G$is a finite group and$M$is a$\mathbb{Z}_p[G]$-module, then$M$is decomposable if and only if$M/p^kM$is a decomposable$\mathbb{Z}/p^k\mathbb{Z}[G]$-module for some$k$. Also, two modules$M$and$N$are isomorphic if and only if$M/p^kM$is isomorphic to$N/p^kN$for some (explicitly computable)$k\$. For this and more results, see e.g. Curtis and Reiner, Representation theory of finite groups and associative algebra, §76.