[obm-l] automorfismo

["Domingos Jr." <dopikas@xxxxxxxxxx>]

Seja f um automorfismo em um corpo E, se f^4 = 1, e
f(a) + f�(a) = a + f�(a) para todo a pertencendo a E,
mostre que f�= 1.


Vejam o que eu fiz....

Se f != 1 existe um a tq. f(a) = b != a
b + f�(b) = a + f(b)
se f�(b) = b, f(f(b)) = b, logo f(b) = a pois f � um automorfismo
logo
b + b = a + a
d� pra ver que isso t� errado...
prop. distributiva
a(b + b) = ab + ab
b(a + a) = ba + ba
prop. comutativa
ab + ab = ba + ba
logo
a(b + b) = b(a + a), como a + a = b + b != 0
a = b (lei do cancelamento)
absurdo...

temos ent�o que se f != 1, f� != 1

� isso mesmo? Temos que provar que na verdade f � a identidade???

[ ]'s

=========================================================================
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
O administrador desta lista � <nicolau@mat.puc-rio.br>
=========================================================================