О пропорции и теории колец

[takigiro]

Верно ли, что СТРОГО доказать основное свойство пропорции можно только используя аксиоматику теории колец?

Comments

[Заболекарь]

Нет, неверно. Вместо кольца достаточно абелевой группы.

[takigiro]

Но, ведь множество рациональных чисел не является абелевой группой? Тогда получается, что для Q данное свойство доказать нельзя?

[Заболекарь]

Не является. А вот множество рациональных чисел без нуля — является.