La multiplicación requiere un poco más de esfuerzo para definir. (¿Por qué no podemos dejarL⋅K={ab∣a∈L,b∈K}?) SiL oK esi(0), entoncesL⋅K:=i(0). Si amb...La multiplicación requiere un poco más de esfuerzo para definir. (¿Por qué no podemos dejarL⋅K={ab∣a∈L,b∈K}?) SiL oK esi(0), entoncesL⋅K:=i(0). Si ambosL,K∈D son positivos, entoncesL⋅K={a⋅b∣a∈L,b∈K,a>0 and b>0}∪{c∈Q∣c≤0}. Verifica queL⋅K sea un corte de Dedekind, y que (3) se mantenga paraa,b>0.
