Re: [obm-l] Problemas de Teoria dos Grupos

[Felipe Pina <pinaf@xxxxxxxxxxxx>]

> 1-Seja G um grupo finito e seja H um subconjunto nao
> vazio de G.Mostre que H � subgrupo de G se e somente
> se H � fechado na opera�ao de G.[Sugestao: Mostre que,
> para cada elemento "a" pertencente a H, existe um
> inteiro positivo n tal que a^n = e(elemento neutro)
> ].Mostre que esta propriedade nao se mantem para G
> infinito.

   Suponha que � H fechado em relacao � opera��o de G. Seja a em H.
   Ent�o a sequ�ncia infinita a, a^2, a^3, ... est� em H. Mas H � finito, 
logo
   existem repeti��es nesta seq��ncia. Isto �, existem dois n�meros n e m 
inteiros positivos
   distintos tais que a^m = a^n. Suponha, sem perda de generalidade, que m 
> n.
   Como G � grupo sabemos que, em G, existe a^(-n), isto �, o inverso de 
a^n. Donde a^m * a^(-n) =   e = a^(m-n). Mas, como m > n, (m-n) � inteiro 
positivo, o que nos diz que a^(m-n) = e = a^0,      est� na seq��ncia 
acima, e, portanto, em H (a^0 est� nesta seq��ncia). Como (m-n-1) >= 
0,         a^(m-n-1) est�  na seq��ncia acima, e, portanto, em H. Mas 
a^(m-n-1) � o inverso de a.

   Mostramos que :

   G grupo finito e H subconjunto de G fechado em rela��o � opera��o em G

   Ent�o

   para todo a em H, a^(-1) est� em H                  (*)


   E � f�cil ver que :

   G grupo qualquer e H um subconjunto de G

   Ent�o

   H � subgrupo de G <-> (H � fechado em rela��o � opera��o em G) e a 
condi��o (*) � satisfeita

   O resultado acima nos mostra que, no caso de G finito, a afirma�ao (*) � 
automaticamente satisfeita.

> 2-Sejam G um grupo multiplicativo e seja H um subgrupo
> de G.Mostre que se x pertence a G entao xHy(y � o
> inverso de x em G) � tambem um subgrupo de G, sendo
> xHy = {xhy tal que h pertence a H}.

   xy = yx = e

   Peguemos 2 elementos em xHy, digamos, xgy e xhy.
   xgy * xhy = xghy
   Mas H � subgrupo, logo gh est� em H -> xghy est� em xHy -> xHy � fechado 
em rela��o ao produto.
   Basta mostrar que qq elemento em xHy tem inverso em xHy. Seja xhy um 
elemento de xHy.
   Como H � subgrupo, existe h^(-1) em H -> x*h^(-1)*y est� em xHy
   Mas xhy * x*h^(-1)*y = x*h*h^(-1)*y = x*e*y = x*y = e. Logo xHy � 
subgrupo.

   Mais geralmente, H � isomorfo a xHy (um exerc�cio tranq�ilo). Da� � 
claro que, xHy � um subgrupo (pois H o �).

   Recomendo novamente a leitura do livro 'T�picos de �lgebra' de I. N. 
Hernstein para uma excelente introdu��o aos assuntos de Grupos e An�is.

-- 
[]s
Felipe Pina

=========================================================================
Instru��es para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================