$p$-adic representations of finite groups Representation theory of groups mathematics