Autor Tema: Sobre grupos finitos.

0 Usuarios y 1 Visitante están viendo este tema.

09 Junio, 2007, 06:00 am
Leído 1616 veces

EnRlquE

  • Lathi
  • Mensajes: 5,866
  • País: br
  • Karma: +0/-0
  • Sexo: Masculino
Hola, estoy iniciando a estudiar grupos finitos y tengo problemas en demostrar los siguientes resultados.

(1) Si \( G \) es un grupo de de orden \( 2^{n}3\;(n\geq{2}) \), Muestre que \( G \) posee un subgrupo normal de orden \( 2^{n} \) o de orden \( 2^{n-1} \)

(2) Si \( |G|=p^{2}q \) con \( p,q \) primos, pruebe que \( G \) no es simple.

Muchas gracias de antemano.

09 Junio, 2007, 10:14 pm
Respuesta #1

EnRlquE

  • Lathi
  • Mensajes: 5,866
  • País: br
  • Karma: +0/-0
  • Sexo: Masculino
Hola, he logrado resolver el mi pregunta (1) y "casi" mi pregunta (2), para la solución de ésta última he dividido el problema en tres casos

(i) \( p=q \), (ii) \( p>q \) y (iii) \( p<q \)

Los casos (i) y (ii) ya los he resuelto, y para el caso (iii) me falta analizar si es posible que \( q=p+1 \), y en caso de ser posible ver que \( G \) no es simple.

Espero me ayuden y gracias de antemano.

11 Junio, 2007, 10:19 am
Respuesta #2

Luis Fuentes

  • el_manco
  • Administrador
  • Mensajes: 47,558
  • País: es
  • Karma: +0/-0
  • Sexo: Masculino
Hola

Citar
(iii) me falta analizar si es posible que q=p+1, y en caso de ser posible ver que  G no es simple

Como p y q son primos, eso sólo se da si p=2 y q=3. En otro caso p es impar y p+1 no puede ser primo.

Saludos.

11 Junio, 2007, 10:05 pm
Respuesta #3

EnRlquE

  • Lathi
  • Mensajes: 5,866
  • País: br
  • Karma: +0/-0
  • Sexo: Masculino
Muchas gracias, por ayudar, ya resolví el problema  ;D

12 Junio, 2007, 03:18 am
Respuesta #4

physlord

  • nonses fuf
  • $$\Large \color{red}\pi\,\pi$$
  • Mensajes: 47
  • Karma: +0/-0
  • Sexo: Masculino
    • My Blog | Un simple blog sobre Mates
Una duda, ¿como resolviste el primero?

12 Junio, 2007, 08:39 pm
Respuesta #5

EnRlquE

  • Lathi
  • Mensajes: 5,866
  • País: br
  • Karma: +0/-0
  • Sexo: Masculino
Hola, lo que hice fue mas o menos esto:

- Debido al teorema de sylow, \( G \) tiene uno o tres 2-subgrupos de Sylow de orden \( 2^{n} \). Si hay uno sólo de estos, es facil ver que este subgrupo de sylow es normal.

- En caso de existir tres tres subgrupos de orden 16, si tomamos dos de ellos, digamos \( R \) y \( S \), se tiene que \( R\cap S \) debe ser de orden \( 2^{n-1} \)
Spoiler
esto debido a que el conjunto \( RS=\{rs/ r\in R \wedge s\in S\}\subseteq{G} \) y por tanto su número de elementos no sobrepasa al orden de \( G \)

Ademas si \( |R\cap{S}|=2^{k} \) se tienes que

\( \displaystyle \#(RS)=\frac{|R||S|}{|R\cap{S}|}=\frac{2^{n}2^{n}}{2^{k}}\leq{2^{n}3} \)

de dónde se deduce que \( k=n-1 \)
[cerrar]

Además como el índice de \( R\cap{S} \) es 2 tanto en \( R \) como en \( S \) es facil ver que \( R\cap{S} \) es normal en \( R \) y en \( S \), entonces el normalizador de \( R\cap{S} \) contiene a \( R \) y \( S \) (que son ¡diferentes!) y debe tener orden múltiplo de \( 2^{n} \) y divisor de \( 2^{n}3 \) luego el normalizador de \( R\cap{S} \) coicide con \( G \) y por tanto \( R\cap{S} \) es normal en \( G \).

Saludos.

13 Junio, 2007, 12:51 am
Respuesta #6

physlord

  • nonses fuf
  • $$\Large \color{red}\pi\,\pi$$
  • Mensajes: 47
  • Karma: +0/-0
  • Sexo: Masculino
    • My Blog | Un simple blog sobre Mates
Muchas gracias por dedicar algo de tiempo a mi curiosidad.