4 votos

Un grupo de orden $66$ tiene un elemento de orden $33$

Si yo quería mostrar que un grupo de orden $66$ tiene un elemento de orden $33$, podría decir simplemente que tiene un elemento de orden $3$ (por medio del teorema de Cauchy, ya $3$ es un primer e $3 \mid 66$), y del mismo modo que no debe ser un elemento de orden $11$, y luego multiplicar estos para obtener un elemento de orden $33$? Estoy bastante seguro de que esto está mal, pero si alguien pudiera ayudarme le agradecería. Gracias.

10voto

Bryan Roth Puntos 3592

Paso 1: Mostrar que cualquier grupo finito de orden $4k+2$ tiene un índice de dos subgrupos. (Sugerencia.)

Paso 2: Mostrar que cualquier grupo de orden $33$ es cíclico.

6voto

Xetius Puntos 10445

Alternativamente:

  • mostrar que la Sylow $11$-subgrupo es normal.

  • mostrar que un grupo cíclico de orden $11$ no tiene automorfismos de orden $3$.

  • escoger un elemento de orden $3$ en su grupo y a la conclusión de que conmuta con cualquier elemento de orden $11$.

3voto

clintp Puntos 5127

Para complementar las respuestas, voy a abordar por qué conmutatividad es necesario. Deje $G$ ser su grupo de $o(x)$ denotar el orden de $x\in G$. Usted está haciendo uso de la instrucción que $o(a)o(b)=o(ab)$, pero esto no es necesariamente cierto. Se mantiene cuando $o(a),o(b)$ son coprime y $ab=ba$ (una consecuencia interesante de esto es que las sumas parciales $s_n$ de la serie armónica nunca son enteros para $n>1$, lo que sigue a partir de Bertrand postulado y $\mathbb Q/\mathbb Z$ abelian), pero hay nonabelian grupos de orden $66$,$S_6\oplus \mathbb Z_{11}$. Si $ab=ba$ $o(a),o(b)$ son coprime, a continuación,$(ab)^{o(a)o(b)}=a^{o(a)}b^{o(b)}=e\cdot e=e$, lo $o(ab)\leq o(a)o(b)$. Si $(ab)^n=e$$a^nb^n=(ab)^n=e$$(a^n)^{-1}=b^n$, por lo tanto $o(a^n)=o(b^n)$, y si $n<o(a)o(b)$ desde $o(a),o(b)$ coprime tenemos que uno de $a^n,b^n\neq e$. Pero $o(b^n)=o(a^n)|o(a)$ desde $(a^{n})^{o(a)}=(a^{o(a)})^n=e^n=e$, y de manera similar a $o(a^n)=o(b^n)|o(b)$, lo $o(a^n)=o(b^n)=1$. Por lo tanto $a^n=b^n=e$, lo $n\geq o(a)o(b)$$o(ab)=o(a)o(b)$.

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