20 votos

Permutación de cosets

Sea $G$ sea un grupo finito y $\gamma \in \text{Sym}(G)$ tal que $\gamma (1) = 1$ y $\gamma (gH) = \gamma (g)H$ para todos $g\in G$ y $H\leq G$ .

Es decir $\gamma$ induce una permutación de los cosets izquierdos de cualquier subgrupo de $G$ .

Necesito demostrar que $\gamma$ fija cualquier coset izquierdo del Centro $C(G)$ de $G$ es decir $$\gamma(g)C(G) = gC(G)\,.$$

He intentado algunos cálculos sencillos que no han funcionado. Ahora creo que son necesarios algunos argumentos más estructurales. ¿Alguna idea?

1 votos

SUGERENCIA: Intente demostrar que $\gamma(g)$ se conjuga con $g$ .

0 votos

¿Estás diciendo que la condición $\gamma(g)H=\gamma(gH)$ debe cumplirse para todos los subgrupos $H<G$ ?

0 votos

Sí, es correcto.

14voto

seanyboy Puntos 3170

He encontrado un contraejemplo utilizando $\textsf{GAP}$ . El grupo es $$ G \;=\; \mathbb{Z}_9 \rtimes \mathbb{Z}_3 \;=\; \langle a,b \mid a^9=b^3=1,b^{-1}ab=a^4\rangle, $$ con la función $\gamma\colon G\to G$ definido por $$ \gamma\bigl(a^j b^k\bigr) \;=\; a^{-j} b^{-k}. $$ Según $\textsf{GAP}$ esto permuta los cosets izquierdos de cada subgrupo de $G$ . De hecho, los subgrupos propios no triviales de $G$ son

  1. Los subgrupos cíclicos $\langle a^3\rangle$ , $\langle b\rangle$ , $\langle a^3b\rangle$ y $\langle a^6b\rangle$ de orden $3$ ,

  2. Los subgrupos cíclicos $\langle a\rangle$ , $\langle ab\rangle$ y $\langle ab^2\rangle$ de orden $9$ y

  3. El subgrupo $\langle a^3,b\rangle$ de orden $9$ ,

por lo que se podría comprobar esta afirmación a mano sin demasiados problemas. Sin embargo, el centro de $G$ es $\langle a^3\rangle = \{1,a^{-3},a^3\}$ Así que $\gamma$ cambia los cosets $\{a,a^{-2},a^4\}$ y $\{a^{-1},a^{-4},a^2\}$ .


He aquí algunas observaciones y comentarios más:

  1. La afirmación es cierta si $\gamma$ es un automorfismo de $G$ . Entonces $\gamma$ debe fijar cada subgrupo de $G$ por lo que es un automorfismo de potencia . Por a resultado de C. Cooper se deduce que $\gamma$ es central en el grupo de automorfismos, así que por el argumento al final del post de Matt Samuel (ahora borrado), se deduce que $\gamma$ fija todos los cosets del centro.

  2. Una biyección $\gamma$ entre dos grupos que satisfacen las condiciones dadas se conoce como una $\mathfrak{R}$ -isomorfismo. Véase la sección 9.4 de Schmidt, Entramados de subgrupos de grupos . (La parte sobre $\mathfrak{R}$ -isomorfismos comienza en pág. 530 .)

0 votos

Por supuesto, sería bueno tener un argumento elemental de que $\gamma$ preserva los cosets izquierdos de cada subgrupo de $G$ pero no pude ver uno obvio. En caso de que ayude a alguien más a probar esto, los automorfismos de $G$ son generados por $(a,b) \mapsto (a^2,b)$ , $(a,b)\mapsto (ab,b)$ y $(a,b) \mapsto (a,a^3b)$ .

0 votos

He publicado una pregunta aquí pidiendo una prueba elemental.

0 votos

Gracias por darme un cierre. ¡Todas esas horas perdidas intentando resolverlo!

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