Representations over $\mathbb{Z}_p$

Question

Hi, I would like to work with indecomposable representations over a commutative ring and start with $R=\mathbb{Z}_p$

Notations: $G$ a finite group, $S$ a subgroup, $R=\mathbb{Z}_p$ the p-adic ring, and $W$ an indecomposable $R[S]$ module

1. The Mackey criterion tells if an induced representation is simple or not. How can one decide if it is indecomposable? I know just theorems which tell " If ... then $\operatorname{Ind}_S^G(W)$ is indecomposable". Is there something for the other direction to have "$\operatorname{Ind}(W)$ is indecomposable if and only if" ?

2. Let $V$ be some finite generate $\mathbb{Z}_p[G]$ module. Is the decomposition of $V$ into indecomposables unique? I know that usually it would be necessary that the ring is artinian.

Thanks

---

edit: Is there maybe a theorem, which tells when an indecomposable representation from a normal subgroup extends to the whole group when working over $R$?

Answer 1

Concerning 2: Yes, the decomposition is unique, since the Krull-Schmidt theorem applies to finitely generated modules over $\mathbb{Z}_pG$. This follows by a theorem of Swan (Induced Representations and Projectives. Ann. of Math. 71(1960), 552-578. Remark after Prop. 6.1):

Let $R$ be a commutative complete local ring and let $A$ be an $R$-algebra that is finitely generated as $R$-module. Then the Krull-Schmidt theorem holds for finitely generated $A$-modules.

An alternative reference is Curtis, Reiner: Representation Theory of Finite Groups and Associative Algebras. Theorem 76.26.