[obm-l] �lgebra [n�vel u]

["Eduardo Casagrande Stabel" <dudasta@xxxxxxxxxxxx>]

Caros da lista,

para todo dom�nio D, existe um corpo F que o contem?

Se o dom�nio D � de integridade (a multiplica��o � comutativa), podemos
formar o corpo F das fra��es de D. Mas se o dom�nio n�o � necessariamente
comutativo, tamb�m d� para fazer isso? Eu tentei mostrar que a rela��o (a,
b) ~ (c, d) sse bc = ad � de equival�ncia, mas para a transitividade estou
usando o fato de D ser comutativo. Algu�m sabe como mostrar isso sem usar
esse fato? Talvez seja bem simples.

Valeu!
Eduardo.

=========================================================================
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>
=========================================================================