6 votos

Subgrupo abeliano en un grupo 2.

Dejemos que $G$ sea un grupo de 2 no abeliano de orden mayor o igual a 32 y $|Z(G)|=4$ . ¿El grupo $G$ tiene un subgrupo abeliano $H$ , de tal manera que $16 \leq |H| \leq |G|/2$ ?

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

3voto

Matthias Steinbauer Puntos 108

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$ .

1 votos

Se puede hacer valer fácilmente ese argumento para $|G|=64$ . Si $[a_1,a_2]$ , $[a_1,a_3]$ , $[a_1,a_4]$ son todos diferentes, entonces $[a_1,a_4]=[a_1,a_2a_3]$ Así que $[a_1,a_2a_3a_4]=1$ .

0 votos

@DerekHolt Gracias por eso. Pensé que probablemente había una forma de hacerlo, ¡pero no la veía!

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