En este post fue el comentario, que es tener Qp[G] módulos, es posible construir módulos de Zp[G]. ¿Cómo es posible averiguar cuando hay un bijection entre % simple Qp[G]módulos e indescomponible Zp[G]? (Tal vez sin cálculo de los personajes)
Respuesta
¿Demasiados anuncios?Hay casi nunca será un bijection entre la simple Qp[G]-módulos y indecomposable Zp[G]-módulos.
Para una cosa, hay sólo un número finito de clases de isomorfismo de los primeros, mientras que, a menos que G tiene un cíclica p-subgrupo de Sylow, hay infinitamente muchas clases de isomorfismo de este último.
(Un punto básico es que el M ser un indecomposable Zp[G]-módulo de no implica que M⊗ZpQp es simple a más de Qp[G].)
Incluso si restringimos la atención a indecomposable Zp[G]-módulos de M para que V:=M⊗ZpQp es simple (es decir, G- invariante Zp-celosías en irred. reps. más de Qp), no habrá un bijection en general.
Como señalé en mi comentario sobre la cuestión vinculada en su post, M se determina hasta el isomorfismo por V sólo en el caso especial cuando M/pM es irred. como un G-rep n'.