Processing math: 100%

5 votos

Conexión entre Qp[G]y Zp[G]

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)

1voto

YequalsX Puntos 320

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 MZpQp 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:=MZpQp 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'.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X