5 votos

En cuanto a subgrupos de $GL_{2}(\mathbb{F}_q)$ % de orden $p$, donde $p$ es un extraño % divisorio principal $q+1$.

El problema (esto no es una tarea problema, aunque no se siente como uno):

Supongamos que p y q son números primos tales que $p \vert q+1$ y p es impar. A continuación, todos los subgrupos de $GL_{2}(\mathbb{F}_{q})$ de orden p se conjugado el uno al otro.

Lo que sabemos hasta ahora:

Primero de todo, $\vert GL_{2}(\mathbb{F}_{q})\vert = q(q+1)(q-1)^2$.

Si $q=2$,$p=3$$\vert GL_{2}(\mathbb{F}_{q})\vert =6$. A continuación, el único subgrupo de orden $p$ es el único Sylow $3$-subgrupo. Por supuesto, este subgrupo es conjugado a sí mismo.

Por lo tanto, ahora nos fijamos en el caso de que $q$ es una extraña prime. Obviamente $p \nmid q(q-1)^2$. Pero, $p$ puede no ser la potencia más grande de $p$ dividiendo $q+1$. Así, los subgrupos de orden $p$ no son necesariamente Sylow $p$-subgrupos. Por supuesto, que debe ser conjugado a un subgrupo de Sylow $p$-subgrupo.

¿Cuál es la forma correcta de completar este argumento? Estoy esperando una respuesta que me empuja en la dirección correcta, sin dar todo por la borda (al menos por ahora).

Gracias por su tiempo. Mis disculpas por la pregunta muy básica.

Edit: Comprobar los comentarios de abajo de Derek sugerencia para una solución. Por favor, hágamelo saber si usted encuentra cualquier problema con mi argumento.

2voto

Onorio Catenacci Puntos 6130

El Sylow $p$-subgrupos de ${\rm GL}_2(q)$ ($p$ una extraña primer dividiendo $q+1$) son cíclicos. El uso de ese hecho, usted debería ser capaz de demostrar el uso del Teorema de Sylow de que todos los subgrupos de orden $p$ son conjugadas.

Para ver que la Sylow $p$-subgrupos cíclicos, se observa que la ${\rm GL}_2(q)$ contiene un elemento de orden $q^2-1$ derivadas de la multiplicación por un multiplicativo generador del campo ${\mathbb F}_{q^2}$ orden $q^2$.

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