12 votos

Sobre la inversa del Lemma de Schur

Dejemos que $G$ sea un grupo finito y $F$ un campo con $\mathrm{char}(F)=0$ o coprima a $|G|$ . Sea $V$ ser un $FG$ -de manera que cada $ FG$ -homorfismo $ f : V \to V $ viene dada por $f(x)= \lambda x $ . Entonces $V$ es irreducible.

Ya he conseguido demostrar esto por contradicción, utilizando el Teorema de Maschke. Podemos escribir $V$ como $U\oplus W$ y obtener un $FG$ -homorfismo $\pi:U\oplus W \to U\oplus W$ , $\pi (u+w)=u$ entonces $\pi(u+w)=\lambda (u+w)=u $ entonces $U$ o $W$ son triviales y por lo tanto $V$ es irreducible.

Mi pregunta es si esta afirmación sigue siendo válida si el carácter de $F$ divide el orden de $G$ ya que sólo he utilizado este hecho en mi demostración para utilizar el teorema de Maschke.

1 votos

Creo que la representación regular del grupo cíclico de orden $2$ en $\mathbb{F}_2$ es indecomponible, pero reducible, con el anillo de endomorfismo igual a $\mathbb{F}_2$ .

1 votos

Consideremos la representación bidimensional del grupo de orden 2 sobre el campo de orden 2, donde el elemento no trivial se mapea a una matriz con 3 unos y un cero.

3 votos

@Batominovski La representación regular tiene un anillo de endomorfismo isomorfo al álgebra de grupo $\mathbb{F}_2[C_2]$ por lo que hay endomorfismos que no son múltiplos escalares de la identidad.

9voto

Kit Ho Puntos 127

Hay contraejemplos en general.

Supongamos que $V$ es una extensión no dividida de dos módulos simples no isomorfos. Es decir, $V$ tiene un único submódulo simple $W$ con cociente simple $U=V/W$ donde $U\not\cong W$ . Entonces cualquier endomorfismo no nulo de $V$ es un isomorfismo, ya que el único núcleo posible es $W$ pero la imagen no puede ser $V/W=U$ desde $V$ no tiene ningún submódulo isomorfo a $U$ . Si, además, $U$ y $W$ tienen $F$ como anillo de endomorfismo, este isomorfismo debe ser un múltiplo escalar de la identidad.

Para un ejemplo explícito, dejemos que $G$ sea el grupo de triángulos superiores invertibles $2\times 2$ matrices sobre un campo finito $F$ con $\vert F\vert>2$ y que $V$ sea el natural $2$ -dimensional $FG$ -módulo.

1 votos

[desde $W$ no tiene ningún submódulo isomorfo a $U$ ¿no querías decir "desde $V$ " ?

0 votos

@DuchampGérardH.E. Gracias, sí. Lo he arreglado.

0 votos

Me gusta su esquema de un montón de situaciones en las que $End(V)$ es un campo.

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