Dejemos que $G$ sea un grupo de orden mayor o igual a $128$ con $\vert Z(G)\vert=4$ . Sin pérdida de generalidad, podemos suponer que $\vert G\vert =128$ . Establecer $Z=Z(G)$ . Si $G/Z$ tiene un elemento de orden $4$ entonces tiene un subgrupo cíclico de orden $4$ y esto corresponde a un subgrupo abeliano de $G$ de orden $16$ . Así como @TobiasKildetoft señaló, $G/Z$ es un abeliano elemental $2$ -grupo, digamos
$G/Z=\langle a_{1}Z\rangle\times\langle a_{2}Z\rangle\times\langle a_{3}Z\rangle\times\langle a_{4}Z\rangle\times\langle a_{5}Z\rangle$ .
para algunos $a_{1},\ldots,a_{5}\in G\setminus Z$ . Si $[a_{i},a_{j}]=1$ para $i\neq j$ entonces hemos terminado como podemos tomar $H=\langle a_{i},a_{j},Z\rangle$ . Así que supongamos que no. Entonces existe $i\neq j\in \{2,3,4,5\}$ tal que $[a_{1},a_{i}]=[a_{1},a_{j}]$ . Equivalentemente $[a_{j}a_{i}^{-1},a_{1}]=1$ . Entonces, tomando $H=\langle a_{1},a_{j}a_{i}^{-1},Z\rangle$ le da un grupo abeliano de orden $16$ .
0 votos
También me interesaría saber cómo se empieza a abordar este problema.
0 votos
Creo que los elementos centrales podrían ser útiles, pero no estoy seguro.
0 votos
Un gran problema. ¿Puedo saber de dónde lo has sacado? :P
1 votos
Se me ocurrió cuando leí algunas propiedades de los grupos de orden 16 y 32. La respuesta a la pregunta es positiva para los grupos de orden 32.
0 votos
@deibor: ¡Gracias! Sólo tenía curiosidad, eso es todo :)
0 votos
¿Cómo es que has empezado por 16 en lugar de 8?
2 votos
@kevin: Te refieres al límite de $H$ ? En el problema anterior, hay que tener en cuenta que 16=32/2. También existe siempre un subgrupo abeliano de orden 8, a saber, un subgrupo de $\langle x, Z(G) \rangle$ , donde $x \in G \setminus Z(G)$ .
0 votos
No estoy muy seguro de por qué tiene el requisito de que $|H|\leq |G|/2$ ya que si tiene una de algún orden, también tiene de todos los órdenes menores. De todos modos, podemos suponer claramente que para todo $x\in G$ , $x^2\in Z(G)$ Así que $\Phi(G) \leq Z(G)$ et $G'\leq Z(G)$ .
0 votos
No sé cómo "asume claramente que para todos $x\in G, x^2 \in Z(G)$ "?. ¿Puedes explicarme por qué? Observa que en el grupo (de orden 32) $\mathbb{Z}_2 \times D_16$ hay un elemento $y$ tal que $y^2 \notin Z(G)$ .
0 votos
Si $x^2$ no está en $Z(G)$ entonces $\left< x,Z(G)\right>$ tiene un orden de al menos $16$ y hemos terminado.
0 votos
Vas por el método de la contradicción. Gracias, ahora lo he entendido. Pero ¿qué pasa si queremos demostrar que $|H|=|G|/2$ ?
0 votos
Dudo que tener centro de orden $4$ implicará en general la existencia de un subgrupo abeliano cuyo orden es la mitad del del grupo, pero no he comprobado ejemplos.
0 votos
Yo también dudé. Con su suposición, noto que el grupo $G/Z(G)$ es un grupo abeliano elemental de 2. Por cierto, muchas gracias.
0 votos
No existe necesariamente una $H$ con $|H|=|G|/2$ . Hay muchos contraejemplos de orden 64 con centros de orden 4, y ningún subgrupo abeliano de orden 32.