• Registro
Foro de preguntas y respuestas de matemáticas, de cualquier nivel. Cuánto más interesantes, divertidas o intrépidas, mejor.
Aviso: Te invitamos a conocer la página de Facebook de la UCIM

Ganas puntos al hacer preguntas, contestarlas y, sobre todo, si tu respuesta es seleccionada como la mejor.
Registrate como usuario para participar en el foro. También puedes utilizar tu identidad de FB Utiliza el botón azul para ingresar (si usas tu identidad de FB y estás logeado en FB, automáticamente te reconoce).

El irracional tiene una página en FB. El Irracional






Grupos de exponente 2 y mayor que 2

+1 voto

Hace unos días (muchos) hice una pregunta relacionada a la existencia de grupos de exponente 2, para ser mas específicos.

 Existe un único grupo abeliano $G$  tal que $\aleph_0\leq{|G|}$ y además todo elemento es de orden 2

0

 

 

La siguiente cuestión me parece interesante al menos para mostrar que lo anterior no se cumple para exponente mayor que dos.

¿Para cada natural $n>2$  existe al menos un grupo $G$ tal que para cada $x\in{G}$ sea de orden $n$  y sin embargo $G$ no sea abeliano?,  en caso de existir ¿éste es único ?

 

 

preguntado por Izzyro (6,260 puntos) Oct 8, 2013 en Torito

2 Respuestas

+2 votos
Si $n$ no es primo, entonces no existe un grupo que cumpla la condición que pides, pues el Teorema de Cauchy asegura la existencia de al menos un elemento de orden primo para cada divisor primo de $n$.

Si $n=p$ es un número primo, y $G$ se puede descomponer en producto semidirecto iterado de $\mathbb{Z}_p$, entonces este producto semidirecto es de hecho un producto directo pues no hay morfismos $\mathbb{Z}_p\to{\rm Aut}\mathbb{Z}_p$, ya que ${\rm Aut}\mathbb{Z}_p\cong \mathbb{Z}_{p-1}$. Por tanto, tal grupo sería abeliano y se describiría como coproducto del grupo de orden $p$.

Si quito la hipótesis de descomposición que impuse en el párrafo anterior, puedo afirmar que cualesquiera dos subgrupos de orden $p$ de $G$ se intersectan trivialmente. Sin embargo, no puedo ver en este momento que exista al menos un subgrupo normal.

Para grupos finitos, estoy seguro que esto es cierto pues los $p$-grupos finitos son solubles. Luego, soluble y simple implica abeliano de orden primo. Para infinitos no estoy seguro de que los $p$-grupos sean solubles, pues no tengo la certeza de que el grupo cumpla con las condiciones para que la sucesión de derivadas converja a cero.
respondido por Enrique (9,150 puntos) Oct 8, 2013
+3 votos
Tienes que reformular tu pregunta pues así como aparece ahora, la condición "cada $x \in G$ es de orden $n$" implicaría necesariamente que $n=1$.

Suponiendo que quieres decir  "cada $ g \in G \setminus \{e\}$ es de orden $n$" entonces la respuesta a tu primera pregunta es afirmativa cuando $n$ es un número primo. En tal caso basta con que consideres el grupo de las matrices

$\displaystyle \left\{ \left( \begin{array}{ccc} 1 & a & b \\ 0 & 1 & c \\ 0 & 0 & 1 \end{array} \right) :a,b,c \in \mathbb{F}_{n}\right\}$

bajo la multiplicación. Este grupo es no abeliano y cada elemento distinto de la matriz identidad tiene orden $n$.
respondido por José Hdz (39,570 puntos) Oct 8, 2013
editado por José Hdz Oct 8, 2013
Licencia Creative Commons
Este obra está bajo una Licencia Creative Commons Atribución-NoComercial-CompartirIgual 2.5 México.

powered by UCIM

...