3 votos

Clasificación de todos los grupos de orden 10

Estoy tratando de clasificar todos los grupos de orden 10 hasta el isomorfismo. Supongamos que $G$ =10. Utilizando el teorema de Sylow, si $n_p$ es el número de los grupos p-Sylow (p primo), entonces $n_2|5$ , por lo que es 1 o 5. Del mismo modo, $n_5$ es 1 o 2. Pero $n_5\equiv 1 \bmod $ Así que $n_5$ sólo puede ser 1.

Caso I: $n_2$ es 1

Entonces, dado $d\in \mathbb{Z}$ el grupo tiene a lo sumo 1 subgrupo de orden $d$ Así que $G$ es cíclico. Así que, $G\cong \mathbb{Z_{10}}$ .

Caso II: $n_2$ es 5

Aquí es donde estoy atascado. Tenemos 5 subgrupos de orden 2 y un subgrupo de orden 5 (llamémoslo H). Como $|H|$ es primo, deduzco que $H$ es un grupo cíclico de la forma $\{1,r,\dots,r^4\}$ . También, $H$ es un subgrupo único de orden primo en G, por lo que $H\unlhd G$ . Pero no tengo idea de cómo proceder después de esto. Gracias.

0 votos

Contar elementos - tienes la identidad, cinco de orden dos y cuatro de orden cinco. No hay más que encontrar. Ahora toma un elemento $a$ de orden $2$ y examinar el coset $aH=Ha$

0 votos

El caso I no significa que $G$ es cíclico. Es necesario que sea cierto para todos $d\in\mathbb Z$ para concluir, y sólo lo tienes para $d=5$ . Quizás quisiste decir $n_2=1$ ?

4voto

HappyEngineer Puntos 111

Considérelo así. Dejemos que $a$ sea un elemento de orden $2$ y $b$ un elemento de orden $5$ . Demostrar que $a^ib^j$ son todos los elementos del grupo, con $i=0,1$ y $j=0,1,2,3,4$ . Entonces $aba^{-1}$ es de orden $5$ por lo que es igual a $b^j$ para algunos $j$ . Pero entonces $b=ab^{j}a^{-1}=(aba^{-1})^j=b^{j^2}$ . Así que $j^2\equiv 1\pmod 5$ . ¿Cuáles son los posibles valores de $j$ ?

0 votos

Muchas gracias. Entonces, usando tu pista podemos mostrar que $j$ es 4 o 1. Si $j$ es 1, entonces tenemos $ab=ba$ . En clase, he demostrado que si $a$ y $b$ viajar con $\gcd (o(a),o(b))=1$ entonces $ab$ tiene orden 10 lo que demuestra que $G$ es cíclico. Si $j$ es 4, $aba^{-1}=b^4$ es decir $aba=b^4a^2=b^4=b^{-1}$ lo que significa $G$ es $D_{10}$ .

0 votos

Sólo tengo una pregunta. ¿Cuál fue su motivación para mirar $aba^{-1}$ ?

0 votos

Sí, a su primer comentario, es correcto. Sobre el segundo: En general, una expresión de la forma $aba^{-1}$ se denominan "conjugados" de $b$ y conjugados de $b$ tienden a "comportarse como $b$ ." En particular, el mapa: $g\to aga^{-1}$ es un isomorfismo del grupo $G$ consigo misma. Además, el subgrupo generado por $b$ debe ser normal, por lo que este mapa en realidad envía ese subgrupo a sí mismo. Básicamente, cuando estudiamos grupos solemos fijarnos en los conjugados.

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