Duplicar posibles:
T(G) Puede no ser un subgrupo?DejeG sea un grupo, y considerarH={g∈G:|g|<∞}.
Pregunta: ¿Debe% Hnecesariamente un subgrupo deG?
Aquí,|g| denota el orden del elementog.
Respuesta
¿Demasiados anuncios?En general es falso que el subconjunto de elementos de un grupo de G finito de orden es un subgrupo. Creo que los más sencillos, en cierto sentido, es el caso de los GL2(R). Deje s1 s2 ser simetrías con respecto a las líneas de ℓ1 ℓ2 a través del origen. A continuación, s1 s2 tiene orden finito (la igualdad en realidad a2), pero el producto s1s2 es una rotación cuyo fin es finito si y sólo si las líneas ℓ1 ℓ2 forma un ángulo que es un racional múltiples de 2π (que obviamente no es siempre el caso).
Sin embargo, la afirmación es verdadera cuando el grupo G es conmutativa. De esta manera se sigue inmediatamente a partir de la observación de que, si ab=ba, entonces el orden de ab divide el mínimo común múltiplo de los pedidos de ab.