Re: [obm-l] Mais grupos

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxx>]

On Fri, Feb 20, 2004 at 01:44:59PM -0200, Nicolau C. Saldanha wrote:
> On Thu, Feb 19, 2004 at 01:43:51AM -0300, Claudio Buffara wrote:
> > 2) Seja G um grupo tal que o centralizador de cada elemento distinto da
> > identidade eh um grupo ciclico infinito. Nesse caso, G eh necessariamente um
> > grupo livre?
> 
> N�o, mas eu n�o sei dar nenhum exemplo realmente f�cil.
> O melhor que eu tenho a oferecer � o grupo fundamental do bitoro.
> Ele pode ser descrito por geradores e rela��es como <a,b,c,d|[a,b][c,d]=e>.

Acho que pouca gente entendeu a minha primeira mensagem, ent�o vou descrever
o grupo de que estou falando de forma mais expl�cita. Mas n�o tenho certeza
se vai ajudar muito.

Tome a = 1 + sqrt(2) + sqrt((1 + sqrt(2))^2 - 1), c = cos(Pi/8), s = sen(Pi/8).
Tome 

    ( a    0 )
X = (        )
    ( 0   1/a)

    ( c   -s )
R = (        )
    ( s    c )

A = XRR, B = RXR, C = X'RR, D = RX'R (onde X' � a inversa de X).

O subgrupo de PSL(2,R) gerado por A, B, C, D � um contraexemplo
para a pergunta do Claudio.

D� para verificar bra�almente (haja bra�o!) que B'ABA'D'CDC' = -I
(que � identificada com a identidade em PSL(2,R)), assim o grupo
n�o � livre.

Eu n�o sei demonstrar a outra condi��o (o centralizador de qq elemento
diferente da identidade � c�clico infinito) sem usar geometria hiperb�lica.

[]s, N.
=========================================================================
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
=========================================================================