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