Oi Cl�udio!
Seja G um grupo de n elementos n�o-abeliano. Defina o grupo H = G x G x ...
x G, onde � o produto � tomado n vezes e estamos falando em produto
cartesiano. Definimos a opera��o de grupo em H a multiplica��o das
coordenadas correspondentes de dois elementos quaisquer. Esta opera��o herda
a associatividade de G, tem elemento neutro (e, e, ..., e) e todo elemento
tem �nico inverso (g_1,g_2,...,g_n)^(-1)=(g_1^(-1),g_2^(-1),...,g_n^(-1)).
Como G � n�o-abeliano existem g, h em G tais que gh � diferente de hg,
portanto (g,e,e,...,e)(h,e,e,...,e) � diferente de
(h,e,e,...,e)(g,e,e,...,e) e H � n�o-abeliano. H possui exatamente n^2
elementos. Agora considere os subgrupos
H_i = { (e,e,...,e,g,e,...,e) onde o g est� na i-�sima posi��o : para g em
G} para 1 <= i <= n
e H_(n+1) = { (g,g,g,...,g) : para g em G }
N�o � dif�cil de demonstrar que cada H_i � um grupo, subgrupo de H. Tamb�m
n�o � dif�cil de mostrar que cada um desses H_i possui exatamente n
elementos. Ou seja, o que est� sendo pedido para demonstrar n�o � verdade.
Abra�o,
Duda.
From: "Claudio Buffara" <[EMAIL PROTECTED]>
> Oi, pessoal:
>
> Me mandaram esse problema ontem e ainda nao consegui fazer:
>
> Um grupo G de ordem n^2 tem n+1 subgrupos de ordem n tais que a
interseccao
> de quaisquer dois deles eh a trivial (ou seja, igual a {e}). Prove que G
eh
> abeliano.
>
> Um abraco,
> Claudio.
>
> =========================================================================
> 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
> =========================================================================
>
>
=========================================================================
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
=========================================================================
