Es sei K ein angeordneter Körper. Überprüfen Sie folgende Eigenschaften der Abbildungen |*| und sign:
a) ∀x∈K :x = sign(x) * |x|
b)∀x,y∈K: (|x*y|=|x|*|y|) und (sign(x*y)=sign(x)*sign(y))
Welche Eigenschaften soll ich hier überprüfen und wie mache ich das?