Queda de ejercicio, verificar que la multiplicación es asociativa, distributiva y que cada elemento no nulo tiene un recíproco.